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))

Methods

get :: xT (StateT s r) () s

put :: xT (StateT s r) s ()

Arrow r => ArrowState s (StateT s r)

Methods

get :: StateT s r () s

put :: StateT s r s ()

ArrowTransformer (StateT s)

Methods

lift :: Arrow r => r a b -> StateT s r a b

tmap :: (Arrow r, Arrow s) => (forall a b. r a b -> s a b) -> StateT s r a b -> StateT s s a b

Category * r => Category * (StateT s r)

Methods

id :: cat a a

(.) :: cat b c -> cat a b -> cat a c

Arrow r => Arrow (StateT s r)

Methods

arr :: (b -> c) -> StateT s r b c

first :: StateT s r b c -> StateT s r (b, d) (c, d)

second :: StateT s r b c -> StateT s r (d, b) (d, c)

(***) :: StateT s r b c -> StateT s r b' c' -> StateT s r (b, b') (c, c')

(&&&) :: StateT s r b c -> StateT s r b c' -> StateT s r b (c, c')

ArrowZero r => ArrowZero (StateT s r)

Methods

zeroArrow :: StateT s r b c

ArrowPlus r => ArrowPlus (StateT s r)

Methods

(<+>) :: StateT s r b c -> StateT s r b c -> StateT s r b c

ArrowChoice r => ArrowChoice (StateT s r)

Methods

left :: StateT s r b c -> StateT s r (Either b d) (Either c d)

right :: StateT s r b c -> StateT s r (Either d b) (Either d c)

(+++) :: StateT s r b c -> StateT s r b' c' -> StateT s r (Either b b') (Either c c')

(|||) :: StateT s r b d -> StateT s r c d -> StateT s r (Either b c) d

ArrowApply r => ArrowApply (StateT s r)

Methods

app :: StateT s r (StateT s r b c, b) c

ArrowLoop r => ArrowLoop (StateT s r)

Methods

loop :: StateT s r (b, d) (c, d) -> StateT s r b c