def all

bendvy-ecs-core@0.1.0.4 · internal/relation_failures/readings.bend:23

import Base
import domains.bend as D
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev

23def all(~S: Data,~E: Data,keys: List<&2,D.DescriptorKey<S>>,+domains: List<&2,D.Domain<S,E>>,+position: Ev.Position) -> List<&2,KeyReading<S,E>>:
24  match keys:
25    case []: []
26    case key <> rest: one(~S,~E,domains,key,position) <> all(~S,~E,rest,domains,position)