name:                test-invariant
version:             0.4.5.0
synopsis:            Provide common invariants to be checked with QuickCheck

description: test-invariant is a library for providing common invariants of
             functions as higher order polymorphic functions.  This reduces for a
             lot of cases the need for writing prop_ functions for QuickCheck.
             .
             >>> quickCheck $ idempotent (abs :: Int -> Int)
             >>> quickCheck $ involutory not
             >>> quickCheck $ not . involutory (+ (2 :: Int))

license:             BSD3
license-file:        LICENSE
author:              Florian Knupfer <fknupfer@gmail.com>
maintainer:          Florian Knupfer <fknupfer@gmail.com>
copyright:           2015 Florian Knupfer
tested-with:         GHC >= 7.10
category:            Testing
build-type:          Simple
homepage:            https://github.com/knupfer/test-invariant
-- extra-source-files:
cabal-version:       >= 1.10

source-repository head
  type:     git
  location: https://github.com/knupfer/test-invariant
                     
library
  exposed-modules:   Test.Invariant
  -- other-modules:
  -- other-extensions:
  build-depends:     base == 4.*
                   , QuickCheck
  hs-source-dirs:    src
  default-language:  Haskell2010

test-suite Tasty
  type:              exitcode-stdio-1.0
  build-depends:     base == 4.*
                   , test-invariant
                   , QuickCheck
                   , tasty
                   , tasty-quickcheck
  hs-source-dirs:    test
  main-is:           Test.hs
  default-language:  Haskell2010

benchmark Criterion
  build-depends:     base == 4.*
                   , test-invariant
                   , criterion
                   , QuickCheck
  default-language:  Haskell2010
  hs-source-dirs:    bench
  main-is:           Bench.hs
  type:              exitcode-stdio-1.0