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

import Base

def misplaced_attr_name(attr: Item, +kind: UsageKind) ->
    Maybe<&2, String>:
  match attr:
    case Global{}: bad_attr(kind_pos(kind), "global")
    case Rest{}: bad_attr(Bool.not(kind_variadic_pos(kind)), "rest")
    case AttrDefault{value}:
      bad_attr(Bool.not(kind_default_allowed(kind)), "default")
    case Required{}:
      bad_attr(Bool.not(kind_required_allowed(kind)), "required")
    case Heading{title}: bad_attr(kind_pos(kind), "heading")
    case Alias{name}: bad_attr(kind_pos(kind), "alias")
    case As{t}: bad_attr(Bool.not(kind_valued(kind)), type_name(t))
    case OneOf{values}:
      bad_attr(Bool.not(kind_valued(kind)), "one_of")
    case Delim{sep}: bad_attr(Bool.not(kind_delim_allowed(kind)), "delim")
    case Hyphen{}: bad_attr(Bool.not(kind_valued(kind)), "hyphen")
    case Arg{usage, help, items}: Some{"arg"}
    case Sub{name, about, items}: Some{"sub"}
    case Version{value}: Some{"version"}
    case Example{line, what}: Some{"example"}
    case After{text}: Some{"after"}
    case SubOptional{}: Some{"sub_optional"}
    case External{}: Some{"external"}
    case Exclusive{group}: Some{"exclusive"}
    case NeedOne{group}: Some{"need_one"}
    case _: None{}

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.not
  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=Item
  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=bad_attr
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=kind_default_allowed
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=kind_delim_allowed
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=kind_pos
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=kind_required_allowed
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=kind_valued
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=kind_variadic_pos
  https://jend.leeeet.dev/definition.txt?path=cli@0.2.0.0/cli.bend&name=type_name