HUnit'i IO'dan başka bir monadde test çerçevesiyle kullanmak mümkün mü?

Question

Şu anda aşağıdaki test kodu vardır:

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 = ... 

Bu tür çalışır, ancak dağınık. Test altındaki çeşitli şeyleri geri göndermeye gerek kalmadan bir şeyler yazmayı ve bunun yerine anlamlı olduklarını iddia ettim.

Assertable sınıfının olduğunu görüyorum, ama sanırım muhtemelen bir sürü şeyi yeniden icat etmek zorundayım.

Answer 1

Neden yalnızca sizin monad'ınız IO a türünde bir IO hesaplaması döndürüyor, bu değeri nedir?

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 

Bonus tek monadic tarafından testlerin bir koleksiyon geri dönebilirler şudur: olarak Yorumunuza, monad MonadIO örneğidir önemsiz olduğu durumda bu yana , monad saf hesaplama izin verdiğini varsayalım hesaplama, sadece liste monadında olduğu gibi.