Haskell/Persistent-Sqlite: "Nessuna istanza per (Control.Monad.Trans.Resource.MonadResource IO)"

Question

Ho cercato di trovare un modo semplice e intuitivo per utilizzare i database con Haskell. Ho preso questo codice dallo Yesod book e ho provato a ripulirlo in modo che fosse più facile da capire e da usare.

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

Questo codice quasi opere, ma ottengo il seguente errore, che non sono stato in grado di risolvere.

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 } 

Qualsiasi suggerimento che mi indicasse la giusta direzione sarebbe apprezzato.

Answer 1

Con

main = do 
    updateDB "Frank Silver" 40 

il tipo di updateDB "Frank Silver" 40 si inferisce essere IO(), dato che è il tipo predefinito per main (deve avere tipo IO a per qualche a). Ma dalla definizione, il suo tipo è dedotto per essere MonadRescource m => m a per alcuni a (probabilmente a =(), ma non sono sicuro), e non c'è instance MonadResource IO. Quindi, avete bisogno di qualcosa di trasformare la updateDB a un IO azione, il modo normale per farlo è runResourceT, che trasforma un ResourceT m a in un m a (qui m = IO), così

main = runResourceT $ updateDB "Frank Silver" 40 

opere.