Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. KindSigsOnlyAllowedOnGADTs :: ConversionFailReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

2. LinearTypesNotAllowed :: IllegalForeignTypeReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

3. data NestedForallsContextsIn

   ghc	GHC.Tc.Errors.Types

   Different places in which a nested foralls/contexts error might occur.

4. NoConstructorHasAllFields :: [FieldLabelString] -> BadRecordUpdateReason

   ghc	GHC.Tc.Errors.Types

   No constructor has all of the required fields.

5. PrimCallConvUnsupported :: UnsupportedCallConvention

   ghc	GHC.Tc.Errors.Types

   No documentation available.

6. data SoleExtraConstraintWildcardAllowed

   ghc	GHC.Tc.Errors.Types

   Whether a sole extra-constraint wildcard is allowed, e.g. _ => .. as opposed to ( .., _ ) => ...

7. SoleExtraConstraintWildcardAllowed :: SoleExtraConstraintWildcardAllowed

   ghc	GHC.Tc.Errors.Types

   No documentation available.

8. SoleExtraConstraintWildcardNotAllowed :: SoleExtraConstraintWildcardAllowed

   ghc	GHC.Tc.Errors.Types

   No documentation available.

9. StdCallConvUnsupported :: UnsupportedCallConvention

   ghc	GHC.Tc.Errors.Types

   No documentation available.

10. TcRnForAllEscapeError :: Type -> Kind -> TcRnMessage

    ghc	GHC.Tc.Errors.Types

    TcRnForAllEscapeError is an error that occurs whenever a quantified type's kind mentions quantified type variable. Examples(s): type T :: TYPE (BoxedRep l) data T = MkT Test cases: unlifted-datatypesshould_failUnlDataNullaryPoly

Page 310 of many | Previous | Next