def segments

bend-kit-router@0.2.0.0 · target.bend:87

import bend-kit-router@0.2.0.0/target.bend as Target

import Base

87def segments(xs: List<&2, String>) -> Maybe<&2, List<&2, String>>:
88  match xs:
89    case Nil{}:
90      Some{Nil{}}
91    case Con{h, t}:
92      do Maybe<&2, List<&2, String>>:
93        head : String <- percent(h, True{})
94        tail : List<&2, String> <- segments(t)
95        return head <> tail

Uses (7)

Used by (1)

bend-kit-router@0.2.0.0/target:origin