| Copyright | (c) Sirui Lu 2021-2023 |
|---|---|
| License | BSD-3-Clause (see the LICENSE file) |
| Maintainer | siruilu@cs.washington.edu |
| Stability | Experimental |
| Portability | GHC only |
| Safe Haskell | Trustworthy |
| Language | Haskell2010 |
Grisette.Lib.Data.Foldable
Description
Synopsis
- mrgFoldlM :: (MonadUnion m, Mergeable b, Foldable t) => (b -> a -> m b) -> b -> t a -> m b
- mrgFoldrM :: (MonadUnion m, Mergeable b, Foldable t) => (a -> b -> m b) -> b -> t a -> m b
- mrgTraverse_ :: (MonadUnion m, Foldable t) => (a -> m b) -> t a -> m ()
- mrgFor_ :: (MonadUnion m, Foldable t) => t a -> (a -> m b) -> m ()
- mrgMapM_ :: (MonadUnion m, Foldable t) => (a -> m b) -> t a -> m ()
- mrgForM_ :: (MonadUnion m, Foldable t) => t a -> (a -> m b) -> m ()
- mrgSequence_ :: (Foldable t, MonadUnion m) => t (m a) -> m ()
- mrgMsum :: forall m a t. (MonadUnion m, Mergeable a, MonadPlus m, Foldable t) => t (m a) -> m a
mrg* variants for operations in Data.Foldable
mrgFoldlM :: (MonadUnion m, Mergeable b, Foldable t) => (b -> a -> m b) -> b -> t a -> m b Source #
foldlM with MergingStrategy knowledge propagation.
mrgFoldrM :: (MonadUnion m, Mergeable b, Foldable t) => (a -> b -> m b) -> b -> t a -> m b Source #
foldrM with MergingStrategy knowledge propagation.
mrgTraverse_ :: (MonadUnion m, Foldable t) => (a -> m b) -> t a -> m () Source #
traverse_ with MergingStrategy knowledge propagation.
mrgFor_ :: (MonadUnion m, Foldable t) => t a -> (a -> m b) -> m () Source #
for_ with MergingStrategy knowledge propagation.
mrgMapM_ :: (MonadUnion m, Foldable t) => (a -> m b) -> t a -> m () Source #
mapM_ with MergingStrategy knowledge propagation.
mrgForM_ :: (MonadUnion m, Foldable t) => t a -> (a -> m b) -> m () Source #
forM_ with MergingStrategy knowledge propagation.
mrgSequence_ :: (Foldable t, MonadUnion m) => t (m a) -> m () Source #
sequence_ with MergingStrategy knowledge propagation.