def HMap.bool

bend-kit-collections@0.1.4.1 · hmap.bend:16

import Base

16def HMap.bool(-A: Type, b: Bool, yes: Unit -> A, no: Unit -> A) -> A:
17  match b:
18    case True{}:
19      yes(Unit{})
20    case False{}:
21      no(Unit{})