ogma-language-xlsx-1.7.0: Ogma: Runtime Monitor translator: XLSX Frontend
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.XLSXSpec.Parser

Description

Parser for Ogma specs stored in XLSX files.

Synopsis

Documentation

data XLSXFormat Source #

Area of the CSV file that contains the information of interest.

Constructors

XLSXFormat 

Fields

Instances

Instances details
Read XLSXFormat Source # 
Instance details

Defined in Language.XLSXSpec.Parser

Methods

readsPrec :: Int -> ReadS XLSXFormat Source #

readList :: ReadS [XLSXFormat] Source #

readPrec :: ReadPrec XLSXFormat Source #

readListPrec :: ReadPrec [XLSXFormat] Source #

parseXLSXSpec Source #

Arguments

:: (String -> IO (Either String a))

Parser for expressions.

-> a

Default property value.

-> XLSXFormat

Spec format.

-> ByteString

String containing XLSX.

-> IO (Either String (Spec a)) 

Parse a XLSX file and extract a Spec from it.

An auxiliary function must be provided to parse the requirement expressions.

Fails if the sheet does not exist, any of the columns indicate a column out of range, if the XLSX is malformed.