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 rl row. RowToList row rl => ReadLevel rl () row (Object (Object String)) => String -> Either UhOhSpaghettios ({  | row })

parsellIni' :: forall rl row. RowToList row rl => ReadLevel rl () row (Object (Object String)) => String -> Except UhOhSpaghettios ({  | 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 :: # Type) (to :: # Type) strmap | xs strmap -> from to where

Members

• readLevel :: RLProxy xs -> strmap -> Except UhOhSpaghettios (Builder { | from } { | 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 { | inner } from' to, Lacks name from', RowToList inner xs, ReadLevel xs () inner (Object String), ReadLevel tail from from' (Object (Object String))) => ReadLevel (Cons name { | inner } tail) from to (Object (Object String))

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