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.
mapModClass :: (Class -> Class) -> Mod c -> Mod cweb-view Web.View.Style No documentation available.
mapMaybe :: (Ord k, Semigroup v) => (a -> Maybe b) -> AnnotatedMap k v a -> AnnotatedMap k v bwhat4 What4.Utils.AnnotatedMap No documentation available.
-
what4 What4.Utils.AnnotatedMap No documentation available.
mapModalPolarity :: LensModalPolarity a => (PolarityModality -> PolarityModality) -> a -> aAgda Agda.Syntax.Common No documentation available.
mapModality :: LensModality a => (Modality -> Modality) -> a -> aAgda Agda.Syntax.Common No documentation available.
mapModalityArgInfo :: LensArgInfo a => LensMap a ModalityAgda Agda.Syntax.Common No documentation available.
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).
mapMaybe :: (a -> Maybe b) -> List1 a -> [b]Agda Agda.Utils.List1 Like mapMaybe.
mapMListT :: Monad m => (a -> m b) -> ListT m a -> ListT m bAgda Agda.Utils.ListT Extending a monadic function to ListT.
mapMListT_alt :: Monad m => (a -> m b) -> ListT m a -> ListT m bAgda Agda.Utils.ListT Alternative implementation using foldListT.