== -package:hedgehog -package:base-compat -package:diagrams-lib

A type family to compute Boolean equality.

A type family to compute Boolean equality.

An infix alias for Equals.

Equality relation. Defined in terms of <=.

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.

Check for equality.

Examples

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

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

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

Convenience helper. Uses pure to lift a into f a.