Effects.State
Description
The state effect
data State s a where Source #
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 Set
Set
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