Effects.State
Description
State effect.
data State s a where Source #
The state effect
Constructors
Get the current state
Set the current state
get :: Member (State s) es => Prog es s Source #
Wrapper function for Get
Get
put :: Member (State s) es => s -> Prog es () Source #
Wrapper function for Put
Put
modify :: Member (State s) es => (s -> s) -> Prog es () Source #
Wrapper function for apply a function to the state
handleState Source #
Arguments
initial state
(output, final state)
Handle the State s effect
State s