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.
type
CoercionMapG = GenMap CoercionMapXghc GHC.Core.Map.Type No documentation available.
-
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.
class Functor m =>
TrieMap (m :: Type -> Type)ghc GHC.Core.Map.Type No documentation available.
-
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.
type
TypeMapG = GenMap TypeMapXghc 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.
-
ghc GHC.Core.Map.Type No documentation available.
-
ghc GHC.Core.Map.Type No documentation available.
extendTypeMap :: TypeMap a -> Type -> a -> TypeMap aghc GHC.Core.Map.Type No documentation available.
extendTypeMapWithScope :: TypeMap a -> CmEnv -> Type -> a -> TypeMap aghc GHC.Core.Map.Type Extend a TypeMap with a type in the given context. extendTypeMapWithScope m (mkDeBruijnContext [a,b,c]) t v is equivalent to extendTypeMap m (forall a b c. t) v, but allows reuse of the context over multiple insertions.
foldTypeMap :: (a -> b -> b) -> b -> TypeMap a -> bghc GHC.Core.Map.Type No documentation available.