Testen einer Typklasse mit MonadIO: "Keine Instanz oder Standardmethode" Fehler

Question

Ich habe eine Typklasse, die einige IO ausführt. Ich habe es verallgemeinert ein wenig mit MonadIO:

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

In einem Test möchte ich die Implementierung ersetzen, damit ich eine Funktion testen, die getSomething verwendet, so dass ich dies tun:

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

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

Ohne ein Beispiel Erklärung warnt der Code:

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

So füge ich:

instance MonadIO WorkingDBM 

was natürlich kompiliert.

die Tests in HSPEC Lauf Ursachen dieser Laufzeitfehler:

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

ich versucht habe, mit liftIO von Control.Monad.IO.Class:

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

aber dies führt zu einer NonTermination Laufzeitausnahme:

uncaught exception: NonTermination (<<loop>>) 

Irgendwelche Ideen, wie ich t auflösen kann sein bitte?

Answer 1

Eine Lösung ist die Unterstützung von IO in WorkingDBM. Zum Beispiel:

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

instance MonadIO WorkingDBM where 
    liftIO = WorkingDBM 

Die abgeleitete Instanz für MonadIO auch gut funktioniert; aber die leere Instanz wird nicht, wie es entspricht

ist

instance MonadIO WorkingDBM where 
    liftIO = undefined 

, die offensichtlich das erste Mal sprengen werden Sie tatsächlich versuchen, zu IO tun.