def validate

bendvy-ecs-core@0.1.0.4 · restore_graph_machine.bend:110

import Base
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D
import bendvy-ecs-core@0.1.0.4/restore_graph_data.bend as R

110def validate(~check:D.Field -> Dispatch,values:List<&2,D.Field>) -> Maybe<&2,R.Error>:
111  match values:
112    case []:None{}
113    case +field <> rest:continued(field_checked(field,check(field)),_ => validate(~check,rest))