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.
mkTyCoInvForAllTys :: [TyCoVar] -> Type -> Typeghc GHC.Plugins Like mkForAllTys, but assumes all variables are dependent and Inferred, a common case
mkVisForAllTys :: [TyVar] -> Type -> Typeghc GHC.Plugins Like mkForAllTys, but assumes all variables are dependent and visible
setIdCallArity :: Id -> Arity -> Idghc GHC.Plugins No documentation available.
splitForAllCoVar_maybe :: Type -> Maybe (CoVar, Type)ghc GHC.Plugins Like splitForAllTyCoVar_maybe, but only returns Just if it is a covar binder.
splitForAllCo_co_maybe :: Coercion -> Maybe (CoVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)ghc GHC.Plugins Like splitForAllCo_maybe, but only returns Just for covar binder
splitForAllCo_maybe :: Coercion -> Maybe (TyCoVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)ghc GHC.Plugins No documentation available.
splitForAllCo_ty_maybe :: Coercion -> Maybe (TyVar, ForAllTyFlag, ForAllTyFlag, Coercion, Coercion)ghc GHC.Plugins Like splitForAllCo_maybe, but only returns Just for tyvar binder
splitForAllForAllTyBinder_maybe :: Type -> Maybe (ForAllTyBinder, Type)ghc GHC.Plugins Attempts to take a ForAllTy apart, returning the full ForAllTyBinder
splitForAllForAllTyBinders :: Type -> ([ForAllTyBinder], Type)ghc GHC.Plugins Take a ForAllTy apart, returning the binders and result type
splitForAllInvisTyBinders :: Type -> ([InvisTyBinder], Type)ghc GHC.Plugins Like splitForAllTyCoVars, but only splits ForAllTys with Invisible type variable binders. Furthermore, each returned tyvar is annotated with its Specificity.