def short_names

cli@0.2.0.0 · cli.bend:6344

import Base

6344def short_names(parsed: Usage, attrs: List<&2, Item>) -> List<&2, String>:
6345  match parsed:
6346    case Parsed{id, +short, long, kind}:
6347      List.append(&2, String,
6348        Bool.pick(List<&2, String>, String.is_empty(short), [], [short]),
6349        List.filter(~String, ~short_alias, find_aliases(attrs)))
6350    case Invalid{col}: []