Signature inference for Functional Property Discovery in Haskell
-
Updated
Sep 17, 2017 - Haskell
Signature inference for Functional Property Discovery in Haskell
Conceptual code for property testing of DAG graphs used for my work
Customizable Gen for ADT using Generics
Pain-free QuickCheck helpers for Plutarch
A demonstration of stateful systems testing using Hedgehog
Test your Haskell code by exhaustively checking its properties
Hedgehog properties for optics laws
generalize counter-examples of property-based testing
Common LeanCheck instances
enumerative property-based testing for Haskell
refine properties for testing Haskell programs
Speculate laws about Haskell functions
Release with confidence, state-of-the-art property testing for Haskell.
A comprehensive self-management System
Add a description, image, and links to the property-testing topic page so that developers can more easily learn about it.
To associate your repository with the property-testing topic, visit your repo's landing page and select "manage topics."