26 Aug
2009
26 Aug
'09
5:16 p.m.
On Wed, 2009-08-26 at 18:58 +0100, Jon Fairbairn wrote:
It's not that hard to write
all_spaces xs = checkA (all (isSpace xs)) xs
if that's really what you want.
Not /hard/, but it involves using xs twice, which should tell us something.
I'm not sure it does tell us much, given that there are also cases where we need to use it only once, and would be forced to use \_ -> to ignore it in the predicate. The two forms are clearly inter-convertible and one form is more convenient in some situations while the other is more convenient in others. Duncan