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.
mkForAllTy :: ForAllTyBinder -> Type -> Typeghc GHC.Tc.Utils.TcType Like mkTyCoForAllTy, but does not check the occurrence of the binder See Note [Unused coercion variable in ForAllTy]
mkForAllTys :: [ForAllTyBinder] -> Type -> Typeghc GHC.Tc.Utils.TcType Wraps foralls over the type using the provided TyCoVars from left to right
mkInfForAllTy :: TyVar -> Type -> Typeghc GHC.Tc.Utils.TcType Like mkTyCoInvForAllTy, but tv should be a tyvar
mkInfForAllTys :: [TyVar] -> Type -> Typeghc GHC.Tc.Utils.TcType Like mkTyCoInvForAllTys, but tvs should be a list of tyvar
mkInvisForAllTys :: [InvisTVBinder] -> Type -> Typeghc GHC.Tc.Utils.TcType Wraps foralls over the type using the provided InvisTVBinders from left to right
mkSpecForAllTys :: [TyVar] -> Type -> Typeghc GHC.Tc.Utils.TcType Like mkForAllTys, but assumes all variables are dependent and Specified, a common case
mkTyCoInvForAllTy :: TyCoVar -> Type -> Typeghc GHC.Tc.Utils.TcType Make a dependent forall over an Inferred variable
mkTyCoInvForAllTys :: [TyCoVar] -> Type -> Typeghc GHC.Tc.Utils.TcType Like mkForAllTys, but assumes all variables are dependent and Inferred, a common case
tcSplitForAllInvisTVBinders :: Type -> ([TcInvisTVBinder], Type)ghc GHC.Tc.Utils.TcType Like tcSplitForAllTyVars, but only splits ForAllTys with Invisible type variable binders. All split tyvars are annotated with their Specificity.
tcSplitForAllInvisTyVars :: Type -> ([TyVar], Type)ghc GHC.Tc.Utils.TcType Like tcSplitForAllTyVars, but only splits ForAllTys with Invisible type variable binders.