28 Jul
2004
28 Jul
'04
5:44 a.m.
{- | Split the list at the occurrences of a separator into sub-list. This is a generalization of 'words'. -}
There should be two versions of this, one which treats repeated delimiters the same as single ones and ignores initial and final delimiters, and one which treats repeated delimiters as creating an empty field. Thus
split isSpace " foo bar baz " = ["foo","bar","baz"]
split' isSpace " foo bar baz " = ["","foo","","bar","baz",""]
--KW 8-)
--
Keith Wansbrough