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. extendTypeMap :: TypeMap a -> Type -> a -> TypeMap a

   ghc	GHC.Core.Map.Type

   No documentation available.

2. extendTypeMapWithScope :: TypeMap a -> CmEnv -> Type -> a -> TypeMap a

   ghc	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.

3. foldTypeMap :: (a -> b -> b) -> b -> TypeMap a -> b

   ghc	GHC.Core.Map.Type

   No documentation available.

4. lookupTypeMap :: TypeMap a -> Type -> Maybe a

   ghc	GHC.Core.Map.Type

   No documentation available.

5. lookupTypeMapWithScope :: TypeMap a -> CmEnv -> Type -> Maybe a

   ghc	GHC.Core.Map.Type

   No documentation available.

6. module GHC.Core.RoughMap

   RoughMap is an approximate finite map data structure keyed on [RoughMatchTc]. This is useful when keying maps on lists of Types (e.g. an instance head).

7. data RoughMap a

   ghc	GHC.Core.RoughMap

   Trie of [RoughMatchTc]

   • Examples* insert [OtherTc] 1 insert [OtherTc] 2 lookup [OtherTc] == [1,2]

8. mkTyConTagMap :: TyCon -> NameEnv ConTag

   ghc	GHC.Core.TyCon

   No documentation available.

9. data TyCoMapper env (m :: Type -> Type)

   ghc	GHC.Core.Type

   This describes how a "map" operation over a type/coercion should behave

10. TyCoMapper :: (env -> TyVar -> m Type) -> (env -> CoVar -> m Coercion) -> (env -> CoercionHole -> m Coercion) -> (forall r . () => env -> TyCoVar -> ForAllTyFlag -> (env -> TyCoVar -> m r) -> m r) -> (TyCon -> m TyCon) -> TyCoMapper env (m :: Type -> Type)

    ghc	GHC.Core.Type

    No documentation available.

Page 446 of many | Previous | Next