Hoogle Search
Within LTS Haskell 24.40 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
mkTyCoInvForAllTy :: TyCoVar -> Type -> Typeghc-lib-parser GHC.Tc.Utils.TcType Make a dependent forall over an Inferred variable
mkTyCoInvForAllTys :: [TyCoVar] -> Type -> Typeghc-lib-parser GHC.Tc.Utils.TcType Like mkForAllTys, but assumes all variables are dependent and Inferred, a common case
tcSplitForAllInvisTVBinders :: Type -> ([TcInvisTVBinder], Type)ghc-lib-parser 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-lib-parser GHC.Tc.Utils.TcType Like tcSplitForAllTyVars, but only splits ForAllTys with Invisible type variable binders.
tcSplitForAllReqTVBinders :: Type -> ([TcReqTVBinder], Type)ghc-lib-parser 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-lib-parser GHC.Tc.Utils.TcType No documentation available.
tcSplitForAllTyVarBinders :: Type -> ([TyVarBinder], Type)ghc-lib-parser GHC.Tc.Utils.TcType Like tcSplitForAllTyVars, but splits off only named binders.
tcSplitForAllTyVars :: Type -> ([TyVar], Type)ghc-lib-parser GHC.Tc.Utils.TcType Like tcSplitPiTys, but splits off only named binders, returning just the tyvars.
tcSplitForAllTyVarsReqTVBindersN :: Arity -> Type -> (Arity, [ForAllTyBinder], Type)ghc-lib-parser GHC.Tc.Utils.TcType No documentation available.
tcSplitSomeForAllTyVars :: (ForAllTyFlag -> Bool) -> Type -> ([TyVar], Type)ghc-lib-parser GHC.Tc.Utils.TcType Like tcSplitForAllTyVars, but only splits a ForAllTy if argf_pred argf is True, where argf is the visibility of the ForAllTy's binder and argf_pred is a predicate over visibilities provided as an argument to this function.