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/Lwt_flag/index.html

Module Devkit_core.Lwt_flagSource

Simple wrapper over Lwt_condition, starts to wait again on condvar right after current wait was finished, to not lose signals. Usable when there is one thread that waits for "flag". "Multiple waiters" semantics is not defined here ( <-> Lwt_condition.broadcast), don't use it.

Sourcetype 'a t
Sourceval create : unit -> 'a t
Sourceval signal : 'a t -> 'a -> unit
Sourceval wait : 'a t -> 'a Lwt.t