def Problem.pinned

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

import Base
import bend-lint-api@0.2.0.0/shared/lists.bend as Lists
import bend-lint-api@0.2.0.0/shared/names.bend as Names
import bend-lint-api@0.2.0.0/linter/lint.bend as Lint

415def Problem.pinned(pinned: Maybe<&2, String>) -> Maybe<&2, String>:
416  match pinned:
417    case Some{+p}:
418      Lists.when(
419        String,
420        Maybe.is_none(&2, Lint.Severity, Names.lookup(Lint.Severity, p, Lint.Severity.names())),
421        p ++ " is not a severity."
422      )
423    case None{}:
424      None{}