def pos_valid_result

cli@0.2.0.0 · cli.bend:3864

import Base

3864def pos_valid_result(found: Maybe<&2, Bad>,
3865    info: ArgInfo, values: List<&2, String>) -> FieldBuild:
3866  match found:
3867    case Some{Bad{bad, why}}:
3868      BuildFault{E04{arg_display(info), bad, why}}
3869    case None{}:
3870      match info:
3871        case ArgInfo{id, usage, short, long, kind, attrs}:
3872          Built{[Field{id, values, Argv{}}]}