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

2. eqTypeX :: RnEnv2 -> Type -> Type -> Bool

   ghc	GHC.Tc.Utils.TcType

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

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

   ghc	GHC.Tc.Utils.TcType

   Type equality on lists of types, looking through type synonyms but not newtypes.

4. eqVarBndrs :: RnEnv2 -> [Var] -> [Var] -> Maybe RnEnv2

   ghc	GHC.Tc.Utils.TcType

   No documentation available.

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

   ghc	GHC.Types.SrcLoc

   Tests whether the two located things are equal

6. eqUnique :: Unique -> Unique -> Bool

   ghc	GHC.Types.Unique

   No documentation available.

7. equateUSDFM :: Uniquable key => UniqSDFM key ele -> key -> key -> (Maybe ele, UniqSDFM key ele)

   ghc	GHC.Types.Unique.SDFM

   equateUSDFM env x y makes x and y point to the same entry, thereby merging x's class with y's. If both x and y are in the domain of the map, then y's entry will be chosen as the new entry and x's old entry will be returned. Examples in terms of the model (see UniqSDFM): >>> equateUSDFM [] u1 u2 == (Nothing, [({u1,u2}, Nothing)]) >>> equateUSDFM [({u1,u3}, Just ele1)] u3 u4 == (Nothing, [({u1,u3,u4}, Just ele1)]) >>> equateUSDFM [({u1,u3}, Just ele1)] u4 u3 == (Nothing, [({u1,u3,u4}, Just ele1)]) >>> equateUSDFM [({u1,u3}, Just ele1), ({u2}, Just ele2)] u3 u2 == (Just ele1, [({u2,u1,u3}, Just ele2)])

8. equalLength :: [a] -> [b] -> Bool

   ghc	GHC.Utils.Misc

   True if length xs == length ys

9. equals :: IsLine doc => doc

   ghc	GHC.Utils.Outputable

   No documentation available.

10. equals :: Doc

    ghc	GHC.Utils.Ppr

    No documentation available.

Page 64 of many | Previous | Next