Тестирование класса с помощью MonadIO: ошибка «Нет экземпляра или метода по умолчанию»

Question

У меня есть класс, который выполняет некоторые операции ввода-вывода. Я обобщил его немного с помощью MonadIO:

class MonadIO m => MonadDB m where 
    getSomething :: String -> m Something 
    getSomething s = -- do some IO stuff with liftIO 

В тесте я хотел бы заменить реализацию, так что я могу проверить функцию, которая использует getSomething, поэтому я делаю это:

newtype WorkingDBM a = WorkingDBM (Identity a) 
    deriving (Functor, Applicative, Monad) 

instance MonadDB WorkingDBM where 
    getSomething s = return $ Something "blah" 

без объявление экземпляра код предупреждает:

• No explicit implementation for ‘liftIO’ 
• In the instance declaration for ‘MonadIO WorkingDBM’ 

Так я добавляю:

instance MonadIO WorkingDBM 

который, конечно, компилируется.

Запуск тестов в Hspec вызывает эту ошибку во время выполнения:

uncaught exception: NoMethodError (test/BlahSpec.hs:45:10-33: No instance nor default method for class operation liftIO 

Я попытался с помощью liftIO из Control.Monad.IO.Class:

-- C is the qualified import for Control.Monad.IO.Class 
liftIO = C.liftIO 

, но это приводит к исключению в NonTermination выполнения:

uncaught exception: NonTermination (<<loop>>) 

Любые идеи, как я могу решить t его, пожалуйста?

Answer 1

Одним из решений является поддержка реального IO в WorkingDBM. Например:

newtype WorkingDBM a = WorkingDBM (IO a) -- N.B. IO not Identity 
    deriving (Functor, Applicative, Monad) 

instance MonadIO WorkingDBM where 
    liftIO = WorkingDBM 

Производный экземпляр для MonadIO также будет работать нормально; но пустой экземпляр не будет, так как это эквивалентно

instance MonadIO WorkingDBM where 
    liftIO = undefined 

, который, очевидно, взрывают в первый раз, когда вы пытаетесь на самом деле сделать IO.