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.
mapMonotonic :: (Key -> Key) -> Word64Set -> Word64Setghc GHC.Data.Word64Set The mapMonotonic f s == map f s, but works only when f is strictly increasing. The precondition is not checked. Semi-formally, we have:
and [x < y ==> f x < f y | x <- ls, y <- ls] ==> mapMonotonic f s == map f s where ls = toList s
mapMonotonic :: (Key -> Key) -> Word64Set -> Word64Setghc GHC.Data.Word64Set.Internal The mapMonotonic f s == map f s, but works only when f is strictly increasing. The precondition is not checked. Semi-formally, we have:
and [x < y ==> f x < f y | x <- ls, y <- ls] ==> mapMonotonic f s == map f s where ls = toList s
mapPlugins :: Plugins -> (Plugin -> [CommandLineOption] -> a) -> [a]ghc GHC.Driver.Plugins No documentation available.
-
ghc GHC.Hs.Decls Map over the via type if dealing with ViaStrategy. Otherwise, return the DerivStrategy unchanged.
-
ghc GHC.Hs.Type No documentation available.
mapAndUnzipM :: Applicative m => (a -> m (b, c)) -> [a] -> m ([b], [c])ghc GHC.HsToCore.Monad No documentation available.
mapM :: (Traversable t, Monad m) => (a -> m b) -> t a -> m (t b)ghc GHC.HsToCore.Monad No documentation available.
mapLocA :: NoAnn ann => (a -> b) -> GenLocated SrcSpan a -> GenLocated (EpAnn ann) bghc GHC.Parser.Annotation No documentation available.
mapMaybeOccEnv :: (a -> Maybe b) -> OccEnv a -> OccEnv bghc GHC.Plugins mapMaybe for b OccEnv.
mapMaybeOccEnv :: (a -> Maybe b) -> OccEnv a -> OccEnv bghc GHC.Plugins mapMaybe for b OccEnv.