all -package:text package:vector

all :: (a -> Bool) -> Vector a -> Bool
vector Data.Vector
O(n) Check if all elements satisfy the predicate.

Examples

>>> 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
all :: Vector v a => (a -> Bool) -> v a -> Bool
vector Data.Vector.Generic
O(n) Check if all elements satisfy the predicate.

Examples

>>> 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
all :: Prim a => (a -> Bool) -> Vector a -> Bool
vector Data.Vector.Primitive
O(n) Check if all elements satisfy the predicate.

Examples

>>> 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
all :: Storable a => (a -> Bool) -> Vector a -> Bool
vector Data.Vector.Storable
O(n) Check if all elements satisfy the predicate.

Examples

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

Examples

>>> 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
smaller :: Size -> Size -> Size
vector Data.Vector.Fusion.Bundle.Size
Minimum of two size hints
smallerThan :: Int -> Size -> Size
vector Data.Vector.Fusion.Bundle.Size
Select a safe smaller than known size.