Index of values


A
always [Event]
always v returns an event that is always ready for synchronization.

C
choose [Event]
choose evl returns the event that is the alternative of all the events in the list evl.

G
guard [Event]
guard fn returns the event that, when synchronized, computes fn() and behaves as the resulting event.

I
init [Timeout]
init_make [Mvar]
init_make [Event.Cell]
init_make v makes a variable containing a value v
is_empty [Mbox]

M
make [Bcast]
make [Mbox]
make [Mvar]
make [Ivar]
make [Event.Cell]
Make an empty variable.

N
new_channel [Event]
Return a new channel.

P
poll [Event]
Non-blocking version of Event.sync: offer all the communication possibilities specified in the event to the outside world, and if one can take place immediately, perform it and return Some r where r is the result value of that communication.
pop [Mbox]
pop_all [Mbox]
push [Mbox]
put [Mvar]
put [Ivar]
put [Event.Cell]
put c v puts the value v to varible c when it's empty.

R
read [Mvar]
read [Ivar]
read [Event.Cell]
read c returns an event that read a element from the variable c.
receive [Bcast]
receive [Event]
receive ch returns the event consisting in receiving a value from the channel ch.
replace [Mvar]
replace [Event.Cell]
replace c fn change the variable element x to fn x.

S
select [Event]
``Synchronize'' on an alternative of events.
send [Bcast]
send [Event]
send ch v returns the event consisting in sending the value v over the channel ch.
sync [Event]
``Synchronize'' on an event: offer all the communication possibilities specified in the event to the outside world, and block until one of the communications succeed.

T
take [Mvar]
take [Event.Cell]
take c returns an event that takes a element and make the variable c empty.
timeout [Timeout]

W
with_nack [Event]
wrap [Event]
wrap ev fn returns the event that performs the same communications as ev, then applies the post-processing function fn on the return value.
wrap_abort [Event]
wrap_abort ev fn returns the event that performs the same communications as ev, but if it is not selected the function fn is called after the synchronization.