def pause

bend-kit-hairpin@0.13.0.1 · hairpin.bend:397

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

import Base

397def pause(ms: Nat) -> IO(Unit):
398  match ms:
399    case 0n:
400      IO.pure(Unit, Unit{})
401    case 1n+k:
402      IO.sleep(U32.from_nat(1n+k))

Uses (6)

Used by (1)

bend-kit-hairpin@0.13.0.1/hairpin:go