1 |
commit: a915aa6e6461f8995824e2f15c5e16ea7764744f |
2 |
Author: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sat Aug 29 08:16:42 2020 +0000 |
4 |
Commit: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org> |
5 |
CommitDate: Sat Aug 29 08:18:08 2020 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a915aa6e |
7 |
|
8 |
dev-haskell/testing-type-modifiers: new pachage, a depend of testing-feat-1.1 |
9 |
|
10 |
Package-Manager: Portage-3.0.4, Repoman-3.0.1 |
11 |
Signed-off-by: Sergei Trofimovich <slyfox <AT> gentoo.org> |
12 |
|
13 |
dev-haskell/testing-type-modifiers/Manifest | 1 + |
14 |
dev-haskell/testing-type-modifiers/metadata.xml | 24 ++++++++++++++++++++++ |
15 |
.../testing-type-modifiers-0.1.0.1.ebuild | 24 ++++++++++++++++++++++ |
16 |
3 files changed, 49 insertions(+) |
17 |
|
18 |
diff --git a/dev-haskell/testing-type-modifiers/Manifest b/dev-haskell/testing-type-modifiers/Manifest |
19 |
new file mode 100644 |
20 |
index 00000000000..bd6c2430b09 |
21 |
--- /dev/null |
22 |
+++ b/dev-haskell/testing-type-modifiers/Manifest |
23 |
@@ -0,0 +1 @@ |
24 |
+DIST testing-type-modifiers-0.1.0.1.tar.gz 2275 BLAKE2B 664760d4655f7c4ae4fea0b52f1687b81a754ec9d24aa940600279e6b029924b9505b29f24d7dfd07f6100e99b263727186ec8b65bd48b3d953be7554448c50b SHA512 21b76e469f2af199593a90579e9e2f0105444f508a3b244872936c95b28574cb8a782d74244249e4cf045d885b6878d8ae237ccd578c755f7314336137da56b8 |
25 |
|
26 |
diff --git a/dev-haskell/testing-type-modifiers/metadata.xml b/dev-haskell/testing-type-modifiers/metadata.xml |
27 |
new file mode 100644 |
28 |
index 00000000000..a475c390c58 |
29 |
--- /dev/null |
30 |
+++ b/dev-haskell/testing-type-modifiers/metadata.xml |
31 |
@@ -0,0 +1,24 @@ |
32 |
+<?xml version="1.0" encoding="UTF-8"?> |
33 |
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> |
34 |
+<pkgmetadata> |
35 |
+ <maintainer type="project"> |
36 |
+ <email>haskell@g.o</email> |
37 |
+ <name>Gentoo Haskell</name> |
38 |
+ </maintainer> |
39 |
+ <longdescription> |
40 |
+ Property based testing libraries such as QuickCheck tend to include type modifiers. Most of them |
41 |
+ are used to quantify over subsets of a type. For example a property on non-empty lists: |
42 |
+ |
43 |
+ @ prop_tail_length (NonEmpty xs) = length (tail xs) == length xs - 1 @ |
44 |
+ |
45 |
+ This library is intended to supply these modifiers to be used by testing libraries, in an effort to make |
46 |
+ properties more portable between testing frameworks. |
47 |
+ |
48 |
+ For every modifier it also provides an access function that converts to the underlying type, which |
49 |
+ enables point-free style properties as such: |
50 |
+ |
51 |
+ @ |
52 |
+ prop_tail_length2 = (> 0) . length . nonEmpty |
53 |
+ @ |
54 |
+ </longdescription> |
55 |
+</pkgmetadata> |
56 |
|
57 |
diff --git a/dev-haskell/testing-type-modifiers/testing-type-modifiers-0.1.0.1.ebuild b/dev-haskell/testing-type-modifiers/testing-type-modifiers-0.1.0.1.ebuild |
58 |
new file mode 100644 |
59 |
index 00000000000..4d6f60eac4d |
60 |
--- /dev/null |
61 |
+++ b/dev-haskell/testing-type-modifiers/testing-type-modifiers-0.1.0.1.ebuild |
62 |
@@ -0,0 +1,24 @@ |
63 |
+# Copyright 1999-2020 Gentoo Authors |
64 |
+# Distributed under the terms of the GNU General Public License v2 |
65 |
+ |
66 |
+EAPI=7 |
67 |
+ |
68 |
+# ebuild generated by hackport 0.6.1 |
69 |
+ |
70 |
+CABAL_FEATURES="lib profile haddock hoogle hscolour" |
71 |
+inherit haskell-cabal |
72 |
+ |
73 |
+DESCRIPTION="Data type modifiers for property based testing" |
74 |
+HOMEPAGE="http://hackage.haskell.org/package/testing-type-modifiers" |
75 |
+SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz" |
76 |
+ |
77 |
+LICENSE="public-domain" |
78 |
+SLOT="0/${PV}" |
79 |
+KEYWORDS="~amd64 ~x86" |
80 |
+IUSE="" |
81 |
+ |
82 |
+RDEPEND=">=dev-lang/ghc-7.4.1:= |
83 |
+" |
84 |
+DEPEND="${RDEPEND} |
85 |
+ >=dev-haskell/cabal-1.10 |
86 |
+" |