def effects.k

ezx@1.11.0.0 · src/add/plan.bend:580

import Base
import ezx@1.11.0.0/src/add/world.bend as A
import ezx@1.11.0.0/src/lock/plan.bend as P
import ezx@1.11.0.0/src/pkg/pkg.bend as K

580# the effects of an add whose walk made a package; none otherwise
581def effects.k(walk: K.Walked, +world: A.World) -> List<&2, P.Effect>:
582  match walk:
583    case K.Walked{+h, +root, fs, ss}:
584      effects.of(dep.of(h, root, world), h, at.of(root, world), fs, ss,
585        A.manifest.of(A.read(world)), world)
586    case K.Asks{_at}:
587      []
588    case K.Refused{_why}:
589      []