Closed LightAndLight closed 1 year ago
Currently string.split : Char -> String -> Array String, but it should be string.split : String -> String -> Array String.
string.split : Char -> String -> Array String
string.split : String -> String -> Array String
Combined with #272, string.join becomes an inverse of string.split:
string.join
string.split
string.join sep (string.split sep x) == x
We can also create string.splitc : Char -> String -> Array String for the single-character case.
string.splitc : Char -> String -> Array String
string.splitc
Currently
string.split : Char -> String -> Array String, but it should bestring.split : String -> String -> Array String.Combined with #272,
string.joinbecomes an inverse ofstring.split:We can also create
string.splitc : Char -> String -> Array Stringfor the single-character case.Tasks
string.splittostring.splitc- #278string.split : String -> String -> Array String- #278