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.

  1. eqnMatchResult :: EquationInfo -> MatchResult CoreExpr

    ghc GHC.HsToCore.Monad

    No documentation available.

  2. eqn_pat :: EquationInfo -> LPat GhcTc

    ghc GHC.HsToCore.Monad

    The first pattern of the equation NB: The location info is used to determine whether the pattern is generated or not. This helps us avoid warnings on patterns that GHC elaborated. NB: We have already applied decideBangHood to this pattern. See Note [decideBangHood] in GHC.HsToCore.Utils

  3. eqn_rest :: EquationInfo -> EquationInfo

    ghc GHC.HsToCore.Monad

    The rest of the equation after its first pattern

  4. eqPmAltCon :: PmAltCon -> PmAltCon -> PmEquality

    ghc 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

  5. eqn_pat :: EquationInfo -> LPat GhcTc

    ghc GHC.HsToCore.Utils

    The first pattern of the equation NB: The location info is used to determine whether the pattern is generated or not. This helps us avoid warnings on patterns that GHC elaborated. NB: We have already applied decideBangHood to this pattern. See Note [decideBangHood] in GHC.HsToCore.Utils

  6. eqn_rest :: EquationInfo -> EquationInfo

    ghc GHC.HsToCore.Utils

    The rest of the equation after its first pattern

  7. eqDiff :: (Outputable a, Eq a) => Diff a

    ghc GHC.Iface.Ext.Debug

    No documentation available.

  8. eqCoercion :: Coercion -> Coercion -> Bool

    ghc GHC.Plugins

    Syntactic equality of coercions

  9. eqCoercionX :: RnEnv2 -> Coercion -> Coercion -> Bool

    ghc GHC.Plugins

    Compare two Coercions, with respect to an RnEnv2

  10. eqCanEqLHS :: CanEqLHS -> CanEqLHS -> Bool

    ghc GHC.Tc.Types.Constraint

    Are two CanEqLHSs equal?

Page 62 of many | Previous | Next