Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

  1. eqEmptyLocalBinds :: HsLocalBindsLR a b -> Bool

    ghc-lib-parser GHC.Hs.Binds

    No documentation available.

  2. eqPmAltCon :: PmAltCon -> PmAltCon -> PmEquality

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

    We can't in general decide whether two PmAltCons match the same set of values. In addition to the reasons in eqPmLit and eqConLike, a PmAltConLike might or might not represent the same value as a PmAltLit. See Note [Undecidable Equality for PmAltCons].

    • Just True ==> Surely equal
    • Just False ==> Surely different (non-overlapping, even!)
    • Nothing ==> Equality relation undecidable
    Examples (omitting some constructor wrapping):
    • eqPmAltCon (LitInt 42) (LitInt 1) == Just False: Lit equality is decidable
    • eqPmAltCon (DataCon A) (DataCon B) == Just False: DataCon equality is decidable
    • eqPmAltCon (LitOverInt 42) (LitOverInt 1) == Nothing: OverLit equality is undecidable
    • eqPmAltCon (PatSyn PA) (PatSyn PB) == Nothing: PatSyn equality is undecidable
    • eqPmAltCon (DataCon I#) (LitInt 1) == Nothing: DataCon to Lit comparisons are undecidable without reasoning about the wrapped Int#
    • eqPmAltCon (LitOverInt 1) (LitOverInt 1) == Just True: We assume reflexivity for overloaded literals
    • eqPmAltCon (PatSyn PA) (PatSyn PA) == Just True: We assume reflexivity for Pattern Synonyms

  3. eqBytes :: Bytes -> Bytes -> Bool

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

    No documentation available.

  4. eqCanEqLHS :: CanEqLHS -> CanEqLHS -> Bool

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

    Are two CanEqLHSs equal?

  5. eqCanRewrite :: EqRel -> EqRel -> Bool

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

    No documentation available.

  6. eqCanRewriteFR :: CtFlavourRole -> CtFlavourRole -> Bool

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

    No documentation available.

  7. eqCtEvidence :: EqCt -> CtEvidence

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

    No documentation available.

  8. eqCtFlavourRole :: EqCt -> CtFlavourRole

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

    Extract the flavour and role from a Ct

  9. eqCtLHS :: EqCt -> CanEqLHS

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

    No documentation available.

  10. eq_eq_rel :: EqCt -> EqRel

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

    No documentation available.

Page 102 of many | Previous | Next