Test.LeanCheck.Utils.Operators
(===)
(====)
(&&&)
(&&&&)
(|||)
(||||)
idempotent
identity
neverIdentity
commutative
associative
distributive
symmetric2
transitive
reflexive
irreflexive
symmetric
asymmetric
antisymmetric
equivalence
partialOrder
strictPartialOrder
totalOrder
strictTotalOrder
comparison
(=$)
($=)
(=|)
(|=)
okEq
okOrd
okEqOrd