Algebra.Monad.State

The State Monad

class MonadState s m

data StateT s m a

type State s a

stateT

eval

exec

state

(=~)

(=-)

(^>=)

gets

use

saving

type Next a

type Prev a

mapAccum

mapAccum_

mapAccumR

mapAccumR_

push

pop

withPrev

withNext

The State Arrow

data StateA m s a

stateA