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	GHC.Core.Predicate

   A type equality predicate.

2. data EqRel

   ghc	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. EqnDone :: MatchResult CoreExpr -> EquationInfo

   ghc	GHC.HsToCore.Monad

   What to do after match

4. EqnMatch :: LPat GhcTc -> EquationInfo -> EquationInfo

   ghc	GHC.HsToCore.Monad

   No documentation available.

5. data EquationInfo

   ghc	GHC.HsToCore.Monad

   No documentation available.

6. type EquationInfoNE = EquationInfo

   ghc	GHC.HsToCore.Monad

   No documentation available.

7. Equal :: PmEquality

   ghc	GHC.HsToCore.Pmc.Solver.Types

   No documentation available.

8. EqnDone :: MatchResult CoreExpr -> EquationInfo

   ghc	GHC.HsToCore.Utils

   What to do after match

9. EqnMatch :: LPat GhcTc -> EquationInfo -> EquationInfo

   ghc	GHC.HsToCore.Utils

   No documentation available.

10. data EquationInfo

    ghc	GHC.HsToCore.Utils

    No documentation available.

Page 19 of many | Previous | Next