
27 Jul
2009
27 Jul
'09
1:32 p.m.
On Mon, 2009-07-27 at 16:32 +0100, Jules Bean wrote:
The whole point of SYB is not to break abstraction.
A Data instance for Data.Fixed which exposes the Integer inside would render it useless for the kind of things I expect people do with SYB.
Um, well I'm just doing the same thing as Complex and Ratio. They also expose their constructors explicitly and both their Data instances expose their constituent parts. And a Fixed really does contain an Integer, just as Rational contains two. -- Ashley Yakeley