Adding binarySize to Binary

Donald Bruce Stewart dons at
Sat Feb 3 22:00:57 EST 2007

> Hello
> I keep wanting something like:
> binarySize :: Binary a => Proxy a -> (Int,Maybe Int)
> in the Data.Binary for returning the minimum and maximum (or Nothing
> for infinite) space requirements for objects of a given type.
> Proxy is just defined as "data Proxy t = Proxy", but omitting it
> is also possible. Would other people consider this an useful
> addition?

Yes, I've thought this would be useful too. A la 'sizeOf' in Storable.
Should it be a member of the Binary class?

-- Don

More information about the Libraries mailing list