Proposal: Add hasBitSize to Data.Bits.Bits
ian at well-typed.com
Sun Sep 23 23:44:27 CEST 2012
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.
More information about the Libraries