def required

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

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

import Base

72def required(items:List<&2,String>,+selected:List<&2,String>) -> Validation:
73  match items:
74    case []: Valid{}
75    case +name <> rest: missing(contains(selected,name),name,_ => required(rest,selected))

Uses (5)

Used by (1)

bendvy-ecs-core@0.1.0.3/feature:dependencies