Control.Monad.Trans.Ether.State.Strict
type State tag r
state
runState
evalState
execState
data StateT tag s m a
stateT
runStateT
evalStateT
execStateT
get
put