Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

Exact lookup

1. TcRnNegativeNumTypeLiteral :: HsTyLit GhcPs -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnNegativeNumTypeLiteral is an error that occurs whenever a type-level number literal is negative. type Neg = -1 Test cases: th/T8412 typecheckshould_failT8306

2. TcRnTagToEnumMissingValArg :: TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnTagToEnumMissingValArg is an error that occurs when the 'tagToEnum#' function is not applied to a single value argument. Example(s): tagToEnum# 1 2 Test cases: None

3. TcRnTagToEnumResTyNotAnEnum :: Type -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnTagToEnumResTyNotAnEnum is an error that occurs when the 'tagToEnum#' function is given a result type that is not an enumeration type. Example(s): foo :: Int -- not an enumeration TyCon foo = tagToEnum# 0# Test cases: typecheckshould_failtcfail164

4. TcRnTagToEnumResTyTypeData :: Type -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnTagToEnumResTyTypeData is an error that occurs when the 'tagToEnum#' function is given a result type that is headed by a type data type, as the data constructors of a type data do not exist at the term level. Example(s): type data Letter = A | B | C foo :: Letter foo = tagToEnum# 0# Test cases: type-datashould_failTDTagToEnum.hs

5. TcRnTagToEnumUnspecifiedResTy :: Type -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnTagToEnumUnspecifiedResTy is an error that occurs when the 'tagToEnum#' function is not given a concrete result type. Example(s): foo :: forall a. a foo = tagToEnum# 0# Test cases: typecheckshould_failtcfail164

6. tcg_next_wrapper_num :: TcGblEnv -> TcRef (ModuleEnv Int)

   ghc	GHC.Tc.Types

   See Note [Generating fresh names for FFI wrappers]

7. type PhaseNum = Int

   ghc	GHC.Types.Basic

   Phase Number

8. diagnosticCodeNumber :: DiagnosticCode -> Natural

   ghc	GHC.Types.Error

   the actual diagnostic code

9. mkTemplateLocalsNum :: Int -> [Type] -> [Id]

   ghc	GHC.Types.Id

   Create a template local for a series of type, but start from a specified template local

10. LitNumBigNat :: LitNumType

    ghc	GHC.Types.Literal

    Bignat (see Note [BigNum literals])

Page 166 of many | Previous | Next