Cli.choice_bad: def of cli@0.2.0.0
Import: import cli@0.2.0.0/cli.bend as Cli
Lines 2125-2132 of cli@0.2.0.0/cli.bend: https://jend.leeeet.dev/read.txt?path=cli@0.2.0.0/cli.bend&start_line=2125&end_line=2132

import Base

# The first choice the arg's type rejects; after a hit it only walks the rest.
def choice_bad(values: List<&2, String>, +found: Maybe<&2, ValueType>,
    bad: Maybe<&2, Bad>) -> Maybe<&2, Bad>:
  match values bad:
    case Nil{} hit: hit
    case value <> tail Some{hit}: Some{hit}
    case +value <> tail None{}:
      choice_bad(tail, found, bad_value(reason_from_type(found, value), value))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=Bad
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=ValueType
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=bad_value
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=reason_from_type