Hoogle Search

Within LTS Haskell 24.50 (ghc-9.10.3)

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

Exact lookup

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

2. data CheckTyEqProblem

   ghc	GHC.Tc.Types.Constraint

   An individual problem that might be logged in a CheckTyEqResult

3. data CheckTyEqResult

   ghc	GHC.Tc.Types.Constraint

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

4. data HasGivenEqs

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

5. LocalGivenEqs :: HasGivenEqs

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

6. MaybeGivenEqs :: HasGivenEqs

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

7. NoGivenEqs :: HasGivenEqs

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

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

9. canEqLHSKind :: CanEqLHS -> TcKind

   ghc	GHC.Tc.Types.Constraint

   Retrieve the kind of a CanEqLHS

10. canEqLHSType :: CanEqLHS -> TcType

    ghc	GHC.Tc.Types.Constraint

    Convert a CanEqLHS back into a Type

Page 219 of many | Previous | Next