Library examples.pool_counter__code

Require Import zoo.prelude.
Require Import zoo.language.typeclasses.
Require Import zoo.language.notations.
Require Import zoo.program_logic.for_.
Require Import zoo_parabs.pool.
Require Import zoo.options.

Definition pool_counter ٠ main : val :=
  𝗳𝘂𝗻 "num_worker" "n" →
    𝗹𝗲𝘁 "cnt" = 𝗿𝗲𝗳 0 𝗶𝗻
    pool ٠ run
      "num_worker"
      (𝗳𝘂𝗻 "ctx" →
         𝗳𝗼𝗿 ⎽ = 0 𝘁𝗼 "n" 𝗱𝗼
           pool ٠ async
             "ctx"
             (𝗳𝘂𝗻 "_ctx" → 𝗳𝗮𝗮 "cnt".[contents ] 1 ⍮
                                     ())
         𝗱𝗼𝗻𝗲) ⍮
    !"cnt".