Control.Monad.Trans.State.Strict

# 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

gets

# Lifting other operations

liftCallCC

liftCallCC'

liftCatch

liftListen

liftPass

# Examples

## State monads

## Counting

## Labelling trees