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

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.