New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

test cats laws #18

Open

johnynek opened this issue Nov 2, 2020 · 1 comment

Collaborator

johnynek commented Nov 2, 2020

I think we are currently testing all the laws these typeclasses require, but we aren't using the cats laws package.

It might be nice to use those just to be 100% sure everything is fully lawful.

Collaborator Author

johnynek commented Nov 5, 2020

see #38 -- the cats version of Alternative laws probably won't pass. MonoidK should pass as well as others.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment