find package:vector

find :: Monad m => (a -> Bool) -> Stream m a -> m (Maybe a)

Yield Just the first element that satisfies the predicate or Nothing if no such element exists.

find :: Vector v a => (a -> Bool) -> v a -> Maybe a

find :: Prim a => (a -> Bool) -> Vector a -> Maybe a

O(n) Yield Just the first element matching the predicate or Nothing if no such element exists.

find :: Storable a => (a -> Bool) -> Vector a -> Maybe a

O(n) Yield Just the first element matching the predicate or Nothing if no such element exists.

vector Data.Vector.Storable

O(n) Yield Just the first element matching the predicate or Nothing if no such element exists.

find :: Unbox a => (a -> Bool) -> Vector a -> Maybe a

vector Data.Vector.Unboxed

O(n) Yield Just the first element matching the predicate or Nothing if no such element exists.

findIndex :: (a -> Bool) -> Vector a -> Maybe Int

vector Data.Vector

O(n) Yield Just the index of the first element matching the predicate or Nothing if no such element exists.

findIndexR :: (a -> Bool) -> Vector a -> Maybe Int

vector Data.Vector

O(n) Yield Just the index of the last element matching the predicate or Nothing if no such element exists. Does not fuse.

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

vector Data.Vector

O(n) Yield the indices of elements satisfying the predicate in ascending order.

findIndex :: forall a (v :: Type -> Type) . (a -> Bool) -> Bundle v a -> Maybe Int

vector Data.Vector.Fusion.Bundle

Yield Just the index of the first element matching the predicate or Nothing if no such element exists.

findIndex :: forall m a (v :: Type -> Type) . Monad m => (a -> Bool) -> Bundle m v a -> m (Maybe Int)

findIndexM :: forall m a (v :: Type -> Type) . Monad m => (a -> m Bool) -> Bundle m v a -> m (Maybe Int)

Yield Just the index of the first element that satisfies the predicate or Nothing if no such element exists.

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

Yield Just the index of the first element that satisfies the monadic predicate or Nothing if no such element exists.

findIndex :: Monad m => (a -> Bool) -> Stream m a -> m (Maybe Int)

Yield Just the first element that satisfies the monadic predicate or Nothing if no such element exists.

findIndexM :: Monad m => (a -> m Bool) -> Stream m a -> m (Maybe Int)

findM :: Monad m => (a -> m Bool) -> Stream m a -> m (Maybe a)

findIndex :: Vector v a => (a -> Bool) -> v a -> Maybe Int

findIndexR :: Vector v a => (a -> Bool) -> v a -> Maybe Int

O(n) Yield Just the index of the first element matching the predicate or Nothing if no such element exists.

findIndices :: (Vector v a, Vector v Int) => (a -> Bool) -> v a -> v Int

O(n) Yield Just the index of the last element matching the predicate or Nothing if no such element exists. Does not fuse.

findIndex :: Prim a => (a -> Bool) -> Vector a -> Maybe Int

O(n) Yield the indices of elements satisfying the predicate in ascending order.

findIndexR :: Prim a => (a -> Bool) -> Vector a -> Maybe Int

O(n) Yield Just the index of the first element matching the predicate or Nothing if no such element exists.

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

O(n) Yield Just the index of the last element matching the predicate or Nothing if no such element exists. Does not fuse.