Module
Transit.Class.MkUpdate
- Package
- purescript-transit
- Repository
- m-bock/purescript-transit
#MkUpdate Source
class MkUpdate :: TransitCoreTL -> (Type -> Type) -> (Type -> Type) -> Type -> Type -> Type -> Constraintclass MkUpdate (spec :: TransitCoreTL) (m :: Type -> Type) (may :: Type -> Type) matches msg state | spec msg state m -> matches where
Members
mkUpdateCore :: matches -> state -> msg -> m (may state)
Instances
(MkHandlerLookup m spec matches rowState rowMsg, Applicative m, Alternative may) => MkUpdate (MkTransitCoreTL spec) m may matches (Variant rowMsg) (Variant rowState)
- Modules
- Transit
- Transit.
Class. CheckReturn - Transit.
Class. CurryN - Transit.
Class. MkHandlerLookup - Transit.
Class. MkUpdate - Transit.
Core - Transit.
DSL - Transit.
Data. DotLang - Transit.
Data. Graph - Transit.
Data. Html - Transit.
Data. MaybeChurch - Transit.
Data. Table - Transit.
HandlerLookup - Transit.
Render. Graphviz - Transit.
Render. Theme - Transit.
Render. TransitionTable - Transit.
StateGraph - Transit.
VariantUtils