Module

DataMVC.Record.Init

Package: purescript-data-mvc
Repository: thought2/purescript-data-mvc

#InitRecord Source

class InitRecord :: Row Type -> Row Type -> Row Type -> Constraintclass InitRecord (inits :: Row Type) (r :: Row Type) (rsta :: Row Type) | inits -> r rsta where

Members

initRecord :: Record inits -> Maybe (Record r) -> RecordState rsta

Instances

(InitRecordRL rl inits r rsta, RowToList inits rl) => InitRecord inits r rsta

#InitRecordRL Source

class InitRecordRL :: RowList Type -> Row Type -> Row Type -> Row Type -> Constraintclass InitRecordRL (rl :: RowList Type) (inits :: Row Type) (r :: Row Type) (rsta :: Row Type) | rl inits -> r rsta where

Members

initRecordRL :: Proxy rl -> Record inits -> Maybe (Record r) -> RecordState rsta

Instances

InitRecordRL Nil inits r ()
(InitRecordRL rl' inits r rsta', Cons sym (Maybe a -> sta) initsx inits, Cons sym a rx r, Cons sym sta rsta' rsta, Lacks sym rsta', IsSymbol sym) => InitRecordRL (Cons sym x rl') inits r rsta

Modules: DataMVC.ApplyCtx; DataMVC.Record.DataUI; DataMVC.Record.DataUiInterface; DataMVC.Record.Extract; DataMVC.Record.Init; DataMVC.Types; DataMVC.Types.DataError; DataMVC.Types.DataPath; DataMVC.Types.DataUI; DataMVC.Variant.DataUI; DataMVC.Variant.DataUiInterface; DataMVC.Variant.Extract; DataMVC.Variant.Init