def redirect.dots.one

emerging-ezhttp@0.21.0.0 · src/redirect.bend:65

import Base

65# one segment: `.` is dropped, `..` drops the last kept, any other is kept
66def redirect.dots.one(dot: Bool, up: Bool, last: Bool, s: String,
67  out: List<&2, String>, rest: List<&2, String> -> List<&2, String>)
68  -> List<&2, String>:
69  match dot:
70    case True{}:
71      rest(redirect.dots.end(last, out))
72    case False{}:
73      redirect.dots.up(up, last, s, out, rest)