Hoogle Search

Within LTS Haskell 24.37 (ghc-9.10.3)

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

Exact lookup

1. eqCanRewriteFR :: CtFlavourRole -> CtFlavourRole -> Bool

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

2. eqCtEvidence :: EqCt -> CtEvidence

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

3. eqCtFlavourRole :: EqCt -> CtFlavourRole

   ghc	GHC.Tc.Types.Constraint

   Extract the flavour and role from a Ct

4. eqCtLHS :: EqCt -> CanEqLHS

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

5. eq_eq_rel :: EqCt -> EqRel

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

6. eq_ev :: EqCt -> CtEvidence

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

7. eq_lhs :: EqCt -> CanEqLHS

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

8. eq_rhs :: EqCt -> Xi

   ghc	GHC.Tc.Types.Constraint

   No documentation available.

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

10. eqType :: Type -> Type -> Bool

    ghc	GHC.Tc.Utils.TcType

    Type equality on source types. Does not look through newtypes, PredTypes or type families, but it does look through type synonyms. This first checks that the kinds of the types are equal and then checks whether the types are equal, ignoring casts and coercions. (The kind check is a recursive call, but since all kinds have type Type, there is no need to check the types of kinds.) See also Note [Non-trivial definitional equality] in GHC.Core.TyCo.Rep.

Page 63 of many | Previous | Next