
29 Dec
2011
29 Dec
'11
4:03 p.m.
On Thu, Dec 29, 2011 at 06:45:27AM +0100, Manfred Lotz wrote:
or' :: Monad m => ( a -> m Bool) -> [a] -> [m Bool] or' _ [] = [] or' p (x:xs) = p x : or' p xs
and' :: Monad m => ( a -> m Bool) -> [a] -> [m Bool] and' _ [] = [] and' p (x:xs) = p x : and' p xs
Note that or' = and' = map. -Brent