~/jendhub

def from_string.pick

bendonnect-rpc@0.1.0.0 · src/code.bend:102

import bendonnect-rpc@0.1.0.0/src/code.bend as Code
import Base

102def from_string.pick(hit: Bool, c: Code, rest: Unit -> Maybe<&2, Code>) -> Maybe<&2, Code>:
103  match hit:
104    case True{}:
105      Some{c}
106    case False{}:
107      rest(Unit{})

Uses (4)

Used by (1)