def repeated

bendvy-ecs-core@0.1.0.3 · feature.bend:60

import bendvy-ecs-core@0.1.0.3/feature.bend as Feature
import Base

60def repeated(present:Bool,name:String,next:Unit -> Validation) -> Validation:
61  match present:
62    case True{}: Invalid{DuplicateFeature{name}}
63    case False{}: next(Unit{})

Uses (5)

Used by (1)