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.

  1. tcSplitForAllTyVarBinders :: Type -> ([TyVarBinder], Type)

    ghc GHC.Tc.Utils.TcType

    Like tcSplitForAllTyVars, but splits off only named binders.

  2. tcSplitForAllTyVars :: Type -> ([TyVar], Type)

    ghc GHC.Tc.Utils.TcType

    Like tcSplitPiTys, but splits off only named binders, returning just the tyvars.

  3. tcSplitForAllTyVarsReqTVBindersN :: Arity -> Type -> (Arity, [ForAllTyBinder], Type)

    ghc GHC.Tc.Utils.TcType

    No documentation available.

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

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

    ghc GHC.Tc.Utils.Unify

    No documentation available.

  6. tef_foralls :: TyEqFlags a -> Bool

    ghc GHC.Tc.Utils.Unify

    No documentation available.

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

    ghc GHC.Types.Basic

    No documentation available.

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

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

  10. dmdTransformDataConSig :: [StrictnessMark] -> DmdTransformer

    ghc GHC.Types.Demand

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

Page 491 of many | Previous | Next