def split_each

cli@0.2.0.0 · cli.bend:1638

import cli@0.2.0.0/cli.bend as Cli
import Base

1638def split_each(values: List<&2, String>, +sep: Char) ->
1639    List<&2, String>:
1640  match values:
1641    case Nil{}: Nil{}
1642    case head <> tail:
1643      List.append(&2, String, String.split(head, sep),
1644        split_each(tail, sep))

Uses (5)

Used by (1)