Categories Testing

@hackage/ImpSpec

Imperative approach to testing stateful applications. ImpSpec is built on top of HSpec and QuickCheck.

@hackage/tasty-stats

Collect statistics of your Tasty testsuite

@hackage/reader

A reader data type with all the bits

@hackage/ChasingBottoms

For testing partial and infinite values.

@hackage/hspec-hedgehog

Integrate Hedgehog and Hspec!

@hackage/skeletest

Batteries-included, opinionated test framework

@hackage/prop-unit

Conveniences for using Hedgehog as a unit test runner

@hackage/hspec-parsec

Hspec expectations for testing Parsec parsers

@hackage/sydtest-hedgehog

A Hedgehog companion library for sydtest

@hackage/test-fun

Testable functions

@hackage/tagsoup-navigate

Tagsoup Navigate

@hackage/tasty-ant-xml

Render tasty output to XML for Jenkins

@hackage/quickcheck-instances

Common quickcheck instances

@hackage/tasty-expected-failure

Mark tasty tests as failure expected

@hackage/spacechar

Space Character

@hackage/quickcheck-monoid-subclasses

Testing monoid subclass instances with QuickCheck

@hackage/sandwich-webdriver

Sandwich integration with Selenium WebDriver

@hackage/fakepull

Monad to pull from fake stream-like objects.

@hackage/quickcheck-webdriver

Utilities for using WebDriver with QuickCheck

@hackage/pqc

Parallel batch driver for QuickCheck

@hackage/process-sequential

A test suite for the complex multi files multi level processment.

@hackage/hspec-dirstream

Helper functions to simplify adding integration tests.

@hackage/tasty-flaky

Handle flaky Tasty-based tests

@hackage/genvalidity-hspec

Standard spec's for GenValidity instances

@hackage/tasty-golden

Golden tests support for tasty

@hackage/doctest-discover-configurator

Easy way to run doctests via cabal (no aeson dependency, uses configurator instead)

@hackage/silvi

A generator for different kinds of data.

@cardano/simple-semigroupoids

Groupoid-like structures and testing utilities

@hackage/satchmo

SAT encoding monad

@hackage/tasty-inspection-testing

Inspection testing support for tasty

@hackage/partial-semigroup-test

Testing utilities for the partial-semigroup package

@hackage/smartcheck

A smarter QuickCheck.

@hackage/HUnit-Diff

Assertions for HUnit with difference reporting

@hackage/quickcheck-io

Use HUnit assertions as QuickCheck properties

@hackage/targeted-quickcheck

Targeted generators for QuickCheck

@hackage/hedgehog-extras

Supplemental library for hedgehog

@hackage/quickcheck-simple

Test properties and default-mains for QuickCheck

@hackage/quickcheck-property-monad

A monad for generating QuickCheck properties without Arbitrary instances.

@hackage/quicktest

A reflective batch tester for Haskell.

@cardano/fs-sim

Simulated file systems

@hackage/chronograph

measure timings of data evaluation

@hackage/test-sandbox-quickcheck

QuickCheck convenience functions for use with test-sandbox

@hackage/tasty-checklist

Check multiple items during a tasty test

@hackage/hedgehog-generic

GHC Generics automatically derived hedgehog generators

@hackage/servant-mock

Derive a mock server for free from your servant API types

@hackage/buildbox-tools

Tools for working with buildbox benchmark result files.

@hackage/hspec-leancheck

LeanCheck support for the Hspec test framework.

@hackage/hedgehog-lens

Hedgehog properties for lens laws.

@hackage/buildbox

Rehackable components for writing buildbots and test harnesses.

@hackage/validity-bytestring

Validity instances for bytestring

@hackage/tasty-golden-extra

Additional golden test helpers for the tasty-golden package

@hackage/quickcheck-script

Automated test tool for QuickCheck.

@hackage/validity

Validity typeclass

@hackage/quickcheck-groups

Testing group class instances with QuickCheck

@hackage/webdriver-snoy

a Haskell client for the Selenium WebDriver protocol (deprecated)

@hackage/hspec-wai-json

Testing JSON APIs with hspec-wai

@hackage/hspec-slow

Find slow test cases

@hackage/hw-hspec-hedgehog

Interoperability between hspec and hedgehog

@hackage/http-mock

HTTP mocking and expectations library for Haskell

@hackage/properties

check quickCheck properties in real time.

@hackage/genvalidity-scientific

GenValidity support for Scientific

@hackage/hspec-meta

A version of Hspec which is used to test Hspec itself

@hackage/tao-example

Example usage of the tao package.

@hackage/quickcheck-combinators

Simple type-level combinators for augmenting QuickCheck instances.

@hackage/quickcheck-classes

QuickCheck common typeclasses

@hackage/hedgehog-lockstep

Lockstep-style stateful property testing for Hedgehog

@hackage/prof-flamegraph

Generate flamegraphs from ghc RTS .prof files

@hackage/validity-case-insensitive

Validity instances for case-insensitive

@hackage/leancheck-enum-instances

listable instances for small enum types

@hackage/fast-myers-diff

A fast implementation of the Myers diff algorithm.

@hackage/DMuCheck

Distributed Mutation Analysis framework for MuCheck

@hackage/hspec-api

A Testing Framework for Haskell

@hackage/cautious

Keep track of warnings and errors during calculations.

@hackage/quickcheck-special

Edge cases and special values for QuickCheck Arbitrary instances

@hackage/devtools

Haskell development tool agregate

@hackage/mockcat

Declarative mocking with a single arrow `~>`.

@hackage/wai-test

Unit test framework (built on HUnit) for WAI applications. (deprecated)

@hackage/abides

Simple boolean tests to see if a value abides by certain properties

@hackage/hspecVariant

Spec for testing properties

@hackage/hspec-yesod

A variation of yesod-test that follows hspec idioms more closely

@hackage/quickspec

Equational laws for free!

@hackage/tasty-leancheck

LeanCheck support for the Tasty test framework.

@hackage/hspec-expectations

Catchy combinators for HUnit

@hackage/DocTest

Test interactive Haskell examples

@hackage/test-simple

Simple Perl inspired testing

@hackage/hunit-rematch

HUnit support for rematch

@hackage/cautious-gen

@hackage/tasty-bdd

BDD tests language and tasty provider

@hackage/HUnit-approx

Approximate equality for floating point numbers with HUnit

@hackage/hspec

A Testing Framework for Haskell

@hackage/random-strings

Generate random strings with specific qualities

@hackage/genvalidity-bytestring

GenValidity support for ByteString

@hackage/StrictCheck

StrictCheck: Keep Your Laziness In Check

@hackage/tuispec

Playwright-like black-box testing for terminal UIs over PTY

@hackage/sydtest-process

A typed-process companion library for sydtest

@hackage/hedgehog

Release with confidence.

@hackage/hunit-dejafu

Deja Fu support for the HUnit test framework.

@hackage/validity-persistent

Validity instances for persistent-related types

@hackage/hercules-ci-api-core

Types and convenience modules use across Hercules CI API packages

@hackage/tasty-hunit-adapter

Use existing HUnit tests with tasty

@hackage/sandwich-quickcheck

Sandwich integration with QuickCheck

@hackage/quickcheck-dynamic

A library for stateful property-based testing

@hackage/tdd-util

Test framework wrapper

@hackage/GenSmsPdu

Automatic SMS message generator

@hackage/hs-di

Dependency Injection library for Haskell

@hackage/doctest-exitcode-stdio

Run doctest's in a Cabal.Test.exitcode-stdio environment

@hackage/tesths

A lightweight testing framework for Haskell

@hackage/timeconsole

time each line of terminal output

@hackage/genvalidity-containers

GenValidity support for containers

@hackage/hspec-contrib

Contributed functionality for Hspec

@hackage/aviation-navigation

Aviation Navigation functions

@hackage/keiretsu

Multi-process orchestration for development and integration testing

@hackage/sydtest-hedis

An hedis companion library for sydtest

@hackage/test-framework-golden

Golden tests support for test-framework

@hackage/genvalidity

Testing utilities for the validity library

@hackage/tasty-hedgehog

Integration for tasty and hedgehog.

@hackage/smallcheck-series

Extra SmallCheck series and utilities

@hackage/genvalidity-sydtest-lens

Standard spec's for lens for sydtest

@hackage/quickpull

Generate Main module with QuickCheck tests

@hackage/polysemy-test

Polysemy effects for testing

@hackage/genvalidity-sydtest-aeson

Standard spec's for aeson-related instances in sydtest

@hackage/hspec-test-framework-th

Run test-framework tests with Hspec

@hackage/lazysmallcheck

A library for demand-driven testing of Haskell programs

@hackage/testpack

Test Utililty Pack for HUnit and QuickCheck (unmaintained)

@hackage/silently

Prevent or capture writing to stdout and other handles.

@hackage/quickcheck-state-machine-distributed

Test monadic programs using state machine based models

@hackage/doctest-parallel

Test interactive Haskell examples

@hackage/type-spec

Type Level Specification by Example

@hackage/sydtest-webdriver-screenshot

A webdriver screenshot companion library for sydtest

@hackage/sydtest-discover

Automatic test suite discovery for sydtest

@hackage/doctest-extract

Alternative doctest implementation that extracts comments to modules

@hackage/loc-test

Hedgehog generators for loc

@hackage/HTF

The Haskell Test Framework

@hackage/webdriver-precore

A typed wrapper for W3C WebDriver (HTTP and BiDi) protocols.

@hackage/genvalidity-network-uri

GenValidity support for URI

@hackage/sunlight

Test Cabalized package against multiple dependency versions

@hackage/doctest-lib

Parts of doctest exposed as library

@hackage/genvalidity-hspec-binary

Standard spec's for binary-related Instances

@hackage/quickcheck-with-counterexamples

Get counterexamples from QuickCheck as Haskell values

@hackage/stringbuilder

A writer monad for multi-line string literals

@hackage/sydtest-webdriver-yesod

A webdriver+yesod companion library for sydtest

@hackage/tasty-auto

Auto discovery for Tasty with support for ingredients and test tree generation

@hackage/special-values

Typeclass providing special values

@hackage/IOSpec

A pure specification of the IO monad.

@hackage/falsify

Property-based testing with internal integrated shrinking

@hackage/find-source-files

Initial project template from stack

@hackage/genvalidity-uuid

GenValidity support for UUID

@hackage/hspec-golden-aeson

Use tests to monitor changes in Aeson serialization

@hackage/hegel

Property-based testing powered by Hypothesis

@hackage/mattermost-api-qc

QuickCheck instances for the Mattermost client API library

@hackage/protocol-radius-test

testsuit of protocol-radius haskell package

@hackage/hedgehog-fn

Function generation for `hedgehog`

@hackage/fixie

Opininated testing framework for mtl style (spies, stubs, and mocks)

@hackage/fitspec

refining property sets for testing Haskell programs

@hackage/qc-oi-testgenerator

Compile time generation of operation invariance tests for QuickCheck

@hackage/test-sandbox

Sandbox for system tests

@hackage/fakefs

Extensible fake file system for testing.

@hackage/sydtest-typed-process

A typed-process companion library for sydtest

@hackage/MuCheck-SmallCheck

Automated Mutation Testing for SmallCheck tests

@hackage/hspec-golden

Golden tests for hspec

@hackage/webdriver

a Haskell client for the Selenium WebDriver protocol

@hackage/chuchu

Behaviour Driven Development like Cucumber for Haskell

@cardano/io-sim

A pure simulator for monadic concurrency with STM.

@hackage/smallcheck-laws

SmallCheck properties for common laws

@hackage/tasty-laws

Test common laws

@hackage/test-framework-quickcheck2

QuickCheck-2 support for the test-framework package.

@hackage/packcheck

Universal build and CI testing for Haskell packages

@hackage/hercules-ci-api-agent

API definition for Hercules CI Agent to talk to hercules-ci.com or Hercules CI Enterprise

@hackage/indexed-state

Indexed State

@hackage/mockery

Support functions for automated testing

@hackage/tasty-integrate

automated integration of QuickCheck properties into tasty suites

@hackage/tasty-travis

Fancy Travis CI output for tasty tests.

@hackage/test-framework-testing-feat

A test framework provider for testing-feat

@hackage/props

Reusable quickcheck properties

@hackage/chell-quickcheck

QuickCheck support for Chell

@hackage/genvalidity-hspec-aeson

Standard spec's for aeson-related instances

@hackage/microspec

Tiny QuickCheck test library with minimal dependencies

@hackage/mockazo

Mock records of functions easily

@hackage/genvalidity-path

GenValidity support for Path

@cardano/cardano-api-gen

Generators for the cardano api

@hackage/MuCheck-Hspec

Automated Mutation Testing for Hspec tests

@hackage/quick-generator

Generator random test data for QuickCheck

@hackage/testbench

Create tests and benchmarks together

@hackage/darcs-benchmark

Comparative benchmark suite for darcs.

@hackage/genvalidity-vector

GenValidity support for vector

@hackage/lazy-search

Finds values satisfying a lazy predicate

@hackage/quickcheck-extras

Extra utilities for QuickCheck

@hackage/hspec-junit-formatter

A JUnit XML runner/formatter for hspec

@hackage/faker

Pure Haskell library for generating fake data

@hackage/testCom

Write your tests in comments

@hackage/sydtest-mongo

An mongoDB companion library for sydtest

@hackage/tasty-wai

Test 'wai' endpoints via Test.Tasty

@hackage/genvalidity-sydtest

Standard properties for functions on `Validity` types for the sydtest framework

@hackage/quickcheck-higherorder

QuickCheck extension for higher-order properties

@hackage/test-framework-hunit

HUnit support for the test-framework package.

@hackage/validity-dlist

Validity instances for containers

@hackage/KSP

A library with the kerbal space program universe and demo code

@hackage/smallcheck

A property-based testing library

@hackage/lawz

Common mathematical laws.

@hackage/sydtest-persistent

A persistent companion library for sydtest

@cardano/byron-spec-chain

Executable specification of the Cardano blockchain

@hackage/tasty-th

Automatic tasty test case discovery using TH

@hackage/nonnonempty

List with a minimum length of 2

@hackage/cabal-test-quickcheck

QuickCheck for Cabal

@hackage/filepather

Functions on System.FilePath

@hackage/hspec-tidy-formatter

A custom hspec formatter for easy-to-read terminal output.

@hackage/genvalidity-dlist

GenValidity support for dlist

@hackage/genvalidity-case-insensitive

GenValidity support for case-insensitive

@hackage/erebos-tester

Test framework with virtual network using Linux namespaces

@hackage/cabal-test-bin

A program for finding temporary build file during cabal-test.

@hackage/test-framework-program

Test framework support for running simple test programs.

@hackage/paramtree

Generate labelled test/benchmark trees from sets of parameters

@hackage/clash-prelude-quickcheck

QuickCheck instances for various types in the CλaSH Prelude

@hackage/hunit-parsec

An HUnit Testable instance for Parsec parser unit tests.

@hackage/quickcheck-arbitrary-adt

Generic typeclasses for generating arbitrary ADTs

@hackage/ArrowVHDL

A library to generate Netlist code from Arrow descriptions.

@hackage/torch

Simple unit test library (or framework)

@hackage/lawful-classes-quickcheck

QuickCheck support for lawful-classes

@hackage/QuickCheck-safe

Safe reimplementation of QuickCheck's core

@hackage/should-not-typecheck

A HUnit/hspec assertion library to verify that an expression does not typecheck

@hackage/serial-test-generators

Test your 'Aeson' 'Serialize' and 'Binary' instances for stability over time

@hackage/validity-time

Validity instances for time

@hackage/mock-time

Mock time in tests

@hackage/genvalidity-time

GenValidity support for time

@hackage/pathological-bytestrings

Pathological ByteStrings for testing

@hackage/percent-format

simple printf-style string formatting

@hackage/tasty-program

Use tasty framework to test whether a program executes correctly

@hackage/freer-converse

Handle effects conversely using monadic conversation

@hackage/tasty-autocollect

Autocollection of tasty tests.

@hackage/quickcheck-string-random

Helper to build generators with Text.StringRandom

@hackage/hpc-codecov

Generate reports from hpc data

@hackage/test-framework-smallcheck

Support for SmallCheck tests in test-framework

@hackage/titan-record-yampa

Testing Infrastructure for Temporal AbstractioNs - Yampa record-and-replay layer

@hackage/hspec-quickcheck-classes

Integration between Hspec and quickcheck-classes

@hackage/hspec-expectations-lens

Hspec expectations for the lens stuff

@hackage/quickcheck-relaxng

Generate RelaxNG-constrained XML documents for QuickCheck

@hackage/axiomatic-classes

Specify axioms for type classes and quickCheck all available instances

@hackage/test-framework-sandbox

test-sandbox support for the test-framework package

@hackage/titan-debug-yampa

Testing Infrastructure for Temporal AbstractioNs - Interactive Yampa debugging layer.

@hackage/hedgehog-quickcheck

Use QuickCheck generators in Hedgehog and vice versa.

@hackage/testing-type-modifiers

Data type modifiers for property based testing

@hackage/tasty-bench

Featherlight benchmark framework

@hackage/predicate

Predicates

@hackage/test-invariant

Provide common invariants to be checked with QuickCheck

@hackage/benchmark-function

Test the time it takes to run a haskell function

@hackage/hspec-multicheck

A testing framework for Haskell using Hspec

@hackage/curl-runnings

A framework for declaratively writing curl based API tests

@hackage/valuations

Valuations

@hackage/hedgehog-optics

Hedgehog properties for optics laws

@hackage/smtlib-backends-tests

Testing SMT-LIB backends.

@hackage/hspec-experimental

An experimental DSL for testing on top of Hspec

@hackage/test-framework-th

Automagically generate the HUnit- and Quickcheck-bulk-code using Template Haskell.

@hackage/testrunner

Easy unit test driver framework

@hackage/tasty-hedgehog-coverage

Coverage tracking for Hedgehog Property-Based Testing via Tasty.

@hackage/MuCheck-HUnit

Automated Mutation Testing for HUnit tests

@hackage/symbiote

Data serialization, communication, and operation verification implementation

@hackage/hackager

Hackage testing tool

@hackage/sandwich

Yet another test framework for Haskell

@hackage/sparsecheck

A Logic Programming Library for Test-Data Generation

@hackage/hedgehog-corpus

hedgehog-corpus

@hackage/tasty-dejafu

Deja Fu support for the Tasty test framework.

@hackage/generic-diff

Generic structural diffs

@cardano/cardano-node-chairman

The cardano full node

@hackage/shelltestrunner

Easy, repeatable testing of CLI programs/commands

@hackage/test-fixture

Test monadic side-effects

@hackage/sydtest

A modern testing framework for Haskell with good defaults and advanced testing features.

@cardano/hedgehog

Release with confidence.

@hackage/HMock

A flexible mock framework for testing effectful code.

@hackage/tasty-tmux

Terminal user acceptance testing (UAT) via tmux

@hackage/tasty-rerun

Rerun only tests which failed in a previous test run

@hackage/doctest-driver-gen

Generate driver file for doctest's cabal integration

@hackage/hspec-core

A Testing Framework for Haskell

@hackage/hunit-gui

A GUI testrunner for HUnit

@hackage/quickcheck-rematch

QuickCheck support for rematch

@hackage/test-framework-quickcheck

QuickCheck support for the test-framework package.

@hackage/quickcheck-quid

Quasi-unique identifiers for QuickCheck

@hackage/spectacle

Embedded specification language & model checker in Haskell.

@hackage/genvalidity-hspec-optics

Standard spec's for lens

@hackage/TBC

Testing By Convention

@hackage/nanospec

A lightweight implementation of a subset of Hspec's API

@hackage/generic-diff-instances

Diff instances for common types

@hackage/ClassLaws

Stating and checking laws for type class methods

@hackage/fuzzcheck

A simple checker for stress testing monadic code

@hackage/QuickCheckVariant

Valid and Invalid generator

@hackage/validity-unordered-containers

Validity instances for unordered-containers

@hackage/smallcheck-kind-generics

See README for more info

@hackage/sydtest-autodocodec

An autodocodec companion library for sydtest

@hackage/sloth

Testing for minimal strictness

@hackage/yampa-test

Testing library for Yampa.

@hackage/hspec-attoparsec

Utility functions for testing your attoparsec parsers with hspec

@hackage/arion

Watcher and runner for Hspec

@hackage/titan

Testing Infrastructure for Temporal AbstractioNs - GUI to debug temporal programs

@hackage/hspec-test-framework

Run test-framework tests with Hspec

@hackage/tasty-test-reporter

Producing JUnit-style XML test reports.

@hackage/sydtest-persistent-postgresql

An persistent-postgresql companion library for sydtest

@hackage/testloop

Quick feedback loop for test suites

@hackage/tasty-prelude

Unopinionated top-level entry point to tasty ecosystem.

@hackage/sydtest-webdriver

A webdriver companion library for sydtest

@hackage/sydtest-hspec

An Hspec companion library for sydtest

@hackage/genvalidity-sydtest-persistent

Standard spec's for persistent-related instances for sydtest

@hackage/tasty-lens

Tasty TestTrees for Lens validation

@hackage/quokka

Test helpers which help generate data for projects that use postgresql.

@hackage/inspection-testing

GHC plugin to do inspection testing

@hackage/ihp-hspec

Test helpers for IHP apps

@hackage/hspec-wai

Experimental Hspec support for testing WAI applications

@hackage/validity-aeson

Validity instances for aeson

@hackage/hspec-laws

Document and test laws for standard type classes

@hackage/quickcheck-regex

Generate regex-constrained strings for QuickCheck

@cardano/byron-spec-ledger

Executable specification of Cardano ledger

@hackage/express

Dynamically-typed expressions involving function application and variables.

@hackage/ordering-duplicates

Functions for detecting duplicates

@hackage/hedgehog-golden

Golden testing capabilities for hedgehog using Aeson

@hackage/semantic-version

Semantic Version

@hackage/quickcheck-properties

QuickCheck properties for standard type classes.

@hackage/test-shouldbe

Catchy combinators for HUnit

@hackage/enumeration

A practical API for building recursive enumeration procedures and enumerating datatypes.

@hackage/genvalidity-text

GenValidity support for Text

@hackage/arith-encode

A practical arithmetic encoding (aka Godel numbering) library.

@hackage/QuickCheck-GenT

A GenT monad transformer for QuickCheck library.

@hackage/quickcheck-poly

Automating QuickCheck for polymorphic and overlaoded properties

@hackage/test-sandbox-hunit

HUnit convenience functions for use with test-sandbox

@hackage/duoids-hedgehog

Unifying parallel and sequential operations

@hackage/hspec-structured-formatter

@hackage/antigen

Fault injection for QuickCheck

@hackage/test-sandbox-compose

Lightweight development enviroments using test-sandbox

@hackage/HUnit

A unit testing framework for Haskell

@hackage/tasty-smallcheck

SmallCheck support for the Tasty test framework.

@hackage/hercules-ci-agent

Runs Continuous Integration tasks on your machines

@hackage/tasty-hspec

Hspec support for the Tasty test framework.

@hackage/ghc-prof-flamegraph

Generates flamegraphs from GHC .prof files.

@hackage/genvalidity-hspec-persistent

Standard spec's for persistent-related instances

@hackage/hspec-shouldbe

Convenience wrapper and utilities for hspec

@hackage/assert4hs-hspec

integration point of assert4hs and hspec

@hackage/test-framework-leancheck

LeanCheck support for test-framework.

@hackage/genvalidity-persistent

GenValidity support for Persistent

@hackage/tasty-hunit

HUnit support for the Tasty test framework.

@hackage/doctest-discover

Easy way to run doctests via cabal

@hackage/armor

Prevent serialization backwards compatibility problems using golden tests

@hackage/validity-containers

Validity instances for containers

@hackage/skews

A very quick-and-dirty WebSocket server.

@hackage/easytest

Simple, expressive testing library

@hackage/proctest

An IO library for testing interactive command line programs

@hackage/fs-sim

Simulated file systems

@hackage/shadower

An automated way to run doctests in files that are changing

@hackage/mudbath

Continuous deployment server for use with GitHub

@hackage/acolyte-test

Testing utilities for acolyte APIs

@hackage/benchpress

Micro-benchmarking with detailed statistics.

@hackage/hedgehog-fakedata

Use 'fakedata' with 'hedgehog'

@hackage/target

Generate test-suites from refinement types.

@hackage/safe-gen

Recursive Arbitrary instances without headaches

@hackage/speculate

discovery of properties about Haskell functions

@hackage/main-tester

Capture stdout/stderr/exit code, and replace stdin of your main function.

@hackage/tasty-html

Render tasty output to HTML

@hackage/sydtest-amqp

An amqp companion library for sydtest

@hackage/assert4hs-core

A set of assertion for writing more readable tests cases

@hackage/hasql-explain-tests

Hasql queries testing interface

@hackage/test-framework-doctest

Test.Framework wrapper for DocTest

@hackage/quickcheck-assertions

HUnit like assertions for QuickCheck

@hackage/hdbi-tests

test suite for testing HDBI

@hackage/tasty-papi

Bencmarking using instruction counting

@hackage/validity-primitive

Validity instances for primitive

@hackage/vcr

Record and replay HTTP interactions

@hackage/swagger-test

Testing of Swagger APIs

@hackage/sydtest-wai

A wai companion library for sydtest

@cardano/cardano-topology

A cardano topology generator

@hackage/gdiff-th

Generate gdiff GADTs and Instances.

@hackage/criterion-measurement

Criterion measurement functionality and associated types

@hackage/validity-path

Validity instances for Path

@hackage/tao

Type-level assertion operators.

@cardano/tx-generator

A transaction workload generator for Cardano clusters

@hackage/gencheck

A testing framework inspired by QuickCheck and SmallCheck

@hackage/sydtest-servant

A servant companion library for sydtest

@hackage/Agata

Generator-generator for QuickCheck

@hackage/property

common properties

@hackage/monad-mock

A monad transformer for mocking mtl-style typeclasses

@hackage/typeable-mock

Mock functions and expressions anywhere.

@hackage/extrapolate

generalize counter-examples of test properties

@hackage/minici

Minimalist CI framework to run checks on local machine

@hackage/quickcheck-arbitrary-template

Generate QuickCheck Gen for Sum Types

@hackage/cabal-detailed-quickcheck

QuickCheck for Cabal tests

@hackage/oughta

A library to test programs that output text.

@hackage/hspec-megaparsec

Utility functions for testing Megaparsec parsers with Hspec

@hackage/http-test

Test framework for HTTP APIs

@hackage/leancheck-extras

extra features for leancheck

@hackage/tasty-process

Test execution of external processes with Tasty

@hackage/hcltest

A testing library for command line applications.

@hackage/genvalidity-aeson

GenValidity support for aeson

@hackage/hstest

Runs tests via QuickCheck1 and HUnit; like quickCheck-script but uses GHC api

@hackage/complexity

Empirical algorithmic complexity

@hackage/tasty-silver

A fancy test runner, including support for golden tests.

@hackage/testing-feat

Functional Enumeration of Algebraic Types

@hackage/test-karya

Testing framework.

@hackage/spoonutil

Spoon's utilities. Simple testing and nice looking error reporting.

@hackage/tasty-mgolden

Golden testing provider for tasty with muti-line diff output

@hackage/ivory-quickcheck

QuickCheck driver for Ivory.

@hackage/fgl-arbitrary

QuickCheck support for fgl

@hackage/kudzu

coverage driven random testing framework

@hackage/polysemy-mocks

Mocking framework for polysemy effects

@hackage/tasty-discover

Test discovery for the tasty framework.

@hackage/th-test-utils

Utility functions for testing Template Haskell code

@hackage/sydtest-aeson

An aeson companion library for sydtest

@hackage/test-lib

A library to make a quick test-runner script.

@hackage/benri-hspec

Simplify tests where Either or Maybe types are returned from monadic code

@hackage/lsp-test

Functional test framework for LSP servers.

@hackage/ephemeral-pg

Temporary PostgreSQL databases for testing

@hackage/test-framework-th-prime

Template Haskell for test framework

@hackage/tasty-focus

Simple focus mechanism for tasty

@hackage/json-assertions

Test that your (Aeson) JSON encoding matches your expectations

@hackage/leaky

Robust space leak, and its strictification

@hackage/parsable-test

Test functions for the parsable package

@hackage/hspec-smallcheck

SmallCheck support for the Hspec testing framework

@hackage/assertions

A simple testing framework.

@hackage/network-arbitrary

Arbitrary Instances for Network Types

@hackage/genvalidity-hspec-cereal

Standard spec's for cereal-related instances

@hackage/linear-tests

Linear Algebra

@hackage/AC-MiniTest

A simple test framework.

@hackage/sandwich-hedgehog

Sandwich integration with Hedgehog

@hackage/validity-vector

Validity instances for vector

@hackage/savage

re-export of the random generators from Hedgehog

@hackage/yesod-test

integration testing for WAI/Yesod Applications

@hackage/hspec-jenkins

Jenkins-friendly XML formatter for Hspec

@hackage/tree-diff

Diffing of (expression) trees.

@hackage/hspec-bracket

The bracket definitions for Hspec

@hackage/sydtest-yesod

A yesod companion library for sydtest

@hackage/tasty-cache

Tasty ingredient that skips unchanged tests using GHC HIE files

@hackage/partial-semigroup-hedgehog

Property testing for partial semigroups using Hedgehog

@hackage/heck

Abstract unit test interface

@hackage/lipsum-gen

Generators for random sequences of English-like nonsense text.

@hackage/chell-hunit

HUnit support for Chell

@hackage/hspec-checkers

Allows to use checkers properties from hspec

@hackage/hedgehog-gen-json

JSON generators for Hedgehog

@hackage/tasty

Modern and extensible testing framework

@hackage/selenium-server

Run the selenium standalone server for usage with webdriver

@hackage/hspec-discover

Automatically discover and run Hspec tests

@hackage/hspec-expectations-pretty-diff

Catchy combinators for HUnit

@hackage/registry-hedgehog-aeson

Hedgehog generators for Aeson

@hackage/test-certs

create temporary SSL certificates in tests

@hackage/hedgehog-classes

Hedgehog will eat your typeclass bugs

@hackage/tasty-tap

TAP (Test Anything Protocol) Version 13 formatter for tasty

@hackage/system-test

Runs system tests of applications.

@hackage/quickcheck-transformer

A GenT monad transformer for QuickCheck library.

@hackage/data-pprint

Prettyprint and compare Data values

@hackage/eventsource-store-specs

Provides common test specification for Store implementation.

@hackage/markov-chain-usage-model

Computations for Markov chain usage models

@hackage/MuCheck

Automated Mutation Testing

@hackage/test-monad-laws

Laws for mtl classes as QuickCheck properties.

@hackage/leancheck-instances

Common LeanCheck instances

@cardano/cardano-testnet

The cardano full node

@hackage/generic-random

Generic random generators for QuickCheck

@hackage/hspec-test-sandbox

Hspec convenience functions for use with test-sandbox

@hackage/io-sim

A pure simulator for monadic concurrency with STM.

@hackage/bdd

Behavior-Driven Development DSL

@hackage/hspec-server

Test Framework for checking server's status

@hackage/dwergaz

A minimal testing library

@hackage/QuickCheck

Automatic testing of Haskell programs

@hackage/criterion

Robust, reliable performance measurement and analysis

@cardano/hedgehog-extras

Supplemental library for hedgehog

@hackage/cabal-test

Automated test tool for cabal projects.

@hackage/tasty-hunit-compat

Integration of `HUnit` with `tasty`.

@hackage/hspec-expectations-json

Hspec expectations for JSON Values

@hackage/inbox

Inbox for asychronous messages

@hackage/lawful-classes-types

Types for lawful-classes

@hackage/genvalidity-sydtest-hashable

Standard spec's for Hashable instances for sydtest

@hackage/validity-network-uri

Validity instances for URI

@hackage/golds-gym

Golden testing framework for performance benchmarks

@hackage/quickcheck-lockstep

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

@hackage/hw-hedgehog

Extra hedgehog functionality

@hackage/hedgehog-gen

Customizable Gen for ADT using Generics

@hackage/tasty-groundhog-converters

Tasty Tests for groundhog converters

@hackage/hspec-expectations-lifted

A version of hspec-expectations generalized to MonadIO

@hackage/national-australia-bank

Functions for National Australia Bank transactions

@hackage/SBench

A benchmark suite for runtime and heap measurements over a series of inputs.

@hackage/hpc-tracer

Tracer with AJAX interface

@hackage/directory-layout

Directory layout DSL

@hackage/hspec-expectations-match

An hspec expectation that asserts a value matches a pattern.

@hackage/quickcheck-report

Customizable reports for quickcheck properties

@hackage/genvalidity-criterion

Criterion benchmarks for generators

@hackage/tasty-coverage

Ingredient for tasty which generates per-test coverage reports

@hackage/hedgehog-utils

Utilities for Hedgehog

@hackage/dragen

Automatic derivation of optimized QuickCheck random generators.

@hackage/leancheck

Enumerative property-based testing

@hackage/hspec2

Alpha version of Hspec 2.0

@hackage/quickcheck-classes-base

QuickCheck common typeclasses from `base`

@hackage/tasty-sugar

Tests defined by Search Using Golden Answer References

@hackage/genvalidity-unordered-containers

GenValidity support for unordered-containers

@hackage/quickcheck-property-comb

Combinators for Quickcheck Property construction and diagnostics

@hackage/planet-mitchell-test

Planet Mitchell

@hackage/hspec-expectations-pretty

hspec-expectations with pretty printing on failure

@hackage/assert4hs

A set of assertion for writing more readable tests cases

@hackage/nri-test-encoding

A library to simplify writing golden tests for encoding types.

@hackage/TastyTLT

Run TLT tests from Tasty

@hackage/sydtest-persistent-sqlite

A persistent-sqlite companion library for sydtest

@hackage/chronos-bench

Benchmarking tool with focus on comparing results.

@hackage/tasty-quickcheck

QuickCheck support for the Tasty test framework.

@hackage/type-assertions

Runtime type assertions for testing

@hackage/checkers

Check properties on standard classes and data structures.

@hackage/gauge

small framework for performance measurement and analysis

@hackage/sydtest-rabbitmq

An rabbitmq companion library for sydtest

@hackage/hspec-formatter-github

A Formatter for hspec that provides Github Actions Annotations

@hackage/tasty-test-vector

Test vector support for tasty.

@hackage/test-framework

Framework for running and organising tests, with HUnit and QuickCheck support

@hackage/is-list

Fix IsList

@hackage/introduction-test

A prelude for the tests of safe new projects

@hackage/TLT

Testing in monads and transformers without explicit specs

@hackage/test-framework-skip

Functions for conveniently marking some of the tests in a suite as being skipped.

@hackage/inspection-proxy

A simple proxy for debugging plaintext protocols communication

@hackage/genvalidity-hspec-hashable

Standard spec's for Hashable instances

@hackage/StrictBench

Benchmarking code through strict evaluation

@hackage/testing-tensor

Pure implementation of tensors, for use in tests.

@hackage/cabal-test-compat

Compatibility interface of cabal test-suite.

@hackage/chell

A simple and intuitive library for automated testing.

@hackage/smallcheck-lens

SmallCheck properties for lens

@hackage/MuCheck-QuickCheck

Automated Mutation Testing for QuickCheck tests

@hackage/sandwich-slack

Sandwich integration with Slack

@hackage/explainable-predicates

Predicates that can explain themselves.

@hackage/lawful-classes-hedgehog

Hedgehog support for lawful-classes

@hackage/hercules-ci-cnix-expr

Bindings for the Nix evaluator

@hackage/hspec-tables

Table-driven (by-example) HSpec tests

@hackage/tasty-jenkins-xml

Render tasty output to both console and XML for Jenkins

@hackage/doctest

Test interactive Haskell examples

@hackage/op2

Functions of the type `a -> a -> b`

@hackage/tahoe-great-black-swamp-testing

An HSpec for Great Black Swamp storage backends

@hackage/quickcheck-state-machine

Test monadic programs using state machine based models

@hackage/doctest-prop

Allow QuickCheck-style property testing within doctest.

@hackage/multivariant

Multivariant assignments generation language

@hackage/genvalidity-property

Standard properties for functions on `Validity` types

@hackage/HUnit-Plus

A test framework building on HUnit.

@cardano/goblins

Genetic algorithm based randomised testing

@hackage/barecheck

QuickCheck implementations for common types

@hackage/ivory-eval

Simple concrete evaluator for Ivory programs

@hackage/data-size

Profiling of data structures

@hackage/jaeger-flamegraph

Generate flamegraphs from Jaeger .json dumps.

@hackage/hschema-quickcheck

Describe schemas for your Haskell data types.

@hackage/dpor

A generic implementation of dynamic partial-order reduction (DPOR) for testing arbitrary models of concurrency.

@hackage/dunai-test

Testing library for Dunai

@hackage/hspec-need-env

Read environment variables for hspec tests

@hackage/quickcheck-unicode

Generator and shrink functions for testing Unicode-related software.

@hackage/TestExplode

Generates testcases from program-snippets

@cardano/quickcheck-monoids

QuickCheck monoids

@hackage/quickcheck-enum-instances

arbitrary instances for small enum types