Module

DataMVC.ApplyCtx

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

#ApplyCtx Source

class ApplyCtx :: Type -> Row Type -> Row Type -> Constraintclass ApplyCtx (a :: Type) (datauis :: Row Type) (uis :: Row Type) | datauis -> uis a where

Members

mapApplyCtx :: a -> Record datauis -> Record uis

Instances

(ApplyCtxRL rl a datauis uis, RowToList datauis rl) => ApplyCtx a datauis uis

#ApplyCtxRL Source

class ApplyCtxRL :: RowList Type -> Type -> Row Type -> Row Type -> Constraintclass ApplyCtxRL (rl :: RowList Type) (a :: Type) (datauis :: Row Type) (uis :: Row Type) | datauis -> uis a where

Members

mapApplyCtxRL :: Proxy rl -> a -> Record datauis -> Record uis

Instances

ApplyCtxRL Nil a datauis ()
(ApplyCtxRL rl' (DataUICtx srf fm fs) datauis uis', Cons sym (DataUiInterface srf (fm msg) (fs sta) a) uis' uis, Cons sym (DataUI srf fm fs msg sta a) datauisx datauis, IsSymbol sym, Lacks sym uis') => ApplyCtxRL (Cons sym x rl') (DataUICtx srf fm fs) datauis uis

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