Yesod /持久測試支架模式

Question

我是Haskell的新手，因此我無法吸收Yesod中使用的所有高級功能，例如type instances和equality constraints。我試圖在Yesod的測試框架中實現bracket pattern以獲得setUp/tearDown功能。這裏就是我這麼遠（通過編輯更新）：

module FishMother where 

import Control.Exception.Lifted 

import TestImport 
import Database.Persist 
import Database.Persist.GenericSql 

import Model 

insertYellowfinTuna :: OneSpec Connection FishId 
insertYellowfinTuna = runDB . insert $ Fish "Yellowfin Tuna" 

deleteFish :: FishId -> OneSpec Connection() 
deleteFish = runDB . delete 

withYellowfinTuna :: FishId -> OneSpec Connection() 
withYellowfinTuna = bracket insertYellowfinTuna deleteFish 

編譯錯誤如下：

tests/FishMother.hs:18:21: 
    Couldn't match type `FishId 
      -> Control.Monad.Trans.State.Lazy.StateT 
        (Yesod.Test.OneSpecData Connection) IO()' 
      with `Key SqlPersist Fish' 
    Expected type: FishId -> OneSpec Connection() 
     Actual type: (FishId 
      -> Control.Monad.Trans.State.Lazy.StateT 
      (Yesod.Test.OneSpecData Connection) IO()) 
      -> Control.Monad.Trans.State.Lazy.StateT 
      (Yesod.Test.OneSpecData Connection) IO() 
    In the return type of a call of `bracket' 
    In the expression: bracket insertYellowfinTuna deleteFish 
    In an equation for `withYellowfinTuna': 
    withYellowfinTuna = bracket insertYellowfinTuna deleteFish 

我在做什麼錯？

Answer 1

重讀這個問題後，我認爲最簡單的答案是使用a lifted bracket，它將處理所有的變壓器問題。我也會留下我的原始答案，因爲它可以更深入地瞭解發生的事情。

---

這種情況下的問題是使用liftIO。讓我們來看看類型簽名：

liftIO :: MonadIO m => IO a -> m a 

這意味着，你可以採取任意的I/O操作（例如，從文件中讀取），並在任何單子，讓我/要執行Ø運行，比如數據庫monad。然而，你試圖做的事實恰恰相反：將數據庫monad操作作爲普通的I/O操作。這不能直接完成，因爲數據庫操作依賴於額外的上下文，特別是數據庫連接，而monod不提供此額外上下文。

那麼如何將數據庫操作轉換爲IO操作？我們必須展開。解包是monad變壓器的一項常見活動，它可以被認爲是相互疊加的層。舉升（如liftIO）可讓您從較低層採取動作，並將其移至較高層。展開取消了一層。由於你如何拆封取決於特定的變壓器，因此每個變壓器都有自己的拆封功能。

對於Persistent，您可以使用withSqliteConn或您的後端等價物，請參閱Persistent chapter中的摘要以獲取更多詳細信息。