Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

Exact lookup

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

2. classAllSelIds :: Class -> [Id]

   ghc	GHC.Core.Class

   No documentation available.

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

   ghc	GHC.Core.Class

   No documentation available.

4. classSCSelIds :: Class -> [Id]

   ghc	GHC.Core.Class

   No documentation available.

5. tidyCo :: TidyEnv -> Coercion -> Coercion

   ghc	GHC.Core.Coercion

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

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

   ghc	GHC.Core.Coercion

   No documentation available.

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

   ghc	GHC.Core.Coercion

   No documentation available.

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

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

10. dataConStupidTheta :: DataCon -> ThetaType

    ghc	GHC.Core.DataCon

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

    data Eq a => T a = ...
    

    See Note [The stupid context].

Page 489 of many | Previous | Next