def choose_pick

cli@0.2.0.0 · cli.bend:4765

import cli@0.2.0.0/cli.bend as Cli
import Base

4765def choose_pick(-A: Data, opt: Bool,
4766    choices: (List<&2, String> & List<&2, A>), m: Matches,
4767    +id: String) -> Dec(Maybe<&2, A>):
4768  (+keys, values) = choices
4769  match m:
4770    case Matches{cmd, path, fields, external}:
4771      choose_check(A, verdict(cmd, path, id, WChoose{opt, keys}),
4772        keys, values, fields, id)

Uses (11)

Used by (2)