Module Fiber.IvarSource

Write once variables

Sourcetype 'a t

A ivar is a synchronization variable that can be written only once.

Sourceval create : unit -> 'a t

Create a new empty ivar.

Sourceval read : 'a t -> 'a t

Read the contents of the ivar.

Sourceval fill : 'a t -> 'a -> unit t

Fill the ivar with the following value. This can only be called once for a given ivar.

Sourceval peek : 'a t -> 'a option t

Return Some x is fill t x has been called previously.