sfogarty

import Control.Monad.Trans.Writer
 
type Rubric = [Bool] -> Int
data TestSeries = Test String (IO Bool) | Block String [TestSeries] Rubric
 
type Spec a = Writer [TestSeries] a
 
shouldBe :: Eq a => a -> a -> IO Bool
shouldBe x y = return (x == y)