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. eq_ev :: EqCt -> CtEvidence

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

    No documentation available.

  2. eq_lhs :: EqCt -> CanEqLHS

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

    No documentation available.

  3. eq_rhs :: EqCt -> Xi

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

    No documentation available.

  4. eqForAllVis :: ForAllTyFlag -> ForAllTyFlag -> Bool

    ghc-lib-parser 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.

  5. eqType :: HasCallStack => Type -> Type -> Bool

    ghc-lib-parser GHC.Tc.Utils.TcType

    Type equality comparing both visible and invisible arguments, expanding synonyms and respecting multiplicities.

  6. eqTypeX :: HasCallStack => RnEnv2 -> Type -> Type -> Bool

    ghc-lib-parser GHC.Tc.Utils.TcType

    Compare types with respect to a (presumably) non-empty RnEnv2.

  7. eqTypes :: [Type] -> [Type] -> Bool

    ghc-lib-parser GHC.Tc.Utils.TcType

    Type equality on lists of types, looking through type synonyms

  8. eqVarBndrs :: HasCallStack => RnEnv2 -> [Var] -> [Var] -> Maybe RnEnv2

    ghc-lib-parser GHC.Tc.Utils.TcType

    No documentation available.

  9. eqLocated :: Eq a => GenLocated l a -> GenLocated l a -> Bool

    ghc-lib-parser GHC.Types.SrcLoc

    Tests whether the two located things are equal

  10. eqUnique :: Unique -> Unique -> Bool

    ghc-lib-parser GHC.Types.Unique

    No documentation available.

Page 103 of many | Previous | Next