DataMVC.Variant.DataUiInterface

type DataUiInterfaceVariantProps :: (Type -> Type) -> Symbol -> Typetype DataUiInterfaceVariantProps srf initsym = { view :: forall msg. ViewArgs srf msg -> srf msg }

data FnConvertInit

Constructors

• FnConvertInit

Instances

• Mapping FnConvertInit (Maybe a -> b) b

data FnRecordGet :: Symbol -> Typedata FnRecordGet sym

Instances

• (Cons sym a rx r, IsSymbol sym, Newtype nt (Record r)) => Mapping (FnRecordGet sym) nt a

class DataUiInterfaceVariant :: Row Type -> (Type -> Type) -> Symbol -> Row Type -> Row Type -> Row Type -> Row Type -> Constraintclass DataUiInterfaceVariant (uis :: Row Type) (srf :: Type -> Type) (initsym :: Symbol) (rcase :: Row Type) (rmsg :: Row Type) (rsta :: Row Type) (r :: Row Type) | uis srf initsym rcase -> rmsg rsta r where

Members

• dataUiInterfaceVariant :: Record uis -> Proxy initsym -> DataUiInterfaceVariantProps srf initsym -> DataUiInterface srf (VariantMsg rcase rmsg) (VariantState rsta) (Variant r)

Instances

• (MapProp "extract" uis extracts, MapProp "init" uis inits, MapProp "update" uis updates, MapProp "view" uis views, InitVariant inits initsym r rsta, UpdateVariant inits' updates rcase rmsg rsta, ViewVariant srf views rcase rmsg rsta, ExtractVariant extracts rsta r, MapInits inits inits') => DataUiInterfaceVariant uis srf initsym rcase rmsg rsta r

class MapInits :: Row Type -> Row Type -> Constraintclass MapInits (inits :: Row Type) (inits' :: Row Type) | inits -> inits' where

Members

• mapInits :: Record inits -> Record inits'

Instances

• (HMap FnConvertInit (Record inits) (Record inits')) => MapInits inits inits'

class MapProp :: Symbol -> Row Type -> Row Type -> Constraintclass MapProp (sym :: Symbol) (ri :: Row Type) (ro :: Row Type) | sym ri -> ro where

Members

• mapProp :: Proxy sym -> Record ri -> Record ro

Instances

• (HMap (FnRecordGet sym) (Record ri) (Record ro)) => MapProp sym ri ro