-- Initial lazy-search.cabal generated by cabal init.  For further 
-- documentation, see http://haskell.org/cabal/users-guide/

name:                lazy-search
version:             0.1.1.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

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