Test.LeanCheck.Utils.Operators

Combining properties

(===)

(====)

(&&&)

(&&&&)

(|||)

(||||)

Properties over functions

commutative

associative

distributive

transitive

idempotent

identity

notIdentity

Ternary comparison operators

(=$)

($=)

(=|)

(|=)