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.
-
ghc-lib-parser GHC.Tc.Errors.Types The reason that an associated family instance was invalid.
InvalidCCallImpent :: String -> ConversionFailReasonghc-lib-parser GHC.Tc.Errors.Types Source
-
ghc-lib-parser GHC.Tc.Errors.Types A quantified type variable in a type or data family equation that is either not bound in any LHS patterns or not used in the RHS (or both).
InvalidFamInstQTv :: TcTyVar -> Bool -> InvalidFamInstQTvReason -> InvalidFamInstQTvghc-lib-parser GHC.Tc.Errors.Types No documentation available.
InvalidFamInstQTvDodgy :: InvalidFamInstQTvReasonghc-lib-parser 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.
InvalidFamInstQTvNotBoundInPats :: InvalidFamInstQTvReasonghc-lib-parser GHC.Tc.Errors.Types A quantified type variable in a type or data family equation that is not bound in any LHS patterns.
InvalidFamInstQTvNotUsedInRHS :: InvalidFamInstQTvReasonghc-lib-parser GHC.Tc.Errors.Types A quantified type variable in a type or data family equation that is not used on the RHS.
-
ghc-lib-parser GHC.Tc.Errors.Types No documentation available.
InvalidImplicitParamBinding :: ConversionFailReasonghc-lib-parser GHC.Tc.Errors.Types No documentation available.
InvalidTopDecl :: !HsDecl GhcPs -> AddTopDeclsErrorghc-lib-parser 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: