Hoogle Search
Within LTS Haskell 24.6 (ghc-9.10.2)
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
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.
mapM_ :: (Foldable t, Monad m) => (a -> m b) -> t a -> m ()ghc GHC.Prelude.Basic No documentation available.
mapMaybeFvRn :: (a -> RnM (b, FreeVars)) -> Maybe a -> RnM (Maybe b, FreeVars)ghc GHC.Rename.Utils No documentation available.
mapMaybeNameEnv :: (a -> Maybe b) -> NameEnv a -> NameEnv bghc GHC.Types.Name.Env No documentation available.
mapMaybeOccEnv :: (a -> Maybe b) -> OccEnv a -> OccEnv bghc GHC.Types.Name.Occurrence mapMaybe for b OccEnv.
mapMaybeModuleEnv :: (Module -> a -> Maybe b) -> ModuleEnv a -> ModuleEnv bghc GHC.Unit.Module.Env No documentation available.
mapModuleEnv :: (a -> b) -> ModuleEnv a -> ModuleEnv bghc GHC.Unit.Module.Env No documentation available.