管道是否有'liftIO`等價物？

Question

我正在寫一個增長很大的管道，並帶有嵌套monad變換。將lift的每個yield或await調用到基地conduitM是一項繁瑣的工作。更不用說每次添加或撤消一層轉換時，我需要在每個可能的位置更改lift的數量。

我一直在尋找類似的功能liftIO，但不是提升了IO操作應該解除yield或await到基於ConduitM任意變換單子，但我似乎無法找到一個。有沒有辦法實現這樣的事情？

---

編輯：響應@ BradleyHardy的答案，在這裏我提供一個具體的例子：

{-# LANGUAGE LambdaCase #-} 

import Control.Monad     as MON 
import Control.Monad.IO.Class   as MIO 
import Control.Monad.Trans.Class  as MTC 
import Control.Monad.Trans.Maybe  as MTM 
import Data.Conduit      as CDT 
import System.IO      as IO 

stdinS :: Source IO String 
stdinS = void . runMaybeT . forever $ do 
    (liftIO isEOF) >>= \case 
     True -> mzero 
     False -> (lift . yield) =<< (liftIO getLine) 

myK :: Sink String IO() 
myK = void . runMaybeT . forever . runMaybeT $ do 
    a <- maybe (lift mzero) return =<< (lift . lift $ await) 
    b <- if a == "listen" 
     then maybe (lift mzero) return =<< (lift . lift $ await) 
     else mzero 
    liftIO . putStrLn $ "I heard: " ++ b 

main :: IO() 
main = do 
    stdinS $$ myK 

你會如何改變myK把ConduitM在堆棧的頂部？不可否認，在這個特殊的例子中，使用MaybeT是過於複雜的，但是在我的實際（更大的）導管MaybeT中，結構比例如遞歸。

Answer 1

我認爲更好的方法是使用包含的Data.Conduit.Lift模塊。這與將所有runMaybeT，runStateT等替換爲runMaybeC和runStateC一樣簡單。瞧，ConduitM被推到變壓器堆棧的頂部。

Answer 2

ConduitM是本身一個單子轉換，而且，看Haddock page它，我們可以看到，它定義實例以MonadState，MonadReader等，這應該表明，其實意圖模式是有ConduitM在變壓器堆棧的頂部，在這種情況下，您不需要將任何操作放入其中。

實際上，它甚至爲MonadBase定義了一個實例，它允許您從位於堆棧底部的monad提起操作（使用liftBase函數），以便重新排序堆棧意味着它很難要訪問新的東西在底部，MonadBase爲你解決這個問題。不過，如果您的底部有IO，這可能不是很有幫助。

如果可能的話，我建議您嘗試重新排序變壓器堆棧，以便將ConduitM置於頂端。

編輯：另一種選擇是創建自己的類，MonadConduit，它定義廣義yield和await功能，並添加實例爲ConduitM，你在它上面使用的所有其他變壓器。如果可能的話，我認爲這不像重新排序堆棧那麼優雅。