def split

lawful-fields@0.1.1.0 · defs.bend:23

import Base

23# The pieces of xs between separators, as Base's String.split does for text:
24# always at least one piece, so [] gives [[]] and [sep] gives [[], []].
25def split(xs: List<&2, U32>, +sep: U32) -> List<&2, List<&2, U32>>:
26  match xs:
27    case Nil{}:
28      [Nil{}]
29    case Con{+x, t}:
30      split.fin(x, split(t, sep), U32.is_eq(x, sep))