foldr package:vector

foldr :: (a -> b -> b) -> b -> Vector a -> b
vector Data.Vector Data.Vector.Strict
O(n) Right fold.
foldr :: forall a b (v :: Type -> Type) . (a -> b -> b) -> b -> Bundle v a -> b
vector Data.Vector.Fusion.Bundle
Right fold
foldr :: forall m a b (v :: Type -> Type) . Monad m => (a -> b -> b) -> b -> Bundle m v a -> m b
vector Data.Vector.Fusion.Bundle.Monadic
Right fold
foldr :: Monad m => (a -> b -> b) -> b -> Stream m a -> m b
vector Data.Vector.Fusion.Stream.Monadic
foldr :: Vector v a => (a -> b -> b) -> b -> v a -> b
vector Data.Vector.Generic
O(n) Right fold.
foldr :: (PrimMonad m, MVector v a) => (a -> b -> b) -> b -> v (PrimState m) a -> m b
vector Data.Vector.Generic.Mutable
O(n) Pure right fold.
foldr :: PrimMonad m => (a -> b -> b) -> b -> MVector (PrimState m) a -> m b
vector Data.Vector.Mutable Data.Vector.Strict.Mutable
O(n) Pure right fold.
foldr :: Prim a => (a -> b -> b) -> b -> Vector a -> b
vector Data.Vector.Primitive
O(n) Right fold.
foldr :: (PrimMonad m, Prim a) => (a -> b -> b) -> b -> MVector (PrimState m) a -> m b
vector Data.Vector.Primitive.Mutable
O(n) Pure right fold.
foldr :: Storable a => (a -> b -> b) -> b -> Vector a -> b
vector Data.Vector.Storable
O(n) Right fold.
foldr :: (PrimMonad m, Storable a) => (a -> b -> b) -> b -> MVector (PrimState m) a -> m b
vector Data.Vector.Storable.Mutable
O(n) Pure right fold.
foldr :: Unbox a => (a -> b -> b) -> b -> Vector a -> b
vector Data.Vector.Unboxed
O(n) Right fold.
foldr :: (PrimMonad m, Unbox a) => (a -> b -> b) -> b -> MVector (PrimState m) a -> m b
vector Data.Vector.Unboxed.Mutable
O(n) Pure right fold.
foldr' :: (a -> b -> b) -> b -> Vector a -> b
vector Data.Vector
O(n) Right fold with a strict accumulator.
foldr1 :: (a -> a -> a) -> Vector a -> a
vector Data.Vector
O(n) Right fold on non-empty vectors.
foldr1' :: (a -> a -> a) -> Vector a -> a
vector Data.Vector
O(n) Right fold on non-empty vectors with strict accumulator.
foldr1 :: forall a (v :: Type -> Type) . (a -> a -> a) -> Bundle v a -> a
vector Data.Vector.Fusion.Bundle
Right fold on non-empty Bundles
foldr1 :: forall m a (v :: Type -> Type) . Monad m => (a -> a -> a) -> Bundle m v a -> m a
vector Data.Vector.Fusion.Bundle.Monadic
Right fold over a non-empty stream
foldr1M :: forall m a (v :: Type -> Type) . Monad m => (a -> a -> m a) -> Bundle m v a -> m a
vector Data.Vector.Fusion.Bundle.Monadic
Right fold over a non-empty stream with a monadic operator
foldrM :: forall m a b (v :: Type -> Type) . Monad m => (a -> b -> m b) -> b -> Bundle m v a -> m b
vector Data.Vector.Fusion.Bundle.Monadic
Right fold with a monadic operator
foldr1 :: Monad m => (a -> a -> a) -> Stream m a -> m a
vector Data.Vector.Fusion.Stream.Monadic
foldr1M :: (HasCallStack, Monad m) => (a -> a -> m a) -> Stream m a -> m a
vector Data.Vector.Fusion.Stream.Monadic
foldrM :: Monad m => (a -> b -> m b) -> b -> Stream m a -> m b
vector Data.Vector.Fusion.Stream.Monadic
foldr' :: Vector v a => (a -> b -> b) -> b -> v a -> b
vector Data.Vector.Generic
O(n) Right fold with a strict accumulator.
foldr1 :: Vector v a => (a -> a -> a) -> v a -> a
vector Data.Vector.Generic
O(n) Right fold on non-empty vectors.