हास्केल/पर्सिस्टेंट-स्क्लाइट: "कोई उदाहरण नहीं है (Control.Monad.Trans.Resource.MonadResource IO)"

Question

मैं हास्केल के साथ डेटाबेस का उपयोग करने के लिए एक सरल और सहज तरीके से आने का प्रयास कर रहा हूं। मैंने इस कोड को 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 } 

सही दिशा में मुझे इंगित करने वाले किसी भी सुझाव की सराहना की जाएगी।

Answer 1

साथ

main = do 
    updateDB "Frank Silver" 40 

updateDB "Frank Silver" 40 के प्रकार, IO() होने के लिए लगाए गए अनुमान के बाद से है कि main के लिए डिफ़ॉल्ट प्रकार (यह कुछ a के लिए प्रकार IO a होनी चाहिए) है है। लेकिन परिभाषा से, a (शायद a =(), लेकिन मुझे यकीन नहीं है) के लिए इसका प्रकार MonadRescource m => m a होने का अनुमान लगाया गया है, लेकिन मुझे यकीन नहीं है), और instance MonadResource IO नहीं है। तो अगर आप एक IO कार्रवाई करने के लिए updateDB को बदलने के लिए कुछ चाहिए, ऐसा करने के लिए सामान्य तरीके runResourceT, तो

main = runResourceT $ updateDB "Frank Silver" 40 

काम करता है, जो एक m a (यहाँ m = IO) में एक ResourceT m a बदल देती है।