[Haskell] XML Serialization and type constraints
Simon D. Foster
u1sf at dcs.shef.ac.uk
Thu Aug 26 05:20:21 EDT 2004
On Thu, 2004-08-26 at 09:47, MR K P SCHUPKE wrote:
> You can do it using overlapping instances...
> data A
> data B b
> data C c
> instance Encode A where ...
> instance Encode b => Encode (B b) where
> instance Encode c => Encode (C c) where
I don't understand what you mean; that code segment doesn't require
overlapping instances. How can this help anyway since Encode (or Mixin
or Hook) is a two parameter type-class?
Simon D. Foster <u1sf at dcs.shef.ac.uk>
More information about the Haskell