Hoogle Search

Within LTS Haskell 24.18 (ghc-9.10.3)

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

Exact lookup

1. eqCanRewrite :: EqRel -> EqRel -> Bool

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

2. eqCanRewriteFR :: CtFlavourRole -> CtFlavourRole -> Bool

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

3. eqCtEvidence :: EqCt -> CtEvidence

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

4. eqCtFlavourRole :: EqCt -> CtFlavourRole

   ghc	GHC.Tc.Types.Constraint

   Extract the flavour and role from a Ct

5. eqCtLHS :: EqCt -> CanEqLHS

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

6. eq_eq_rel :: EqCt -> EqRel

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

7. eq_ev :: EqCt -> CtEvidence

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

8. eq_lhs :: EqCt -> CanEqLHS

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

9. eq_rhs :: EqCt -> Xi

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

10. eqForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Bool

    ghc	GHC.Tc.Utils.TcType

    Do these denote the same level of visibility? Required arguments are visible, others are not. So this function equates Specified and Inferred. Used for printing.

Page 63 of many | Previous | Next