Control.Monad.State.Dependent

data StateT t s m a

type State t s

type MonadState t s m

class MonadGet t s m

class MonadPut t s m

fromStateT

runT

evalT

execT

run

eval

exec

with

modify

modify_

modifyM

withState