Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. classAllSelIds :: Class -> [Id]

   ghc	GHC.Core.Class

   No documentation available.

2. SelForAll :: CoSel

   ghc	GHC.Core.Coercion

   No documentation available.

3. mkForAllCo :: HasDebugCallStack => TyCoVar -> ForAllTyFlag -> ForAllTyFlag -> CoercionN -> Coercion -> Coercion

   ghc	GHC.Core.Coercion

   Make a Coercion from a tycovar, a kind coercion, and a body coercion.

4. mkHomoForAllCos :: [ForAllTyBinder] -> Coercion -> Coercion

   ghc	GHC.Core.Coercion

   Make a Coercion quantified over a type/coercion variable; the variable has the same kind and visibility in both sides of the coercion

5. mkNakedForAllCo :: TyVar -> ForAllTyFlag -> ForAllTyFlag -> CoercionN -> Coercion -> Coercion

   ghc	GHC.Core.Coercion

   No documentation available.

6. splitForAllCo_co_maybe :: Coercion -> Maybe (CoVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)

   ghc	GHC.Core.Coercion

   Like splitForAllCo_maybe, but only returns Just for covar binder

7. splitForAllCo_maybe :: Coercion -> Maybe (TyCoVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)

   ghc	GHC.Core.Coercion

   No documentation available.

8. splitForAllCo_ty_maybe :: Coercion -> Maybe (TyVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)

   ghc	GHC.Core.Coercion

   Like splitForAllCo_maybe, but only returns Just for tyvar binder

9. substForAllCoBndrUsingLC :: Bool -> (Coercion -> Coercion) -> LiftingContext -> TyCoVar -> Coercion -> (LiftingContext, TyCoVar, Coercion)

   ghc	GHC.Core.Coercion

   Like substForAllCoBndr, but works on a lifting context

10. module GHC.Core.LateCC.OverloadedCalls

    No documentation available.

Page 260 of many | Previous | Next