def choice_must

cli@0.2.0.0 · cli.bend:4778

import cli@0.2.0.0/cli.bend as Cli

import Base

4778# After validation a bare choose always has a value.
4779def choice_must(-A: Data, d: Dec(Maybe<&2, A>)) -> Dec(A):
4780  match d:
4781    case Fail{e}: Fail{e}
4782    case Done{Some{value}}: Done{value}
4783    case Done{None{}}: Fail{Usage{"the value is absent"}}

Uses (4)

Used by (1)

cli@0.2.0.0/cli:choose