Add SemigroupK and MonoidK laws (address #196).#198

Merged

fthomas merged 15 commits intotypelevel:masterfrom

lvicentesanchez:issues/196

Feb 20, 2015

Commits on Feb 14, 2015

Add Semigroup and Monoid laws (address #196).
Luis Angel Vicente Sanchez
committed
Replace Semigroup/Monoid laws with SemigroupK/MonoidK laws.
Luis Angel Vicente Sanchez
committed
Add Eq instances for Vector and Stream (needed for tests).
Luis Angel Vicente Sanchez
committed
Add for all existent SemigroupK/MonoidK instances.
Luis Angel Vicente Sanchez
committed
Merge upstream/master into issues/196.
Luis Angel Vicente Sanchez
committed

Commits on Feb 17, 2015

Merge branch 'master' of https://github.com/non/cats into issues/196
Luis Angel Vicente Sanchez
committed
Update SemigroupK/MonoidK laws and tests to use IsEq.
Luis Angel Vicente Sanchez
committed

Commits on Feb 18, 2015

* modify SemigroupKTests and MonoidKTests to follow implicit usage conventions.
Luis Angel Vicente Sanchez
committed

Commits on Feb 19, 2015

Merge branch 'master' of https://github.com/non/cats into issues/196
Luis Angel Vicente Sanchez
committed
Make SemigroupKTests/MonoidKTests consistent with other tests.
Luis Angel Vicente Sanchez
committed
Merge branch 'master' of https://github.com/non/cats into issues/196
Luis Angel Vicente Sanchez
committed

Commits on Feb 20, 2015

Rename MonoidKTests/SemigroupKTests methods.
Luis Angel Vicente Sanchez
committed
Merge branch 'master' of https://github.com/non/cats into issues/196
Luis Angel Vicente Sanchez
committed
Add MonoidK law check for Option instance.
Luis Angel Vicente Sanchez
committed
Merge branch 'master' of https://github.com/non/cats into issues/196
Luis Angel Vicente Sanchez
committed