homepage: ''
changelog-type: ''
hash: c942a01e4a64881f89c72eaef5e3a78eba8750759cd66996c6746a2a7cabe703
test-bench-deps: {}
maintainer: jonas.duregard@chalmers.se
synopsis: Finds values satisfying a lazy predicate
changelog: ''
basic-deps:
  base: ! '>=4.7 && <5'
  size-based: ! '>=0.1 && <0.2'
all-versions:
- 0.1.0.0
- 0.1.1.0
- 0.1.2.0
- 0.1.2.1
author: Jonas Duregard
latest: 0.1.2.1
description-type: haddock
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.
license-name: BSD-3-Clause

homepage: ''
changelog-type: markdown
hash: 7585b6cac1bf24ece7dea2273b7cd48b01f87314b39c2abb356e7cfb6ac2af90
test-bench-deps: {}
maintainer: byorgey@gmail.com
synopsis: Finds values satisfying a lazy predicate
changelog: |
  * 0.1.3.0 (17 May 2022)

      - Test with GHC 8.6 through 9.2
      - Update maintainer and source repository information
basic-deps:
  base: '>=4.7 && <5'
  size-based: '>=0.1 && <0.2'
all-versions:
- 0.1.0.0
- 0.1.1.0
- 0.1.2.0
- 0.1.2.1
- 0.1.3.0
author: Jonas Duregard
latest: 0.1.3.0
description-type: haddock
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.
license-name: BSD-3-Clause

Update from Hackage at 2022-05-17T16:04:42Z
Update from Hackage at 2022-05-17T16:04:42Z
