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.
foldMapTM :: (TrieMap m, Monoid r) => (a -> r) -> m a -> rghc-lib-parser GHC.Data.TrieMap No documentation available.
fmapMaybeUB :: (a -> b) -> MaybeUB a -> MaybeUB bghc-lib-parser GHC.Data.Unboxed No documentation available.
-
An efficient implementation of maps from integer keys to values (dictionaries). This module re-exports the value lazy Data.Word64Map.Lazy API, plus several deprecated value strict functions. Please note that these functions have different strictness properties than those in Data.Word64Map.Strict: they only evaluate the result of the combining function. For example, the default value to insertWith' is only evaluated if the combining function is called and uses it. These modules are intended to be imported qualified, to avoid name clashes with Prelude functions, e.g.
import Data.Word64Map (Word64Map) import qualified Data.Word64Map as Word64Map
The implementation is based on big-endian patricia trees. This data structure performs especially well on binary operations like union and intersection. However, my benchmarks show that it is also (much) faster on insertions and deletions when compared to a generic size-balanced map implementation (see Data.Map).- Chris Okasaki and Andy Gill, "Fast Mergeable Integer Maps", Workshop on ML, September 1998, pages 77-86, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.5452
- D.R. Morrison, "PATRICIA -- Practical Algorithm To Retrieve Information Coded In Alphanumeric", Journal of the ACM, 15(4), October 1968, pages 514-534.
-
ghc-lib-parser GHC.Data.Word64Map.Internal A map of integers to values a.
-
ghc-lib-parser GHC.Data.Word64Map.Internal Map contravariantly over a WhenMatched f _ y z.
-
ghc-lib-parser GHC.Data.Word64Map.Internal Map contravariantly over a WhenMatched f x _ z.
foldMapWithKey :: Monoid m => (Key -> a -> m) -> Word64Map a -> mghc-lib-parser GHC.Data.Word64Map.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.isProperSubmapOf :: Eq a => Word64Map a -> Word64Map a -> Boolghc-lib-parser GHC.Data.Word64Map.Internal Is this a proper submap? (ie. a submap but not equal). Defined as (isProperSubmapOf = isProperSubmapOfBy (==)).
isProperSubmapOfBy :: (a -> b -> Bool) -> Word64Map a -> Word64Map b -> Boolghc-lib-parser GHC.Data.Word64Map.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)])
isSubmapOf :: Eq a => Word64Map a -> Word64Map a -> Boolghc-lib-parser GHC.Data.Word64Map.Internal Is this a submap? Defined as (isSubmapOf = isSubmapOfBy (==)).