ANNOUNCE: reference 0.1

[Maciej Piechotka]

Reference is class which generalizes references and monads they exists
in. It means that IORef, STRef and others can be accessed by common
interface.

Currently it is of form:

class Reference r m where

1. There was a proposal to rename the class to MonadRef or
MonadReference. IMHO it would imply m -> r functional dependency and
therefore disallow the instances for both MVar IO and IORef IO

2. Should the functional dependencies or type famillies be introduced?
Personally I don't think so as I would like to allow all of the
following:

 - IORef IO
 - MVar IO
 - IORef (ContT IO)
 - MVar (ContT IO)

Any feedback mostly welcome. 

Regards
PS. Darcs repository will be available soon 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 836 bytes
Desc: This is a digitally signed message part
Url : http://www.haskell.org/pipermail/libraries/attachments/20100906/330cfd38/attachment.bin