On Sat, Jan 26, 2008 at 11:03 AM, Denis Bueno <[EMAIL PROTECTED]> wrote:
> Have I made some sort of simple error, or am I going about this the
> wrong way altogether?
After some fooling around, I came up with something I think makes
sense. Let me know if this is the right/wrong thing. It seems to
work for the examples I've tried so far.
instance (Floating f, MetricSpace e f
,MetricSpace e' f, HZip l l (HCons (e', e') l')
,HFoldr ApplyDistSum Float l' f)
=> MetricSpace (HCons e l) f where
c `dist` c' = sqrt $ hFoldr ApplyDistSum (0::Float) (hZip c c')
Thanks again for your help, oleg.
--
Denis
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
