Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. tcSplitSomeForAllTyVars :: (ForAllTyFlag -> Bool) -> Type -> ([TyVar], Type)

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

2. buildImplicationFor :: TcLevel -> SkolemInfoAnon -> [TcTyVar] -> [EvVar] -> WantedConstraints -> TcM (Bag Implication, TcEvBinds)

   ghc	GHC.Tc.Utils.Unify

   No documentation available.

3. tef_foralls :: TyEqFlags a -> Bool

   ghc	GHC.Tc.Utils.Unify

   No documentation available.

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

   ghc	GHC.Types.Basic

   No documentation available.

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

6. 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?].

7. dmdTransformDataConSig :: [StrictnessMark] -> DmdTransformer

   ghc	GHC.Types.Demand

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

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

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

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

Page 492 of many | Previous | Next