Index of values


($) [Fr]
(<>*) [Fr]
The negation of =*.
(=*) [Fr]
Compare two objects structurally with (=), falling back to physical equality with (==) if this is not possible.

A
accum_b [Fr]
accum_b is identical to accum_e but produces a behavior rather than an event.
accum_e [Fr]
accum_e i e creates a event with memory which occurs whenever its internal state changes.

B
behavior_part [Fr.Mixed]
behavior_source [Fr]
behavior_source force start stop creates a behavior.

C
changes [Fr]
changes b occurs whenever b changes, and has the new value of b.
changesq [Fr]
changesq b is similar to changes b but detects changes using physical equality.
collapse [Fr.Mixed]
collapse_b [Fr]
collapse_b b is a behavior isomorphic to the current value of b.
collapse_e [Fr]
collapse_e b is an event isomorphic to the current value of b.
collect_b [Fr]
collect_b is identical to collect_e but produces a behavior rather than an event.
collect_e [Fr]
collect_e f i e is similar to accum_e but passes the value of the event e to the function f in order to update the internal state.
construct [Fr.Mixed]
curry2 [Fr]
curry3 [Fr]

D
delta [Fr]
delta f b is similar to changesq b but the value of the event it creates is determined by applying f to the old and new values, respectively, of b.
destruct [Fr.Mixed]
dup [Fr]

E
edge_e [Fr]
edge_e b occurs whenever b transitions from None to Some v, and has the value v.
event_part [Fr.Mixed]
event_receiver [Fr]
Create a new event receiver.
event_source [Fr]
event_source start stop creates an event.

F
filter_e [Fr]
filter_e f e passes all occurrences of e for which f returns true.
first [Fr]
fix [Fr.Mixed]
fix_b [Fr]
fix_b is identical to fix_e but works with a behavior.
fix_e [Fr]
fix_e g f allows f to reference an event before it is defined: the result of applying f to this "phantom" event is passed to g, whose output is used to "fill in" the phantom event.

G
gate_b [Fr]
gate b e is a behavior which follows b, but changes only when the event e occurs.

H
hold [Fr]
hold i e is a behavior equal to the last occurrence of e (or i, if e has not yet occurred).

I
id [Fr]

L
latch [Fr]
latch b e is similar to snapshot b e but carries the value b had just before e occured.
lift0 [Fr]
lift0 a is a behavior which is always equal to a.
lift1 [Fr]
lift1 f returns a function which, when applied to a behavior, returns a behavior which is always equal to f applied to the current value of the behavior.
lift1q [Fr]
lift2 [Fr]
lift2q [Fr]
lift3 [Fr]
lift3q [Fr]

M
map [Fr.Mixed]
map_e [Fr]
map_e f e transforms the value of the event a with f.
map_wait_e [Fr]
map_wait_e f e is a convenience function similar to map in that it creates an event by applying the function f to the event e whenever e occurs.
may [Fr.Mixed]
may_e [Fr]
may_e e occurs whenever e is Some v, and has the value v.
merge [Fr.Mixed]
merge_e [Fr]
merge_e l occurs when any event in l occurs, with the value of that event.
meta [Fr.Mixed]

N
never [Fr]
never is an event which never occurs.
new_cell [Fr]
Create a new cell with the given initial value.
nothing [Fr.Mixed]
now [Fr]
now is an event which occurs exactly once, when a it is first instantiated (i.e.

O
of_behavior [Fr.Mixed]
of_event [Fr.Mixed]
once_e [Fr]
once_e e passes only the first occurrence of e.

P
par [Fr.Mixed]
par_b [Fr]
par_b l is a behavior whose value is a list of the values of all behaviors in the list l.
par_e [Fr]
par_e l occurs when at least one event in l occurs, with the value of all occuring events joined in a list.

R
register_b [Fr]
unregister h destroys the endpoint h.
register_e [Fr]
register_e e marks the event e as an endpoint.

S
scollapse_b [Fr]
scollapse_b g i e is similar to collapse_b but allows state to be maintained across switches.
second [Fr]
send_event [Fr]
Send a value to an event receiver.
set_cell [Fr]
Set the value of a cell.
snapshot [Fr.Mixed]
snapshot_b [Fr]
snapshot b e is an event which occurs with the value of b when the event e occurs.
snapshot_e [Fr]
snapshot_e e trigger occurs whenever event trigger occurs.
some [Fr]
sswitch_b [Fr]
sswitch_b g f i e is similar to switch_b but allows state to be maintained across switches.
switch [Fr.Mixed]
switch_b [Fr]
switch_b i e is a behavior isomorphic to the last occurrence of e (or i, if e has not yet occurred).
switch_e [Fr]
switch_e i e is an event isomorphic to the last occurrence of e (or i, if e has not yet occurred).

T
tag_e [Fr]
tag_e v a replaces the value of the event a with v.
track [Fr]
track i b is a behavior which follows b whenever it is not None.

U
uncurry2 [Fr]
uncurry3 [Fr]
unregister [Fr]
unzip [Fr.Mixed]
unzip_b [Fr]
unzip_b b produces two behaviors whose values are the first and second halves of the value of b.
unzip_e [Fr]
unzip_e e produces two events synchronous with e whose values are the first and second halves of the value of e.

W
when_e [Fr]
when_e b occurs whenever b becomes true.
with_behavior [Fr.Mixed]
with_event [Fr.Mixed]

Z
zip [Fr.Mixed]
zip_b [Fr]
zip_b a b is a behavior with the value of a paired with b.
zip_e [Fr]
zip_e a b occurs whenever both a and b occur, and has the value of a paired with b.