def when

yaml-for-bend@0.1.1.0 · core.bend:21

import yaml-for-bend@0.1.1.0/core.bend as Core

import Base

21def when(-A: Type, hit: Bool, yes: Unit -> A, no: Unit -> A) -> A:
22  match hit:
23    case True{}:
24      yes(Unit{})
25    case False{}:
26      no(Unit{})

Uses (2)

Bool
Unit

Used by (3)