Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. mapMM :: (Traversable t, Monad m) => (a -> m b) -> m (t a) -> m (t b)

   Agda	Agda.Utils.Monad

   No documentation available.

2. mapMM_ :: (Foldable t, Monad m) => (a -> m ()) -> m (t a) -> m ()

   Agda	Agda.Utils.Monad

   No documentation available.

3. mapMaybeM :: Monad m => (a -> m (Maybe b)) -> [a] -> m [b]

   Agda	Agda.Utils.Monad

   A monadic version of mapMaybe :: (a -> Maybe b) -> [a] -> [b].

4. mapMaybeMM :: Monad m => (a -> m (Maybe b)) -> m [a] -> m [b]

   Agda	Agda.Utils.Monad

   A version of mapMaybeM with a computation for the input list.

5. mapEither3M :: Applicative m => (a -> m (Either3 b c d)) -> [a] -> m ([b], [c], [d])

   Agda	Agda.Utils.Three

   No documentation available.

6. mapSubTries :: Ord k => (Trie k u -> Maybe v) -> Trie k u -> Trie k v

   Agda	Agda.Utils.Trie

   Create new values based on the entire subtrie. Almost, but not quite comonad extend.

7. mapFst :: (a -> c) -> (a, b) -> (c, b)

   Agda	Agda.Utils.Tuple

   mapFst f = f -*- id
   

8. mapFstM :: Functor m => (a -> m c) -> (a, b) -> m (c, b)

   Agda	Agda.Utils.Tuple

   Monadic mapFst.

9. mapPairM :: Applicative m => (a -> m c) -> (b -> m d) -> (a, b) -> m (c, d)

   Agda	Agda.Utils.Tuple

   Monadic version of -*-.

10. mapSnd :: (b -> d) -> (a, b) -> (a, d)

    Agda	Agda.Utils.Tuple

    mapSnd g = id -*- g
    

Page 316 of many | Previous | Next