def pause

bend-kit-hairpin@0.14.0.0 · hairpin.bend:386

import bend-kit-hairpin@0.14.0.0/hairpin.bend as Hairpin

import Base

386def pause(ms: Nat) -> IO(Unit):
387  match ms:
388    case 0n:
389      IO.pure(Unit, Unit{})
390    case 1n+k:
391      IO.sleep(U32.from_nat(1n+k))

Uses (6)

Used by (1)

bend-kit-hairpin@0.14.0.0/hairpin:go