Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

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

Exact lookup

1. mapSnd :: (b -> d) -> (a, b) -> (a, d)

   Agda	Agda.Utils.Tuple

   mapSnd g = id -*- g
   

2. mapSndM :: Functor m => (b -> m d) -> (a, b) -> m (a, d)

   Agda	Agda.Utils.Tuple

   Monadic mapSnd.

3. mapChangeT :: (m (a, Any) -> n (b, Any)) -> ChangeT m a -> ChangeT n b

   Agda	Agda.Utils.Update

   Map a ChangeT computation (monad transformer action).

4. mapMonotonic :: (Key -> Key) -> IntSet -> IntSet

   Agda	Agda.Utils.VarSet

   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
   

5. mapValue :: forall a (b :: Bool) . Boolean a => (a -> a) -> WithDefault' a b -> WithDefault' a b

   Agda	Agda.Utils.WithDefault

   Only modify non-Default values.

6. mapRhs :: (SentForm -> SentForm) -> Rul f -> Rul f

   BNFC	BNFC.CF

   Modify the rhsRule part of a Rule.

7. mapHead :: (a -> a) -> [a] -> [a]

   BNFC	BNFC.Utils

   Apply a function to the head of a list.

8. mapWithinMap :: Ord k => (a -> a) -> [k] -> Map k a -> Map k a

   Hastructure	Util

   No documentation available.

9. mapPositions :: (Position -> Position) -> Fix -> Fix

   ShellCheck	ShellCheck.Fixer

   No documentation available.

10. mapFilterE :: (a -> Maybe b) -> Event a -> Event b

    Yampa	FRP.Yampa

    Combined event mapping and filtering. Note: since Event is a Functor, see fmap for a simpler version of this function with no filtering.

Page 317 of many | Previous | Next