Control.Monad.Hefty.State

Description

Interpreter for the State effect.

Synopsis

runState :: forall s es a. FOEs es => s -> Eff (State s ': es) a -> Eff es (s, a)
evalState :: forall s es a. s -> FOEs es => Eff (State s ': es) a -> Eff es a
execState :: forall s es a. FOEs es => s -> Eff (State s ': es) a -> Eff es s
handleState :: StateHandler s (State s) f g ans
transactState :: forall s es a. (State s :> es, FOEs es) => Eff es a -> Eff es a
runStateNaive :: forall s es a. FOEs es => s -> Eff (State s ': es) a -> Eff es (s, a)
module Data.Effect.State

Documentation

runState :: forall s es a. FOEs es => s -> Eff (State s ': es) a -> Eff es (s, a) Source #

Interpret the State effect.

evalState :: forall s es a. s -> FOEs es => Eff (State s ': es) a -> Eff es a Source #

Interpret the State effect. Do not include the final state in the return value.

execState :: forall s es a. FOEs es => s -> Eff (State s ': es) a -> Eff es s Source #

Interpret the State effect. Do not include the final result in the return value.

A handler function for the State effect.

transactState :: forall s es a. (State s :> es, FOEs es) => Eff es a -> Eff es a Source #

Within the given scope, make the state roll back to the beginning of the scope in case of exceptions, etc.

runStateNaive :: forall s es a. FOEs es => s -> Eff (State s ': es) a -> Eff es (s, a) Source #

A naive but somewhat slower version of runState that does not use ad-hoc optimizations.