On Mon, 8 Jun 1998, Peter White wrote:
| What I really want is to define a pool of reusable resources. So
| I want a class declaration something like:
|
| class ResourcePool p where
| newp :: p -> e -> p -- adds new element e to the resource pool p
Don't you want to use constructor classes? Presumably, the type `p' will
have only one associated `e' with it, which can be expressed as a
parameter to `p'.
class ResourcePool p where
newp :: p e -> e -> p e
Hope this helps,
Koen.
--
Koen Claessen,
[EMAIL PROTECTED],
http://www.cs.chalmers.se/~koen,
Chalmers University of Technology.
