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. mkSpecForAllTys :: [TyVar] -> Type -> Type

   ghc	GHC.Tc.Utils.TcType

   Like mkForAllTys, but assumes all variables are dependent and Specified, a common case

2. mkTyCoInvForAllTy :: TyCoVar -> Type -> Type

   ghc	GHC.Tc.Utils.TcType

   Make a dependent forall over an Inferred variable

3. mkTyCoInvForAllTys :: [TyCoVar] -> Type -> Type

   ghc	GHC.Tc.Utils.TcType

   Like mkForAllTys, but assumes all variables are dependent and Inferred, a common case

4. 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.

5. tcSplitForAllInvisTyVars :: Type -> ([TyVar], Type)

   ghc	GHC.Tc.Utils.TcType

   Like tcSplitForAllTyVars, but only splits ForAllTys with Invisible type variable binders.

6. 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 ().

7. tcSplitForAllTyVarBinder_maybe :: Type -> Maybe (TyVarBinder, Type)

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

8. tcSplitForAllTyVarBinders :: Type -> ([TyVarBinder], Type)

   ghc	GHC.Tc.Utils.TcType

   Like tcSplitForAllTyVars, but splits off only named binders.

9. tcSplitForAllTyVars :: Type -> ([TyVar], Type)

   ghc	GHC.Tc.Utils.TcType

   Like tcSplitPiTys, but splits off only named binders, returning just the tyvars.

10. tcSplitForAllTyVarsReqTVBindersN :: Arity -> Type -> (Arity, [ForAllTyBinder], Type)

    ghc	GHC.Tc.Utils.TcType

    No documentation available.

Page 491 of many | Previous | Next