DeepControl.Monad.State

class MonadState s m

modify

gets

Level-0

data State s a

evalState

execState

mapState

withState

Level-1

data StateT s m a

evalStateT

execStateT

mapStateT

withStateT

liftCatch

Level-2

data StateT2 s m1 m2 a

evalStateT2

execStateT2

mapStateT2

withStateT2

Level-3

data StateT3 s m1 m2 m3 a

evalStateT3

execStateT3

mapStateT3

withStateT3