| Copyright | (c) Colin Runciman et al. |
|---|---|
| License | BSD3 |
| Maintainer | Roman Cheplyaka <roma@ro-che.info> |
| Safe Haskell | Safe |
| Language | Haskell98 |
Test.SmallCheck.Drivers
Description
You should only need this module if you wish to create your own way to run SmallCheck tests
Synopsis
- smallCheck :: Testable IO a => Depth -> a -> IO ()
- smallCheckM :: Testable m a => Depth -> a -> m (Maybe PropertyFailure)
- smallCheckWithHook :: Testable m a => Depth -> (TestQuality -> m ()) -> a -> m (Maybe PropertyFailure)
- test :: Testable m a => a -> Property m
- ppFailure :: PropertyFailure -> String
- data PropertyFailure
- data PropertySuccess
- type Argument = String
- type Reason = String
- data TestQuality
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.
ppFailure :: PropertyFailure -> String Source #
data PropertyFailure Source #
Constructors
| NotExist | |
| AtLeastTwo [Argument] PropertySuccess [Argument] PropertySuccess | |
| CounterExample [Argument] PropertyFailure | |
| PropertyFalse (Maybe Reason) |
Instances
| Eq PropertyFailure Source # | |
Defined in Test.SmallCheck.Property.Result Methods (==) :: PropertyFailure -> PropertyFailure -> Bool # (/=) :: PropertyFailure -> PropertyFailure -> Bool # | |
| Show PropertyFailure Source # | |
Defined in Test.SmallCheck.Property.Result Methods showsPrec :: Int -> PropertyFailure -> ShowS # show :: PropertyFailure -> String # showList :: [PropertyFailure] -> ShowS # | |
data PropertySuccess Source #
Constructors
| Exist [Argument] PropertySuccess | |
| ExistUnique [Argument] PropertySuccess | |
| PropertyTrue (Maybe Reason) | |
| Vacuously PropertyFailure |
Instances
| Eq PropertySuccess Source # | |
Defined in Test.SmallCheck.Property.Result Methods (==) :: PropertySuccess -> PropertySuccess -> Bool # (/=) :: PropertySuccess -> PropertySuccess -> Bool # | |
| Show PropertySuccess Source # | |
Defined in Test.SmallCheck.Property.Result Methods showsPrec :: Int -> PropertySuccess -> ShowS # show :: PropertySuccess -> String # showList :: [PropertySuccess] -> ShowS # | |
data TestQuality Source #