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.

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

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

    ghc GHC.Tc.Utils.TcType

    No documentation available.

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

    ghc GHC.Tc.Utils.TcType

    Like tcSplitForAllTyVars, but splits off only named binders.

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

    ghc GHC.Tc.Utils.TcType

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

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

    ghc GHC.Tc.Utils.TcType

    No documentation available.

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

  7. Shallow :: DeepSubsumptionFlag

    ghc GHC.Tc.Utils.Unify

    No documentation available.

  8. tef_foralls :: TyEqFlags a -> Bool

    ghc GHC.Tc.Utils.Unify

    No documentation available.

  9. AlwaysTailCalled :: JoinArity -> TailCallInfo

    ghc GHC.Types.Basic

    No documentation available.

  10. NoTailCallInfo :: TailCallInfo

    ghc GHC.Types.Basic

    No documentation available.

Page 315 of many | Previous | Next