Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

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

Exact lookup

1. RepresentationalEq :: TyVarInfo -> Maybe CoercibleMsg -> CannotUnifyVariableReason

   ghc	GHC.Tc.Errors.Types

   No documentation available.

2. TcRnTypeEqualityOutOfScope :: TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnTypeEqualityOutOfScope is a warning (controlled by -Wtype-equality-out-of-scope) that occurs when the type equality (a ~ b) is not in scope. Test case: warningsshould_compileT18862b

3. TcRnTypeEqualityRequiresOperators :: TcRnMessage

   ghc	GHC.Tc.Errors.Types

   TcRnTypeEqualityRequiresOperators is a warning (controlled by -Wtype-equality-requires-operators) that occurs when the type equality (a ~ b) is used without the TypeOperators extension. Example: {-# LANGUAGE NoTypeOperators #-} f :: (a ~ b) => a -> b Test case: T18862a

4. TypeEqMismatch :: ErrorItem -> Type -> Type -> Type -> Type -> Maybe TypedThing -> Maybe SameOccInfo -> MismatchMsg

   ghc	GHC.Tc.Errors.Types

   A mismatch between two types, which arose from a type equality. Test cases: T1470, tcfail212.

5. errorItemEqRel :: ErrorItem -> EqRel

   ghc	GHC.Tc.Errors.Types

   No documentation available.

6. teq_mb_same_occ :: MismatchMsg -> Maybe SameOccInfo

   ghc	GHC.Tc.Errors.Types

   No documentation available.

7. teq_mismatch_actual :: MismatchMsg -> Type

   ghc	GHC.Tc.Errors.Types

   The overall actual type

8. teq_mismatch_expected :: MismatchMsg -> Type

   ghc	GHC.Tc.Errors.Types

   The overall expected type

9. teq_mismatch_item :: MismatchMsg -> ErrorItem

   ghc	GHC.Tc.Errors.Types

   No documentation available.

10. teq_mismatch_ty1 :: MismatchMsg -> Type

    ghc	GHC.Tc.Errors.Types

    No documentation available.

Page 212 of many | Previous | Next