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.

Exact lookup

1. foldCoreMap :: (a -> b -> b) -> b -> CoreMap a -> b

   ghc	GHC.Core.Map.Expr

   No documentation available.

2. lookupCoreMap :: CoreMap a -> CoreExpr -> Maybe a

   ghc	GHC.Core.Map.Expr

   No documentation available.

3. data BndrMap a

   ghc	GHC.Core.Map.Type

   A BndrMap is a TypeMapG which allows us to distinguish between binding forms whose binders have different types. For example, if we are doing a TrieMap lookup on (x :: Int) -> (), we should not pick up an entry in the TrieMap for (x :: Bool) -> (): we can disambiguate this by matching on the type (or kind, if this a binder in a type) of the binder. We also need to do the same for multiplicity! Which, since multiplicities are encoded simply as a Type, amounts to have a Trie for a pair of types. Tries of pairs are composition.

4. type CoercionMapG = GenMap CoercionMapX

   ghc	GHC.Core.Map.Type

   No documentation available.

5. data LooseTypeMap a

   ghc	GHC.Core.Map.Type

   A LooseTypeMap doesn't do a kind-check. Thus, when lookup up (t |> g), you'll find entries inserted under (t), even if (g) is non-reflexive.

6. class Functor m => TrieMap (m :: Type -> Type)

   ghc	GHC.Core.Map.Type

   No documentation available.

7. data TypeMap a

   ghc	GHC.Core.Map.Type

   TypeMap a is a map from Type to a. If you are a client, this is the type you want. The keys in this map may have different kinds.

8. type TypeMapG = GenMap TypeMapX

   ghc	GHC.Core.Map.Type

   TypeMapG a is a map from DeBruijn Type to a. The extended key makes it suitable for recursive traversal, since it can track binders, but it is strictly internal to this module. If you are including a TypeMap inside another TrieMap, this is the type you want. Note that this lookup does not do a kind-check. Thus, all keys in this map must have the same kind. Also note that this map respects the distinction between Type and Constraint, despite the fact that they are equivalent type synonyms in Core.

9. data VarMap a

   ghc	GHC.Core.Map.Type

   No documentation available.

10. emptyTypeMap :: TypeMap a

    ghc	GHC.Core.Map.Type

    No documentation available.

Page 445 of many | Previous | Next