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

import Base

# E04 quotes the first element that fails.
def scan_value_result(found: Maybe<&2, Bad>, state: ScanState,
    info: ArgInfo, value: String) -> ScanState:
  match found:
    case None{}:
      match info:
        case ArgInfo{id, usage, short, long, kind, attrs}:
          scan_event(state, ValueHit{id, value})
    case Some{Bad{bad, why}}:
      scan_error(state, E04{arg_display(info), bad, why})

Uses (10):
  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=ArgInfo
  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=ScanEvent
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=ScanFault
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=ScanState
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=arg_display
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=scan_error
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=scan_event