Data.Table.Parse

data Error rowId colId

Constructors

• MkTableErrors (HashSet (MissingCell rowId colId))
• MkRowErrors (List RowToCellsError)
• MkRaggedRows
• MkEmpty
• MkParseError ParseError

Instances

• Generic (Error rowId colId) _
• (Show rowId, Show colId) => Show (Error rowId colId)

data RowToCellsError

Constructors

• MkBadColIds (List String)
• MkZipperErrors (List ZipperError)

Instances

• Generic RowToCellsError _
• Show RowToCellsError

data ZipperError

Constructors

• MkBadRowId String
• MkBadCell String

Instances

• Generic ZipperError _
• Show ZipperError

parse :: forall cell rowId colId. Hashable rowId => Hashable colId => (String -> Maybe cell) -> (String -> Maybe colId) -> (String -> Maybe rowId) -> String -> Either (Error rowId colId) (Table rowId colId cell)

table :: forall m. Monad m => ParserT String m (List (List String))

toTyped :: forall cell rowId colId. Hashable rowId => Hashable colId => (String -> Maybe cell) -> (String -> Maybe colId) -> (String -> Maybe rowId) -> List (List String) -> Either (Error rowId colId) (Table rowId colId cell)