quickcheck

@hackage/fakedata-quickcheck

Fake a -> Gen a

@hackage/hedgehog-quickcheck

Use QuickCheck generators in Hedgehog and vice versa.

@hackage/json-ast-quickcheck

Compatibility layer for "json-ast" and "QuickCheck"

@hackage/quickcheck-lockstep

Library for lockstep-style testing with 'quickcheck-dynamic'

@hackage/sandwich-quickcheck

Sandwich integration with QuickCheck

@hackage/targeted-quickcheck

Targeted generators for QuickCheck

@hackage/monoidmap-quickcheck

QuickCheck support for monoidmap.

@hackage/quickcheck-instances

Common quickcheck instances

@hackage/quickcheck-webdriver

Utilities for using WebDriver with QuickCheck

@hackage/cabal-test-quickcheck

QuickCheck for Cabal

@hackage/quickcheck-assertions

HUnit like assertions for QuickCheck

@hackage/quickcheck-properties

QuickCheck properties for standard type classes.

@hackage/tasty-quickcheck-laws

Pre-built tasty trees for checking lawful class properties using QuickCheck

@hackage/quickcheck-combinators

Simple type-level combinators for augmenting QuickCheck instances.

@hackage/quickcheck-higherorder

QuickCheck extension for higher-order properties

@cardano/quickcheck-threatmodel

@hackage/quickcheck-transformer

A GenT monad transformer for QuickCheck library.

@hackage/portray-diff-quickcheck

QuickCheck tests with portray-diff

@hackage/quickcheck-arbitrary-adt

Generic typeclasses for generating arbitrary ADTs

@hackage/quickcheck-classes-base

QuickCheck common typeclasses from `base`

@hackage/test-sandbox-quickcheck

QuickCheck convenience functions for use with test-sandbox

@hackage/clash-prelude-quickcheck

QuickCheck instances for various types in the CλaSH Prelude

@cardano/quickcheck-contractmodel

@hackage/quickcheck-property-comb

Combinators for Quickcheck Property construction and diagnostics

@hackage/quickcheck-state-machine

Test monadic programs using state machine based models

@hackage/quickcheck-string-random

Helper to build generators with Text.StringRandom

@hackage/sized-wrapper-quickcheck

QuickCheck instance for 'Sized'

@hackage/cabal-detailed-quickcheck

QuickCheck for Cabal tests

@hackage/lawful-classes-quickcheck

QuickCheck support for lawful-classes

@hackage/quickcheck-enum-instances

arbitrary instances for small enum types