Tortellini

data UhOhSpaghetto

Constructors

• Error String
• ErrorAtDocumentProperty String UhOhSpaghetto
• ErrorAtSectionProperty String UhOhSpaghetto
• ErrorInParsing ParseError

Instances

• Show UhOhSpaghetto

type UhOhSpaghettios = NonEmptyList UhOhSpaghetto

parseIni :: forall row rl. RowToList row rl => ReadDocumentSections rl () row => String -> Either UhOhSpaghettios (Record row)

parseIni' :: forall row rl. RowToList row rl => ReadDocumentSections rl () row => String -> Except UhOhSpaghettios (Record row)

class ReadIniField a  where

Members

• readIniField :: Proxy a -> String -> Except UhOhSpaghettios a

Instances

• ReadIniField String
• ReadIniField Int
• ReadIniField Boolean
• (ReadIniField a) => ReadIniField (Array a)

class ReadDocumentSections (xs :: RowList) (from :: Row Type) (to :: Row Type) | xs -> from to where

Members

• readDocumentSections :: RLProxy xs -> StrMap (StrMap String) -> Except UhOhSpaghettios (Builder (Record from) (Record to))

Instances

• ReadDocumentSections Nil () ()
• (IsSymbol name, RowToList inner xs, ReadSection xs () inner, RowCons name (Record inner) from' to, RowLacks name from', ReadDocumentSections tail from from') => ReadDocumentSections (Cons name (Record inner) tail) from to

class ReadSection (xs :: RowList) (from :: Row Type) (to :: Row Type) | xs -> from to where

Members

• readSection :: RLProxy xs -> StrMap String -> Except UhOhSpaghettios (Builder (Record from) (Record to))

Instances

• ReadSection Nil () ()
• (IsSymbol name, ReadIniField ty, ReadSection tail from from', RowCons name ty from' to, RowLacks name from') => ReadSection (Cons name ty tail) from to