Module

DataMVC.Types.DataUI

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

#DataUI Source

newtype DataUI :: (Type -> Type) -> (Type -> Type) -> (Type -> Type) -> Type -> Type -> Type -> Typenewtype DataUI srf fm fs msg sta a

Constructors

DataUI (DataUICtx srf fm fs -> DataUiInterface srf msg sta a)

Instances

Newtype (DataUI srf fm fs msg sta a) _

#DataUICtx Source

newtype DataUICtx :: (Type -> Type) -> (Type -> Type) -> (Type -> Type) -> Typenewtype DataUICtx html fm fs

Constructors

DataUICtx (DataUICtxImpl html fm fs)

#DataUICtxImpl Source

type DataUICtxImpl :: (Type -> Type) -> (Type -> Type) -> (Type -> Type) -> Typetype DataUICtxImpl html fm fs = { wrap :: forall msg sta a. DataUiInterface html msg sta a -> DataUiInterface html (fm msg) (fs sta) a }

#DataUiInterface Source

newtype DataUiInterface :: (Type -> Type) -> Type -> Type -> Type -> Typenewtype DataUiInterface srf msg sta a

Constructors

DataUiInterface { extract :: sta -> DataResult a, init :: Maybe a -> sta, name :: String, update :: msg -> sta -> sta, view :: sta -> srf msg }

Instances

Newtype (DataUiInterface srf msg sta a) _

#RefineDataResults Source

type RefineDataResults a b = { refine :: a -> DataResult b, typeName :: String, unrefine :: b -> a }

#applyDataUi Source

applyDataUi :: forall html fm fs msg1 msg2 sta1 sta2 a1 a2. { extract :: Extract sta1 a1 -> Extract sta2 a2, init :: Init sta1 a1 -> Init sta2 a2, name :: String, update :: Update msg1 sta1 -> Update msg2 sta2, view :: View html msg1 sta1 -> View html msg2 sta2 } -> DataUI html fm fs msg1 sta1 a1 -> DataUI html fm fs msg2 sta2 a2

#applyWrap Source

applyWrap :: forall srf fm fs msg sta a. DataUI srf fm fs msg sta a -> DataUI srf fm fs (fm msg) (fs sta) a

#dataUiInterfaceToUI Source

dataUiInterfaceToUI :: forall html msg sta a. DataUiInterface html msg sta a -> UI html msg sta

#refineDataUi Source

refineDataUi :: forall srf fm fs msg sta a b. RefineDataResults a b -> DataUI srf fm fs msg sta a -> DataUI srf fm fs msg sta b

#runDataUi Source

runDataUi :: forall srf fm fs msg sta a. DataUI srf fm fs msg sta a -> DataUICtx srf fm fs -> DataUiInterface srf msg sta a

#runDataUiFinal Source

runDataUiFinal :: forall srf fm fs msg sta a. DataUI srf fm fs msg sta a -> DataUICtx srf fm fs -> DataUiInterface srf (fm msg) (fs sta) a

#unDataUICtx Source

unDataUICtx :: forall html fm fs. DataUICtx html fm fs -> DataUICtxImpl html fm fs

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