Hoogle Search

Within LTS Haskell 24.33 (ghc-9.10.3)

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

Exact lookup

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

   ghc	GHC.Utils.Monad

   No documentation available.

2. mapMaybeM :: Applicative m => (a -> m (Maybe b)) -> [a] -> m [b]

   ghc	GHC.Utils.Monad

   Applicative version of mapMaybe

3. mapSndM :: (Applicative m, Traversable f) => (b -> m c) -> f (a, b) -> m (f (a, c))

   ghc	GHC.Utils.Monad

   Monadic version of mapSnd

4. mapXRec :: (MapXRec p, Anno a ~ Anno b) => (a -> b) -> XRec p a -> XRec p b

   ghc	Language.Haskell.Syntax.Extension

   No documentation available.

5. mapHsOuterImplicit :: (XHsOuterImplicit pass -> XHsOuterImplicit pass) -> HsOuterTyVarBndrs flag pass -> HsOuterTyVarBndrs flag pass

   ghc	Language.Haskell.Syntax.Type

   No documentation available.

6. mapToJSON :: [(Text, PersistValue)] -> Text

   persistent	Database.Persist

   Convert map (list of tuples) into textual representation of JSON object. This is a type-constrained synonym for toJsonText.

7. mapAccumM :: (Monad m, Traversable t) => (a -> b -> m (a, c)) -> a -> t b -> m (a, t c)

   Cabal	Distribution.Utils.MapAccum

   Monadic variant of mapAccumL.

8. mapMTV :: Monad m => (Name -> m Name) -> (flag -> m flag') -> (Kind -> m Kind) -> TyVarBndr_ flag -> m (TyVarBndr_ flag')

   th-abstraction	Language.Haskell.TH.Datatype.TyVarBndr

   Map over the components of a TyVarBndr in a monadic fashion. This is the same as traverseTV, but with a Monad constraint. This is mainly useful for use with old versions of base where Applicative was not a superclass of Monad.

9. mapMTVFlag :: Monad m => (flag -> m flag') -> TyVarBndr_ flag -> m (TyVarBndr_ flag')

   th-abstraction	Language.Haskell.TH.Datatype.TyVarBndr

   Map over the flag of a TyVarBndr in a monadic fashion. This is the same as traverseTVFlag, but with a Monad constraint. This is mainly useful for use with old versions of base where Applicative was not a superclass of Monad.

10. mapMTVKind :: Monad m => (Kind -> m Kind) -> TyVarBndr_ flag -> m (TyVarBndr_ flag)

    th-abstraction	Language.Haskell.TH.Datatype.TyVarBndr

    Map over the Kind of a TyVarBndr in a monadic fashion. This is the same as traverseTVKind, but with a Monad constraint. This is mainly useful for use with old versions of base where Applicative was not a superclass of Monad.

Page 109 of many | Previous | Next