Hoogle Search

Within LTS Haskell 24.58 (ghc-9.10.3)

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

Exact lookup

1. InstHeadNonClass :: !Maybe TyCon -> IllegalInstanceHeadReason

   ghc-lib-parser	GHC.Tc.Errors.Types

   An instance whose head is not a class. Examples(s): instance c instance 42 instance !Show D type C1 a = (Show (a -> Bool)) instance C1 Int where Test cases: typecheckrenameT5513 typecheckrenameT16385 parsershould_failT3811c renameshould_failT18240a polykinds/T13267 derivingshould_failT23522

2. InstHeadNonTyVarArgs :: IllegalInstanceHeadReason

   ghc-lib-parser	GHC.Tc.Errors.Types

   Instance head was not of the form T a1 ... an, where a1, ..., an are all type variables or literals. Example: instance Num [Int] where {..} Test cases: mod41, mod42, tcfail044, tcfail047.

3. InstHeadTySynArgs :: IllegalInstanceHeadReason

   ghc-lib-parser	GHC.Tc.Errors.Types

   Instance head was headed by a type synonym. Example: type MyInt = Int class C a where {..} instance C MyInt where {..} Test cases: drvfail015, mod42, TidyClassKinds, tcfail139

4. InvalidTypeInstanceHeader :: Type -> ConversionFailReason

   ghc-lib-parser	GHC.Tc.Errors.Types

   No documentation available.

5. NFC_InstanceHead :: NestedForallsContextsIn

   ghc-lib-parser	GHC.Tc.Errors.Types

   Nested forall in an instance head

6. NFC_StandaloneDerivedInstanceHead :: NestedForallsContextsIn

   ghc-lib-parser	GHC.Tc.Errors.Types

   Nested forall in a standalone deriving instance head

7. SCD_HeadTyFam :: PredType -> SuperclassCycleDetail

   ghc-lib-parser	GHC.Tc.Errors.Types

   No documentation available.

8. SCD_HeadTyVar :: PredType -> SuperclassCycleDetail

   ghc-lib-parser	GHC.Tc.Errors.Types

   No documentation available.

9. TcRnBadQuantPredHead :: Type -> TcRnMessage

   ghc-lib-parser	GHC.Tc.Errors.Types

   TcRnBadQuantPredHead is an error that occurs whenever a quantified predicate lacks a class or type variable head. Examples(s): class (forall a. A t a => A t [a]) => B t where type A t a :: Constraint Test cases: quantified-constraints/T16474

10. hasTyVarHead :: Type -> Bool

    ghc-lib-parser	GHC.Tc.Utils.TcType

    No documentation available.

Page 213 of many | Previous | Next