Control.Arrow.State

Documentation

module Control.Arrow.State.Class

newtype StateT s r a b

Constructors

StateT

Fields

runStateT :: r (a, s) (b, s)

Instances

(Arrow r, ArrowTransformer xT, Arrow (xT (StateT s r))) => ArrowState s (xT (StateT s r))

Arrow r => ArrowState s (StateT s r)

ArrowTransformer (StateT s)

Arrow r => Arrow (StateT s r)

ArrowZero r => ArrowZero (StateT s r)

ArrowPlus r => ArrowPlus (StateT s r)

ArrowApply r => ArrowApply (StateT s r)

ArrowLoop r => ArrowLoop (StateT s r)

Category r => Category (StateT s r)