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. tidyTopType :: Type -> Type

   ghc	GHC.Core.TyCo.Tidy

   Calls tidyType on a top-level type (i.e. with an empty tidying environment)

2. tidyTyCoVarOcc :: TidyEnv -> TyCoVar -> TyCoVar

   ghc	GHC.Core.TyCo.Tidy

   No documentation available.

3. tidyType :: TidyEnv -> Type -> Type

   ghc	GHC.Core.TyCo.Tidy

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

4. tidyTypes :: TidyEnv -> [Type] -> [Type]

   ghc	GHC.Core.TyCo.Tidy

   Tidy a list of Types See Note [Strictness in tidyType and friends]

5. tidyVarBndr :: TidyEnv -> TyCoVar -> (TidyEnv, TyCoVar)

   ghc	GHC.Core.TyCo.Tidy

   No documentation available.

6. tidyVarBndrs :: TidyEnv -> [TyCoVar] -> (TidyEnv, [TyCoVar])

   ghc	GHC.Core.TyCo.Tidy

   This tidies up a type for printing in an error message, or in an interface file. It doesn't change the uniques at all, just the print names.

7. data PrimOrVoidRep

   ghc	GHC.Core.TyCon

   No documentation available.

8. VoidRep :: PrimOrVoidRep

   ghc	GHC.Core.TyCon

   No documentation available.

9. isValidDTT2TyCon :: TyCon -> Bool

   ghc	GHC.Core.TyCon

   Returns True if a boxed type headed by the given TyCon satisfies condition DTT2 of Note [DataToTag overview] in GHC.Tc.Instance.Class

10. tyConStupidTheta :: TyCon -> [PredType]

    ghc	GHC.Core.TyCon

    Find the "stupid theta" of the TyCon. A "stupid theta" is the context to the left of an algebraic type declaration, e.g. Eq a in the declaration data Eq a => T a .... See Note [The stupid context] in GHC.Core.DataCon.

Page 498 of many | Previous | Next