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