Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

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

   ghc	GHC.Plugins

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

2. mkForAllTy :: ForAllTyBinder -> Type -> Type

   ghc	GHC.Plugins

   Like mkTyCoForAllTy, but does not check the occurrence of the binder See Note [Unused coercion variable in ForAllTy]

3. mkForAllTyBinder :: vis -> TyCoVar -> VarBndr TyCoVar vis

   ghc	GHC.Plugins

   Make a named binder

4. mkForAllTyBinders :: vis -> [TyCoVar] -> [VarBndr TyCoVar vis]

   ghc	GHC.Plugins

   Make many named binders

5. mkForAllTys :: [ForAllTyBinder] -> Type -> Type

   ghc	GHC.Plugins

   Wraps foralls over the type using the provided TyCoVars from left to right

6. mkForeignExportOcc :: OccName -> OccName

   ghc	GHC.Plugins

   No documentation available.

7. mkForeignExportOcc :: OccName -> OccName

   ghc	GHC.Plugins

   No documentation available.

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

   ghc	GHC.Plugins

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

9. mkInfForAllTy :: TyVar -> Type -> Type

   ghc	GHC.Plugins

   Like mkTyCoInvForAllTy, but tv should be a tyvar

10. mkInfForAllTys :: [TyVar] -> Type -> Type

    ghc	GHC.Plugins

    Like mkTyCoInvForAllTys, but tvs should be a list of tyvar

Page 474 of many | Previous | Next