Index of values

accum e i is S.hold i (React.E.accum e i).

accum ef i accumulates a value, starting with i, using e's functional occurrences.

app sf s holds the value of sf applied to the value of s, [app sf s]_t = [sf]_t [s]_t.

app ef e occurs when both ef and e occur simultaneously.

changes s is diff (fun v _ -> v) s.

changes eq e is e's occurrences with occurences equal to the previous one dropped.

const v is always v, [const v]_t = v.

create i is a primitive signal s set to i and a set function.

create () is a primitive event e and a send function.

diff f s is an event with occurrences whenever s changes from v' to v and eq v v' is false (eq is the signal's equality function).

diff f e occurs whenever e occurs except on the next occurence.

dismiss c i s is the signal s except changes when c occurs are ignored.

dismiss c e is the occurences of e except the ones when c occurs.

drop_once e is e without its next occurrence.

equal s s' is true iff s and s' are equal.

equal e e' is true iff e and e' are equal.

filter f i s is s's values that satisfy p.

filter p e are e's occurrences that satisfy p.

fix i sf allow to refer to the value a signal had an infinitesimal amount of time before.

fix ef allows to refer to the value an event had an infinitesimal amount of time before.

fmap fm i s is s filtered and mapped by fm.

fmap fm e are e's occurrences filtered and mapped by fm.

fold f i e is S.hold i (React.E.fold f i e).

fold f i e accumulates e's occurrences with f starting with i.

hold i e has the value of e's last occurrence or i if there wasn't any.

map f s is s transformed by f, [map f s]_t = f [s]_t.

map f e applies f to e's occurrences.

merge f a sl merges the value of every signal in sl using f and the accumulator a.

merge f a el merges the simultaneous occurrences of every event in el using f and the accumulator a.

A never occuring event.

once e is e with only its next occurence.

retain s c keeps a reference to the closure c in s and returns the previously retained value.

retain e c keeps a reference to the closure c in e and returns the previously retained value.

sample f e s samples s at e's occurrences.

select el is the occurrences of every event in el.

stamp e v is map (fun _ -> v) e.

stop s, stops updating s.

stop e stops e from occuring.

switch s es is s until there is an occurrence s' on es, s' is then used until there is a new occurrence on es, etc..

switch e ee is e's occurrences until there is an occurrence e' on ee, the occurrences of e' are then used until there is a new occurrence on ee, etc..

trace iff tr s is s except tr is invoked with s's current value and on s changes when iff is true (defaults to S.const true).

trace iff tr e is e except tr is invoked with e's occurence when iff is true (defaults to S.const true).

until c e is e's occurences until c occurs.

value s is s's current value.

when_ c i s is the signal s whenever c is true.

when_ c e is the occurrences of e when c is true.