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.

Exact lookup

1. uf_guidance :: Unfolding -> UnfoldingGuidance

   ghc	GHC.Core

   No documentation available.

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

3. classAllSelIds :: Class -> [Id]

   ghc	GHC.Core.Class

   No documentation available.

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

   ghc	GHC.Core.Class

   No documentation available.

5. classSCSelIds :: Class -> [Id]

   ghc	GHC.Core.Class

   No documentation available.

6. tidyCo :: TidyEnv -> Coercion -> Coercion

   ghc	GHC.Core.Coercion

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

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

   ghc	GHC.Core.Coercion

   No documentation available.

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

   ghc	GHC.Core.Coercion

   No documentation available.

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

10. dataConIdentity :: DataCon -> ByteString

    ghc	GHC.Core.DataCon

    The string package:module.name identifying a constructor, which is attached to its info table and used by the GHCi debugger and the heap profiler

Page 489 of many | Previous | Next