Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

  1. isSubmapOfBy :: (a -> b -> Bool) -> Word64Map a -> Word64Map b -> Bool

    ghc GHC.Data.Word64Map.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)])
    

  2. data Word64Map a

    ghc GHC.Data.Word64Map.Strict.Internal

    A map of integers to values a.

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

    ghc GHC.Data.Word64Map.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.

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

    ghc GHC.Data.Word64Map.Strict.Internal

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

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

    ghc GHC.Data.Word64Map.Strict.Internal

    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 => Word64Map a -> Word64Map a -> Bool

    ghc GHC.Data.Word64Map.Strict.Internal

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

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

    ghc GHC.Data.Word64Map.Strict.Internal

    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. type BitMap = Word64

    ghc GHC.Data.Word64Set.Internal

    No documentation available.

  9. bitmapOf :: Word64 -> BitMap

    ghc GHC.Data.Word64Set.Internal

    No documentation available.

  10. Opt_D_dump_cmm_procmap :: DumpFlag

    ghc GHC.Driver.DynFlags

    No documentation available.

Page 452 of many | Previous | Next