~/jendhub

def required_check_bare

bendvy-ecs-core@0.1.0.3 · schema_fragments.bend:166

import bendvy-ecs-core@0.1.0.3/schema_fragments.bend as SchemaFragments
import Base

166def required_check_bare(~S: Data,present: Bool,item: Entry<S>) -> Validation:
167  match present item:
168    case True{} _: Valid{}
169    case False{} Entry{kind,key,name}: Invalid{UndeclaredDescriptor{kind,key,name}}
170    case False{} Classified{kind,key,name,_}: Invalid{UndeclaredDescriptor{kind,key,name}}

Uses (4)

Used by (1)