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

+1, but we should also do this for sizeOf and alignment in Foreign.Storable. On Dec 13, 2017 10:53 PM, "M Farkas-Dyck" wrote:

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. _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries