Hoogle Search
Within LTS Haskell 24.52 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
tcSplitForAllTyVarBinders :: Type -> ([TyVarBinder], Type)ghc-lib-parser GHC.Tc.Utils.TcType Like tcSplitForAllTyVars, but splits off only named binders.
tcSplitForAllTyVars :: Type -> ([TyVar], Type)ghc-lib-parser GHC.Tc.Utils.TcType Like tcSplitPiTys, but splits off only named binders, returning just the tyvars.
tcSplitForAllTyVarsReqTVBindersN :: Arity -> Type -> (Arity, [ForAllTyBinder], Type)ghc-lib-parser GHC.Tc.Utils.TcType No documentation available.
tcSplitSomeForAllTyVars :: (ForAllTyFlag -> Bool) -> Type -> ([TyVar], Type)ghc-lib-parser 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.
AlwaysTailCalled :: JoinArity -> TailCallInfoghc-lib-parser GHC.Types.Basic No documentation available.
NoTailCallInfo :: TailCallInfoghc-lib-parser GHC.Types.Basic No documentation available.
-
ghc-lib-parser GHC.Types.Basic No documentation available.
isAlwaysTailCalled :: OccInfo -> Boolghc-lib-parser GHC.Types.Basic No documentation available.
tailCallInfo :: OccInfo -> TailCallInfoghc-lib-parser GHC.Types.Basic No documentation available.
zapOccTailCallInfo :: OccInfo -> OccInfoghc-lib-parser GHC.Types.Basic No documentation available.