Modulefused-effects-1.1.2.7Haskell2010

Control.Carrier.State.Church

A church-encoded carrier for the State effect.

Note that the parameter order in runState, evalState, and execState is reversed compared the equivalent functions provided by transformers. This is an intentional decision made to enable the composition of effect handlers with . without invoking flip.

1 type
3 values

Packagefused-effects-1.1.2.7
Exports4
LanguageHaskell2010
LicenceBSD-3-Clause
SourceChurch.hs

State carrier

4 declarations

valuerunState :: (s -> a -> m b) -> s -> StateC s m a -> m b

Run a State effect starting from the passed value, applying a continuation to the final state and result.

runState k s (pure a) = k s a

runState k s get = k s s

runState k s (put t) = k t ()

valueevalState :: Applicative m => s -> StateC s m a -> m a

Run a State effect, yielding the result value and discarding the final state.

evalState = runState (const pure)

valueexecState :: Applicative m => s -> StateC s m a -> m s

Run a State effect, yielding the final state and discarding the return value.

execState = runState (const . pure)

newtypenewtype StateC s (m :: Type -> Type) a

Constructors

StateC (forall r. (s -> a -> m r) -> s -> m r)

Instances10MonadTrans, Monad, Functor, MonadFix, MonadFail, Applicative, …

MonadTrans (StateC s)Defined in fused-effects-1.1.2.7 · Control.Carrier.State.Church
Monad (StateC s m)Defined in fused-effects-1.1.2.7 · Control.Carrier.State.Church
Functor (StateC s m)Defined in fused-effects-1.1.2.7 · Control.Carrier.State.Church
MonadFix m => MonadFix (StateC s m)Defined in fused-effects-1.1.2.7 · Control.Carrier.State.Church
MonadFail m => MonadFail (StateC s m)Defined in fused-effects-1.1.2.7 · Control.Carrier.State.Church
Applicative (StateC s m)Defined in fused-effects-1.1.2.7 · Control.Carrier.State.Church
Alternative m => Alternative (StateC s m)Defined in fused-effects-1.1.2.7 · Control.Carrier.State.Church
(Alternative m, Monad m) => MonadPlus (StateC s m)Defined in fused-effects-1.1.2.7 · Control.Carrier.State.Church
MonadIO m => MonadIO (StateC s m)Defined in fused-effects-1.1.2.7 · Control.Carrier.State.Church
Algebra sig m => Algebra (State s :+: sig) (StateC s m)Defined in fused-effects-1.1.2.7 · Control.Carrier.State.Church

State effect

0 declarations

module Control.Effect.State