Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

  1. tef_foralls :: TyEqFlags a -> Bool

    ghc GHC.Tc.Utils.Unify

    No documentation available.

  2. ActiveBefore :: SourceText -> PhaseNum -> Activation

    ghc GHC.Types.Basic

    No documentation available.

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

    ghc 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

  4. type DmdTransformer = SubDemand -> DmdType

    ghc 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 [What are demand signatures?].

  5. dmdTransformDataConSig :: [StrictnessMark] -> DmdTransformer

    ghc GHC.Types.Demand

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

  6. dmdTransformDictSelSig :: DmdSig -> DmdTransformer

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

  7. dmdTransformSig :: DmdSig -> DmdTransformer

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

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

    ghc GHC.Types.Demand

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

  9. isSafeForeignCall :: ForeignCall -> Bool

    ghc GHC.Types.ForeignCall

    No documentation available.

  10. data LambdaFormInfo

    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.

Page 491 of many | Previous | Next