Hoogle Search

Within LTS Haskell 24.65 (ghc-9.10.3)

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

Exact lookup

1. 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.

2. 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.

3. 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.

4. data InvalidFamInstQTvReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

5. InvalidImplicitParamBinding :: ConversionFailReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

6. 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:

7. 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).

8. InvalidTyFamInstLHS :: Type -> ConversionFailReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

9. InvalidTypeInstanceHeader :: Type -> ConversionFailReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

10. NoSuggestUndecidableInstaces :: SuggestUndecidableInstances

    ghc	GHC.Tc.Errors.Types

    No documentation available.

Page 549 of many | Previous | Next