~/jendhub

def made.climb

ezx@1.11.0.0 · src/pkg/pkg.bend:1231

import ezx@1.11.0.0/src/pkg/pkg.bend as Pkg
import Base
import ezx@1.11.0.0/src/pkg/path.bend as P

1231# the deepest climb decided: none leaves the package at the entry's directory
1232def made.climb(+levels: Nat, +dir: String, +out: List<&2, Hit>) -> Walked:
1233  match levels:
1234    case 0n:
1235      made.checked(P.norm(dir), "", out)
1236    case 1n+p:
1237      made.anc(Nat.is_gt(1n+p, comps(dir)), 1n+p, dir, out)

Uses (10)

Used by (1)