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, ArrowTrans xT, Arrow (xT (StateT s r))) => ArrowState s (xT (StateT s r))

Arrow r => ArrowState s (StateT s r)

ArrowTrans (StateT s)

Arrow r => Arrow (StateT s r)

ArrowApply r => ArrowApply (StateT s r)

Category r => Category (StateT s r)