>>> all (> 3) [] True
>>> all (> 3) [1,2] False
>>> all (> 3) [1,2,3,4,5] False
>>> all (> 3) [1..] False
>>> all (> 3) [4..] * Hangs forever *
>>> all (> 3) [] True >>> all (> 3) [1,2] False >>> all (> 3) [1,2,3,4,5] False >>> all (> 3) [1..] False >>> all (> 3) [4..] * Hangs forever *
>>> import qualified Data.Vector as V >>> V.all even $ V.fromList [2, 4, 12] True >>> V.all even $ V.fromList [2, 4, 13] False >>> V.all even (V.empty :: V.Vector Int) True
>>> import qualified Data.Vector as V >>> V.all even $ V.fromList [2, 4, 12] True >>> V.all even $ V.fromList [2, 4, 13] False >>> V.all even (V.empty :: V.Vector Int) True
>>> import qualified Data.Vector.Primitive as VP >>> VP.all even $ VP.fromList [2, 4, 12 :: Int] True >>> VP.all even $ VP.fromList [2, 4, 13 :: Int] False >>> VP.all even (VP.empty :: VP.Vector Int) True
>>> import qualified Data.Vector.Storable as VS >>> VS.all even $ VS.fromList [2, 4, 12 :: Int] True >>> VS.all even $ VS.fromList [2, 4, 13 :: Int] False >>> VS.all even (VS.empty :: VS.Vector Int) True
>>> import qualified Data.Vector.Unboxed as VU >>> VU.all even $ VU.fromList [2, 4, 12 :: Int] True >>> VU.all even $ VU.fromList [2, 4, 13 :: Int] False >>> VU.all even (VU.empty :: VU.Vector Int) True
ghci> is <- Streams.fromList [1, 2, 3] ghci> Streams.all (< 0) is -- Consumes one element False ghci> Streams.read is Just 2 ghci> Streams.all odd is -- Only 3 remains True
>>> import qualified Data.Vector as V >>> V.all even $ V.fromList [2, 4, 12 :: Int] True >>> V.all even $ V.fromList [2, 4, 13 :: Int] False >>> V.all even (V.empty :: V.Vector Int) True
>>> import qualified Data.Vector as V >>> V.all even $ V.fromList [2, 4, 12 :: Int] True >>> V.all even $ V.fromList [2, 4, 13 :: Int] False >>> V.all even (V.empty :: V.Vector Int) True