john at repetae.net
Tue Sep 13 21:09:59 EDT 2005
On Tue, Sep 13, 2005 at 08:55:09PM -0400, Cale Gibbard wrote:
> I should note that another small thing which would be desirable is a
> way to construct the derived instance of a class at a given type.
> Perhaps something along the lines of "instance Show MyType derived" or
> "derived instance Show MyType" which on its own would be handy
this would be useful, but we must be sure that all the constructors for
the type are in scope or this could be used to break encapsulation.
John Meacham - ⑆repetae.net⑆john⑈
More information about the Libraries