def List.find.if

Base · base.bend:1117

import Base
1117def List.find.if(-A: Data, h: A, rest: Unit -> Maybe<&2, A>, hit: Bool) -> Maybe<&2, A>:
1118  match hit:
1119    case False{}:
1120      rest(Unit{})
1121    case True{}:
1122      Some{h}

Uses (3)

Used by (2)