Hoogle Search

Within LTS Haskell 24.4 (ghc-9.10.2)

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

Exact lookup

1. class Eq a

   shake	Development.Shake.Classes

   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)

2. EQ :: Ordering

   basic-prelude	CorePrelude

   No documentation available.

3. class Eq a

   basic-prelude	CorePrelude

   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)

4. EQ :: Ordering

   classy-prelude	ClassyPrelude

   No documentation available.

5. class Eq a

   classy-prelude	ClassyPrelude

   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)

6. Eq :: PersistFilter

   esqueleto	Database.Esqueleto

   No documentation available.

7. Eq :: PersistFilter

   esqueleto	Database.Esqueleto.Experimental

   No documentation available.

8. Eq :: PersistFilter

   esqueleto	Database.Esqueleto.Legacy

   No documentation available.

9. Eq :: Tm -> Tm -> Tm

   flatparse	FlatParse.Examples.BasicLambda.Parser

   t == u
   

10. EQ :: Ordering

    ghc-lib-parser	GHC.Prelude.Basic

    No documentation available.

Page 6 of many | Previous | Next