Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

  1. mkCprSigForArity :: Arity -> CprType -> CprSig

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

  2. type DmdTransformer = SubDemand -> DmdType

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

  3. dmdTransformDataConSig :: [StrictnessMark] -> DmdTransformer

    ghc-lib-parser GHC.Types.Demand

    A special DmdTransformer for data constructors that feeds product demands into the constructor arguments.

  4. dmdTransformDictSelSig :: DmdSig -> DmdTransformer

    ghc-lib-parser 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].

  5. dmdTransformSig :: DmdSig -> DmdTransformer

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

  6. mkDmdSigForArity :: Arity -> DmdType -> DmdSig

    ghc-lib-parser GHC.Types.Demand

    Turns a DmdType computed for the particular Arity into a DmdSig unleashable at that arity. See Note [Understanding DmdType and DmdSig].

  7. isSafeForeignCall :: ForeignCall -> Bool

    ghc-lib-parser GHC.Types.ForeignCall

    No documentation available.

  8. data LambdaFormInfo

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

  9. ruleInfoRules :: RuleInfo -> [CoreRule]

    ghc-lib-parser GHC.Types.Id.Info

    No documentation available.

  10. mkForeignExportOcc :: OccName -> OccName

    ghc-lib-parser GHC.Types.Name.Occurrence

    No documentation available.

Page 710 of many | Previous | Next