From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id C0503139337 for ; Mon, 26 Jul 2021 22:11:56 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id EAD96E08AD; Mon, 26 Jul 2021 22:11:55 +0000 (UTC) Received: from smtp.gentoo.org (dev.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id C1C97E08AD for ; Mon, 26 Jul 2021 22:11:55 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id 353A6342B82 for ; Mon, 26 Jul 2021 22:11:54 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 87DAE7CE for ; Mon, 26 Jul 2021 22:11:52 +0000 (UTC) From: "Sergei Trofimovich" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Sergei Trofimovich" Message-ID: <1627337509.7953138db86269fd7e6e27632e9042022383c1c6.slyfox@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: dev-haskell/semigroupoids/ X-VCS-Repository: repo/gentoo X-VCS-Files: dev-haskell/semigroupoids/metadata.xml dev-haskell/semigroupoids/semigroupoids-5.3.4.ebuild X-VCS-Directories: dev-haskell/semigroupoids/ X-VCS-Committer: slyfox X-VCS-Committer-Name: Sergei Trofimovich X-VCS-Revision: 7953138db86269fd7e6e27632e9042022383c1c6 X-VCS-Branch: master Date: Mon, 26 Jul 2021 22:11:52 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: 3b3dee98-ecf4-4009-b8ec-7a3a3c03711d X-Archives-Hash: 9a4ec00eb625460593ffafbdaf8b9e1d commit: 7953138db86269fd7e6e27632e9042022383c1c6 Author: Sergei Trofimovich gentoo org> AuthorDate: Mon Jul 26 22:11:41 2021 +0000 Commit: Sergei Trofimovich gentoo org> CommitDate: Mon Jul 26 22:11:49 2021 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7953138d dev-haskell/semigroupoids: unconditionally enable IUSE=containers Reported-by: Toralf Förster Closes: https://bugs.gentoo.org/804474 Package-Manager: Portage-3.0.20, Repoman-3.0.3 Signed-off-by: Sergei Trofimovich gentoo.org> dev-haskell/semigroupoids/metadata.xml | 37 ---------------------- .../semigroupoids/semigroupoids-5.3.4.ebuild | 9 +++--- 2 files changed, 4 insertions(+), 42 deletions(-) diff --git a/dev-haskell/semigroupoids/metadata.xml b/dev-haskell/semigroupoids/metadata.xml index 97b788ac85d..c1f941bd846 100644 --- a/dev-haskell/semigroupoids/metadata.xml +++ b/dev-haskell/semigroupoids/metadata.xml @@ -5,38 +5,6 @@ haskell@gentoo.org Gentoo Haskell - - Provides a wide array of semigroupoids and operations for working with semigroupds. - - A Semigroupoid is a Category without the requirement of identity arrows for every object in the category. - - When working with comonads you often have the @\<*\>@ portion of an @Applicative@, but - not the @pure@. This was captured in Uustalu and Vene's \"Essence of Dataflow Programming\" - 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. - - 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. - - - Ideally the following relationships would hold: - - > Traversable <---- Foldable <--- Functor ------> Alt ---------> Plus Semigroupoid - > | | | | | - > v v v v v - > Traversable1 <--- Foldable1 Apply --------> Applicative -> Alternative Category - > | | | | - > v v v v - > Bind ---------> Monad -------> MonadPlus Arrow - > - - Apply, Bind, and Extract give rise the Static, Kleisli and Cokleisli semigroupoids respectively. - - This lets us remove many of the restrictions from various monad transformers - as in many cases the binding operation or @\<*\>@ operation does not require them. - - Finally, to work with these weaker structures it is beneficial to have containers - that can provide stronger guarantees about their contents, so versions of 'Traversable' - and 'Foldable' that can be folded with just a 'Semigroup' are added. - You can disable the use of the `comonad` package using @@ -44,11 +12,6 @@ useful for accelerating builds in sandboxes for expert users. If disabled we will not supply instances of `Comonad` - - You can disable the use of the `containers` package - using `-f-containers`. Disabing this is an unsupported configuration, but it - may be useful for accelerating builds in sandboxes for expert users. - You can disable the use of the `contravariant` package using `-f-contravariant`. Disabling this is an unsupported diff --git a/dev-haskell/semigroupoids/semigroupoids-5.3.4.ebuild b/dev-haskell/semigroupoids/semigroupoids-5.3.4.ebuild index 9ac5ac13aff..f213497d45c 100644 --- a/dev-haskell/semigroupoids/semigroupoids-5.3.4.ebuild +++ b/dev-haskell/semigroupoids/semigroupoids-5.3.4.ebuild @@ -1,10 +1,10 @@ -# Copyright 1999-2020 Gentoo Authors +# Copyright 1999-2021 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 # ebuild generated by hackport 0.6.1.9999 -#hackport: flags: +doctests +#hackport: flags: +doctests,+containers CABAL_FEATURES="lib profile haddock hoogle hscolour test-suite" inherit haskell-cabal @@ -16,13 +16,12 @@ SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz" LICENSE="BSD" SLOT="0/${PV}" KEYWORDS="~amd64 ~x86" -IUSE="+comonad +containers +contravariant +distributive +tagged +unordered-containers" +IUSE="+comonad +contravariant +distributive +tagged +unordered-containers" RESTRICT=test # broken on USE=doc RDEPEND=">=dev-haskell/base-orphans-0.8:=[profile?] =dev-haskell/bifunctors-5:=[profile?] =dev-haskell/semigroups-0.16.2:=[profile?] =dev-haskell/transformers-compat-0.5:=[profile?] =dev-lang/ghc-7.8.2:= comonad? ( >=dev-haskell/comonad-4.2.6:=[profile?]