diff --git a/examples/Blog.hs b/examples/Blog.hs index c593c6d..83bb054 100644 --- a/examples/Blog.hs +++ b/examples/Blog.hs @@ -11,7 +11,7 @@ module Blog import Control.Monad.Base (MonadBase (..)) import Control.Monad.IO.Unlift (MonadUnliftIO(..), wrappedWithRunInIO) -import Control.Monad.Logger (MonadLogger, NoLoggingT (..)) +import Control.Monad.Logger (MonadLoggerIO, MonadLogger, NoLoggingT (..)) import Control.Monad.Reader import Control.Monad.Trans.Control (ComposeSt, MonadBaseControl (..), MonadTransControl (..), @@ -26,6 +26,7 @@ newtype BlogT m a = BlogT { unBlogT :: NoLoggingT (ReaderT ConnectionString m) a , MonadLogger , MonadReader ConnectionString , MonadIO + , MonadLoggerIO ) instance MonadUnliftIO m => MonadUnliftIO (BlogT m) where diff --git a/examples/Main.hs b/examples/Main.hs index 451044b..4bbf1b0 100644 --- a/examples/Main.hs +++ b/examples/Main.hs @@ -23,7 +23,7 @@ import Control.Monad (void) import Control.Monad (forM_) import Control.Monad.IO.Class (MonadIO, liftIO) import Control.Monad.IO.Unlift (MonadUnliftIO) -import Control.Monad.Logger (MonadLogger) +import Control.Monad.Logger (MonadLogger, MonadLoggerIO) import Control.Monad.Reader (MonadReader(..), runReaderT) import Control.Monad.Trans.Control (MonadBaseControl) import Data.Monoid ((<>)) @@ -165,6 +165,7 @@ runDB :: (MonadReader ConnectionString m, MonadIO m, MonadBaseControl IO m, MonadUnliftIO m, + MonadLoggerIO m, MonadLogger m) => SqlPersistT m a -> m a runDB query = do