def enum_defect

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

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

1119def enum_defect(names: List<&2, String>, r: Raw, p: List<&2, Step>) -> Maybe<&2, Why>:
1120  match r p:
1121    case RStr{x} Nil{}:
1122      guard(Bool.not(in_names(x, names)), Some{NotOneOf{}})
1123    case RStr{x} st <> q:
1124      None{}
1125    case x Nil{}:
1126      Some{missing_or(x, NotOneOf{})}
1127    case x st <> q:
1128      None{}

Uses (10)

Used by (1)