hCombiner

combiner.hs

import Data.Monoid

--This is sparta! Filter the 500!
sparta :: (Integer -> Bool) -> [Integer]
sparta = flip filter [1 .. 500]

-- now the question is: how can multiple clauses for the same Integer be combined?

(<&&>) :: (a -> Bool) -> (a -> Bool) -> (a -> Bool)
f <&&> g = \x -> f x && g x

(<||>) :: (a -> Bool) -> (a -> Bool) -> a -> Bool
f <||> g = \x -> f x || g x

--try
nobodyLives = sparta $ odd <&&> even
everybodyLives = sparta $ odd <||> even
someLive = sparta $ odd <&&> (<100) <||> (>400)

-- nice. A bit more generic?
(<++>) :: (Monoid m) => (a -> m) -> (a -> m) -> a -> m
f <++> g = \x -> (f x) `mappend` (g x)

-- but there has got to be something more that I'm missing right?