~/jendhub

def server.join

emerging-ezhttp@0.21.0.0 · src/server.bend:373

import emerging-ezhttp@0.21.0.0/src/server.bend as Server
import Base

373# wait for n forks to say they are done
374def server.join(n: Nat, +done: Chan(Unit)) -> IO(Unit):
375  match n:
376    case 0n:
377      IO.pure(Unit, Unit{})
378    case 1n+p:
379      IO.bind(Maybe<&1, Unit>, Unit, Chan.recv(Unit, done),
380        _m => server.join(p, done))

Uses (8)

Used by (1)