opentheory-primitive-1.0: src/OpenTheory/Primitive/Test.hs

{- |
Module: $Header$
Description: OpenTheory QuickCheck interface
License: MIT

Maintainer: Joe Hurd <joe@gilith.com>
Stability: provisional
Portability: portable

OpenTheory QuickCheck interface
-}
module OpenTheory.Primitive.Test
  ( check )
where

import Test.QuickCheck

checkArgs :: Test.QuickCheck.Args
checkArgs = Test.QuickCheck.stdArgs { maxSuccess = 100 }

check :: Testable prop => String -> prop -> IO ()
check desc prop =
  do putStr desc
     Test.QuickCheck.quickCheckWith checkArgs prop