haskellari / lattices

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

Add Ordered lattice. #15

Closed derekelkins closed 8 years ago

derekelkins commented 8 years ago

Turn types with instances of Ord into lattices, and bounded lattices if also instances of Bounded. This doesn't include a version bump. I have a couple more changes I'm likely to add in the very near future.

I'm too lazy to do it without GeneralizedNewtypeDeriving, but I'd add derived instances for all the other standard classes.