def first_bad

cli@0.2.0.0 · cli.bend:2082

import cli@0.2.0.0/cli.bend as Cli

import Base

2082def first_bad(values: List<&2, String>, +attrs: List<&2, Item>) ->
2083    Maybe<&2, Bad>:
2084  match values:
2085    case Nil{}: None{}
2086    case +head <> tail:
2087      Maybe.or(&2, Bad, bad_value(value_reason(attrs, head), head),
2088        first_bad(tail, attrs))

Uses (8)

Used by (2)