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.

Exact lookup

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

   ghc	GHC.Core.Map.Type

   No documentation available.

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

   ghc	GHC.Core.Map.Type

   No documentation available.

3. 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).

4. data RoughMap a

   ghc	GHC.Core.RoughMap

   Trie of [RoughMatchTc]

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

5. mkTyConTagMap :: TyCon -> NameEnv ConTag

   ghc	GHC.Core.TyCon

   No documentation available.

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

   ghc	GHC.Core.Type

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

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

8. coreToStg_InfoTableMap :: CoreToStgOpts -> Bool

   ghc	GHC.CoreToStg

   No documentation available.

9. concatMapBag :: (a -> Bag b) -> Bag a -> Bag b

   ghc	GHC.Data.Bag

   No documentation available.

10. concatMapBagPair :: (a -> (Bag b, Bag c)) -> Bag a -> (Bag b, Bag c)

    ghc	GHC.Data.Bag

    No documentation available.

Page 446 of many | Previous | Next