Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. traverseMaybeMissing :: Applicative f => (Key -> x -> f (Maybe y)) -> WhenMissing f x y

   containers	Data.IntMap.Merge.Lazy

   Traverse over the entries whose keys are missing from the other map, optionally producing values to put in the result. This is the most powerful WhenMissing tactic, but others are usually more efficient.

2. zipWithMaybeAMatched :: (Key -> x -> y -> f (Maybe z)) -> WhenMatched f x y z

   containers	Data.IntMap.Merge.Lazy

   When a key is found in both maps, apply a function to the key and values, perform the resulting action, and maybe use the result in the merged map. This is the fundamental WhenMatched tactic.

3. zipWithMaybeMatched :: forall (f :: Type -> Type) x y z . Applicative f => (Key -> x -> y -> Maybe z) -> WhenMatched f x y z

   containers	Data.IntMap.Merge.Lazy

   When a key is found in both maps, apply a function to the key and values and maybe use the result in the merged map.

   zipWithMaybeMatched
   :: (Key -> x -> y -> Maybe z)
   -> SimpleWhenMatched x y z
   

4. mapMaybeMissing :: forall (f :: Type -> Type) x y . Applicative f => (Key -> x -> Maybe y) -> WhenMissing f x y

   containers	Data.IntMap.Merge.Strict

   Map over the entries whose keys are missing from the other map, optionally removing some. This is the most powerful SimpleWhenMissing tactic, but others are usually more efficient.

   mapMaybeMissing :: (k -> x -> Maybe y) -> SimpleWhenMissing k x y
   

   mapMaybeMissing f = traverseMaybeMissing (\k x -> pure (f k x))
   

   but mapMaybeMissing uses fewer unnecessary Applicative operations.

5. traverseMaybeMissing :: Applicative f => (Key -> x -> f (Maybe y)) -> WhenMissing f x y

   containers	Data.IntMap.Merge.Strict

   Traverse over the entries whose keys are missing from the other map, optionally producing values to put in the result. This is the most powerful WhenMissing tactic, but others are usually more efficient.

6. zipWithMaybeAMatched :: Applicative f => (Key -> x -> y -> f (Maybe z)) -> WhenMatched f x y z

   containers	Data.IntMap.Merge.Strict

   When a key is found in both maps, apply a function to the key and values, perform the resulting action, and maybe use the result in the merged map. This is the fundamental WhenMatched tactic.

7. zipWithMaybeMatched :: forall (f :: Type -> Type) x y z . Applicative f => (Key -> x -> y -> Maybe z) -> WhenMatched f x y z

   containers	Data.IntMap.Merge.Strict

   When a key is found in both maps, apply a function to the key and values and maybe use the result in the merged map.

   zipWithMaybeMatched :: (k -> x -> y -> Maybe z)
   -> SimpleWhenMatched k x y z
   

8. mapMaybe :: (a -> Maybe b) -> IntMap a -> IntMap b

   containers	Data.IntMap.Strict

   Map values and collect the Just results.

   let f x = if x == "a" then Just "new a" else Nothing
   mapMaybe f (fromList [(5,"a"), (3,"b")]) == singleton 5 "new a"
   

9. mapMaybeWithKey :: (Key -> a -> Maybe b) -> IntMap a -> IntMap b

   containers	Data.IntMap.Strict

   Map keys/values and collect the Just results.

   let f k _ = if k < 5 then Just ("key : " ++ (show k)) else Nothing
   mapMaybeWithKey f (fromList [(5,"a"), (3,"b")]) == singleton 3 "key : 3"
   

10. traverseMaybeWithKey :: Applicative f => (Key -> a -> f (Maybe b)) -> IntMap a -> f (IntMap b)

    containers	Data.IntMap.Strict

    Traverse keys/values and collect the Just results.

Page 102 of many | Previous | Next