def from_each
near-v-framework@0.4.0.0 · domain/architecture/view/ops.bend:304
import near-v-framework@0.4.0.0/domain/architecture/view/ops.bend as Ops
import Base
import near-v-framework@0.4.0.0/general/compound/edge/type.bend as E
304def from_each(ps: List<&2, Placed>, +all: List<&2, Placed>, +x: String, +y: String, +d: String, +t: String, +rest: List<&2, E.Edge>) -> List<&2, E.Edge>:
305 match ps:
306 case []:
307 rest
308 case p <> more:
309 match p:
310 case Placed{pk, +pp}:
311 from_here(String.eq(pk, x), all, pp, y, d, t, from_each(more, all, x, y, d, t, rest))