23 Sep
2012
23 Sep
'12
9:44 p.m.
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. Thanks Ian