search

typelevel / algebra

Experimental project to lay out basic algebra type classes
https://typelevel.org/algebra/
Other
378 stars 69 forks source link

Add distributive lattice #93

Closed johnynek closed 8 years ago

johnynek commented 8 years ago

According to this:

https://en.wikipedia.org/wiki/Distributive_lattice#Examples

Each Boolean or Heyting algebra is a distributive lattice. Lattices have properties useful for CRDTs, so it seems nice to make this connection.

johnynek commented 8 years ago

I guess we already did this and I forget. We call this Lattice:

https://github.com/non/algebra/blob/master/core/src/main/scala/algebra/lattice/Lattice.scala

johnynek commented 8 years ago

related to #100 #101