>>> any (> 3) [] False
>>> any (> 3) [1,2] False
>>> any (> 3) [1,2,3,4,5] True
>>> any (> 3) [1..] True
>>> any (> 3) [0, -1..] * Hangs forever *
>>> any (> 3) [] False
>>> any (> 3) [1,2] False
>>> any (> 3) [1,2,3,4,5] True
>>> any (> 3) [1..] True
>>> any (> 3) [0, -1..] * Hangs forever *
ghci> is <- Streams.fromList [1, 2, 3] ghci> Streams.any (> 0) is -- Consumes one element True ghci> Streams.read is Just 2 ghci> Streams.any even is -- Only 3 remains False
>>> import qualified Data.Vector as V >>> V.any even $ V.fromList [1, 3, 7 :: Int] False >>> V.any even $ V.fromList [3, 2, 13 :: Int] True >>> V.any even (V.empty :: V.Vector Int) False
>>> import qualified Data.Vector as V >>> V.any even $ V.fromList [1, 3, 7 :: Int] False >>> V.any even $ V.fromList [3, 2, 13 :: Int] True >>> V.any even (V.empty :: V.Vector Int) False
>>> import qualified Data.Vector.Storable as VS >>> VS.any even $ VS.fromList [1, 3, 7 :: Int] False >>> VS.any even $ VS.fromList [3, 2, 13 :: Int] True >>> VS.any even (VS.empty :: VS.Vector Int) False
>>> import qualified Data.Vector.Unboxed as VU >>> VU.any even $ VU.fromList [1, 3, 7 :: Int] False >>> VU.any even $ VU.fromList [3, 2, 13 :: Int] True >>> VU.any even (VU.empty :: VU.Vector Int) False
>>> any (> 'c') "abcdabcd" True
>>> any (const True) "" False
>>> any (== 'c') "abdabd" False
any p t == not (all (not . p) t)