Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. lmapWhenMissing :: forall b a (f :: Type -> Type) x . (b -> a) -> WhenMissing f a x -> WhenMissing f b x

   containers	Data.IntMap.Merge.Lazy

   Map contravariantly over a WhenMissing f _ x.

2. data IntMap a

   containers	Data.IntMap.Strict

   A map of integers to values a.

3. foldMapWithKey :: Monoid m => (Key -> a -> m) -> IntMap a -> m

   containers	Data.IntMap.Strict

   Fold the keys and values in the map using the given monoid, such that

   foldMapWithKey f = fold . mapWithKey f
   

   This can be an asymptotically faster than foldrWithKey or foldlWithKey for some monoids.

4. isProperSubmapOf :: Eq a => IntMap a -> IntMap a -> Bool

   containers	Data.IntMap.Strict

   Is this a proper submap? (ie. a submap but not equal). Defined as (isProperSubmapOf = isProperSubmapOfBy (==)).

5. isProperSubmapOfBy :: (a -> b -> Bool) -> IntMap a -> IntMap b -> Bool

   containers	Data.IntMap.Strict

   Is this a proper submap? (ie. a submap but not equal). The expression (isProperSubmapOfBy f m1 m2) returns True when keys m1 and keys m2 are not equal, all keys in m1 are in m2, and when f returns True when applied to their respective values. For example, the following expressions are all True:

   isProperSubmapOfBy (==) (fromList [(1,1)]) (fromList [(1,1),(2,2)])
   isProperSubmapOfBy (<=) (fromList [(1,1)]) (fromList [(1,1),(2,2)])
   

   But the following are all False:

   isProperSubmapOfBy (==) (fromList [(1,1),(2,2)]) (fromList [(1,1),(2,2)])
   isProperSubmapOfBy (==) (fromList [(1,1),(2,2)]) (fromList [(1,1)])
   isProperSubmapOfBy (<)  (fromList [(1,1)])       (fromList [(1,1),(2,2)])
   

6. isSubmapOf :: Eq a => IntMap a -> IntMap a -> Bool

   containers	Data.IntMap.Strict

   Is this a submap? Defined as (isSubmapOf = isSubmapOfBy (==)).

7. isSubmapOfBy :: (a -> b -> Bool) -> IntMap a -> IntMap b -> Bool

   containers	Data.IntMap.Strict

   The expression (isSubmapOfBy f m1 m2) returns True if all keys in m1 are in m2, and when f returns True when applied to their respective values. For example, the following expressions are all True:

   isSubmapOfBy (==) (fromList [(1,1)]) (fromList [(1,1),(2,2)])
   isSubmapOfBy (<=) (fromList [(1,1)]) (fromList [(1,1),(2,2)])
   isSubmapOfBy (==) (fromList [(1,1),(2,2)]) (fromList [(1,1),(2,2)])
   

   But the following are all False:

   isSubmapOfBy (==) (fromList [(1,2)]) (fromList [(1,1),(2,2)])
   isSubmapOfBy (<) (fromList [(1,1)]) (fromList [(1,1),(2,2)])
   isSubmapOfBy (==) (fromList [(1,1),(2,2)]) (fromList [(1,1)])
   

8. data IntMap a

   containers	Data.IntMap.Strict.Internal

   A map of integers to values a.

9. foldMapWithKey :: Monoid m => (Key -> a -> m) -> IntMap a -> m

   containers	Data.IntMap.Strict.Internal

   Fold the keys and values in the map using the given monoid, such that

   foldMapWithKey f = fold . mapWithKey f
   

   This can be an asymptotically faster than foldrWithKey or foldlWithKey for some monoids.

10. isProperSubmapOf :: Eq a => IntMap a -> IntMap a -> Bool

    containers	Data.IntMap.Strict.Internal

    Is this a proper submap? (ie. a submap but not equal). Defined as (isProperSubmapOf = isProperSubmapOfBy (==)).

Page 405 of many | Previous | Next