atl-15409.2: Arrow Transformer Library

Safe HaskellSafe-Infered

Control.Arrow.State

Documentation

newtype StateT s r a b Source

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) 
ArrowChoice r => ArrowChoice (StateT s r) 
ArrowApply r => ArrowApply (StateT s r) 
ArrowLoop r => ArrowLoop (StateT s r) 
Category r => Category (StateT s r)