IO가 아닌 모나드에서 HUnit을 테스트 프레임 워크와 함께 사용할 수 있습니까?

Question

나는 현재 다음 테스트 코드가 있습니다

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

이 좀 작동을하지만 지저분한입니다. 나는 오히려 테스트중인 다양한 것들을 반환하지 않고 무언가를 쓸 수있게되었고, 대신 그들이 이해할 수있는 주장을했다.

나는 Assertable 클래스가 있음을 알았지 만, 나는 아마 많은 것들을 재발 명해야 할 것 같다.

Answer 1

모나드가 IO a 유형의 IO 계산을 반환하지 않는 이유는 무엇입니까? 순수한 값입니까?

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 

보너스가 하나 모나드에 의해 시험의 컬렉션을 반환 할 수 있다는 것입니다 : 같은 의견, 모나드가 MonadIO의 인스턴스 사소한 인 경우 이후 는 는 모나드 순수 계산을 할 수 있다고 가정 계산, 그냥 목록에 모나드와 마찬가지.