私は失敗し、いくつかのログをして、計算のためのモナドを持っている唯一のモナド変換

Question

に外モナドの更新：

f2 :: Writer [String] b 

：

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

私はいくつかのログを失敗したがいません機能を持っています

f2のログを使ってf1のライターモナドを更新し、f2計算の出力をキャプチャする最良の方法は何ですか？現時点では私はこれをやっている：私は作家を中心に切り替え、どちらかのモナドは、問題を解決することはできません、別の計算で、内部モナドを更新するためにリフトを使用しています

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

。

Answer 1

あなたがf2を定義した場合、最も簡単な可能なアプローチは、それがthusly定義されていますf2をリファクタリングすることがあります

Writer w bは WriterT w Identity bのように定義されているので、それほど難しいことではありません

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

、およびIdentityモナドのdoesnあなたに何かを与えません。

次に、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

を行うことができ、あなたが代わりにrefができるため、それら任意のMonadWriterの俳優f2 ：

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

は、その定義を変更することはできないであなたは ホタルブクロが行うのと同様に、それをラップすることができますする必要があります

は MonadWriterから [String]引数がこのGHCプラグマを必要

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

：

{-# LANGUAGE FlexibleContexts #-} 

いつものように、プラグマar eモジュールの上に置きます。あなたの応答のための

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