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