Hi,
How do you instantiate from classes with method type constraints, such as this
one:
class C a where
m :: (Num b) => a -> b
This type declaration for 'm' probably doesn't mean what you think it
does. I think what you want is "m takes an item of type 'a' and returns
an item of a particular type in the Num class, but I'm not going to tell
you which one", but what this declaration really means "m takes an item
of type 'a' and will return an item of any type you wish, so long as it
is in the Num class".
In this context 'a' and 'b' are very different kinds of type variables:
'a' is fixed, but 'b' is universally quantified.
I have been trying for some time now but everything I have tried fails.
In particular, what I want to do is something like this:
class Rect a where
width :: (Num b) => a -> b
height :: (Num b) => a -> b
data Num a => PRect a = PRect (a, a) (a, a) deriving (Eq, Show)
data IRect = IRect (Int, Int) (Int, Int) deriving (Eq, Show)
instance Rect IRect where
width ( IRect (x1, _ ) (x2, _ ) ) = abs(x2 - x1)
height ( IRect ( _, y1) ( _, y2) ) = abs(y2 - y1)
In this case, efforts to intantiate IRect from Rect fails with error messages
like: (using GHCI)
-----8<-----
classtest2.hs:29:
Cannot unify the type-signature variable `b' with the type `Int'
Expected type: b
Inferred type: Int
In the expression: x2 - x1
In the first argument of `abs', namely `(x2 - x1)'
-----8<-----
The easy fix is to add a call to 'fromIntegral', eg
.... = fromIntegral (abs (x2 - x1))
but again, it probably doesn't mean what you want it to mean.
Probably what you want is something like this (but requires GHC extensions):
{-# OPTIONS -fglasgow-exts #-}
class Num b => Rect a b | a -> b where
width :: a -> b
height :: a -> b
instance Rect IRect Int where
width ( IRect (x1, _ ) (x2, _ ) ) = abs(x2 - x1)
height ( IRect ( _, y1) ( _, y2) ) = abs(y2 - y1)
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
