Dave Bayer wrote:
> I've since done some experiments with Template Haskell, and I see
> that Arie Peterson has suggested how you could proceed. However, are
> you sure that you can't find a way to get this to work in vanilla
> Haskell without extensions? Or, for that matter, are you sure there
> i
On Jun 29, 2007, at 10:07 AM, Nicolas Frisby wrote:
I wrote a combination reader/writer monad (a la the RWS monad in the
mtl) and I find myself wanting to use multiple instances of it in the
same stack of transformers. The functional dependencies prevent this
from working out.
I found myself i
Nicolas Frisby wrote:
| I wrote a combination reader/writer monad (a la the RWS monad in the
| mtl) and I find myself wanting to use multiple instances of it in the
| same stack of transformers. The functional dependencies prevent this
| from working out. The class is called MonadRW and the transf
Hello Nicolas,
Friday, June 29, 2007, 9:07:38 PM, you wrote:
> I'm rather unfamiliar with Template Haskell, but it sounds like it
> might fit the bill. Although, if I recall correctly, instances and
> type declarations splicing are yet to be implemented in GHC?
instances - definitely not. i've u
I wrote a combination reader/writer monad (a la the RWS monad in the
mtl) and I find myself wanting to use multiple instances of it in the
same stack of transformers. The functional dependencies prevent this
from working out. The class is called MonadRW and the transformer is
called RWT.
I find m