FRP.Timeless.Prefab.Discrete

Documentation

occursFor

Arguments

:: Monad m

=> b

Constant Output

-> Int

Number of sample periods

-> Signal s m a b

Produces output for a several sample periods, then inhibits.

Typical usage:

() `occursFor` 1 >>> <some IO actions> >>> snapOnce

The example above will perform the IO action once and then hold the result forever

snapOnce :: Monad m => Signal s m a a

Takes the snapshot of the value when signal is activated, and then holds value forever

Typical usage:

() `occursFor` 1 >>> <some IO actions> >>> snapOnce

The example above will perform the IO action once and then hold the result forever

inhibitsAfter :: Int -> Signal s m a a

Acts as identity for a several sample periods, then inhibits.

runAndHold :: Monad m => Signal s m a b -> Signal s m a b

Runs a signal once and hold the result forever.

It is a combination of inhibitsAfter and snapOnce

rising

Arguments

:: Monad m

=> Bool

Initial value

-> Signal s m Bool Bool

Rising edge filter. Creates an impulse at rising edge

falling

Arguments

:: Monad m

=> Bool

Initial value

-> Signal s m Bool Bool

Falling edge filter. Creates an impulse at falling edge

edge

Arguments

:: Monad m

=> Bool

Initial value

-> Signal s m Bool Bool

Edge filter. Creates an impulse at edge