comp

comp.hs

-- LeNsTR

module Main where

comp :: (a -> a -> Bool) -> [a] -> Bool
comp f = comp' where
    comp' (x:[])      = True
    comp' (x:y:[])    = x `f` y
    comp' (x:y:(h:t)) | x `f` y   = comp' (y:h:t)
                      | otherwise = False

main = print $ map (comp (<)) [[1,2,3,4] -- True
                              ,[1,2,4,3] -- False
                              ,[1]]      -- True