==

A type family to compute Boolean equality.
A type family to compute Boolean equality.
A type family to compute Boolean equality.
An infix alias for Equals.
Check if values are “the same”. Breaking from Elm, this relies on Haskell's Eq typeclass. For example:
data Foo = Bar | Baz deriving (Eq)
Equality constraint, used as e.g. (x == 3) => _
Like ==, but prints a counterexample when it fails.
Implication for properties: The resulting property holds if the first argument is False (in which case the test case is discarded), or if the given property holds. Note that using implication carelessly can severely skew test case distribution: consider using cover to make sure that your test data is still good quality.
Fails the test if the two arguments provided are not equal.
Check for equality.

Example usage

selectSPJ :: MonadIO m => ReaderT SqlBackend m [Entity User]
selectSPJ = selectList [UserName ==. "SPJ" ] []
The above query when applied on dataset-1, will produce this:
+-----+-----+-----+
|id   |name |age  |
+-----+-----+-----+
|1    |SPJ  |40   |
+-----+-----+-----+
The ==> operator can be used to express a restricting condition under which a property should hold. It corresponds to implication in the classical logic. Note that ==> resets the quantification context for its operands to the default (universal).
vertical concatenation
The ==> operator can be used to express a restricting condition under which a property should hold. It corresponds to implication in the classical logic. Note that ==> resets the quantification context for its operands to the default (universal).
An exact equality comparison. For real IEEE types, two values are equivalent in the following cases:
  • both values are +0;
  • both values are -0;
  • both values are nonzero and equal to each other (according to ==);
  • both values are NaN with the same payload and sign.
For complex IEEE types, two values are equivalent if their real and imaginary parts are equivalent.
Declare two functions to be equal, but ignoring type lambdas, type arguments, type casts and hpc ticks (see EqualTo). Note that -fhpc can prevent some optimizations; build without for more reliable analysis.