Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

  1. mapModClass :: (Class -> Class) -> Mod c -> Mod c

    web-view Web.View.Style

    No documentation available.

  2. mapMaybe :: (Ord k, Semigroup v) => (a -> Maybe b) -> AnnotatedMap k v a -> AnnotatedMap k v b

    what4 What4.Utils.AnnotatedMap

    No documentation available.

  3. mapMaybeWithKey :: (Ord k, Semigroup v2) => (k -> v1 -> a1 -> Maybe (v2, a2)) -> AnnotatedMap k v1 a1 -> AnnotatedMap k v2 a2

    what4 What4.Utils.AnnotatedMap

    No documentation available.

  4. mapModalPolarity :: LensModalPolarity a => (PolarityModality -> PolarityModality) -> a -> a

    Agda Agda.Syntax.Common

    No documentation available.

  5. mapModality :: LensModality a => (Modality -> Modality) -> a -> a

    Agda Agda.Syntax.Common

    No documentation available.

  6. mapModalityArgInfo :: LensArgInfo a => LensMap a Modality

    Agda Agda.Syntax.Common

    No documentation available.

  7. mapMaybeAndRest :: (a -> Maybe b) -> [a] -> ([b], Suffix a)

    Agda Agda.Utils.List

    Like mapMaybe, but additionally return the last partition of the list where the function always returns Nothing. O(n).

  8. mapMaybe :: (a -> Maybe b) -> List1 a -> [b]

    Agda Agda.Utils.List1

    Like mapMaybe.

  9. mapMListT :: Monad m => (a -> m b) -> ListT m a -> ListT m b

    Agda Agda.Utils.ListT

    Extending a monadic function to ListT.

  10. mapMListT_alt :: Monad m => (a -> m b) -> ListT m a -> ListT m b

    Agda Agda.Utils.ListT

    Alternative implementation using foldListT.

Page 52 of many | Previous | Next