Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. mrgMapAndUnzipM :: (Applicative m, TryMerge m, Mergeable b, Mergeable c) => (a -> m (b, c)) -> [a] -> m ([b], [c])

   grisette	Grisette.Lib.Control.Monad

   mapAndUnzipM with MergingStrategy knowledge propagation.

2. mrgMapM :: forall a b t f . (Mergeable b, Mergeable1 t, MonadTryMerge f, Traversable t) => (a -> f b) -> t a -> f (t b)

   grisette	Grisette.Lib.Control.Monad

   mapM with MergingStrategy knowledge propagation.

3. mrgMapM_ :: (MonadTryMerge m, Foldable t) => (a -> m b) -> t a -> m ()

   grisette	Grisette.Lib.Control.Monad

   mapM_ with MergingStrategy knowledge propagation.

4. mrgMapError :: (MonadError e m, TryMerge m, MonadError e' n, TryMerge n, Mergeable a, Mergeable b, Mergeable e, Mergeable e') => (m (Either e a) -> n (Either e' b)) -> m a -> n b

   grisette	Grisette.Lib.Control.Monad.Except

   mapError with MergingStrategy knowledge propagation.

5. mrgMapStateT :: (TryMerge n, Mergeable b, Mergeable s) => (m (a, s) -> n (b, s)) -> StateT s m a -> StateT s n b

   grisette	Grisette.Lib.Control.Monad.Trans.State.Lazy

   mapStateT with MergingStrategy knowledge propagation.

6. mrgMapStateT :: (TryMerge n, Mergeable b, Mergeable s) => (m (a, s) -> n (b, s)) -> StateT s m a -> StateT s n b

   grisette	Grisette.Lib.Control.Monad.Trans.State.Strict

   mapStateT with MergingStrategy knowledge propagation.

7. mrgMapM_ :: (MonadTryMerge m, Foldable t) => (a -> m b) -> t a -> m ()

   grisette	Grisette.Lib.Data.Foldable

   mapM_ with MergingStrategy knowledge propagation.

8. mrgFmap :: (TryMerge f, Mergeable a, Mergeable b, Functor f) => (a -> b) -> f a -> f b

   grisette	Grisette.Lib.Data.Functor

   fmap with MergingStrategy knowledge propagation.

9. mrgMapAccumM :: (MonadTryMerge m, Traversable t, Mergeable s, Mergeable b, Mergeable1 t) => (s -> a -> m (s, b)) -> s -> t a -> m (s, t b)

   grisette	Grisette.Lib.Data.Traversable

   mapAccumM with MergingStrategy knowledge propagation.

10. mrgMapM :: forall a b t f . (Mergeable b, Mergeable1 t, MonadTryMerge f, Traversable t) => (a -> f b) -> t a -> f (t b)

    grisette	Grisette.Lib.Data.Traversable

    mapM with MergingStrategy knowledge propagation.

Page 1173 of many | Previous | Next