Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data Sig s es a r
- type React s es = Freer s FTCQueue TaggableFun (Rct es)
- type Handle m es = EvReqs es -> m (EvOccs es)
- type HandleSt st m es = EvReqs es -> St st m (EvOccs es)
- type St st m a = st -> m (a, st)
- interpret :: (Monad m, Adjustable es es') => Handle m es' -> (a -> m ()) -> Sig s es a r -> m r
- interpretSt :: (Monad m, Adjustable es es') => HandleSt st m es' -> (a -> m ()) -> Sig s es a r -> St st m r
- interpretReact :: (Monad m, Adjustable es es') => Handle m es' -> React s es r -> m r
- interpretReactSt :: (Monad m, Adjustable es es') => HandleSt st m es' -> React s es r -> St st m r
Type
Instances
((es :+: es) ~ es, Mergeable es es es, Monoid r) => Applicative (Flip (Sig s es) r) Source # | |
Defined in Control.Moffy.Internal.Sig pure :: a -> Flip (Sig s es) r a # (<*>) :: Flip (Sig s es) r (a -> b) -> Flip (Sig s es) r a -> Flip (Sig s es) r b # liftA2 :: (a -> b -> c) -> Flip (Sig s es) r a -> Flip (Sig s es) r b -> Flip (Sig s es) r c # (*>) :: Flip (Sig s es) r a -> Flip (Sig s es) r b -> Flip (Sig s es) r b # (<*) :: Flip (Sig s es) r a -> Flip (Sig s es) r b -> Flip (Sig s es) r a # | |
Functor (Flip (Sig s es) r) Source # | |
Applicative (Sig s es a) Source # | |
Defined in Control.Moffy.Internal.Sig.Type | |
Functor (Sig s es a) Source # | |
Monad (Sig s es a) Source # | |
Run
interpret :: (Monad m, Adjustable es es') => Handle m es' -> (a -> m ()) -> Sig s es a r -> m r Source #
interpretSt :: (Monad m, Adjustable es es') => HandleSt st m es' -> (a -> m ()) -> Sig s es a r -> St st m r Source #
interpretReact :: (Monad m, Adjustable es es') => Handle m es' -> React s es r -> m r Source #
interpretReactSt :: (Monad m, Adjustable es es') => HandleSt st m es' -> React s es r -> St st m r Source #