The latest version of lazy-search is 0.1.3.0-0.

lazy-search

Version 0.1.1.0 revision 0 uploaded by JonasDuregard.

Package meta

Synopsis
Finds values satisfying a lazy predicate
Description

This library can be used as a property based testing driver, and more generally to find values satisfying a predicate (a -> Bool). This is done by a size bounded search, and it uses the laziness of the predicate to speed up the search by avoiding isomorphic values.

This is similar to LazySmallCheck but uses size instead of depth and a faster algorithm.

Author
Jonas Duregard
Bug reports
n/a
Category
Testing
Copyright
n/a
Homepage
n/a
Maintainer
jonas.duregard@chalmers.se
Package URL
n/a
Stability
n/a

Components