~/jendhub

def close.polled

bend-kit-runner@0.13.0.1 · runner.bend:1742

import bend-kit-runner@0.13.0.1/runner.bend as Runner
import Base

1742def close.polled(-A: Data, x: Poll<&1, &1, Maybe<&1, Msg<A>>, Unit>, next: Unit -> IO(Unit)) -> IO(Unit):
1743  match x:
1744    case Ready{Some{m}}:
1745      do IO<Unit>:
1746        close.answer(A, m)
1747        next(Unit{})
1748    case Ready{None{}}:
1749      IO.pure(Unit, Unit{})
1750    case Wait{u}:
1751      IO.pure(Unit, Unit{})

Uses (8)

Used by (1)