def dir.keep.pick

ezsys@0.1.0.0 · src/dir.bend:44

import ezsys@0.1.0.0/src/dir.bend as Dir
import Base

44# a name kept unless it is "." or ".."
45def dir.keep.pick(
46  dot: Bool,
47  +name: String,
48  rest: Unit -> List<&2, String>
49) -> List<&2, String>:
50  match dot:
51    case True{}:
52      rest(Unit{})
53    case False{}:
54      Con{name, rest(Unit{})}

Uses (4)

Used by (1)