Re: [Haskell-cafe] advice: instantiating/duplicating modules

2007-06-30 Thread Arie Peterson
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

Re: [Haskell-cafe] advice: instantiating/duplicating modules

2007-06-29 Thread Dave Bayer
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

Re: [Haskell-cafe] advice: instantiating/duplicating modules

2007-06-29 Thread Arie Peterson
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

Re: [Haskell-cafe] advice: instantiating/duplicating modules

2007-06-29 Thread Bulat Ziganshin
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

[Haskell-cafe] advice: instantiating/duplicating modules

2007-06-29 Thread Nicolas Frisby
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