package fiber

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Fiber.Ivar`Source

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 fiber

Read the contents of the ivar.

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

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

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

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