def when

bend-lint-api@0.2.0.0 · shared/lists.bend:5

import Base

5def when(-A: Data, hit: Bool, v: A) -> Maybe<&2, A>:
6  match hit:
7    case True{}:
8      Some{v}
9    case False{}:
10      None{}