def enum_err

bend-schema-lib@0.4.1.0 · core.bend:802

import bend-schema-lib@0.4.1.0/core.bend as Core

import Base

802def enum_err(b: Bool) -> Maybe<&2, Err>:
803  match b:
804    case True{}:
805      None{}
806    case False{}:
807      here(NotOneOf{})

Uses (5)

Used by (1)

bend-schema-lib@0.4.1.0/core:check