☰
concur
concur
concur -- unit feature to group concurrency related features
Constructors
thread -- effect that provides concurrent thread
§atomic(T type, v concur.atomic.T) => concur.atomic concur.atomic.T:auto_unwrap concur.atomic.T, concur.this.atomic_access
§atomic(T
type
, v concur.atomic.T) =>
concur.atomic concur.atomic.T:
auto_unwrap concur.atomic.T, concur.this.atomic_accessatomic -- low-level atomic values
Atomic values can be used for communication between threads in a safe
way.
Atomic values can be used for communication between threads in a safe
way.
Functions
thread with no argument returns thread.env, i.e., the currently installed
source of thread concurrency.
source of thread concurrency.
Types
Thread_Provider -- abstract source of concurrency