lazy-search-0.1.2.0: lazy-search.cabal
name: lazy-search
version: 0.1.2.0
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.
license: BSD3
license-file: LICENSE
author: Jonas Duregard
maintainer: jonas.duregard@chalmers.se
-- copyright:
category: Testing
build-type: Simple
-- extra-source-files:
cabal-version: >=1.10
source-repository head
type: git
location: https://github.com/JonasDuregard/lazy-search
library
exposed-modules: Data.Coolean, Control.Search
-- other-modules:
-- other-extensions:
build-depends: base >=4.7 && <5, size-based >=0.1 && <0.2
hs-source-dirs: src
default-language: Haskell2010
-- ghc-options: -Wall