Module

Transit.Class.MkHandlerLookup

Package: purescript-transit
Repository: m-bock/purescript-transit

Type class for building handler lookups from transit specifications.

#MkHandlerLookupBuilder Source

class MkHandlerLookupBuilder :: (Type -> Type) -> List' @Type MatchTL -> Type -> Row Type -> Row Type -> Constraintclass MkHandlerLookupBuilder (m :: Type -> Type) (spec :: List' MatchTL) matches (rowState :: Row Type) (rowMsg :: Row Type) | spec rowState rowMsg m -> matches where

Members

mkHandlerLookupBuilder :: matches -> HandlerLookupBuilder m rowState rowMsg

Instances

MkHandlerLookupBuilder m Nil' Unit rowState rowMsg
(IsSymbol symStateIn, IsSymbol symMsg, Functor m, CheckReturn returns rowStateOut rowStateOutClean, MkHandlerLookupBuilder m restSpec restMatches rowState rowMsg, Cons symStateIn stateIn _rowState rowState, Cons symMsg msgIn _rowMsg rowMsg, Union rowStateOutClean _rowStateOutOthers rowState) => MkHandlerLookupBuilder m (Cons' (MkMatchTL symStateIn symMsg returns) restSpec) (Tuple (MatchImpl symStateIn symMsg stateIn msgIn m (Variant rowStateOut)) restMatches) rowState rowMsg

#MkHandlerLookup Source

class MkHandlerLookup :: (Type -> Type) -> List' @Type MatchTL -> Type -> Row Type -> Row Type -> Constraintclass MkHandlerLookup (m :: Type -> Type) (spec :: List' MatchTL) matches (rowState :: Row Type) (rowMsg :: Row Type) | spec rowState rowMsg m -> matches where

Members

mkHandlerLookup :: matches -> HandlerLookup m rowState rowMsg

Instances

(MkHandlerLookupBuilder m spec matches rowState rowMsg, Applicative m) => MkHandlerLookup m spec matches rowState rowMsg

Modules: Transit; Transit.Class.CheckReturn; Transit.Class.CurryN; Transit.Class.MkAutoHandlers; 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