HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulelinear-base-0.4.0Haskell2010

Data.Ord.Linear.Internal.Eq

This module provides a linear Eq class for testing equality between values, along with standard instances.

  • 1 class
classclass Eq a where
#

Testing equality on values.

The laws are that (==) and (/=) are compatible and (==) is an equivalence relation. So, for all x, y, z,

  • x == x always

  • x == y implies y == x

  • x == y and y == z implies x == z

  • (x == y) ≌ not (x /= y)

Methods

  • (==) :: a %1 -> a %1 -> Boolinfix 4
  • (/=) :: a %1 -> a %1 -> Boolinfix 4
Instances23Eq, …
  • Eq Int16Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • Eq Int32Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • Eq Int64Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • Eq Int8Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • Eq Word16Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • Eq Word32Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • Eq Word64Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • Eq Word8Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • Eq BoolDefined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • Eq CharDefined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • Eq DoubleDefined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • Eq IntDefined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • Eq OrderingDefined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • Eq ()Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • Eq a => Eq (Ur a)Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • (Eq a, Movable a) => Eq (MovableEq a)Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • (Eq a, Movable a) => Eq (MovableOrd a)Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Ord
  • (Consumable a, Eq a) => Eq (Maybe a)Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • (Consumable a, Eq a) => Eq [a]Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • (Eq a, Eq b) => Eq (a, b)Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • (Consumable a, Consumable b, Eq a, Eq b) => Eq (Either a b)Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • (Eq a, Eq b, Eq c) => Eq (a, b, c)Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq
  • (Eq a, Eq b, Eq c, Eq d) => Eq (a, b, c, d)Defined in linear-base-0.4.0 · Data.Ord.Linear.Internal.Eq