Hoogle Search
Within LTS Haskell 24.40 (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 No documentation available.
NoDeriveAnyClassEnabled :: DeriveAnyClassEnabledghc-lib-parser GHC.Tc.Errors.Types No documentation available.
NotBoxedKindAny :: TypeCannotBeMarshaledReasonghc-lib-parser GHC.Tc.Errors.Types No documentation available.
TcRnSimplifierTooManyIterations :: Cts -> IntWithInf -> WantedConstraints -> TcRnMessageghc-lib-parser GHC.Tc.Errors.Types TcRnSimplifierTooManyIterations is an error that occurs whenever the constraint solver in the simplifier hits the iterations' limit. Examples(s): None. Test cases: None.
TcRnTooManyBinders :: Kind -> [LHsTyVarBndr (HsBndrVis GhcRn) GhcRn] -> TcRnMessageghc-lib-parser GHC.Tc.Errors.Types TcRnTooManyBinders is an error for a type constructor that is declared with more arguments then its kind specifies. Example(s): type T :: Type -> (Type -> Type) -> Type data T a (b :: Type -> Type) x1 (x2 :: Type -> Type) Test cases: saksshould_failsaks_fail008
TcRnTooManyTyArgsInConPattern :: ConLike -> Int -> Int -> TcRnMessageghc-lib-parser GHC.Tc.Errors.Types TcRnTooManyTyArgsInConPattern is an error occurring when a constructor pattern has more than the expected number of type arguments Example(s): f (Just Int Bool x) = x Test cases: typecheckshould_failTyAppPat_TooMany typecheckshould_failT20443b
YesDeriveAnyClassEnabled :: DeriveAnyClassEnabledghc-lib-parser GHC.Tc.Errors.Types No documentation available.
deriveAnyClassEnabled :: Bool -> DeriveAnyClassEnabledghc-lib-parser GHC.Tc.Errors.Types No documentation available.
tcg_zany_n :: TcGblEnv -> TcRef Integerghc-lib-parser GHC.Tc.Types A source of unique identities for ZonkAny instances See Note [Any types] in GHC.Builtin.Types, wrinkle (Any4)
-
ghc-lib-parser GHC.Tc.Utils.TcType Any type