def at.effects

ezx@1.11.0.0 · src/ws/relock.bend:88

import ezx@1.11.0.0/src/ws/relock.bend as Relock
import Base
import ezx@1.11.0.0/src/lock/plan.bend as LP

88# every effect of the root's lock, so
89def at.effects(+at: String, es: List<&2, LP.Effect>) -> List<&2, LP.Effect>:
90  match es:
91    case []:
92      []
93    case hd <> tl:
94      at.effect(at, hd) <> at.effects(at, tl)

Uses (4)

Used by (1)