Hackage :: [Package]

Metadata revisions for testing-type-modifiers-0.1.0.0

Package maintainers and Hackage trustees are allowed to edit certain bits of package metadata after a release, without uploading a new tarball. Note that the tarball itself is never changed, just the metadata that is stored separately. For more information about metadata revisions, please refer to the Hackage Metadata Revisions FAQ.

No. Time User SHA256
-r2 (testing-type-modifiers-0.1.0.0-r2) 2015-07-16T12:22:56Z HerbertValerioRiedel 0203421307ad5631b1665d07c3cee85d8c366630335016cf8f2fd280f2f12ca3

  • Changed the library component's library dependency on 'base' from 

    >=4 && <5
    to 
    >=4.3 && <5
-r1 (testing-type-modifiers-0.1.0.0-r1) 2015-07-01T09:18:43Z JonasDuregard cbd718034a14a8dd4f31bab57cca0fb7634d23b5535356d221bcdab451daf776

  • Changed description from 

    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
@
    to 
    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
@
-r0 (testing-type-modifiers-0.1.0.0-r0) 2015-06-30T17:33:45Z JonasDuregard be1e5d347ff479fd859ef81569937ca27383effb1f877cd313ede5c82f9ffb9f