Proposal: Add hasBitSize to Data.Bits.Bits

Edward Kmett ekmett at
Fri Jul 27 21:06:04 CEST 2012

There is currently no way to know whether or not calling
Data.Bits.bitSizewill crash your program.

I propose extending the Bits class to include:

hasBitSize :: Bits b => b -> Bool

such that it returns False for Integer and True for the other instances

since the vast majority of instances are finite, it may be reasonable to
set the default definition to

hasBitSize _ = False

Discussion Period: 2 weeks
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list