S.D.Mechveliani ([EMAIL PROTECTED]) wrote:
[I cc'd this to haskell as well]
: this is exactly the Domain conversion proposal, described in
: basAlgPropos. class Cast a b where cast :: a -> b -> a.
: The first argument is the sample for domain. The second casts to
: `a' after the given sample. For example cast (x^2+y (in Z[x,y)) 2
: maps 2 to polynomial in x,y
: - if the instance Cast (Pol ..) Integer
: is defined.
I knew you must have had something to obtain a
similar functionality this as well. It is needed.
Regards,
Marc