test-invariant-0.3.1.2: test-invariant.cabal
name: test-invariant
version: 0.3.1.2
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
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.8 && <4.9
, QuickCheck
hs-source-dirs: src
default-language: Haskell2010
test-suite Tasty
type: exitcode-stdio-1.0
build-depends: base >=4.8 && <4.9
, test-invariant
, QuickCheck
, tasty
, tasty-quickcheck
hs-source-dirs: test
main-is: Test.hs
default-language: Haskell2010
benchmark Criterion
build-depends: base
, test-invariant
, criterion
, QuickCheck
default-language: Haskell2010
hs-source-dirs: bench
main-is: Bench.hs
type: exitcode-stdio-1.0