仅在monad transformer中更新外部monad

Question

我有一个用于计算的monad，它可能会失败并执行一些日志记录：

f1 :: WriterT [String] (Either String) a

我有一个函数，它不会失败，但会做一些日志记录：

f2 :: Writer [String] b

使用f2中的日志更新f1中的写入器monad并捕获f2计算的输出的最佳方法是什么？目前我正在做这件事：

f2result <- (\(r,l) -> do {tell l; return r}) (runWriter f2)

我正在使用lift用不同的计算更新内部的monad，所以切换Writer和任一monad都不能解决问题。

Answer 1

如果您定义了f2，最简单的方法可能是重构f2，这样就定义了它：

 f2 :: Monad m => WriterT [String] m b

这应该不会太难，因为Writer w b被定义为WriterT w Identity b，而Identity monad没有提供任何东西。

然后你就可以通过执行f1 >> f2来链接它们。

如果你不能重新定义f2，你可以用适当的签名定义你自己的签名：

 f2' :: Monad m => WriterT [String] m b
 f2' = WriterT . return $ runWriter f2

如果您有一堆f2要包装，您总是可以定义一个函数来为您包装它们

 wrap :: Monad m => Writer w b -> WriterT w m b
 wrap = WriterT . return . runWriter

所以你可以做f1 >> wrap f2a >> wrap f2b >> wrap f2c ...

Answer 2

作为rampion答案的后续，您可以在任何MonadWriter上重构f2

f2 :: MonadWriter [String] m => m a

如果无法更改其定义，您可以像rampion一样对其进行包装：

f2' :: MonadWriter [String] m => m a
f2' = do let (a,w) = runWriter f2
         tell w
         return a

MonadWriter的[String]参数需要这个GHC杂注：

{-# LANGUAGE FlexibleContexts #-}

一如既往，编译指示被放在模块的顶部。

在评论中，rampion给出了在此设置中包装函数的一个版本：

wrap :: MonadWriter w m => Writer w b -> m b
wrap = uncurry (<<) . (return *** tell) . runWriter 
  where (<<) = flip (>>)