search

typelevel / algebra

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

Eq and PartialOrder instances for List #118

Closed ceedubs closed 8 years ago

ceedubs commented 8 years ago

Currently algebra provides an Order[List[A]] instance provided that A has an Order instance. However, it could also provide Eq[List[A]] with the weaker constraint that A has an Eq instance and similarly for PartialOrder.

Such instances already exist in Cats. They should probably be moved to algebra.

johnynek commented 8 years ago

+1

non commented 8 years ago

:+1: