git.iko.soy/text
on master help sign in
Document another identity for split.
a181624Bryan O'Sullivan
Data/Text.hs+1
compare with master
unifiedsplit
@@ -897,6 +897,7 @@ tails t | null t = [empty]
897-- and
897-- and
898--
898--
899-- > intercalate s . split s == id
899-- > intercalate s . split s == id
900+-- > split (singleton c) == splitWith (==c)
900split :: Text -- ^ Text to split on
901split :: Text -- ^ Text to split on
901 -> Text -- ^ Input text
902 -> Text -- ^ Input text
902 -> [Text]
903 -> [Text]