Hoogle Search

Within LTS Haskell 24.46 (ghc-9.10.3)

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

Exact lookup

1. NoDeriveAnyClassEnabled :: DeriveAnyClassEnabled

   ghc	GHC.Tc.Errors.Types

   No documentation available.

2. NotBoxedKindAny :: TypeCannotBeMarshaledReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

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

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

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

6. YesDeriveAnyClassEnabled :: DeriveAnyClassEnabled

   ghc	GHC.Tc.Errors.Types

   No documentation available.

7. deriveAnyClassEnabled :: Bool -> DeriveAnyClassEnabled

   ghc	GHC.Tc.Errors.Types

   No documentation available.

8. SynAny :: SyntaxOpType

   ghc	GHC.Tc.Gen.Expr

   Any type

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

10. newZonkAnyType :: Kind -> TcM Type

    ghc	GHC.Tc.Utils.Monad

    No documentation available.

Page 116 of many | Previous | Next