def required

bendvy-ecs-core@0.1.0.4 · feature.bend:65

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

import Base

65def required(items:List<&2,String>,+selected:List<&2,String>) -> Validation:
66  match items:
67    case []: Valid{}
68    case +name <> rest: missing(contains(selected,name),name,_ => required(rest,selected))

Uses (5)

Used by (1)

bendvy-ecs-core@0.1.0.4/feature:dependencies