Runner.dead.list.go: def of bend-kit-runner@0.13.0.1
Import: import bend-kit-runner@0.13.0.1/runner.bend as Runner
Lines 113-120 of bend-kit-runner@0.13.0.1/runner.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-runner@0.13.0.1/runner.bend&start_line=113&end_line=120
import Base
import bend-kit-collections@0.1.4.1/hmap.bend as M
def dead.list.go(-A: Data, ds: Graves(A), acc: List<&2, Dead>) -> List<&2, Dead>:
match ds:
case M.HNil{}:
acc
case M.HLeaf{h, es}:
dead.list.entries(A, es, acc)
case M.HBranch{lo, hi}:
dead.list.go(A, lo, dead.list.go(A, hi, acc))
Uses (5):
https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
https://jend.leeeet.dev/definition.txt?path=bend-kit-collections@0.1.4.1/hmap.bend&name=HMap
https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=Dead
https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=Graves
https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=dead.list.entries