Add behavioral laws for each class #2

maxcan opened this Issue Jul 17, 2012 · 3 comments

2 participants


If you filter the vitriol on reddit, one constructive notion is that all of the classes should have laws.

This might not be fully achievable but I think we can start to move towards that.


For the CanPack issue with Maps and other unique collections, we could relax the standard isomorphism law:

unpack . pack = id

to a one-step idempotency:

unpack . pack . unpack . pack = unpack . pack

just a thought.


What do you think about the laws set forth in the unit test file? Is that sufficient?

@snoyberg snoyberg closed this Dec 27, 2012

sorry for kind of falling off the radar on this one.

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