~/jendhub

def AaText.split2.go

bend-osdev-apparmor@0.1.0.0 · text.bend:179

import bend-osdev-apparmor@0.1.0.0/text.bend as Text
import Base

179def AaText.split2.go(xs: List<&2, U32>, +prev: Bool, +acc: List<&2, U32>) -> AaSplit:
180  match xs:
181    case Nil{}:
182      AaSplit{AaText.rev(acc), None{}}
183    case Con{+h, +t}:
184      +slash = U32.is_eq(h, 47)
185      Bool.pick(AaSplit, Bool.and(prev, slash), AaSplit{AaText.rev(AaText.tail(acc)), Some{t}}, AaText.split2.go(t, slash, Con{h, acc}))

Uses (10)

Used by (1)