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.
type
CoercionMapG = GenMap CoercionMapXghc-lib-parser GHC.Core.Map.Type No documentation available.
-
ghc-lib-parser 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-lib-parser GHC.Core.Map.Type No documentation available.
-
ghc-lib-parser 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-lib-parser 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-lib-parser GHC.Core.Map.Type No documentation available.
-
ghc-lib-parser GHC.Core.Map.Type No documentation available.
extendTypeMap :: TypeMap a -> Type -> a -> TypeMap aghc-lib-parser GHC.Core.Map.Type No documentation available.
extendTypeMapWithScope :: TypeMap a -> CmEnv -> Type -> a -> TypeMap aghc-lib-parser 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-lib-parser GHC.Core.Map.Type No documentation available.