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.
dmdTransformDictSelSig :: DmdSig -> DmdTransformerghc GHC.Types.Demand A special DmdTransformer for dictionary selectors that feeds the demand on the result into the indicated dictionary component (if saturated). See Note [Demand transformer for a dictionary selector].
dmdTransformSig :: DmdSig -> DmdTransformerghc GHC.Types.Demand Extrapolate a demand signature (DmdSig) into a DmdTransformer. Given a function's DmdSig and a SubDemand for the evaluation context, return how the function evaluates its free variables and arguments.
mkDmdSigForArity :: Arity -> DmdType -> DmdSigghc GHC.Types.Demand Turns a DmdType computed for the particular Arity into a DmdSig unleashable at that arity. See Note [Understanding DmdType and DmdSig].
isSafeForeignCall :: ForeignCall -> Boolghc GHC.Types.ForeignCall No documentation available.
-
ghc GHC.Types.Id.Info Information about an identifier, from the code generator's point of view. Every identifier is bound to a LambdaFormInfo in the environment, which gives the code generator enough info to be able to tail call or return that identifier.
ruleInfoRules :: RuleInfo -> [CoreRule]ghc GHC.Types.Id.Info No documentation available.
mkForeignExportOcc :: OccName -> OccNameghc GHC.Types.Name.Occurrence No documentation available.
transformGREs :: (GlobalRdrElt -> GlobalRdrElt) -> [OccName] -> GlobalRdrEnv -> GlobalRdrEnvghc GHC.Types.Name.Reader Apply a transformation function to the GREs for these OccNames
coreTyLamForAllTyFlag :: ForAllTyFlagghc GHC.Types.Var The ForAllTyFlag on a (Lam a e) term, where a is a type variable. If you want other ForAllTyFlag, use a cast. See Note [Required foralls in Core] in GHC.Core.TyCo.Rep
isInferredForAllTyFlag :: ForAllTyFlag -> Boolghc GHC.Types.Var No documentation available.