Hoogle Search
Within LTS Haskell 22.21 (ghc-9.6.5)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
ghc-prim GHC.Types No documentation available.
-
hedgehog Hedgehog.Internal.Prelude No documentation available.
-
hedgehog Hedgehog.Internal.Prelude The Eq class defines equality (==) and inequality (/=). All the basic datatypes exported by the Prelude are instances of Eq, and Eq may be derived for any datatype whose constituents are also instances of Eq. The Haskell Report defines no laws for Eq. However, instances are encouraged to follow these properties:
- Reflexivity x == x = True
- Symmetry x == y = y == x
- Transitivity if x == y && y == z = True, then x == z = True
- Extensionality if x == y = True and f is a function whose return type is an instance of Eq, then f x == f y = True
- Negation x /= y = not (x == y)
-
persistent Database.Persist.Types No documentation available.
-
ghc GHC.CmmToAsm.AArch64.Cond No documentation available.
-
ghc GHC.Prelude.Basic No documentation available.
-
ghc GHC.Prelude.Basic No documentation available.
-
No documentation available.
-
Eq properties You will need TypeApplications to use these.
-
haskell-gi-base Data.GI.Base.ShortPrelude The Eq class defines equality (==) and inequality (/=). All the basic datatypes exported by the Prelude are instances of Eq, and Eq may be derived for any datatype whose constituents are also instances of Eq. The Haskell Report defines no laws for Eq. However, instances are encouraged to follow these properties:
- Reflexivity x == x = True
- Symmetry x == y = y == x
- Transitivity if x == y && y == z = True, then x == z = True
- Extensionality if x == y = True and f is a function whose return type is an instance of Eq, then f x == f y = True
- Negation x /= y = not (x == y)