Hi,
Below are two questions concerning overloading in a sub-class.
Thanks,
Pat
class Numb0 a where
(+) :: a - a - a
negate :: a - a
instance Numb0 Int where
x + y = y
negate x = x
-- Are + and negate part of the signature of Numb1?
class Numb0 a = Numb1 a where
-- Is it possible to
On 11-08-17 12:10 PM, Patrick Browne wrote:
-- Are + and negate part of the signature of Numb1?
class Numb0 a = Numb1 a where
No.
-- Is it possible to override these operations in instances of Numb1?
-- Something like:
-- instance Numb1 Float where
--x + y = y
--negate x = x
