Haskell/Persistent-Sqlite : "(Control.Monad.Trans.Resource.MonadResource IO)에 대한 인스턴스가 없습니다."

Question

저는 Haskell에서 데이터베이스를 사용하는 간단하고 직관적 인 방법을 고안해 왔습니다. 이 코드를 Yesod book에서 가져 와서 이해하고 사용하기 쉽도록 정리하려고했습니다.

{-# LANGUAGE QuasiQuotes, TemplateHaskell, TypeFamilies, OverloadedStrings #-} 
{-# LANGUAGE GADTs, FlexibleContexts #-} 

import Database.Persist 
import Database.Persist.Sqlite (withSqliteConn, runSqlConn, runMigration) 
import Database.Persist.TH (share, mkPersist, mkMigrate, sqlSettings, persist) 

share [mkPersist sqlSettings, mkMigrate "migrateAll"] [persist| 
Person        -- Table name 
    name String      -- String value 
    age Int Maybe     -- Numerical value 
|] 

updateDB x y = withSqliteConn "data.db" $ runSqlConn $ do 
    runMigration migrateAll   -- Creates "Person" table if one doesn't exist 
    insert $ Person x $ Just y  -- Inserts values into .db file 

main = do 
    updateDB "Frank Silver" 40  -- adds name "Frank Silver" and age "40" to data.db file 

이 코드 거의 작품,하지만 난 해결하지 못하고 다음과 같은 오류가 발생합니다.

No instance for (Control.Monad.Trans.Resource.MonadResource IO) 
     arising from a use of `updateDB' 
    Possible fix: 
     add an instance declaration for 
     (Control.Monad.Trans.Resource.MonadResource IO) 
    In a stmt of a 'do' block: updateDB "Frank Silver" 40 
    In the expression: do { updateDB "Frank Silver" 40 } 
    In an equation for `main': main = do { updateDB "Frank Silver" 40 } 

올바른 방향으로 나를 가리키는 모든 의견을 보내 주시면 감사하겠습니다. 그 main의 기본 유형 (이 일부 a에 대한 유형 IO a이 있어야합니다)이 이후

main = do 
    updateDB "Frank Silver" 40 

와

Answer 1

는 updateDB "Frank Silver" 40의 유형, IO() 것으로 추정된다. 그러나이 정의에서 그 유형은 (아마도 a =()이지만 아마도 MonadRescource m => m a)으로 추론되며, 어떤 것이 든 instance MonadResource IO이 아닙니다. 당신이 IO 행동에 updateDB를 변환하는 뭔가가 필요 그래서, 그 작업을 수행하는 일반적인 방법은, m a (여기 m = IO)에 ResourceT m a 변환하는, 그래서

main = runResourceT $ updateDB "Frank Silver" 40 

작품 runResourceT입니다.