def root.claim

ezx@1.11.0.0 · src/ws/root.bend:68

import ezx@1.11.0.0/src/ws/root.bend as Root
import Base

68# a workspace root claims the directory, so the search ends there, or does
69# not, and goes on above it
70def root.claim(hit: Bool, +dir: List<&2, String>, +rel: List<&2, String>, rest: Found) -> Found:
71  match hit:
72    case True{}:
73      Within{dir, rel}
74    case False{}:
75      rest

Uses (4)

Used by (1)