Safe Haskell	None
Language	Haskell2010

Control.Effects.Free.State

Synopsis

Documentation

This module provides the familiar state effect.

data State s a

The functor representing the effect. You shouldn't need to create this manually, just use get, put or state.

Constructors

SGet (s -> a)
SPut s a

Instances

Functor (State s)
Typeable (* -> * -> *) State

Read from state

put :: (Member (State s) r, Typeable s) => s -> Eff r ()

Write to state

state :: (Member (State s) r, Typeable s) => (s -> (a, s)) -> Eff r a

Lift a function into state

Handle state into a function. Note that applying the resulting function you get out another program that you have to bind over.