foldM package:vector-sized

foldM :: (Monad m, Prim b) => (a -> b -> m a) -> a -> Vector n b -> m a

O(n) Monadic fold.

foldM :: Monad m => (a -> b -> m a) -> a -> Vector n b -> m a

O(n) Monadic fold.

foldM :: (Monad m, Storable b) => (a -> b -> m a) -> a -> Vector n b -> m a

O(n) Monadic fold.

foldM :: (Monad m, Unbox b) => (a -> b -> m a) -> a -> Vector n b -> m a

O(n) Monadic fold.

foldM' :: (Monad m, Vector v b) => (a -> b -> m a) -> a -> Vector v n b -> m a

O(n) Monadic fold.

foldM'_ :: (Monad m, Vector v b) => (a -> b -> m a) -> a -> Vector v n b -> m ()

O(n) Monadic fold with strict accumulator.

foldM_ :: (Monad m, Vector v b) => (a -> b -> m a) -> a -> Vector v n b -> m ()

O(n) Monadic fold with strict accumulator that discards the result.

foldM' :: (Monad m, Prim b) => (a -> b -> m a) -> a -> Vector n b -> m a

O(n) Monadic fold that discards the result.

foldM'_ :: (Monad m, Prim b) => (a -> b -> m a) -> a -> Vector n b -> m ()

O(n) Monadic fold with strict accumulator.

foldM_ :: (Monad m, Prim b) => (a -> b -> m a) -> a -> Vector n b -> m ()

O(n) Monadic fold with strict accumulator that discards the result.

foldM' :: Monad m => (a -> b -> m a) -> a -> Vector n b -> m a

O(n) Monadic fold that discards the result.

foldM'_ :: Monad m => (a -> b -> m a) -> a -> Vector n b -> m ()

O(n) Monadic fold with strict accumulator.

foldM_ :: Monad m => (a -> b -> m a) -> a -> Vector n b -> m ()

O(n) Monadic fold with strict accumulator that discards the result.

foldM' :: (Monad m, Storable b) => (a -> b -> m a) -> a -> Vector n b -> m a

O(n) Monadic fold that discards the result.

foldM'_ :: (Monad m, Storable b) => (a -> b -> m a) -> a -> Vector n b -> m ()

O(n) Monadic fold with strict accumulator.

foldM_ :: (Monad m, Storable b) => (a -> b -> m a) -> a -> Vector n b -> m ()

O(n) Monadic fold with strict accumulator that discards the result.

foldM' :: (Monad m, Unbox b) => (a -> b -> m a) -> a -> Vector n b -> m a

O(n) Monadic fold that discards the result.

foldM'_ :: (Monad m, Unbox b) => (a -> b -> m a) -> a -> Vector n b -> m ()

O(n) Monadic fold with strict accumulator.

foldM_ :: (Monad m, Unbox b) => (a -> b -> m a) -> a -> Vector n b -> m ()

O(n) Monadic fold with strict accumulator that discards the result.

ifoldM :: (Monad m, Vector v b) => (a -> Finite n -> b -> m a) -> a -> Vector v n b -> m a

O(n) Monadic fold that discards the result.

ifoldM' :: (Monad m, Vector v b) => (a -> Finite n -> b -> m a) -> a -> Vector v n b -> m a

O(n) Monadic fold (action applied to each element and its index).

ifoldM'_ :: (Monad m, Vector v b) => (a -> Finite n -> b -> m a) -> a -> Vector v n b -> m ()

O(n) Monadic fold with strict accumulator (action applied to each element and its index).

ifoldM_ :: (Monad m, Vector v b) => (a -> Finite n -> b -> m a) -> a -> Vector v n b -> m ()

O(n) Monadic fold with strict accumulator that discards the result (action applied to each element and its index).

ifoldM :: (Monad m, Prim b) => (a -> Finite n -> b -> m a) -> a -> Vector n b -> m a

O(n) Monadic fold that discards the result (action applied to each element and its index).