def info_names
cli@0.2.0.0 · cli.bend:2761
import cli@0.2.0.0/cli.bend as Cli
import Base
2761
2762def info_names(info: ArgInfo) -> List<&2, String>:
2763 match info:
2764 case ArgInfo{id, usage, short, +long, kind, attrs}:
2765 List.append(&2, String, nonempty_name(short),
2766 List.append(&2, String, nonempty_name(long),
2767 List.append(&2, String, find_aliases(attrs),
2768 Bool.pick(List<&2, String>, Bool.and(kind_negatable(kind),
2769 Bool.not(String.is_empty(long))),
2770 [negated_long(long)], []))))