~/jendhub

def part.fetch.heard

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

import ezx@1.11.0.0/src/fetch/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/fetch/world.bend as F
import ezx@1.11.0.0/src/pkg/pkg.bend as K

267# a package fetched, once it is answered
268def part.fetch.heard(got: F.Heard, fs: List<&2, K.Item>, +root: String) -> Part:
269  match got:
270    case F.Open{}:
271      AskFetch{}
272    case F.Heard{answer}:
273      part.tree(tree.of(answer, root), fs)

Uses (7)

Used by (1)