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.

Exact lookup

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

   Agda	Agda.Utils.Update

   Map a ChangeT computation (monad transformer action).

2. 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
   

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

   Agda	Agda.Utils.WithDefault

   Only modify non-Default values.

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

   BNFC	BNFC.CF

   Modify the rhsRule part of a Rule.

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

   BNFC	BNFC.Utils

   Apply a function to the head of a list.

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

   Hastructure	Util

   No documentation available.

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

   ShellCheck	ShellCheck.Fixer

   No documentation available.

8. 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.

9. mapMerge :: (a -> c) -> (b -> c) -> (a -> b -> c) -> Event a -> Event b -> Event c

   Yampa	FRP.Yampa

   A generic event merge-map utility that maps event occurrences, merging the results. The first three arguments are mapping functions, the third of which will only be used when both events are present. Therefore, mergeBy = mapMerge id id. Applicative-based definition: mapMerge lf rf lrf le re = (f $ le * re) | (lf $ le) | (rf $ re)

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

    Yampa	FRP.Yampa.Event

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

Page 274 of many | Previous | Next