RSAGL.FRPBase

Documentation

data FRPBase t i o a j p

Source

Instances

ArrowChoice a => ArrowTransformer (FRPBase t i o) a

ArrowChoice a => Arrow (FRPBase t i o a)

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

Source

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

Source

spawnThreads :: (Arrow a, ArrowChoice a, ArrowApply a) => FRPBase t i o a [(t, FRPBase t i o a i o)] ()

Source

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

Source

threadIdentity :: ArrowChoice a => FRPBase t i o a () t

Source

frpBaseContext :: (Arrow a, ArrowChoice a, ArrowApply a) => (forall x. j -> [(t, x)] -> [(t, (p, x))] -> [x]) -> [(t, FRPBase t j p a j p)] -> FRPBase u i o a j [(t, p)]

Source

withState :: (Arrow a, ArrowChoice a, ArrowApply a, Monoid p) => (forall x. j -> [(t, x)] -> [(t, (p, x))] -> [x]) -> [(t, FRPBase t j p (StateArrow s a) j p)] -> s -> FRPBase t i o a j [(t, p)]

Source

withExposedState :: (Arrow a, ArrowChoice a, ArrowApply a, Monoid p) => (forall x. j -> [(t, x)] -> [(t, (p, x))] -> [x]) -> [(t, FRPBase t j p (StateArrow s a) j p)] -> FRPBase t i o a (j, s) ([(t, p)], s)

Source

statefulContext :: (Arrow a, ArrowChoice a, ArrowApply a) => StatefulArrow a j p -> FRPBase t i o a j p

Source

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

Source

Produced by Haddock version 2.1.0