Hoogle Search

Within LTS Haskell 24.10 (ghc-9.10.2)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. quickCheckResult :: Testable prop => prop -> IO Result

    massiv-test Test.Massiv.Utils

    Tests a property, produces a test result, and prints the results to stdout.

  2. quickCheckWith :: Testable prop => Args -> prop -> IO ()

    massiv-test Test.Massiv.Utils

    Tests a property, using test arguments, and prints the results to stdout.

  3. quickCheckWithResult :: Testable prop => Args -> prop -> IO Result

    massiv-test Test.Massiv.Utils

    Tests a property, using test arguments, produces a test result, and prints the results to stdout.

  4. package quickcheck-assertions

    HUnit like assertions for QuickCheck Library with convenient assertions for QuickCheck properties like in HUnit

  5. package quickcheck-io

    Use HUnit assertions as QuickCheck properties This package provides an orphan instance that allows you to use HUnit assertions as QuickCheck properties.

  6. package quickcheck-unicode

    Generator and shrink functions for testing Unicode-related software. Generator and shrink functions for testing Unicode-related software.

  7. package quickcheck-quid

    Quasi-unique identifiers for QuickCheck Quasi-unique identifiers for QuickCheck. For the most up-to-date documentation, please view the following page: https://github.com/jonathanknowles/quickcheck-quid/blob/main/README.md

  8. package quickcheck-arbitrary-adt

    Generic typeclasses for generating arbitrary ADTs Improve arbitrary value generation for ADTs

  9. package quickcheck-groups

    Testing group class instances with QuickCheck QuickCheck support for testing instances of type classes defined in the groups library.

  10. package quickcheck-higherorder

    QuickCheck extension for higher-order properties Enhancements for property-based testing of higher-order properties.

    • Associate types to their representations with the Constructible class.
    • Testable' class, variant of Testable with an improved instance for (->).
    • Representation of higher-order functions (via test-fun).
    • Testable equality TestEq.
    • Explicit testable type of Equation.
    See also README.

Page 4 of many | Previous | Next