Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

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

   ghc-lib-parser	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

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

   ghc-lib-parser	GHC.Core.Coercion

   No documentation available.

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

   ghc-lib-parser	GHC.Core.Coercion

   Like splitForAllCo_maybe, but only returns Just for covar binder

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

   ghc-lib-parser	GHC.Core.Coercion

   No documentation available.

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

   ghc-lib-parser	GHC.Core.Coercion

   Like splitForAllCo_maybe, but only returns Just for tyvar binder

6. substForAllCoBndrUsingLC :: SwapFlag -> (Coercion -> Coercion) -> LiftingContext -> TyCoVar -> Coercion -> (LiftingContext, TyCoVar, Coercion)

   ghc-lib-parser	GHC.Core.Coercion

   Like substForAllCoBndr, but works on a lifting context

7. module GHC.Core.Opt.CallerCC

   Adds cost-centers to call sites selected with the -fprof-caller=... flag.

8. data CallerCcFilter

   ghc-lib-parser	GHC.Core.Opt.CallerCC

   No documentation available.

9. CallerCcFilter :: Maybe ModuleName -> NamePattern -> CallerCcFilter

   ghc-lib-parser	GHC.Core.Opt.CallerCC

   No documentation available.

10. addCallerCostCentres :: ModGuts -> CoreM ModGuts

    ghc-lib-parser	GHC.Core.Opt.CallerCC

    No documentation available.

Page 558 of many | Previous | Next