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.
classAllSelIds :: Class -> [Id]ghc-lib-parser GHC.Core.Class No documentation available.
classSCSelId :: Class -> Int -> Idghc-lib-parser GHC.Core.Class No documentation available.
classSCSelIds :: Class -> [Id]ghc-lib-parser GHC.Core.Class No documentation available.
tidyCo :: TidyEnv -> Coercion -> Coercionghc-lib-parser GHC.Core.Coercion Tidy a Coercion See Note [Strictness in tidyType and friends]
tidyCoAxBndrsForUser :: TidyEnv -> [Var] -> (TidyEnv, [Var])ghc-lib-parser GHC.Core.Coercion No documentation available.
tidyCos :: TidyEnv -> [Coercion] -> [Coercion]ghc-lib-parser GHC.Core.Coercion No documentation available.
conLikeStupidTheta :: ConLike -> ThetaTypeghc-lib-parser 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.dataConIdentity :: DataCon -> ByteStringghc-lib-parser 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
dataConStupidTheta :: DataCon -> ThetaTypeghc-lib-parser 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].dataConWorkId :: DataCon -> Idghc-lib-parser 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