Hoogle Search

Within LTS Haskell 24.36 (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-lib-parser	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-lib-parser	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-lib-parser	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-lib-parser	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-lib-parser	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. type PhaseNum = Int

   ghc-lib-parser	GHC.Types.Basic

   Phase Number

7. diagnosticCodeNumber :: DiagnosticCode -> Natural

   ghc-lib-parser	GHC.Types.Error

   the actual diagnostic code

8. constructDeviceNumTouches :: (IsDevice o, MonadIO m) => Word32 -> m (GValueConstruct o)

   gi-gdk4	GI.Gdk.Objects.Device

   Construct a GValueConstruct with valid value for the “num-touches” property. This is rarely needed directly, but it is used by new.

9. getDeviceNumLockState :: (MonadIO m, IsDevice o) => o -> m Bool

   gi-gdk4	GI.Gdk.Objects.Device

   Get the value of the “num-lock-state” property. When overloading is enabled, this is equivalent to

   get device #numLockState
   

10. getDeviceNumTouches :: (MonadIO m, IsDevice o) => o -> m Word32

    gi-gdk4	GI.Gdk.Objects.Device

    Get the value of the “num-touches” property. When overloading is enabled, this is equivalent to

    get device #numTouches
    

Page 144 of many | Previous | Next