def segs.ok

ezx@1.11.0.0 · src/ws/workspace.bend:101

import Base

101# whether every segment can be part of a member's path
102def segs.ok(ss: List<&2, String>) -> Bool:
103  match ss:
104    case []:
105      True{}
106    case +hd <> tl:
107      rest = segs.ok(tl)
108      Bool.and(seg.ok(hd), rest)