Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

Exact lookup

1. CEqCan :: EqCt -> Ct

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

2. data CanEqLHS

   ghc	GHC.Tc.Types.Constraint

   A CanEqLHS is a type that can appear on the left of a canonical equality: a type variable or exactly-saturated type family application.

3. data CheckTyEqProblem

   ghc	GHC.Tc.Types.Constraint

   An individual problem that might be logged in a CheckTyEqResult

4. data CheckTyEqResult

   ghc	GHC.Tc.Types.Constraint

   A set of problems in checking the validity of a type equality. See checkTypeEq.

5. data HasGivenEqs

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

6. LocalGivenEqs :: HasGivenEqs

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

7. MaybeGivenEqs :: HasGivenEqs

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

8. NoGivenEqs :: HasGivenEqs

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

9. ReprEqReason :: CtIrredReason

   ghc	GHC.Tc.Types.Constraint

   An equality that cannot be decomposed because it is representational. Example: a b ~R# Int. These might still be solved later. INVARIANT: The constraint is a representational equality constraint

10. canEqLHSKind :: CanEqLHS -> TcKind

    ghc	GHC.Tc.Types.Constraint

    Retrieve the kind of a CanEqLHS

Page 219 of many | Previous | Next