search

haskellari / lattices

Fine-grained lattice primitives for Haskell
BSD 3-Clause "New" or "Revised" License
35 stars 15 forks source link

`partialOrdEq` docs #74

Closed coot closed 5 years ago

coot commented 5 years ago

partialOrdEq is an equivalence relation whenever the PartialOrd instance is lawful (i.e. reflexive, antysymmetric and transitive); this PR updates the documentation to reflect this.