Control.Monad.Trans.State.Lazy

The State monad

type State s

state

runState

evalState

execState

mapState

withState

The StateT monad transformer

data StateT s m a

evalStateT

execStateT

mapStateT

withStateT

State operations

get

put

modify

modify'

gets

Lifting other operations

liftCallCC

liftCallCC'

liftCatch

liftListen

liftPass

Examples

State monads

Counting

Labelling trees