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

import Base

def scan_short_go(chars: String, +state: ScanState,
    found: Maybe<&2, OptFound>) -> Mode:
  match chars found:
    case SNil{} _:
      scan_settle(state)
    case SCon{Chr{104}, +tail} None{}:
      Closed{Stopped{scan_event(state, HelpHit{False{}})}}
    case SCon{Chr{86}, tail} None{}:
      scan_short_version(scope_version(scan_state_scope(state)), state)
    case SCon{head, tail} None{}:
      scan_settle(scan_error(state,
        E01{String.append("-", Char.show(head))}))
    case SCon{head, tail} Some{OptFound{arg, polarity}}:
      match arg:
        case ArgInfo{id, usage, short, long, kind, attrs}:
          match kind:
            case FlagKind{}:
              +next = scan_event(state, FlagHit{id, polarity})
              scan_short_go(tail, next,
                find_short_for_head(tail, scan_state_keys(next)))
            case CountKind{}:
              +next = scan_event(state, CountHit{id})
              scan_short_go(tail, next,
                find_short_for_head(tail, scan_state_keys(next)))
            case NegatableKind{}:
              +next = scan_event(state, FlagHit{id, polarity})
              scan_short_go(tail, next,
                find_short_for_head(tail, scan_state_keys(next)))
            case OptionKind{many}:
              scan_short_value(tail, state,
                ArgInfo{id, usage, short, long, OptionKind{many}, attrs})
            case BareOptionKind{}:
              scan_short_bare_value(tail, state,
                ArgInfo{id, usage, short, long, BareOptionKind{}, attrs})
            case PosKind{required, many}:
              scan_settle(state)

Uses (27):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.show
  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=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  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=Mode
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=OptFound
  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=Tail
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=UsageKind
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=find_short_for_head
  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
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=scan_settle
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=scan_short_bare_value
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=scan_short_value
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=scan_short_version
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=scan_state_keys
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=scan_state_scope
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=scope_version