package fiber

  1. Overview
  2. Docs

Write once variables

type 'a t

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

val create : unit -> 'a t

Create a new empty ivar.

val read : 'a t -> 'a fiber

Read the contents of the ivar.

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

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

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

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