module Test.Util.Framework
( module Test.HUnit
, module Test.QuickCheck
, module Test.QuickCheck.All
, module Test.QuickCheck.Arbitrary
, module Test.QuickCheck.Function
, module Test.QuickCheck.Gen
, module Test.QuickCheck.Modifiers
, module Test.QuickCheck.Monadic
, module Test.QuickCheck.Poly
, module Test.QuickCheck.Property
, module Test.QuickCheck.State
, module Test.QuickCheck.Test
, module Test.QuickCheck.Text
, module Test.Framework
, module Test.Framework.Providers.HUnit
, module Test.Framework.Providers.QuickCheck2
, HTest
, TTest
, qAssert
, QState
, qTest
, SingleResult
) where
import System.Random (StdGen)
import Test.HUnit hiding (Test, Testable, assert, State, test)
import qualified Test.HUnit
#ifdef QUICKCHECK26
import Test.QuickCheck hiding (Testable, interrupted)
#else
import Test.QuickCheck hiding (Testable)
#endif /* #ifdef QUICKCHECK26 */
import Test.QuickCheck.All
import Test.QuickCheck.Arbitrary
import Test.QuickCheck.Function
import Test.QuickCheck.Gen
import Test.QuickCheck.Modifiers
import Test.QuickCheck.Monadic hiding (assert)
import qualified Test.QuickCheck.Monadic
import Test.QuickCheck.Poly
import Test.QuickCheck.Property hiding (Result(reason))
import qualified Test.QuickCheck.Property
import Test.QuickCheck.State hiding (State)
import qualified Test.QuickCheck.State
#ifdef QUICKCHECK26
import Test.QuickCheck.Test hiding (test, interrupted)
#else
import Test.QuickCheck.Test hiding (test)
#endif /* #ifdef QUICKCHECK26 */
import qualified Test.QuickCheck.Test
import Test.QuickCheck.Text
import Test.Framework hiding (Test)
import qualified Test.Framework
import Test.Framework.Providers.HUnit
import Test.Framework.Providers.QuickCheck2
type HTest = Test.HUnit.Test
type TTest = Test.Framework.Test
qAssert :: (Monad m) => Bool -> PropertyM m ()
qAssert = Test.QuickCheck.Monadic.assert
type QState = Test.QuickCheck.State.State
qTest :: QState -> (StdGen -> Int -> Prop) -> IO Result
qTest = Test.QuickCheck.Test.test
type SingleResult = Test.QuickCheck.Property.Result