def part.laid

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

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

386# the tree under BEND_LIB, once it is read
387def part.laid(
388  got: F.Heard,
389  +rs: List<&2, F.Reply>,
390  +src: L.Src,
391  +fs: List<&2, K.Item>,
392  +here: String,
393  +hub: String,
394  +hash: String
395) -> Part:
396  match got:
397    case F.Open{}:
398      AskLaid{}
399    case F.Heard{answer}:
400      part.found(tree.of(answer, ""), rs, src, fs, here, hub, hash)