Proposal: Add hasBitSize to Data.Bits.Bits

[Ian Lynagh]

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