From 669b999d16d1eb0f1406a074eb8067bcd186b053 Mon Sep 17 00:00:00 2001 From: ncaq Date: Thu, 8 Dec 2022 23:52:05 +0900 Subject: [PATCH 1/2] feat(Control.Monad.Writer.CPS): re export runWriterT Why is this modification necessary? Writer.Strict, the transformers exposes the internal field of WriterT, which is runWriterT. However, for Control.Monad.Trans.Writer.CPS, it does not expose the internal fields and is a separate function, so it needs to be added to the import/export list. --- Control/Monad/Writer/CPS.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Control/Monad/Writer/CPS.hs b/Control/Monad/Writer/CPS.hs index ad9d34d..faf0ee2 100644 --- a/Control/Monad/Writer/CPS.hs +++ b/Control/Monad/Writer/CPS.hs @@ -33,6 +33,7 @@ module Control.Monad.Writer.CPS ( mapWriter, -- * The WriterT monad transformer WriterT, + runWriterT, execWriterT, mapWriterT, module Control.Monad.Trans, @@ -42,4 +43,4 @@ import qualified Control.Monad.Writer.Class as MonadWriter import Control.Monad.Trans import Control.Monad.Trans.Writer.CPS ( Writer, runWriter, execWriter, mapWriter, - WriterT, execWriterT, mapWriterT) + WriterT, runWriterT, execWriterT, mapWriterT) From c1d7fa41411cb01315190cffa3aaa58e0492a9f2 Mon Sep 17 00:00:00 2001 From: ncaq Date: Fri, 9 Dec 2022 00:28:47 +0900 Subject: [PATCH 2/2] feat(Control.Monad.Writer.CPS): export writerT The same is probably necessary for writerT since the inside was covered up as well. I gave up on writer because the name was covered. --- Control/Monad/Writer/CPS.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Control/Monad/Writer/CPS.hs b/Control/Monad/Writer/CPS.hs index faf0ee2..a506736 100644 --- a/Control/Monad/Writer/CPS.hs +++ b/Control/Monad/Writer/CPS.hs @@ -33,6 +33,7 @@ module Control.Monad.Writer.CPS ( mapWriter, -- * The WriterT monad transformer WriterT, + writerT, runWriterT, execWriterT, mapWriterT, @@ -43,4 +44,4 @@ import qualified Control.Monad.Writer.Class as MonadWriter import Control.Monad.Trans import Control.Monad.Trans.Writer.CPS ( Writer, runWriter, execWriter, mapWriter, - WriterT, runWriterT, execWriterT, mapWriterT) + WriterT, writerT, runWriterT, execWriterT, mapWriterT)