Numeric Classes Quibble
Ashley Yakeley
ashley@semantic.org
Mon, 8 Apr 2002 20:58:03 -0700
Currently 'floor' doesn't work on Integers. I think this is undesirable.
I submit that all the members of RealFrac: 'properFraction', 'truncate',
'round', 'ceiling' and 'floor' be moved up to Real. I can already
construct them for Integral (the other subclass of Real):
properFraction' :: (Integral a,Integral b) => a -> (b,a);
properFraction' a = (fromIntegral a,0);
(all the others are derived)
--
Ashley Yakeley, Seattle WA