Haskell testing-tools

Open-source Haskell projects categorized as testing-tools

Top 4 Haskell testing-tool Projects

testing-tools
  • hedgehog

    Release with confidence, state-of-the-art property testing for Haskell.

    Project mention: The sad state of property-based testing libraries | news.ycombinator.com | 2024-07-04

    > - rose tree "integrated shrinking" (eg. Hedgehog) follows the constraints of the generators, but has issues with monadic bind.

    We're at the limits of my amateur knowledge, but I believe this is a fundamental limitation of monadic bind/generators. Instead, you should prefer applicative generators for ideal shrinking. https://github.com/hedgehogqa/haskell-hedgehog/issues/473#is...

    In other words, applicative generators do not use "results of generators to dispatch to another generator", but instead shrinking is optimal due to the "parallel" nature of applicatives (I'm using "parallel" in the monadic sense, and not the sense of article's "threading" sense).

  • InfluxDB

    Purpose built for real-time analytics at any scale. InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.

    InfluxDB logo
  • leancheck

    enumerative property-based testing for Haskell

    Project mention: Help with stack ghci and LeanCheck | /r/haskell | 2023-12-11

    Hey, I am an IT student, and was given the task to install Leancheck. I managed to do that by following the instructions on: https://github.com/rudymatela/leancheck/blob/master/README.md Now it works if I do "ghci" and then "import Test.LeanCheck".

  • StrictCheck

    Keep your laziness in check!

  • leancheck-instances

    Common LeanCheck instances

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Haskell testing-tools discussion

Log in or Post with

Haskell testing-tools related posts

  • Help with stack ghci and LeanCheck

    2 projects | /r/haskell | 11 Dec 2023
  • [ANN] LeanCheck v1.0.0 – Enumerative Property Testing

    5 projects | /r/haskell | 22 Aug 2022

Index

What are some of the best open-source testing-tool projects in Haskell? This list will help you:

Project Stars
1 hedgehog 673
2 leancheck 52
3 StrictCheck 32
4 leancheck-instances 1

Sponsored
Purpose built for real-time analytics at any scale.
InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.
www.influxdata.com

Did you konow that Haskell is
the 23rd most popular programming language
based on number of metions?