Sun Dec 9 17:47:24 PST 2007 [EMAIL PROTECTED]
* Replace WriterT with what used to be StrictWriterT
The strict version seems to be most geenral, and is what should be used
in most case. We can recover the behavior of the lazy transformer
by using a monoid instance like this:
data Lazy a = Lazy a
instance Monoid a => Monoid (Lazy a) where
mempty = Lazy mempty
mappend ~(Lazy a) ~(Lazy b) = Lazy (mappend a b)
./proofs/StrictWriter.txt -> ./proofs/Writer.txt
M ./monadLib.cabal -1 +1
M ./src/MonadLib.hs -71 +21
M ./src/Monads.hs -29 +13
M ./tests/WritersEvaluation.hs -20 +18
_______________________________________________
Cvs-libraries mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-libraries
