package devkit

  1. Overview
  2. Docs

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