-- Initial testing-type-modifiers.cabal generated by cabal init. For
-- further documentation, see http://haskell.org/cabal/users-guide/
name: testing-type-modifiers
version: 0.1.0.1
synopsis: Data type modifiers for property based testing
description: Property based testing libraries such as QuickCheck tend to include type modifiers. Most of them
are used to quantify over subsets of a type. For example a property on non-empty lists:
.
@ prop_tail_length (NonEmpty xs) = length (tail xs) == length xs - 1 @
.
This library is intended to supply these modifiers to be used by testing libraries, in an effort to make
properties more portable between testing frameworks.
.
For every modifier it also provides an access function that converts to the underlying type, which
enables point-free style properties as such:
.
@
prop_tail_length2 = (> 0) . length . nonEmpty
@
license: PublicDomain
license-file: LICENSE
author: Jonas Duregård
maintainer: jonas.duregard@gmail.com
-- copyright:
category: Testing
build-type: Simple
-- extra-source-files:
cabal-version: >=1.10
source-repository head
type: git
location: https://github.com/JonasDuregard/testing-type-modifiers
library
exposed-modules: Data.Modifiers
-- other-modules:
other-extensions: DeriveDataTypeable
build-depends: base >=4 && <5
-- hs-source-dirs:
default-language: Haskell2010