def trim_domain

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

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

38def trim_domain(~S: Data,~E: Data,domain: Domain<S,E>,+positions: List<&2,Ev.Position>,fallback: Nat,capacity: Nat) -> Domain<S,E>:
39  match domain:
40    case Domain{key,queue,+ids}: Domain{key,Q.trim(~E,queue,boundary(positions,ids,fallback),capacity),ids}