Re: Adding split/split' to Data.List, and redefining words/lines with it; also, adding replace/replaceBy

On Thu, Jul 10, 2008 at 10:55:23AM -0400, Gwern Branwen wrote:

words' :: String -> [String] words' = filter (not . and . map isSpace) . split isSpace

Note that (and . map f) == all f, which makes this code a bit simpler and clearer. David