package devkit

  1. Overview
  2. Docs
Development kit - general purpose library

Install

dune-project
 Dependency

Authors

Maintainers

Sources

1.20261006.tar.gz
md5=a39dbbce04bd5562a9b4443daf39c582
sha512=b10104b61384b2151521b785e7f3c3250134c75eae09b42cad69bc4a22a9a5e429beb891ee87cedf376c23d9c40f09d3f71c3fd48aa35df490c0f69dc17f3242

doc/devkit.core/Devkit_core/MVar/index.html

Module Devkit_core.MVarSource

Variable shared between threads

Sourcetype 'a t
Sourceval create : unit -> 'a t

Create

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

Set the variable (overwriting previous value if any) and return immediately

Sourceval clear : 'a t -> unit

Unset the variable

Sourceval get : 'a t -> 'a

Get value (block until it is available)

Sourceval grab : 'a t -> 'a

Get value (block until it is available) and unset

Sourceval try_get : 'a t -> 'a option

Get value immediately without blocking

  • returns

    None if value was not set

Sourceval try_grab : 'a t -> 'a option

Grab value immediately without blocking

  • returns

    None if value was not set