Re: Dimensional analysis with fundeps (some physics comments)

[Ashley Yakeley]

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

MarkerType.hs

Dimension.hs