Hoogle Search

Within LTS Haskell 24.39 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. mkInfForAllTy :: TyVar -> Type -> Type

    ghc GHC.Tc.Utils.TcType

    Like mkTyCoInvForAllTy, but tv should be a tyvar

  2. mkInfForAllTys :: [TyVar] -> Type -> Type

    ghc GHC.Tc.Utils.TcType

    Like mkTyCoInvForAllTys, but tvs should be a list of tyvar

  3. mkInvisForAllTys :: [InvisTVBinder] -> Type -> Type

    ghc GHC.Tc.Utils.TcType

    Wraps foralls over the type using the provided InvisTVBinders from left to right

  4. mkSpecForAllTys :: [TyVar] -> Type -> Type

    ghc GHC.Tc.Utils.TcType

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

  5. mkTyCoInvForAllTy :: TyCoVar -> Type -> Type

    ghc GHC.Tc.Utils.TcType

    Make a dependent forall over an Inferred variable

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

    ghc GHC.Tc.Utils.TcType

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

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

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

    ghc GHC.Tc.Utils.TcType

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

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

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

    ghc GHC.Tc.Utils.TcType

    No documentation available.

Page 490 of many | Previous | Next