ogma-language-csv-1.12.0: Ogma: Runtime Monitor translator: CSV Frontend
Safe HaskellNone
LanguageHaskell2010

Language.CSVSpec.Parser

Description

Parser for Ogma specs stored in CSV files.

Synopsis

Documentation

data CSVFormat Source #

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

Constructors

CSVFormat 

Fields

Instances

Instances details
Read CSVFormat Source # 
Instance details

Defined in Language.CSVSpec.Parser

Methods

readsPrec :: Int -> ReadS CSVFormat

readList :: ReadS [CSVFormat]

readPrec :: ReadPrec CSVFormat

readListPrec :: ReadPrec [CSVFormat]

Show CSVFormat Source # 
Instance details

Defined in Language.CSVSpec.Parser

Methods

showsPrec :: Int -> CSVFormat -> ShowS

show :: CSVFormat -> String

showList :: [CSVFormat] -> ShowS

parseCSVSpec Source #

Arguments

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

Parser for expressions.

-> a

Default property value.

-> CSVFormat

CSV file format spec.

-> String

String containing CSV.

-> IO (Either String (Spec a)) 

Parse a CSV file and extract a Spec from it.

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

Fails if any of the columns indicate a column out of range, of if the CSV is malformed.