package lsp

  1. Overview
  2. Docs
package lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type

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 t

Read the contents of the ivar.

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

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

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

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