Module Mnotty.StopSource

Miou-compatible switches.

Sourcetype t

Type of switches.

Sourceval create : unit -> t

create () creates a new switch.

Sourceval switch : t -> unit

switch stop signals an associated task to terminate properly.

Sourceval wait : t -> unit

wait stop waits a switch-off signal (via switch) from a possibly concurrent task.