23 Sep
2012
23 Sep
'12
11:28 p.m.
On Sun, 23 Sep 2012, Ian Lynagh wrote:
On Wed, Aug 22, 2012 at 07:49:49PM -0400, Edward Kmett wrote:
We want to add
class Bits b where bitSizeMaybe :: b -> Maybe Int
and deprecate, but not remove bitSize this iteration, and make a separate class FiniteBits for things with a finite, fixed number of bits:
class Bits b => FiniteBits b where finiteBitSize :: b -> Int finiteBitSize = bitSize
I've just pushed a patch implementing what I think the conclusion was. Please let me know if you think I got it wrong.
My last comment was, that FiniteBits is not an appropriate name, and then we arrived at FixedBits: http://www.haskell.org/pipermail/libraries/2012-August/018349.html