Hoogle Search

Within LTS Haskell 24.18 (ghc-9.10.3)

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

Exact lookup

1. mapMaybe :: forall (m :: Type -> Type) a b . Functor m => (a -> Maybe b) -> SourceT m a -> SourceT m b

   servant	Servant.Types.SourceT

   Filter values.

   >>> toList $ mapMaybe (\x -> if odd x then Just x else Nothing) (source [0..10]) :: [Int]
   [1,3,5,7,9]
   

   >>> mapMaybe (\x -> if odd x then Just x else Nothing) (source [0..2]) :: SourceT Identity Int
   fromStepT (Effect (Identity (Skip (Yield 1 (Skip Stop)))))
   

   Illustrates why we need Skip.

2. mapMaybeStep :: forall (m :: Type -> Type) a b . Functor m => (a -> Maybe b) -> StepT m a -> StepT m b

   servant	Servant.Types.SourceT

   No documentation available.

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

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

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

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

7. mapMG :: (ModSummary -> ModSummary) -> ModuleGraph -> ModuleGraph

   ghc	GHC

   Map a function f over all the ModSummaries. To preserve invariants f can't change the isBoot status.

8. mapMap :: (a -> v) -> LabelMap a -> LabelMap v

   ghc	GHC.Cmm.Dataflow.Label

   No documentation available.

9. mapMapWithKey :: (Label -> a -> v) -> LabelMap a -> LabelMap v

   ghc	GHC.Cmm.Dataflow.Label

   No documentation available.

10. mapMember :: Label -> LabelMap a -> Bool

    ghc	GHC.Cmm.Dataflow.Label

    No documentation available.

Page 20 of many | Previous | Next