Proposal: add new Data.Bits.Bits(bitZero) method (was: Proposal: Explicitly require "Data.Bits.bit (-1) == 0" property)

wren ng thornton winterkoninkje at gmail.com
Thu Feb 27 01:30:03 UTC 2014


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


More information about the Libraries mailing list