class Setoid a => Chain a where Source #
When providing a new instance, you should ensure it satisfies the three law:
* Reflexivity: x <= x ≡ True
* Transitivity: x <= y && y <= z ≡ True ===> x <= z ≡ True
* Antisymmetry: x <= y && y <= x ≡ True ===> x == y ≡ True
Minimal complete definition
(<=)