def bad_default

cli@0.2.0.0 · cli.bend:2109

import cli@0.2.0.0/cli.bend as Cli
import Base

2109def bad_default(required: Bool, issue: Maybe<&2, Bad>, value: String,
2110    id: String, at: String) -> List<&2, Problem>:
2111  match required issue:
2112    case True{} _: [BadDefault{at, id, value}]
2113    case False{} Some{Bad{bad, why}}: [BadDefault{at, id, bad}]
2114    case False{} None{}: Nil{}

Uses (6)

Used by (1)