Code

Additional concurrency primitives#1555

Code

Merged

leodemoura merged 11 commits intoleanprover:masterleanprover/lean4:masterfrom gebner:mutexgebner/lean4:mutexCopy head branch name to clipboardSep 5, 2022

+550-12

Commits

Commits on Sep 1, 2022

• chore: generalize IO.sleep to BaseIO

  gebner

  committed
  954d12a

  Copy full SHA for 954d12a

• chore: resurrect Std.Queue

  gebner

  committed
  42c6d1d

  Copy full SHA for 42c6d1d

• chore: add nonempty instance for Task

  gebner

  committed
  98cce54

  Copy full SHA for 98cce54

• chore: add nonempty instance for monads

  gebner

  committed
  7414a2d

  Copy full SHA for 7414a2d

• feat: add Eval instance for BaseIO

  gebner

  committed
  e045e09

  Copy full SHA for e045e09

• fix: IO.waitAny requires nonempty list

  gebner

  committed
  d884f28

  Copy full SHA for d884f28

• feat: Promise

  gebner

  committed
  0505525

  Copy full SHA for 0505525

• feat: Mutex, Condvar

  gebner

  committed
  05c53a0

  Copy full SHA for 05c53a0

Commits on Sep 2, 2022

• feat: Channel

  gebner

  committed
  dbc4e44

  Copy full SHA for dbc4e44

• chore: add test

  gebner

  committed
  134596a

  Copy full SHA for 134596a

• feat: synchronous operations for Channel

  gebner

  committed
  ce6fe64

  Copy full SHA for ce6fe64