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.

Exact lookup

1. TcRnSimplifierTooManyIterations :: Cts -> IntWithInf -> WantedConstraints -> TcRnMessage

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

2. TcRnTooManyBinders :: Kind -> [LHsTyVarBndr (HsBndrVis GhcRn) GhcRn] -> TcRnMessage

   ghc	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

3. TcRnTooManyTyArgsInConPattern :: ConLike -> Int -> Int -> TcRnMessage

   ghc	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

4. YesDeriveAnyClassEnabled :: DeriveAnyClassEnabled

   ghc	GHC.Tc.Errors.Types

   No documentation available.

5. deriveAnyClassEnabled :: Bool -> DeriveAnyClassEnabled

   ghc	GHC.Tc.Errors.Types

   No documentation available.

6. SynAny :: SyntaxOpType

   ghc	GHC.Tc.Gen.Expr

   Any type

7. tcg_zany_n :: TcGblEnv -> TcRef Integer

   ghc	GHC.Tc.Types

   A source of unique identities for ZonkAny instances See Note [Any types] in GHC.Builtin.Types, wrinkle (Any4)

8. newZonkAnyType :: Kind -> TcM Type

   ghc	GHC.Tc.Utils.Monad

   No documentation available.

9. SynAny :: SyntaxOpType

   ghc	GHC.Tc.Utils.TcType

   Any type

10. mkVisFunTyMany :: HasDebugCallStack => Type -> Type -> Type

    ghc	GHC.Tc.Utils.TcType

    Make nested arrow types | Special, common, case: Arrow type with mult Many

Page 115 of many | Previous | Next