package picos

  1. Overview
  2. Docs

Module Picos_structured.RunSource

Operations for running fibers in specific patterns.

Sourceval all : (unit -> unit) list -> unit

all actions starts all the actions as separate fibers and waits until they all complete.

Sourceval any : (unit -> unit) list -> unit

any actions starts all the actions as separate fibers and waits until at least one of them completes. The rest of the started fibers will then be canceled.

⚠️ Calling any [] is equivalent to calling block ().