:: (a -> Bool) -> ([a] -> Bool) package:vector

all :: Vector v a => (a -> Bool) -> v a -> Bool

O(n) Check if all elements satisfy the predicate.

Examples

>>> import qualified Data.Vector.Strict 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

any :: Vector v a => (a -> Bool) -> v a -> Bool

vector Data.Vector.Generic

O(n) Check if any element satisfies the predicate.

Examples

>>> import qualified Data.Vector.Strict as V

>>> V.any even $ V.fromList [1, 3, 7]
False

>>> V.any even $ V.fromList [3, 2, 13]
True

>>> V.any even (V.empty :: V.Vector Int)
False