Hoogle Search

Within LTS Haskell 24.66 (ghc-9.10.3)

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

Exact lookup

1. TcRnRoleValidationFailed :: Role -> RoleValidationFailedReason -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnRoleValidationFailed is an error indicating that a variable was assigned an invalid role by the inference algorithm. This is only performed with -dcore-lint.

2. TcRnStupidThetaInGadt :: HsDocContext -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnStupidThetaInGadt is an error triggered by data contexts in GADT-style data declaration Example: data (Eq a) => D a where MkD :: D Int Test cases: renameshould_failRnStupidThetaInGadt

3. TcRnTypeDataForbids :: TypeDataForbids -> TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnTypeDataForbids is an error that occurs when a type data declaration contains data declaration features that are forbidden in a type data declaration. See Note [Type data declarations] Test cases: type-datashould_failTDDeriving type-datashould_failTDRecordsGADT type-datashould_failTDRecordsH98 type-datashould_failTDStrictnessGADT type-datashould_failTDStrictnessH98

4. data TypeDataForbids

   ghc	GHC.Tc.Errors.Types

   Things forbidden in type data declarations. See Note [Type data declarations]

5. TypeDataForbidsDatatypeContexts :: TypeDataForbids

   ghc	GHC.Tc.Errors.Types

   No documentation available.

6. TypeDataForbidsDerivingClauses :: TypeDataForbids

   ghc	GHC.Tc.Errors.Types

   No documentation available.

7. TypeDataForbidsLabelledFields :: TypeDataForbids

   ghc	GHC.Tc.Errors.Types

   No documentation available.

8. TypeDataForbidsStrictnessAnnotations :: TypeDataForbids

   ghc	GHC.Tc.Errors.Types

   No documentation available.

9. UninfTyCtx_ProvidedContext :: [TcType] -> UninferrableTyVarCtx

   ghc	GHC.Tc.Errors.Types

   No documentation available.

10. data ValidHoleFits

    ghc	GHC.Tc.Errors.Types

    A collection of hole fits and refinement fits.

Page 552 of many | Previous | Next