[Haskell-cafe] Re: Generic types

Adde adde at trialcode.com
Tue Jun 14 02:35:09 EDT 2005

Cale Gibbard <cgibbard <at> gmail.com> writes:

> Perhaps you want
> data UnitValue u n = 
>      (Unit u, Num n) => UnitValue {uUnit :: u, uValue :: n}

Thanks! That works...

As I understand it this is not using the above mentioned existential types
as I'm allowed to use record labels, right?

Any chance that someone could write out in english exactly what the above
declaration says? I'm trying to fit this in with what I allready know ;)


More information about the Haskell-Cafe mailing list