def when

yaml-for-bend@0.1.1.0 · parse.bend:105

import yaml-for-bend@0.1.1.0/parse.bend as Parse
import Base

105def when(-A: Type, hit: Bool, yes: Unit -> A, no: Unit -> A) -> A:
106  match hit:
107    case True{}:
108      yes(Unit{})
109    case False{}:
110      no(Unit{})

Uses (2)

Used by (26)