smallcheck-1.2.1: A property-based testing library
Copyright(c) Colin Runciman et al.
LicenseBSD3
MaintainerRoman Cheplyaka <roma@ro-che.info>
Safe HaskellSafe
LanguageHaskell2010

Test.SmallCheck.Drivers

Description

You should only need this module if you wish to create your own way to run SmallCheck tests

Synopsis

Documentation

smallCheck :: Testable IO a => Depth -> a -> IO () Source #

A simple driver that runs the test in the IO monad and prints the results.

smallCheckM :: Testable m a => Depth -> a -> m (Maybe PropertyFailure) Source #

Use this if:

  • You need to run a test in a monad different from IO
  • You need to analyse the results rather than just print them

smallCheckWithHook :: Testable m a => Depth -> (TestQuality -> m ()) -> a -> m (Maybe PropertyFailure) Source #

Like smallCheckM, but allows to specify a monadic hook that gets executed after each test is run.

Useful for applications that want to report progress information to the user.

test :: Testable m a => a -> Property m Source #

type Reason = String Source #

An explanation for the test outcome.