Hoogle Search
Within LTS Haskell 24.62 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
This module exports the main pieces of SmallCheck functionality. To generate test cases for your own types, refer to Test.SmallCheck.Series. For pointers to other sources of information about SmallCheck, please refer to the README at https://github.com/Bodigrim/smallcheck/blob/master/README.md
forAll :: forall (m :: Type -> Type) a . Testable m a => a -> Property msmallcheck Test.SmallCheck Set the universal quantification context.
smallCheck :: Testable IO a => Depth -> a -> IO ()smallcheck Test.SmallCheck A simple driver that runs the test in the IO monad and prints the results.
smallCheck :: Testable IO a => Depth -> a -> IO ()smallcheck Test.SmallCheck.Drivers A simple driver that runs the test in the IO monad and prints the results.
smallCheckM :: Testable m a => Depth -> a -> m (Maybe PropertyFailure)smallcheck Test.SmallCheck.Drivers 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
-
smallcheck Test.SmallCheck.Drivers 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.
APICallback :: Callback -> APIhaskell-gi Data.GI.CodeGen.API No documentation available.
-
haskell-gi Data.GI.CodeGen.API No documentation available.
-
haskell-gi Data.GI.CodeGen.API No documentation available.
-
haskell-gi Data.GI.CodeGen.API No documentation available.