| ($) [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.
|