| 1 |
commit: 7953138db86269fd7e6e27632e9042022383c1c6 |
| 2 |
Author: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org> |
| 3 |
AuthorDate: Mon Jul 26 22:11:41 2021 +0000 |
| 4 |
Commit: Sergei Trofimovich <slyfox <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Mon Jul 26 22:11:49 2021 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7953138d |
| 7 |
|
| 8 |
dev-haskell/semigroupoids: unconditionally enable IUSE=containers |
| 9 |
|
| 10 |
Reported-by: Toralf Förster |
| 11 |
Closes: https://bugs.gentoo.org/804474 |
| 12 |
Package-Manager: Portage-3.0.20, Repoman-3.0.3 |
| 13 |
Signed-off-by: Sergei Trofimovich <slyfox <AT> gentoo.org> |
| 14 |
|
| 15 |
dev-haskell/semigroupoids/metadata.xml | 37 ---------------------- |
| 16 |
.../semigroupoids/semigroupoids-5.3.4.ebuild | 9 +++--- |
| 17 |
2 files changed, 4 insertions(+), 42 deletions(-) |
| 18 |
|
| 19 |
diff --git a/dev-haskell/semigroupoids/metadata.xml b/dev-haskell/semigroupoids/metadata.xml |
| 20 |
index 97b788ac85d..c1f941bd846 100644 |
| 21 |
--- a/dev-haskell/semigroupoids/metadata.xml |
| 22 |
+++ b/dev-haskell/semigroupoids/metadata.xml |
| 23 |
@@ -5,38 +5,6 @@ |
| 24 |
<email>haskell@g.o</email> |
| 25 |
<name>Gentoo Haskell</name> |
| 26 |
</maintainer> |
| 27 |
- <longdescription> |
| 28 |
- Provides a wide array of semigroupoids and operations for working with semigroupds. |
| 29 |
- |
| 30 |
- A Semigroupoid is a Category without the requirement of identity arrows for every object in the category. |
| 31 |
- |
| 32 |
- When working with comonads you often have the @\<*\>@ portion of an @Applicative@, but |
| 33 |
- not the @pure@. This was captured in Uustalu and Vene's \"Essence of Dataflow Programming\" |
| 34 |
- in the form of the @ComonadZip@ class in the days before @Applicative@. Apply provides a weaker invariant, but for the comonads used for data flow programming (found in the streams package), this invariant is preserved. Applicative function composition forms a semigroupoid. |
| 35 |
- |
| 36 |
- Similarly many structures are nearly a comonad, but not quite, for instance lists provide a reasonable 'extend' operation in the form of 'tails', but do not always contain a value. |
| 37 |
- |
| 38 |
- |
| 39 |
- Ideally the following relationships would hold: |
| 40 |
- |
| 41 |
- > Traversable <---- Foldable <--- Functor ------> Alt ---------> Plus Semigroupoid |
| 42 |
- > | | | | | |
| 43 |
- > v v v v v |
| 44 |
- > Traversable1 <--- Foldable1 Apply --------> Applicative -> Alternative Category |
| 45 |
- > | | | | |
| 46 |
- > v v v v |
| 47 |
- > Bind ---------> Monad -------> MonadPlus Arrow |
| 48 |
- > |
| 49 |
- |
| 50 |
- Apply, Bind, and Extract give rise the Static, Kleisli and Cokleisli semigroupoids respectively. |
| 51 |
- |
| 52 |
- This lets us remove many of the restrictions from various monad transformers |
| 53 |
- as in many cases the binding operation or @\<*\>@ operation does not require them. |
| 54 |
- |
| 55 |
- Finally, to work with these weaker structures it is beneficial to have containers |
| 56 |
- that can provide stronger guarantees about their contents, so versions of 'Traversable' |
| 57 |
- and 'Foldable' that can be folded with just a 'Semigroup' are added. |
| 58 |
- </longdescription> |
| 59 |
<use> |
| 60 |
<flag name="comonad"> |
| 61 |
You can disable the use of the `comonad` package using |
| 62 |
@@ -44,11 +12,6 @@ |
| 63 |
useful for accelerating builds in sandboxes for expert users. If disabled we |
| 64 |
will not supply instances of `Comonad` |
| 65 |
</flag> |
| 66 |
- <flag name="containers"> |
| 67 |
- You can disable the use of the `containers` package |
| 68 |
- using `-f-containers`. Disabing this is an unsupported configuration, but it |
| 69 |
- may be useful for accelerating builds in sandboxes for expert users. |
| 70 |
- </flag> |
| 71 |
<flag name="contravariant"> |
| 72 |
You can disable the use of the `contravariant` |
| 73 |
package using `-f-contravariant`. Disabling this is an unsupported |
| 74 |
|
| 75 |
diff --git a/dev-haskell/semigroupoids/semigroupoids-5.3.4.ebuild b/dev-haskell/semigroupoids/semigroupoids-5.3.4.ebuild |
| 76 |
index 9ac5ac13aff..f213497d45c 100644 |
| 77 |
--- a/dev-haskell/semigroupoids/semigroupoids-5.3.4.ebuild |
| 78 |
+++ b/dev-haskell/semigroupoids/semigroupoids-5.3.4.ebuild |
| 79 |
@@ -1,10 +1,10 @@ |
| 80 |
-# Copyright 1999-2020 Gentoo Authors |
| 81 |
+# Copyright 1999-2021 Gentoo Authors |
| 82 |
# Distributed under the terms of the GNU General Public License v2 |
| 83 |
|
| 84 |
EAPI=7 |
| 85 |
|
| 86 |
# ebuild generated by hackport 0.6.1.9999 |
| 87 |
-#hackport: flags: +doctests |
| 88 |
+#hackport: flags: +doctests,+containers |
| 89 |
|
| 90 |
CABAL_FEATURES="lib profile haddock hoogle hscolour test-suite" |
| 91 |
inherit haskell-cabal |
| 92 |
@@ -16,13 +16,12 @@ SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz" |
| 93 |
LICENSE="BSD" |
| 94 |
SLOT="0/${PV}" |
| 95 |
KEYWORDS="~amd64 ~x86" |
| 96 |
-IUSE="+comonad +containers +contravariant +distributive +tagged +unordered-containers" |
| 97 |
+IUSE="+comonad +contravariant +distributive +tagged +unordered-containers" |
| 98 |
|
| 99 |
RESTRICT=test # broken on USE=doc |
| 100 |
|
| 101 |
RDEPEND=">=dev-haskell/base-orphans-0.8:=[profile?] <dev-haskell/base-orphans-1:=[profile?] |
| 102 |
>=dev-haskell/bifunctors-5:=[profile?] <dev-haskell/bifunctors-6:=[profile?] |
| 103 |
- >=dev-haskell/semigroups-0.16.2:=[profile?] <dev-haskell/semigroups-1:=[profile?] |
| 104 |
>=dev-haskell/transformers-compat-0.5:=[profile?] <dev-haskell/transformers-compat-0.7:=[profile?] |
| 105 |
>=dev-lang/ghc-7.8.2:= |
| 106 |
comonad? ( >=dev-haskell/comonad-4.2.6:=[profile?] <dev-haskell/comonad-6:=[profile?] ) |
| 107 |
@@ -41,7 +40,7 @@ DEPEND="${RDEPEND} |
| 108 |
src_configure() { |
| 109 |
haskell-cabal_src_configure \ |
| 110 |
$(cabal_flag comonad comonad) \ |
| 111 |
- $(cabal_flag containers containers) \ |
| 112 |
+ --flag=containers \ |
| 113 |
$(cabal_flag contravariant contravariant) \ |
| 114 |
$(cabal_flag distributive distributive) \ |
| 115 |
--flag=doctests \ |
Archives