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))

Uses (6)

Used by (1)