Module

Transit.Class.MkHandlerLookup

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

Type class for building handler lookups from transit specifications.

#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 -> HandlerLookupBuilder m rowState rowMsg

Instances

MkHandlerLookup m Nil' Unit rowState rowMsg
(IsSymbol symStateIn, IsSymbol symMsg, CheckReturn returns rowStateOut rowStateOut', Cons symStateIn stateIn _x1 rowState, Cons symMsg msgIn _x2 rowMsg, Union rowStateOut' _x3 rowState, Functor m, MkHandlerLookup m rest1 rest2 rowState rowMsg) => MkHandlerLookup m (Cons' (MkMatchTL symStateIn symMsg returns) rest1) (Tuple (MatchImpl symStateIn symMsg stateIn msgIn m (Variant rowStateOut)) rest2) rowState rowMsg

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