spire icon indicating copy to clipboard operation
spire copied to clipboard
verified publisher icon typelevel

Add laws for BitString

Open rklaehn opened this issue 10 years ago • 0 comments

Currently there are no discipline law properties for BitString. Adding those would make it easier for new BitString typeclass instances to be validated.

I am not sure if the laws framework is a good fit for BitString, or if a comparison to a reference implementation would be best. But there should be some way to do scalacheck testing of a BitString instance.

rklaehn avatar Aug 11 '15 13:08 rklaehn