Cli.parse.take_arg.kind: def of shake@0.8.0.0 Import: import shake@0.8.0.0/src/cli.bend as Cli Lines 701-728 of shake@0.8.0.0/src/cli.bend: https://jend.leeeet.dev/read.txt?path=shake@0.8.0.0/src/cli.bend&start_line=701&end_line=728 import Base # dispatch on the found Arg's kind def parse.take_arg.kind( kk: ArgKind, +name: String, val: Maybe<&2, String>, +orig: String, +args: List<&2, Arg>, +up: List<&2, Level>, +subs: List<&2, Sub>, +path: List<&2, String>, +binds: List<&2, Bind>, +pos: List<&2, Arg>, +raw: Bool, +seen: Bool ) -> St: match kk: case Flag{}: parse.once(bound(binds, name), parse.take_flag(val, name, orig, args, up, subs, path, binds, pos, raw, seen), name, path) case Opt{}: parse.once(bound(binds, name), parse.take_opt(val, name, args, up, subs, path, binds, pos, raw, seen), name, path) case Many{}: parse.take_opt(val, name, args, up, subs, path, binds, pos, raw, seen) case Pos{}: parse.dead(UnknownFlag{path, orig}, args, up, subs, path, binds, pos, raw, seen) case Rest{}: parse.dead(UnknownFlag{path, orig}, args, up, subs, path, binds, pos, raw, seen) Uses (16): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool 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=shake@0.8.0.0/src/cli.bend&name=Arg https://jend.leeeet.dev/definition.txt?path=shake@0.8.0.0/src/cli.bend&name=ArgKind https://jend.leeeet.dev/definition.txt?path=shake@0.8.0.0/src/cli.bend&name=Bind https://jend.leeeet.dev/definition.txt?path=shake@0.8.0.0/src/cli.bend&name=Level https://jend.leeeet.dev/definition.txt?path=shake@0.8.0.0/src/cli.bend&name=ParseErr https://jend.leeeet.dev/definition.txt?path=shake@0.8.0.0/src/cli.bend&name=St https://jend.leeeet.dev/definition.txt?path=shake@0.8.0.0/src/cli.bend&name=Sub https://jend.leeeet.dev/definition.txt?path=shake@0.8.0.0/src/cli.bend&name=bound https://jend.leeeet.dev/definition.txt?path=shake@0.8.0.0/src/cli.bend&name=parse.dead https://jend.leeeet.dev/definition.txt?path=shake@0.8.0.0/src/cli.bend&name=parse.once https://jend.leeeet.dev/definition.txt?path=shake@0.8.0.0/src/cli.bend&name=parse.take_flag https://jend.leeeet.dev/definition.txt?path=shake@0.8.0.0/src/cli.bend&name=parse.take_opt