search

typelevel / algebra

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

Add semilattices for Eq and Eq.and/or #125

Closed johnynek closed 8 years ago

johnynek commented 8 years ago

These are similar to #115.

Mostly just for fun, I guess.

Along with #115 it seems that #70 may be redundant now (or at least can be implemented with the monoids/semilattices we have here):

def fromAll[A](fns: (A, A) => Boolean*): Eq[A] = 
  allEqualBoundedSemilattice.combineAll(fns.map(instance))
non commented 8 years ago

:+1: