Test.LeanCheck.Utils.Operators

Combining properties

(===)

(====)

(&&&)

(&&&&)

(|||)

(||||)

Properties of unary functions

idempotent

identity

neverIdentity

Properties of operators (binary functions)

commutative

associative

distributive

symmetric2

Properties of relations (binary functions returning truth values)

transitive

reflexive

irreflexive

symmetric

asymmetric

antisymmetric

Order relations

equivalence

partialOrder

strictPartialOrder

totalOrder

strictTotalOrder

comparison

Ternary comparison operators

(=$)

($=)

(=|)

(|=)

Properties for typeclass instances

okEq

okOrd

okEqOrd