| | I am finding functional dependencies confusing. (I suspect I am
| | not alone.) Should the following code work?
| |
| | class HasConverter a b | a -> b where
| |convert :: a -> b
| |
| | instance (HasConverter a b,Show b) => Show a where
| |show value = show (convert value)
|
| I
Mark P Jones wrote:
> | I am finding functional dependencies confusing. (I suspect I am
> | not alone.) Should the following code work?
> |
> | class HasConverter a b | a -> b where
> |convert :: a -> b
> |
> | instance (HasConverter a b,Show b) => Show a where
> |show value = show (con
| I am finding functional dependencies confusing. (I suspect I am
| not alone.) Should the following code work?
|
| class HasConverter a b | a -> b where
|convert :: a -> b
|
| instance (HasConverter a b,Show b) => Show a where
|show value = show (convert value)
It's a separate issue