public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [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 = (&gt; 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