Tables

type Column = String Source

Identifies a column.

type Row = Map Column String Source

A row of String data.

type Table = [Row]Source

A table.

fromStrings :: [[String]] -> Result Table Source

Convert a list of String rows into a Table. Uses the first row as column names.

Parsing fields

data Result a Source

A parse result.

Constructors

Success a
Failure RowError

Instances

Monad Result
Functor Result
Applicative Result
Show a => Show (Result a)

data RowError Source

Possible errors from parsing a row.

Constructors

MissingField Column
NoParse Column String

Instances

Show RowError

class Field a whereSource

Class of field types which can be decoded from String.

The input can be Nothing to represent a missing field. The instance Field a => Field (Maybe a) models optional fields.

If your record contains custom types, you must create a Field instance for each. If you have base types but need different parsing behavior, you can use a newtype wrapper.

Methods

decode :: Maybe String -> Result aSource

Instances

Field Bool
Field Char
Field Double
Field Float
Field Int
Field Integer
Field String
Field a => Field (Maybe a)

require :: (String -> Maybe a) -> Maybe String -> Result aSource

Implement decode for a required field.

safeRead :: Read a => String -> Maybe aSource

read in Maybe.

getField :: Field a => Column -> Row -> Result aSource

Decode a field by column name.

Called from TH-generated code, but may be useful independently.

Parsing tables

class ParseRow a whereSource

Class of types which can be parsed from a Row. These types are typically single-constructor records.

Instances may be generated using Text.RowRecord.TH.

Methods

parseRow :: Row -> Result aSource

parseTable :: ParseRow a => Table -> Result [a]Source

Parse a whole table.