[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
> 
> 	Keean.

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?

Thanks,

-Si

-- 
Simon D. Foster <u1sf at dcs.shef.ac.uk>
Sheffield University



More information about the Haskell mailing list