I like those laws insofar as they go.

It'd be nice to sit down and specify the rest of the Data.Bits laws some day. (Not volunteering!)

-Edward


On Wed, Feb 26, 2014 at 8:30 PM, wren ng thornton <winterkoninkje@gmail.com> wrote:
I'm +1 for the following slightly extended proposal:

* add zeroBits
* with default implementation: clearBit (bit 0) 0
* and requiring the following laws for all n valid for the type:
    * clearBit zeroBits n == zeroBits
    * setBit zeroBits n == bit n
    * testBit zeroBits n == False
    * popCount zeroBits == 0

--
Live well,
~wren
_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://www.haskell.org/mailman/listinfo/libraries