Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

Exact lookup

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

   ghc-lib-parser	GHC.Tc.Errors.Types

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

2. errorItemEqRel :: ErrorItem -> EqRel

   ghc-lib-parser	GHC.Tc.Errors.Types

   No documentation available.

3. teq_mb_same_occ :: MismatchMsg -> Maybe SameOccInfo

   ghc-lib-parser	GHC.Tc.Errors.Types

   No documentation available.

4. teq_mismatch_actual :: MismatchMsg -> Type

   ghc-lib-parser	GHC.Tc.Errors.Types

   The overall actual type

5. teq_mismatch_expected :: MismatchMsg -> Type

   ghc-lib-parser	GHC.Tc.Errors.Types

   The overall expected type

6. teq_mismatch_item :: MismatchMsg -> ErrorItem

   ghc-lib-parser	GHC.Tc.Errors.Types

   No documentation available.

7. teq_mismatch_ty1 :: MismatchMsg -> Type

   ghc-lib-parser	GHC.Tc.Errors.Types

   No documentation available.

8. teq_mismatch_ty2 :: MismatchMsg -> Type

   ghc-lib-parser	GHC.Tc.Errors.Types

   No documentation available.

9. teq_mismatch_what :: MismatchMsg -> Maybe TypedThing

   ghc-lib-parser	GHC.Tc.Errors.Types

   What thing is teq_mismatch_actual the kind of?

10. type InertEqs = DTyVarEnv EqualCtList

    ghc-lib-parser	GHC.Tc.Solver.InertSet

    No documentation available.

Page 412 of many | Previous | Next