Module

DataMVC.Variant.Extract

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

#ExtractVariant Source

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

Members

extractVariant :: Record extracts -> VariantState rsta -> DataResult (Variant r)

Instances

(ExtractVariantRL rl extracts rsta r, RowToList extracts rl) => ExtractVariant extracts rsta r

#ExtractVariantRL Source

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

Members

extractVariantRL :: Proxy rl -> Record extracts -> Variant rsta -> DataResult (Variant r)

Instances

ExtractVariantRL Nil extracts () r
(ExtractVariantRL rl' extracts rsta' r, Cons sym (sta -> DataResult a) extractsx extracts, Cons sym sta rsta' rsta, Cons sym a rx r, IsSymbol sym) => ExtractVariantRL (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