Tortellini

data UhOhSpaghetto

Constructors

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

Instances

• Show UhOhSpaghetto

type UhOhSpaghettios = NonEmptyList UhOhSpaghetto

type Parsellini a = Except UhOhSpaghettios a

parsellIni :: forall row rl. RowToList row rl => ReadLevel rl () row (Object (Object String)) => String -> Either UhOhSpaghettios (Record row)

parsellIni' :: forall row rl. RowToList row rl => ReadLevel rl () row (Object (Object String)) => String -> Except UhOhSpaghettios (Record row)

class ReadIniField a  where

Members

• readIniField :: String -> Except UhOhSpaghettios a

Instances

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

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

Members

• readLevel :: RLProxy xs -> strmap -> Except UhOhSpaghettios (Builder (Record from) (Record to))

Instances

• ReadLevel Nil () () strmap
• (IsSymbol name, Cons name ty from' to, Lacks name from', ReadIniField ty, ReadLevel tail from from' (Object String)) => ReadLevel (Cons name ty tail) from to (Object String)
• (IsSymbol name, Cons name (Record inner) from' to, Lacks name from', RowToList inner xs, ReadLevel xs () inner (Object String), ReadLevel tail from from' (Object (Object String))) => ReadLevel (Cons name (Record inner) tail) from to (Object (Object String))

levelOperation :: forall name to from' from tail ty item. IsSymbol name => Cons name ty from' to => Lacks name from' => ReadLevel tail from from' (Object item) => { from :: RProxy from, from' :: RProxy from', name :: SProxy name, tail :: RLProxy tail, to :: RProxy to } -> (String -> UhOhSpaghetto -> UhOhSpaghetto) -> (item -> Parsellini ty) -> Object item -> Parsellini (Builder (Record from) (Record to))