Hoogle Search

Within LTS Haskell 24.63 (ghc-9.10.3)

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

Exact lookup

1. classAllSelIds :: Class -> [Id]

   ghc	GHC.Core.Class

   No documentation available.

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

   ghc	GHC.Core.Class

   No documentation available.

3. classSCSelIds :: Class -> [Id]

   ghc	GHC.Core.Class

   No documentation available.

4. tidyCo :: TidyEnv -> Coercion -> Coercion

   ghc	GHC.Core.Coercion

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

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

   ghc	GHC.Core.Coercion

   No documentation available.

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

   ghc	GHC.Core.Coercion

   No documentation available.

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

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

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

10. dataConWorkId :: DataCon -> Id

    ghc	GHC.Core.DataCon

    Get the Id of the DataCon worker: a function that is the "actual" constructor and has no top level binding in the program. The type may be different from the obvious one written in the source program. Panics if there is no such Id for this DataCon

Page 489 of many | Previous | Next