Module

DataMVC.Record.Extract

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

#ExtractRecord Source

class ExtractRecord :: Row Type -> Row Type -> Row Type -> Constraintclass ExtractRecord (extracts :: Row Type) (rsta :: Row Type) (r :: Row Type) | extracts -> rsta r where

Members

extractRecord :: Record extracts -> RecordState rsta -> DataResult (Record r)

Instances

(RowToList extracts rl, ExtractRecordRL rl extracts rsta r) => ExtractRecord extracts rsta r

#ExtractRecordRL Source

class ExtractRecordRL :: RowList Type -> Row Type -> Row Type -> Row Type -> Constraintclass ExtractRecordRL (rl :: RowList Type) (extracts :: Row Type) (rsta :: Row Type) (r :: Row Type) | rl extracts -> rsta r where

Members

extractRecordRL :: Proxy rl -> Record extracts -> RecordState rsta -> DataResult (Record r)

Instances

ExtractRecordRL Nil extracts rsta ()
(ExtractRecordRL rl' extracts rsta r', Cons sym (sta -> DataResult a) extractsx extracts, Cons sym sta rstax rsta, Cons sym a r' r, Lacks sym r', IsSymbol sym) => ExtractRecordRL (Cons sym x rl') extracts rsta r

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