Control.Effect.Handler.Heftia.State

Description

Interpreter for the State effect class.

Synopsis

interpretState :: forall s es m a. Monad m => s -> Fre (StateI s ': es) m a -> Fre es m (s, a)
evalState :: forall s es m a. Monad m => s -> Fre (StateI s ': es) m a -> Fre es m a
execState :: forall s es m a. Monad m => s -> Fre (StateI s ': es) m a -> Fre es m s
interpretStateT :: forall s es m. Monad m => Fre (StateI s ': es) m ~> StateT s (Fre es m)

Documentation

interpretState :: forall s es m a. Monad m => s -> Fre (StateI s ': es) m a -> Fre es m (s, a) Source #

Interpret the Get/Put effects using the StateT monad transformer.

evalState :: forall s es m a. Monad m => s -> Fre (StateI s ': es) m a -> Fre es m a Source #

execState :: forall s es m a. Monad m => s -> Fre (StateI s ': es) m a -> Fre es m s Source #

interpretStateT :: forall s es m. Monad m => Fre (StateI s ': es) m ~> StateT s (Fre es m) Source #

Interpret the Get/Put effects using the StateT monad transformer.