Up – OCaml package documentation » hardcaml_step_testbench index » Library hardcaml_step_testbench.digital_components » Digital_components » Step_monad » Event

Module `Step_monad.Event`

An event is a value that will at some point in time (possibly the past, possibly the future) transition from "undetermined" to "determined", with some value. One can wait_for an event in a computation.

type 'a t

val sexp_of_t : ('a -> Sexplib0.Sexp.t) -> 'a t -> Sexplib0.Sexp.t

val value : 'a t -> 'a Base.option