summaryrefslogtreecommitdiff
path: root/src/full/Agda/Utils/QuickCheck.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Utils/QuickCheck.hs')
-rw-r--r--src/full/Agda/Utils/QuickCheck.hs16
1 files changed, 0 insertions, 16 deletions
diff --git a/src/full/Agda/Utils/QuickCheck.hs b/src/full/Agda/Utils/QuickCheck.hs
deleted file mode 100644
index 137a43f..0000000
--- a/src/full/Agda/Utils/QuickCheck.hs
+++ /dev/null
@@ -1,16 +0,0 @@
-module Agda.Utils.QuickCheck
- ( module Test.QuickCheck
- , module Agda.Utils.QuickCheck
- ) where
-
-import Test.QuickCheck hiding ((===))
-
-isSuccess :: Result -> Bool
-isSuccess Success{} = True
-isSuccess _ = False
-
-quickCheck' :: Testable prop => prop -> IO Bool
-quickCheck' p = fmap isSuccess $ quickCheckResult p
-
-quickCheckWith' :: Testable prop => Args -> prop -> IO Bool
-quickCheckWith' args p = fmap isSuccess $ quickCheckWithResult args p