Data.Table.Parse

data Error rowId colId cell

Constructors

• MkTableErrors (Set (Error rowId colId cell))
• MkRowErrors (List RowToCellsError)
• MkRaggedRows
• MkEmpty
• MkParseError ParseError

Instances

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

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 row column rowId colId. Ord rowId => Ord colId => Ord cell => Ord colId => (String -> Maybe cell) -> (String -> Maybe colId) -> (NonEmptyList cell -> Maybe row) -> (String -> Maybe rowId) -> (NonEmptyList cell -> Maybe column) -> String -> Either (Error rowId colId cell) (Table rowId colId cell row column)

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

toTyped :: forall cell row column rowId colId. Ord rowId => Ord colId => Ord cell => Ord colId => (String -> Maybe cell) -> (String -> Maybe colId) -> (NonEmptyList cell -> Maybe row) -> (String -> Maybe rowId) -> (NonEmptyList cell -> Maybe column) -> List (List String) -> Either (Error rowId colId cell) (Table rowId colId cell row column)