Gentoo Archives: gentoo-commits

From: Sergei Trofimovich <slyfox@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-haskell/testing-type-modifiers/
Date: Sat, 29 Aug 2020 08:18:15
Message-Id: 1598689088.a915aa6e6461f8995824e2f15c5e16ea7764744f.slyfox@gentoo
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 = (&gt; 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 +"