Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

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

   ghc	GHC.Tc.Utils.TcType

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

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

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

   ghc	GHC.Tc.Utils.TcType

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

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

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

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

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

   ghc	GHC.Tc.Utils.TcType

   Like tcSplitForAllTyVars, but splits off only named binders.

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

   ghc	GHC.Tc.Utils.TcType

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

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

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

9. tcSplitSomeForAllTyVars :: (ForAllTyFlag -> Bool) -> Type -> ([TyVar], Type)

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

10. buildImplicationFor :: TcLevel -> SkolemInfoAnon -> [TcTyVar] -> [EvVar] -> WantedConstraints -> TcM (Bag Implication, TcEvBinds)

    ghc	GHC.Tc.Utils.Unify

    No documentation available.

Page 490 of many | Previous | Next