Re: Dimensional analysis with fundeps (some physics comments)

11 Apr 2001


      At 2001-04-10 18:16, I wrote:
...
That's easy:
--
type Unit rep       = Dimensioned Zero Zero Zero rep;
instance (Real a) => Real (Unit a) where
    {
    -- put instances here
    };
--
Of course you'll have to appropriately declare superclasses of Real, such 
as Num, Ord, Show, Eq etc.
I've put this together in the enclosed files (same as previously posted 
to the libraries list), which derive from anatoli's work.


-- 
Ashley Yakeley, Seattle WA