Pkg.pkg.next: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/pkg/pkg.bend as Pkg
Lines 1327-1350 of ezx@1.11.0.0/src/pkg/pkg.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&start_line=1327&end_line=1350

import Base
import ezx@1.11.0.0/src/io/file.bend as F
import ezx@1.11.0.0/src/pkg/path.bend as P

# a question read from disk and the walk carried on, or the walk's end judged
def pkg.next(
  stop: Stop,
  +top: String,
  +entry: String,
  +tree: Tree,
  +st: State,
  go: Tree -> State -> IO(Pkg)
) -> IO(Pkg):
  match stop:
    case Asking{+at}:
      do IO<Pkg>:
        m : Maybe<&2, String> <- F.read(P.join(top, at))
        go(tree.add(m, tree, at), resume(st))
    case Going{}:
      made.io(top, made(entry, st))
    case Missing{_at}:
      made.io(top, made(entry, st))
    case Climbs{_at}:
      made.io(top, made(entry, st))
    case Spent{}:
      made.io(top, made(entry, st))
    case Unnamed{_nv}:
      made.io(top, made(entry, st))

Uses (14):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/io/file.bend&name=read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/path.bend&name=join
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Pkg
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=State
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Stop
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=Tree
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=made
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=made.io
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=resume
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/pkg/pkg.bend&name=tree.add