Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. EqPred :: EqRel -> Type -> Type -> Pred

   ghc-lib-parser	GHC.Core.Predicate

   A type equality predicate, (t1 ~#N t2) or (t1 ~#R t2)

2. data EqRel

   ghc-lib-parser	GHC.Core.Predicate

   A choice of equality relation. This is separate from the type Role because Phantom does not define a (non-trivial) equality relation.

3. Equal :: PmEquality

   ghc-lib-parser	GHC.HsToCore.Pmc.Solver.Types

   No documentation available.

4. EqualityT :: Type

   ghc-lib-parser	GHC.Internal.TH.Syntax

   ~
   

5. EqOp :: Op

   ghc-lib-parser	GHC.JS.JStg.Syntax

   Equality: ==

6. EqOp :: Op

   ghc-lib-parser	GHC.JS.Syntax

   Equality: ==

7. EquationArgs :: Name -> MatchArgsContext

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

   Name of the function

8. type EqualCtList = [EqCt]

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

   No documentation available.

9. data EqCt

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

   No documentation available.

10. EqCt :: CtEvidence -> CanEqLHS -> Xi -> EqRel -> EqCt

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

    No documentation available.

Page 25 of many | Previous | Next