Hoogle Search

Within LTS Haskell 24.38 (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	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	GHC.Core.Coercion

   No documentation available.

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

   ghc	GHC.Core.Coercion

   Like splitForAllCo_maybe, but only returns Just for covar binder

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

   ghc	GHC.Core.Coercion

   No documentation available.

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

   ghc	GHC.Core.Coercion

   Like splitForAllCo_maybe, but only returns Just for tyvar binder

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

   ghc	GHC.Core.Coercion

   Like substForAllCoBndr, but works on a lifting context

7. tidyCoAxBndrsForUser :: TidyEnv -> [Var] -> (TidyEnv, [Var])

   ghc	GHC.Core.Coercion

   No documentation available.

8. l_platform :: LintConfig -> !Platform

   ghc	GHC.Core.Lint

   Target platform

9. lpr_platform :: LintPassResultConfig -> !Platform

   ghc	GHC.Core.Lint

   No documentation available.

10. sePlatform :: SimplEnv -> Platform

    ghc	GHC.Core.Opt.Simplify.Env

    No documentation available.

Page 442 of many | Previous | Next