any -package:relude -package:streaming -package:text -package:memory package:vector

any :: (a -> Bool) -> Vector a -> Bool
vector Data.Vector
O(n) Check if any element satisfies the predicate.

Examples

>>> import qualified Data.Vector 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
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 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
any :: Prim a => (a -> Bool) -> Vector a -> Bool
vector Data.Vector.Primitive
O(n) Check if any element satisfies the predicate.

Examples

>>> import qualified Data.Vector.Primitive as VP

>>> VP.any even $ VP.fromList [1, 3, 7 :: Int]
False

>>> VP.any even $ VP.fromList [3, 2, 13 :: Int]
True

>>> VP.any even (VP.empty :: VP.Vector Int)
False
any :: Storable a => (a -> Bool) -> Vector a -> Bool
vector Data.Vector.Storable
O(n) Check if any element satisfies the predicate.

Examples

>>> 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
any :: Unbox a => (a -> Bool) -> Vector a -> Bool
vector Data.Vector.Unboxed
O(n) Check if any element satisfies the predicate.

Examples

>>> 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