Proposal: add `Proxy`fied versions of `bitSizeMaybe` and `finiteBitSize`

M Farkas-Dyck strake888 at
Thu Dec 14 03:48:10 UTC 2017

I propose to add the following methods to `Bits` and `FiniteBits` classes:

class Bits a where

     bitSizeMaybe' :: Proxy a -> Maybe Int

class FiniteBits b where

     finiteBitSize' :: Proxy b -> Int

Rationale: working with an arbitrary `Bits a => a`, one may not have a value of type `a` as argument to `bitSizeMaybe` or `finiteBitSize`, and writing `undefined` makes me feel dirty.

More information about the Libraries mailing list