Ist es möglich, HUnit mit Test-Framework in einer anderen Monade als IO zu verwenden?

Question

ich zur Zeit den folgenden Testcode:

testUpdate :: Test 
testUpdate = testCase "update does change artist" $ do 
    (created, Just revised, parents) <- mbTest $ do 
    Just editor <- fmap entityRef <$> findEditorByName "acid2" 

    created <- create editor startWith 
    let artistId = coreMbid created 

    newRev <- update editor (coreRevision created) expected 

    editId <- openEdit 
    includeRevision editId newRev 
    apply editId 

    found <- findLatest artistId 
    parents <- revisionParents newRev 

    return (created, found, parents) 

    coreData revised @?= expected 

    assertBool "The old revision is a direct parent of the new revision" $ 
    parents == [coreRevision created] 

    where 
    startWith = ... 
    expected = ... 

Dieses irgendwie funktioniert, aber es ist chaotisch. Viel lieber wäre ich in der Lage, etwas zu schreiben, ohne die verschiedenen zu testenden Dinge zurückgeben zu müssen und stattdessen die Behauptungen zu haben, wo sie Sinn machen.

Ich sehe dort ist die Assertable Klasse, aber es scheint, als würde ich am Ende neu erfinden eine Menge Zeug.

Answer 1

Warum nicht einfach Ihre Monade eine IO-Berechnung des Typs IO a zurückgeben, die ein reiner Wert ist? Da, wie in Ihrem Kommentar, der Fall, wenn die Monade eine Instanz von MonadIO ist trivial, nehmen , dass die Monade reine Berechnung erlaubt:

newtype M a = M {runM :: ....} 
instance Monad M where 
    ... 

makeTest :: M Assertion 
makeTest = do 
    created <- .. 
    found <- .. 
    parents <- .. 
    let test1 = coreData revised @?= expected 
    ... 
    let test2 = assertBool "The old revision..." $ 
        parents == [coreRevision create] 

    return $ test1 >> test2 

testUpdate :: Test 
testUpdate = testCase "update does change artist" $ runM makeTest 

Ein Bonus ist, dass Sie eine Sammlung von Tests, die von einer monadischen zurückkehren konnten Berechnung, genau wie Sie in der Liste Monade.