A `PartialOrd` instance for `()` and `Void`

haskellari / lattices

Fine-grained lattice primitives for Haskell

BSD 3-Clause "New" or "Revised" License

35 stars 15 forks source link

Closed sgraf812 closed 6 years ago

sgraf812 commented 6 years ago

One of the few batteries-included types for which I think we should have a PartialOrd instance.

sgraf812 commented 6 years ago

Sorry, the merged commit also contains the accidental stylish-haskell reformatting.

phadej commented 6 years ago

NP. I went ahead and reformatted everything.