Module

DataMVC.Variant.Init

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

#InitVariant Source

class InitVariant :: Row Type -> Symbol -> Row Type -> Row Type -> Constraintclass InitVariant (inits :: Row Type) (initsym :: Symbol) (r :: Row Type) (rsta :: Row Type) | inits initsym -> r rsta where

Members

initVariant :: Record inits -> Proxy initsym -> Maybe (Variant r) -> VariantState rsta

Instances

(Cons initsym (Maybe a -> sta) initsx inits, Cons initsym sta rstax rsta, IsSymbol initsym, RowToList inits rl, InitVariantRL rl inits r rsta) => InitVariant inits initsym r rsta

#InitVariantRL Source

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

Members

initVariantRL :: Proxy rl -> Record inits -> Variant r -> VariantState rsta

Instances

InitVariantRL Nil inits () rsta
(InitVariantRL rl' inits r' rsta, Cons sym a r' r, Cons sym (Maybe a -> sta) initsx inits, Cons sym sta rstax rsta, IsSymbol sym) => InitVariantRL (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