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

RSAGL.ThreadedArrow

Documentation

type ThreadIdentity t = forall i x o. i -> [(t, x)] -> [(t, (o, x))] -> [x] Source

nullaryThreadIdentity :: ThreadIdentity () Source

maybeThreadIdentity :: ThreadIdentity t -> ThreadIdentity (Maybe t) Source

unionThreadIdentity :: (t -> t -> Bool) -> ThreadIdentity t Source

type ThreadedFunction i o j p = ThreadedArrow () i o (->) j p Source

data ThreadedArrow t i o a j p Source

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

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

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

spawnThreads :: (Arrow a, ArrowChoice a) => ThreadedArrow t i o a [(t, ThreadedArrow t i o a i o)] () Source

killThreadIf :: (Arrow a, ArrowChoice a, ArrowApply a) => ThreadedArrow t i o a Bool () Source

threadIdentity :: ArrowChoice a => ThreadedArrow t i o a () t Source

statefulForm :: (ArrowChoice a, ArrowApply a) => (forall x. i -> [(t, x)] -> [(t, (o, x))] -> [x]) -> [(t, ThreadedArrow t i o a i o)] -> StatefulArrow a i [(t, o)] Source

Produced by Haddock version 2.1.0