def validate_loop

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

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

import Base

109def validate_loop(~S: Data,xs: List<&2,Entry<S>>,+seen: List<&2,Entry<S>>) -> Validation:
110  match xs:
111    case Nil{}: Valid{}
112    case Con{+item,rest}: validation_continue(~S,check_one(~S,seen,item),_ => validate_loop(~S,rest,item <> seen))

Uses (5)

Used by (2)