Target.segments: def of bend-kit-router@0.2.0.0
Import: import bend-kit-router@0.2.0.0/target.bend as Target
Lines 87-95 of bend-kit-router@0.2.0.0/target.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-router@0.2.0.0/target.bend&start_line=87&end_line=95

import Base

def segments(xs: List<&2, String>) -> Maybe<&2, List<&2, String>>:
  match xs:
    case Nil{}:
      Some{Nil{}}
    case Con{h, t}:
      do Maybe<&2, List<&2, String>>:
        head : String <- percent(h, True{})
        tail : List<&2, String> <- segments(t)
        return head <> tail

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=bend-kit-router@0.2.0.0/target.bend&name=percent