Module Await_kernelSource

Concrete primitives

Sourcemodule Trigger : sig ... end

A trigger represents the ability to await for or react to a signal.

Sourcemodule Cancellation : sig ... end

A cancellation token represents an explicit, expected, and voluntary submission or desire to be interrupted asynchronously.

Sourcemodule Terminator : sig ... end

A termination token represents an implicit and unexpected interrupt request to be used in case of panics.

Sourcemodule Or_canceled : sig ... end

Result of a cancellable operation that is either Completed _ or Canceled.

Sourcemodule Or_would_block : sig ... end

Result of a try-lock operation that is either Acquired _ or Would_block.

Abstract capabilities

Sourcemodule Await : sig ... end

Abstract implementation of unbounded awaiting.

Sourcemodule Sync : sig ... end

Abstract implementation of bounded awaiting.

Sourcemodule Yield : sig ... end

Abstraction implementation of cooperatively yielding to the scheduler.