Package0.1.3.0Testing
lazy-search
Finds values satisfying a lazy predicate
- Version0.1.3.0
- CategoryTesting
- LicenceBSD-3-Clause
- AuthorJonas Duregard
- Maintainerbyorgey@gmail.com
- Pinned byhackage lazy-search 0.1.3.0
- Sourcehackage.haskell.org/package/lazy-search-0.1.3.0
Modules
2 modules- Control.Search63Efficient size-based search for values satisfying/falsifying a lazy boolean predicate.
- Data.Coolean17Proper documentation is TBD
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.
Depends on
2 packages- base-4.20.2.0with GHC
- size-based-0.1.3.2in this set
Used by in this set · 0
Nothing in this set depends on it.