search

haskellari / lattices

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

Add Op(posite) lattice. #16

Closed derekelkins closed 8 years ago

derekelkins commented 8 years ago

The opposite lattice simply switch meet and join. Chose Op rather than Dual to avoid conflict with Monoid Dual and "dual lattice" has another meaning.

Similar to Ordered, derived instances for all the standard classes would be reasonable.

phadej commented 8 years ago

I resolver merge conflict myself. Thanks!