diff options
Diffstat (limited to 'dev-haskell/testing-type-modifiers/metadata.xml')
-rw-r--r-- | dev-haskell/testing-type-modifiers/metadata.xml | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/dev-haskell/testing-type-modifiers/metadata.xml b/dev-haskell/testing-type-modifiers/metadata.xml deleted file mode 100644 index 0201345ccba8..000000000000 --- a/dev-haskell/testing-type-modifiers/metadata.xml +++ /dev/null @@ -1,24 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="project"> - <email>haskell@gentoo.org</email> - <name>Gentoo Haskell</name> - </maintainer> - <longdescription> - 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 - @ - </longdescription> -</pkgmetadata> |