def Problem.reason

bend-lint-rules@0.2.0.0 · lib/linter/directives.bend:435

import Base
import bend-lint-api@0.2.0.0/shared/lists.bend as Lists

435def Problem.reason(scope: Scope, reasons: List<&2, String>) -> Maybe<&2, String>:
436  match scope reasons:
437    case End{} Nil{}:
438      None{}
439    case End{} _:
440      Some{"An end takes no reason; the begin has it."}
441    case _ Con{r, more}:
442      Lists.when(String, String.is_empty(r), "A reason is required, after `--`.")
443    case _ Nil{}:
444      Some{"A reason is required, after `--`."}