Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

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

Exact lookup

1. toEnum :: Enum a => Int -> a

   ghc	GHC.Prelude.Basic

   No documentation available.

2. execLineNumber :: ExecOptions -> Int

   ghc	GHC.Runtime.Eval

   line number (for errors)

3. execLineNumber :: ExecOptions -> Int

   ghc	GHC.Runtime.Eval.Types

   line number (for errors)

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

   ghc	GHC.Tc.Deriv.Generate

   No documentation available.

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

6. DerivErrMustBeEnumType :: TyCon -> DeriveInstanceErrReason

   ghc	GHC.Tc.Errors.Types

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

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

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

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

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

Page 98 of many | Previous | Next