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.
tcSplitForAllReqTVBinders :: Type -> ([TcReqTVBinder], Type)ghc-lib-parser GHC.Tc.Utils.TcType Like tcSplitForAllTyVars, but only splits ForAllTys with Required type variable binders. All split tyvars are annotated with ().
tcSplitForAllTyVarBinder_maybe :: Type -> Maybe (TyVarBinder, Type)ghc-lib-parser GHC.Tc.Utils.TcType No documentation available.
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.
ActiveBefore :: SourceText -> PhaseNum -> Activationghc-lib-parser GHC.Types.Basic No documentation available.
mkCprSigForArity :: Arity -> CprType -> CprSigghc-lib-parser GHC.Types.Cpr Turns a CprType computed for the particular Arity into a CprSig unleashable at that arity. See Note [Understanding DmdType and DmdSig] in GHC.Types.Demand
type
DmdTransformer = SubDemand -> DmdTypeghc-lib-parser GHC.Types.Demand A demand transformer is a monotone function from an incoming evaluation context (SubDemand) to a DmdType, describing how the denoted thing (i.e. expression, function) uses its arguments and free variables, and whether it diverges. See Note [Understanding DmdType and DmdSig] and Note [DmdSig: demand signatures, and demand-sig arity]
dmdTransformDataConSig :: [StrictnessMark] -> DmdTransformerghc-lib-parser GHC.Types.Demand A special DmdTransformer for data constructors that feeds product demands into the constructor arguments.