RSAGL.FRP.FRP

Documentation

data FRP e m j p

A switchable automata with timewise numerical methods.

Instances

~ * (StateOf m) s => ArrowState s (FRP e m)

Arrow (FRP e m)

Category (FRP e m)

Functor (FRP e m j)

Applicative (FRP e m j)

switchContinue :: FRP e m (Maybe (FRP e m (SwitchInputOf m) (SwitchOutputOf m)), SwitchInputOf m) (SwitchInputOf m)

Whenever a value is provided, change the presently running switch (or thread) to the specified new value, and execute that switch before continuing. This destroys all state local to the currently running switch (or thread). This function acts as if the switch were performed at frame begin.

switchTerminate :: FRP e m (Maybe (FRP e m (SwitchInputOf m) (SwitchOutputOf m)), SwitchOutputOf m) (SwitchOutputOf m)

Whenever a value is provided, change the presently running switch (or thread) to the specified new value, and execute that switch before continuing. This destroys all state local to the currently running switch (or thread). This function acts as if the switch were performed at frame end.

spawnThreads :: ThreadingOf m ~ Enabled => FRP e m [(ThreadIDOf m, FRP e m (SwitchInputOf m) (SwitchOutputOf m))] ()

Spawn new threads once per frame.

killThreadIf :: ThreadingOf m ~ Enabled => FRP e m Bool ()

Kill the current thread, only when the given parameter is true.

threadIdentity :: FRP e m () (ThreadIDOf m)

Get the current thread's identity.

withThreadIdentity :: (ThreadIDOf m -> FRP e m j p) -> FRP e m j p

Construct an arrow from its thread identity.

frpTest :: (forall e. [FRP e (FRPX () () i o) i o]) -> [i] -> IO [[o]]

type FRPProgram s i o = FRPInit s () i o

newFRPProgram :: (RecombinantState s, Eq t) => ThreadIdentityRule t -> (forall e. [(t, FRP e (FRPX t s i o) i o)]) -> IO (FRPProgram s i [(t, o)])

Construct a multi-threaded FRPProgram.

newFRP1Program :: (forall e. FRP e (FRP1 s i o) i o) -> IO (FRPProgram s i o)

Construct a single-threaded FRPProgram.

updateFRPProgram :: Maybe Time -> (i, s) -> FRPProgram s i o -> IO (o, s)

Bring an FRPProgram up-to-date with the current time or a specific time.

accumulate :: p -> (j -> p -> p) -> FRP e m j p

Framewise accumulation of signals. The embedded function recieves the current input and the previous output.

absoluteTime :: FRP e m () Time

Get the current absolute time.

deltaTime :: FRP e m () Time

Get the change in time since the last update.

type ThreadIdentityRule t = (t -> Bool) -> t -> Bool

Should a thread be allowed to spawn? Typical values are nullaryThreadIdentity, forbidDuplicates. The predicate tests whether or not a particular thread is already running.

forbidDuplicates :: Eq t => ThreadIdentityRule t

Forbig duplicate threads by equality on the thread identity.

allowAnonymous :: ThreadIdentityRule t -> ThreadIdentityRule (Maybe t)

Allow unlimited duplicate Nothing threads, while restricting all other threads according to the specified rule.

nullaryThreadIdentity :: ThreadIdentityRule a

Allow unlimited duplicate threads.

frpContext :: (RecombinantState s, s ~ StateOf m, FRPModel m, Eq t) => ThreadIdentityRule t -> [(t, FRP e (FRPContext t j p m) j p)] -> FRP e m j [(t, p)]

Embed some threads inside another running thread, as threadGroup.

frp1Context :: FRPModel m => FRP e (FRP1Context j p m) j p -> FRP e m j p

Embed a single-threaded, bracketed switch inside another running thread.

whenJust :: FRPModel m => (forall x y. FRP e (FRP1Context x y m) j p) -> FRP e m (Maybe j) (Maybe p)

Run a computation only when the input is defined.

ioAction :: (j -> IO p) -> FRP e m j p

Perform an arbitrary IO action.