Hoogle Search

Within LTS Haskell 24.64 (ghc-9.10.3)

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

  1. 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.

  2. 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.

  3. mapMTVName :: Monad m => (Name -> m Name) -> TyVarBndr_ flag -> m (TyVarBndr_ flag)

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

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

  4. mapM_ :: Monad m => (a -> m ()) -> Consumer' a m r

    pipes Pipes.Prelude

    Consume all values using a monadic function

  5. mapMaybe :: forall (m :: Type -> Type) a b r . Functor m => (a -> Maybe b) -> Pipe a b m r

    pipes Pipes.Prelude

    (mapMaybe f) yields Just results of f. Basic laws: 

    mapMaybe (f >=> g) = mapMaybe f >-> mapMaybe g

mapMaybe (pure @Maybe . f) = mapMaybe (Just . f) = map f

mapMaybe (const Nothing) = drain
    As a result of the second law, 
    mapMaybe return = mapMaybe Just = cat

  6. mapMaybe :: (a -> Maybe b) -> CharMap a -> CharMap b

    regex-tdfa Data.IntMap.CharMap2

    No documentation available.

  7. mapMaybeWithKey :: (Key -> a -> Maybe b) -> CharMap a -> CharMap b

    regex-tdfa Data.IntMap.CharMap2

    No documentation available.

  8. mapMaybe :: Enum key => (a -> Maybe b) -> EnumMap key a -> EnumMap key b

    regex-tdfa Data.IntMap.EnumMap2

    No documentation available.

  9. mapMaybeWithKey :: Enum key => (key -> a -> Maybe b) -> EnumMap key a -> EnumMap key b

    regex-tdfa Data.IntMap.EnumMap2

    No documentation available.

  10. mapM_ :: (Foldable t, Monad m) => (a -> m b) -> t a -> m ()

    haskell-gi-base Data.GI.Base.ShortPrelude

    Map each element of a structure to a monadic action, evaluate these actions from left to right, and ignore the results. For a version that doesn't ignore the results see mapM. mapM_ is just like traverse_, but specialised to monadic actions.

Page 15 of many | Previous | Next