Haskell/Persistent-Sqlite: "(Control.Monad.Trans.Resource.MonadResource IO için örnek yok"

Question

Haskell ile veritabanlarını kullanmak için basit ve sezgisel bir yol bulmaya çalışıyorum. Bu kodu Yesod book'dan aldım ve bunu daha kolay anlayabilmek ve kullanabilmek için temizlemeye çalıştım.

{-# 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 

Bu kod neredeyse çalışır, ama ben çözmek edemedik aşağıdaki hatayı alıyorum.

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 } 

Doğru yönde işaret eden önerileriniz için teşekkür ederiz. o main için varsayılan türü (bazı a için türünü IO a olması gerekir) beri

main = do 
    updateDB "Frank Silver" 40 

ile

Answer 1

updateDB "Frank Silver" 40 türü, IO() olduğu anlaşılmaktadır. Ancak, tanımdan, türünün, a (muhtemelen a =(), ancak emin değilim) için MonadRescource m => m a olduğu ve instance MonadResource IO numarası olduğu anlaşılmaktadır. Bir IO eyleme updateDB dönüştürmek için bir şeye ihtiyacım Yani, bunu yapmak için, normal şekilde, bir m a (burada m = IO) içine ResourceT m a dönüştüren, hangi nedenle

main = runResourceT $ updateDB "Frank Silver" 40 

eser runResourceT olduğunu.