Re: [Haskell-cafe] How is default method signatures supposed to be used together with Generics

2012-12-12 Thread Johan Tibell
On Tue, Dec 11, 2012 at 9:31 PM, dag.odenh...@gmail.com wrote: > The practice seems to be to not export it, but maybe it would be a better > practice to export it. That way it can work without DefaultSignatures too, > and if you use the generic-deriving package it could work with zero > extensions

Re: [Haskell-cafe] How is default method signatures supposed to be used together with Generics

2012-12-12 Thread José Pedro Magalhães
Hi Johan, The error message is not ideal, but it does say that adding a Generic (Foo a) instance might solve the problem. I generally do not export classes like GHashable because they are closed; users should never need to provide more instances themselves. Also, exporting the class won't make th

[Haskell-cafe] How is default method signatures supposed to be used together with Generics

2012-12-11 Thread Johan Tibell
Hi, I noticed that you're not required to export the types mentioned in the default method signature. For example, you could have: default hashWithSalt :: (Generic a, GHashable (Rep a)) => Int -> a -> Int hashWithSalt salt = ghashWithSalt salt . from and not export the GHashable class. H