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.
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.
tcSplitForAllReqTVBinders :: Type -> ([TcReqTVBinder], Type)ghc GHC.Tc.Utils.TcType Like tcSplitForAllTyVars, but only splits ForAllTys with Required type variable binders. All split tyvars are annotated with ().
tcSplitForAllTyVarBinder_maybe :: Type -> Maybe (TyVarBinder, Type)ghc GHC.Tc.Utils.TcType No documentation available.
tcSplitForAllTyVarBinders :: Type -> ([TyVarBinder], Type)ghc GHC.Tc.Utils.TcType Like tcSplitForAllTyVars, but splits off only named binders.
tcSplitForAllTyVars :: Type -> ([TyVar], Type)ghc GHC.Tc.Utils.TcType Like tcSplitPiTys, but splits off only named binders, returning just the tyvars.