* [gentoo-commits] repo/gentoo:master commit in: dev-haskell/testing-type-modifiers/
@ 2020-08-29 8:18 Sergei Trofimovich
0 siblings, 0 replies; 2+ messages in thread
From: Sergei Trofimovich @ 2020-08-29 8:18 UTC (permalink / raw
To: gentoo-commits
commit: a915aa6e6461f8995824e2f15c5e16ea7764744f
Author: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
AuthorDate: Sat Aug 29 08:16:42 2020 +0000
Commit: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
CommitDate: Sat Aug 29 08:18:08 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a915aa6e
dev-haskell/testing-type-modifiers: new pachage, a depend of testing-feat-1.1
Package-Manager: Portage-3.0.4, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox <AT> gentoo.org>
dev-haskell/testing-type-modifiers/Manifest | 1 +
dev-haskell/testing-type-modifiers/metadata.xml | 24 ++++++++++++++++++++++
.../testing-type-modifiers-0.1.0.1.ebuild | 24 ++++++++++++++++++++++
3 files changed, 49 insertions(+)
diff --git a/dev-haskell/testing-type-modifiers/Manifest b/dev-haskell/testing-type-modifiers/Manifest
new file mode 100644
index 00000000000..bd6c2430b09
--- /dev/null
+++ b/dev-haskell/testing-type-modifiers/Manifest
@@ -0,0 +1 @@
+DIST testing-type-modifiers-0.1.0.1.tar.gz 2275 BLAKE2B 664760d4655f7c4ae4fea0b52f1687b81a754ec9d24aa940600279e6b029924b9505b29f24d7dfd07f6100e99b263727186ec8b65bd48b3d953be7554448c50b SHA512 21b76e469f2af199593a90579e9e2f0105444f508a3b244872936c95b28574cb8a782d74244249e4cf045d885b6878d8ae237ccd578c755f7314336137da56b8
diff --git a/dev-haskell/testing-type-modifiers/metadata.xml b/dev-haskell/testing-type-modifiers/metadata.xml
new file mode 100644
index 00000000000..a475c390c58
--- /dev/null
+++ b/dev-haskell/testing-type-modifiers/metadata.xml
@@ -0,0 +1,24 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://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>
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
new file mode 100644
index 00000000000..4d6f60eac4d
--- /dev/null
+++ b/dev-haskell/testing-type-modifiers/testing-type-modifiers-0.1.0.1.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+# ebuild generated by hackport 0.6.1
+
+CABAL_FEATURES="lib profile haddock hoogle hscolour"
+inherit haskell-cabal
+
+DESCRIPTION="Data type modifiers for property based testing"
+HOMEPAGE="http://hackage.haskell.org/package/testing-type-modifiers"
+SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz"
+
+LICENSE="public-domain"
+SLOT="0/${PV}"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+RDEPEND=">=dev-lang/ghc-7.4.1:=
+"
+DEPEND="${RDEPEND}
+ >=dev-haskell/cabal-1.10
+"
^ permalink raw reply related [flat|nested] 2+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: dev-haskell/testing-type-modifiers/
@ 2020-09-02 7:31 Sergei Trofimovich
0 siblings, 0 replies; 2+ messages in thread
From: Sergei Trofimovich @ 2020-09-02 7:31 UTC (permalink / raw
To: gentoo-commits
commit: 555fa467776d1c925a5d2655ae9744f2e9386e1b
Author: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
AuthorDate: Wed Sep 2 07:30:54 2020 +0000
Commit: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org>
CommitDate: Wed Sep 2 07:31:36 2020 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=555fa467
dev-haskell/testing-type-modifiers: use https:// HOMEPAGE
Package-Manager: Portage-3.0.5, Repoman-3.0.1
Signed-off-by: Sergei Trofimovich <slyfox <AT> gentoo.org>
.../testing-type-modifiers/testing-type-modifiers-0.1.0.1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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
index 4d6f60eac4d..dc256746b82 100644
--- 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
@@ -9,7 +9,7 @@ CABAL_FEATURES="lib profile haddock hoogle hscolour"
inherit haskell-cabal
DESCRIPTION="Data type modifiers for property based testing"
-HOMEPAGE="http://hackage.haskell.org/package/testing-type-modifiers"
+HOMEPAGE="https://hackage.haskell.org/package/testing-type-modifiers"
SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz"
LICENSE="public-domain"
^ permalink raw reply related [flat|nested] 2+ messages in thread
end of thread, other threads:[~2020-09-02 7:31 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2020-09-02 7:31 [gentoo-commits] repo/gentoo:master commit in: dev-haskell/testing-type-modifiers/ Sergei Trofimovich
-- strict thread matches above, loose matches on Subject: below --
2020-08-29 8:18 Sergei Trofimovich
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox