[project @ 2003-07-08 16:04:54 by panne]
authorpanne <unknown>
Tue, 8 Jul 2003 16:04:54 +0000 (16:04 +0000)
committerpanne <unknown>
Tue, 8 Jul 2003 16:04:54 +0000 (16:04 +0000)
Export TestResult, too

Debug/QuickCheck/Batch.hs

index 3b7c6d5..faaa808 100644 (file)
@@ -84,6 +84,7 @@ module Debug.QuickCheck.Batch
                        --      [TestOptions -> IO TestResult] -> IO ()
    , defOpt            -- :: TestOptions
    , TestOptions (..)
+   , TestResult (..)
    , isBottom          -- :: a -> Bool
    , bottom            -- :: a                 {- _|_ -}
    ) where