sparsecheck-0.1: A Logic Programming Library for Test-Data Generation Contents Index

sparsecheck-0.1: A Logic Programming Library for Test-Data Generation

SparseCheck is a library for logic programming in Haskell that allows convenient description of test-data generators.

Modules

SparseCheck

Produced by Haddock version 0.8