filter -is:exact -package:base -package:containers package:vector -is:exact -is:exact

filter :: (a -> Bool) -> Vector a -> Vector a

vector Data.Vector Data.Vector.Strict

O(n) Drop all elements that do not satisfy the predicate.

filter :: forall a (v :: Type -> Type) . (a -> Bool) -> Bundle v a -> Bundle v a

vector Data.Vector.Fusion.Bundle

Drop elements which do not satisfy the predicate

filter :: forall (m :: Type -> Type) a (v :: Type -> Type) . Monad m => (a -> Bool) -> Bundle m v a -> Bundle m v a

vector Data.Vector.Fusion.Bundle.Monadic

Drop elements which do not satisfy the predicate

filter :: forall (m :: Type -> Type) a . Monad m => (a -> Bool) -> Stream m a -> Stream m a

vector Data.Vector.Fusion.Stream.Monadic

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

vector Data.Vector.Generic

O(n) Drop all elements that do not satisfy the predicate.

filter :: Prim a => (a -> Bool) -> Vector a -> Vector a

vector Data.Vector.Primitive

O(n) Drop all elements that do not satisfy the predicate.

filter :: Storable a => (a -> Bool) -> Vector a -> Vector a

vector Data.Vector.Storable

O(n) Drop all elements that do not satisfy the predicate.

filter :: Unbox a => (a -> Bool) -> Vector a -> Vector a

vector Data.Vector.Unboxed

O(n) Drop all elements that do not satisfy the predicate.

filterM :: Monad m => (a -> m Bool) -> Vector a -> m (Vector a)

vector Data.Vector Data.Vector.Strict

O(n) Drop all elements that do not satisfy the monadic predicate.

filterM :: forall m a (v :: Type -> Type) . Monad m => (a -> m Bool) -> Bundle v a -> Bundle m v a

vector Data.Vector.Fusion.Bundle

Yield a monadic stream of elements that satisfy the monadic predicate

filterM :: forall m a (v :: Type -> Type) . Monad m => (a -> m Bool) -> Bundle m v a -> Bundle m v a

vector Data.Vector.Fusion.Bundle.Monadic

Drop elements which do not satisfy the monadic predicate

filterM :: Monad m => (a -> m Bool) -> Stream m a -> Stream m a

vector Data.Vector.Fusion.Stream.Monadic

filterM :: (Monad m, Vector v a) => (a -> m Bool) -> v a -> m (v a)

vector Data.Vector.Generic

O(n) Drop all elements that do not satisfy the monadic predicate.

filterM :: (Monad m, Prim a) => (a -> m Bool) -> Vector a -> m (Vector a)

vector Data.Vector.Primitive

O(n) Drop all elements that do not satisfy the monadic predicate.

filterM :: (Monad m, Storable a) => (a -> m Bool) -> Vector a -> m (Vector a)

vector Data.Vector.Storable

O(n) Drop all elements that do not satisfy the monadic predicate.

filterM :: (Monad m, Unbox a) => (a -> m Bool) -> Vector a -> m (Vector a)

vector Data.Vector.Unboxed

O(n) Drop all elements that do not satisfy the monadic predicate.

ifilter :: (Int -> a -> Bool) -> Vector a -> Vector a

vector Data.Vector Data.Vector.Strict

O(n) Drop all elements that do not satisfy the predicate which is applied to the values and their indices.

ifilter :: Vector v a => (Int -> a -> Bool) -> v a -> v a

vector Data.Vector.Generic

O(n) Drop all elements that do not satisfy the predicate which is applied to the values and their indices.

ifilter :: Prim a => (Int -> a -> Bool) -> Vector a -> Vector a

vector Data.Vector.Primitive

O(n) Drop all elements that do not satisfy the predicate which is applied to the values and their indices.

ifilter :: Storable a => (Int -> a -> Bool) -> Vector a -> Vector a

vector Data.Vector.Storable

O(n) Drop all elements that do not satisfy the predicate which is applied to the values and their indices.

ifilter :: Unbox a => (Int -> a -> Bool) -> Vector a -> Vector a

vector Data.Vector.Unboxed

O(n) Drop all elements that do not satisfy the predicate which is applied to the values and their indices.