FRP.UISF.AuxFunctions

Types

type SEvent

type Time

type DeltaT

class ArrowTime a

class ArrowIO a

Useful SF Utilities (Mediators)

constA

constSF

edge

accum

unique

hold

now

mergeE

(~++)

concatA

runDynamic

foldA

foldSF

maybeA

evMap

Delays and Timers

delay

vdelay

fdelay

vcdelay

fcdelay

timer

genEvents

Event buffer

type Tempo

data BufferOperation b

eventBuffer

eventBuffer'

Signal Function Asynchrony

data Automaton a b c

asyncV

asyncE

asyncC

asyncC'