diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2021-07-26 23:11:41 +0100 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2021-07-26 23:11:49 +0100 |
| commit | 7953138db86269fd7e6e27632e9042022383c1c6 (patch) | |
| tree | e1e2676b7dedf56b5c3e360463448a0b58866a5f /dev-haskell/semigroupoids/metadata.xml | |
| parent | net-libs/libsearpc: adjust comment (diff) | |
| download | gentoo-7953138db86269fd7e6e27632e9042022383c1c6.tar.gz gentoo-7953138db86269fd7e6e27632e9042022383c1c6.tar.bz2 gentoo-7953138db86269fd7e6e27632e9042022383c1c6.zip | |
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 <slyfox@gentoo.org>
Diffstat (limited to 'dev-haskell/semigroupoids/metadata.xml')
| -rw-r--r-- | dev-haskell/semigroupoids/metadata.xml | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/dev-haskell/semigroupoids/metadata.xml b/dev-haskell/semigroupoids/metadata.xml index 97b788ac85df..c1f941bd8464 100644 --- a/dev-haskell/semigroupoids/metadata.xml +++ b/dev-haskell/semigroupoids/metadata.xml @@ -5,38 +5,6 @@ <email>haskell@gentoo.org</email> <name>Gentoo Haskell</name> </maintainer> - <longdescription> - 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. - </longdescription> <use> <flag name="comonad"> 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` </flag> - <flag name="containers"> - 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. - </flag> <flag name="contravariant"> You can disable the use of the `contravariant` package using `-f-contravariant`. Disabling this is an unsupported |