rsagl-0.2.1: The RogueStar Animation and Graphics Library Source code Contents Index

RSAGL.StatefulArrow

Documentation

data StatefulArrow a i o Source

Constructors StatefulArrow runStatefulArrow :: a i (o, StatefulArrow a i o) Instances Arrow a => ArrowTransformer StatefulArrow a Arrow a => Arrow (StatefulArrow a)

type StatefulFunction = StatefulArrow (->) Source

stateContext :: Arrow a => StateArrow s a i o -> s -> StatefulArrow a i o Source

withState :: (Arrow a, ArrowApply a) => StatefulArrow (StateArrow s a) i o -> s -> StatefulArrow a i o Source

withExposedState :: (Arrow a, ArrowApply a) => StatefulArrow (StateArrow s a) i o -> StatefulArrow a (i, s) (o, s) Source

statefulTransform :: (Arrow a, Arrow b) => (forall j p. a j p -> b j p) -> StatefulArrow a i o -> StatefulArrow b i o Source

runStateMachine :: (ArrowChoice a, ArrowApply a) => StatefulArrow a i o -> a [i] [o] Source

Produced by Haddock version 2.1.0