Hoogle Search

Within LTS Haskell 24.41 (ghc-9.10.3)

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

Exact lookup

1. InvalidFamInstQTv :: TcTyVar -> Bool -> InvalidFamInstQTvReason -> InvalidFamInstQTv

   ghc	GHC.Tc.Errors.Types

   No documentation available.

2. InvalidFamInstQTvDodgy :: InvalidFamInstQTvReason

   ghc	GHC.Tc.Errors.Types

   A dodgy binder, i.e. a variable that syntactically appears in LHS patterns but only in non-injective positions. See Note [Dodgy binding sites in type family instances] in GHC.Tc.Validity.

3. InvalidFamInstQTvNotBoundInPats :: InvalidFamInstQTvReason

   ghc	GHC.Tc.Errors.Types

   A quantified type variable in a type or data family equation that is not bound in any LHS patterns.

4. InvalidFamInstQTvNotUsedInRHS :: InvalidFamInstQTvReason

   ghc	GHC.Tc.Errors.Types

   A quantified type variable in a type or data family equation that is not used on the RHS.

5. data InvalidFamInstQTvReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

6. InvalidImplicitParamBinding :: ConversionFailReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

7. InvalidTopDecl :: !HsDecl GhcPs -> AddTopDeclsError

   ghc	GHC.Tc.Errors.Types

   InvalidTopDecl is a Template Haskell error occurring when one of the Decs passed to addTopDecls is not a function, value, annotation, or foreign import declaration. Example(s): Test cases:

8. InvalidTyConParent :: TyCon -> NonEmpty RecSelParent -> BadRecordUpdateReason

   ghc	GHC.Tc.Errors.Types

   We used type-directed disambiguation, but this resulted in an invalid parent (the type-directed parent is not among the parents we computed from the field labels alone).

9. InvalidTyFamInstLHS :: Type -> ConversionFailReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

10. InvalidTypeInstanceHeader :: Type -> ConversionFailReason

    ghc	GHC.Tc.Errors.Types

    No documentation available.

Page 548 of many | Previous | Next