def field.pick

cswap-bend-cli@0.1.0.0 · json.bend:290

import cswap-bend-cli@0.1.0.0/json.bend as Json
import Base

290def field.pick(hit: Bool, v: Json, rest: Maybe<&2, Json>) -> Maybe<&2, Json>:
291  match hit:
292    case True{}:
293      Some{v}
294    case False{}:
295      rest

Uses (3)

Used by (1)