~/jendhub

def read_go

mylsm-lsm-store@0.3.2.0 · src/Fs.bend:62

import mylsm-lsm-store@0.3.2.0/src/Fs.bend as Fs
import Base

62def read_go(fuel: Nat, +path: String, +idx: Nat, acc: List<String>) -> IO(List<String>):
63  match fuel:
64    case 0n:
65      IO.pure(List<String>, List.reverse(&1, String, acc))
66    case 1n+f:
67      do IO<List<String>>:
68        nm : String <- IO.try(String, read_dir_at(path, idx))
69        read_go(f, path, Nat.add(idx, 1n), grab_name(nm, acc))

Uses (11)

Used by (1)