def err.values

shake@0.7.0.0 · src/cli.bend:2214

import Base

2214# clap's line of the values a found argument allows, or nothing
2215def err.values(found: Maybe<&2, Arg>) -> String:
2216  match found:
2217    case None{}:
2218      ""
2219    case Some{aa}:
2220      Arg{_n, _s, _l, _k, _h, _r, _d, +cs} = aa
2221      Bool.pick(String, List.is_empty(&2, String, cs), "",
2222        "\n  [possible values: " ++ String.join(cs, ", ") ++ "]")