def part.kept

ezx@1.11.0.0 · src/fetch/plan.bend:353

import Base
import ezx@1.11.0.0/src/fetch/world.bend as F
import ezx@1.11.0.0/src/lock/lock.bend as L
import ezx@1.11.0.0/src/pkg/pkg.bend as K

353# a tree under BEND_LIB that passes is kept; any other is fetched
354def part.kept(
355  ok: Bool,
356  +rs: List<&2, F.Reply>,
357  +src: L.Src,
358  fs: List<&2, K.Item>,
359  +here: String,
360  +hub: String,
361  +hash: String
362) -> Part:
363  match ok:
364    case True{}:
365      Have{}
366    case False{}:
367      part.fetch(rs, src, fs, here, hub, hash)