Module
MVC.Record.Update
- Package
- purescript-mvc
- Repository
- thought2/purescript-mvc
#UpdateRecord Source
class UpdateRecord :: Row Type -> Row Type -> Row Type -> Constraintclass UpdateRecord (updates :: Row Type) (rmsg :: Row Type) (rsta :: Row Type) | updates -> rmsg rsta where
Members
updateRecord :: Record updates -> (RecordMsg rmsg -> RecordState rsta -> RecordState rsta)
Instances
(RowToList rsta rl, UpdateRecordRL rl rsta rmsg updates) => UpdateRecord updates rmsg rsta
#UpdateRecordRL Source
class UpdateRecordRL :: RowList Type -> Row Type -> Row Type -> Row Type -> Constraintclass UpdateRecordRL (rl :: RowList Type) (rs :: Row Type) (rm :: Row Type) (updates :: Row Type) | rl -> rs rm updates where
Members
updateRecordRL :: Proxy rl -> Record updates -> (RecordState rs -> Variant rm -> RecordState rs)
Instances
UpdateRecordRL Nil rs () ()(IsSymbol sym, UpdateRecordRL rl' rs rm' updates', Cons sym sta rsx rs, Cons sym msg rm' rm, Cons sym (msg -> sta -> sta) updates' updates, Lacks sym rm', Lacks sym rsx, Lacks sym updates') => UpdateRecordRL (Cons sym x rl') rs rm updates