Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

1. setRuleIdName :: Name -> CoreRule -> CoreRule

   ghc	GHC.Core

   Set the Name of the Id at the head of the rule left hand side

2. uf_guidance :: Unfolding -> UnfoldingGuidance

   ghc	GHC.Core

   No documentation available.

3. data TyFamEqnValidityInfo

   ghc	GHC.Core.Class

   Information about a type family equation, used for validity checking of closed type family equations and associated type family default equations. This type exists to delay validity-checking after typechecking type declaration groups, to avoid cyclic evaluation inside the typechecking knot. See Note [Type-checking default assoc decls] in GHC.Tc.TyCl.

4. classAllSelIds :: Class -> [Id]

   ghc	GHC.Core.Class

   No documentation available.

5. classSCSelId :: Class -> Int -> Id

   ghc	GHC.Core.Class

   No documentation available.

6. classSCSelIds :: Class -> [Id]

   ghc	GHC.Core.Class

   No documentation available.

7. tidyCo :: TidyEnv -> Coercion -> Coercion

   ghc	GHC.Core.Coercion

   Tidy a Coercion See Note [Strictness in tidyType and friends]

8. tidyCoAxBndrsForUser :: TidyEnv -> [Var] -> (TidyEnv, [Var])

   ghc	GHC.Core.Coercion

   No documentation available.

9. tidyCos :: TidyEnv -> [Coercion] -> [Coercion]

   ghc	GHC.Core.Coercion

   No documentation available.

10. conLikeStupidTheta :: ConLike -> ThetaType

    ghc	GHC.Core.ConLike

    The "stupid theta" of the ConLike, such as data Eq a in:

    data Eq a => T a = ...
    

    It is empty for PatSynCon as they do not allow such contexts. See Note [The stupid context] in GHC.Core.DataCon.

Page 488 of many | Previous | Next