Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

Exact lookup

1. gen_Enum_binds :: SrcSpan -> DerivInstTys -> TcM (LHsBinds GhcPs, Bag AuxBindSpec)

   ghc	GHC.Tc.Deriv.Generate

   No documentation available.

2. DerivErrEnumOrProduct :: DeriveInstanceErrReason -> DeriveInstanceErrReason -> DeriveInstanceErrReason

   ghc	GHC.Tc.Errors.Types

   We couldn't derive an instance either because the type was not an enum type or because it did have more than one constructor.

3. DerivErrMustBeEnumType :: TyCon -> DeriveInstanceErrReason

   ghc	GHC.Tc.Errors.Types

   The given TyCon must be an enumeration. See Note [Enumeration types] in GHC.Core.TyCon

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

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

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

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

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

9. type PhaseNum = Int

   ghc	GHC.Types.Basic

   Phase Number

10. diagnosticCodeNumber :: DiagnosticCode -> Natural

    ghc	GHC.Types.Error

    the actual diagnostic code

Page 98 of many | Previous | Next