def trim

bendvy-ecs-core@0.1.0.4 · internal/relation_failures/domains.bend:42

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

42def trim(~S: Data,~E: Data,domains: List<&2,Domain<S,E>>,+positions: List<&2,Ev.Position>,+fallback: Nat,+capacity: Nat) -> List<&2,Domain<S,E>>:
43  match domains:
44    case []: []
45    case domain <> rest: trim_domain(~S,~E,domain,positions,fallback,capacity) <> trim(~S,~E,rest,positions,fallback,capacity)