homepage: ''
changelog-type: ''
hash: be1e5d347ff479fd859ef81569937ca27383effb1f877cd313ede5c82f9ffb9f
test-bench-deps: {}
maintainer: jonas.duregard@gmail.com
synopsis: Data type modifiers for property based testing
changelog: ''
basic-deps:
  base: ! '>=4 && <5'
all-versions:
- '0.1.0.0'
author: Jonas Duregård
latest: '0.1.0.0'
description-type: haddock
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-name: PublicDomain

homepage: ''
changelog-type: ''
hash: cbd718034a14a8dd4f31bab57cca0fb7634d23b5535356d221bcdab451daf776
test-bench-deps: {}
maintainer: jonas.duregard@gmail.com
synopsis: Data type modifiers for property based testing
changelog: ''
basic-deps:
  base: ! '>=4 && <5'
all-versions:
- '0.1.0.0'
author: Jonas Duregård
latest: '0.1.0.0'
description-type: haddock
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 there is also an access function that converts to the underlying
  type, which

  enables point-free style properties as such:


  @

  prop_tail_length2 = (> 0) . length . nonEmpty

  @'
license-name: PublicDomain

Update from Hackage at 2015-07-01T09:21:38+0000
Update from Hackage at 2015-07-01T09:21:38+0000
