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

RSAGL.SwitchedArrow

Documentation

data SwitchedArrow i o a j p Source

Instances (Arrow a, ArrowChoice a) => ArrowTransformer (SwitchedArrow i o) a (Arrow a, ArrowChoice a) => Arrow (SwitchedArrow i o a) (ArrowChoice a, ArrowApply a) => ArrowApply (SwitchedArrow i o a) ArrowChoice a => ArrowChoice (SwitchedArrow i o a)

type SwitchedFunction i o j p = SwitchedArrow i o (->) j p Source

switchContinue :: (Arrow a, ArrowChoice a, ArrowApply a) => SwitchedArrow i o a (Maybe (SwitchedArrow i o a i o), i) i Source

switchTerminate :: (Arrow a, ArrowChoice a) => SwitchedArrow i o a (Maybe (SwitchedArrow i o a i o), o) o Source

statefulForm :: (Arrow a, ArrowChoice a) => SwitchedArrow i o a i o -> StatefulArrow a i o Source

runStateful :: (Arrow a, ArrowChoice a) => SwitchedArrow i o a i o -> a i (o, SwitchedArrow i o a i o) Source

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

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

Produced by Haddock version 2.1.0