Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ghc-semigroupoids | Distribution: openSUSE Tumbleweed |
Version: 5.3.5 | Vendor: openSUSE |
Release: 1.9 | Build date: Tue Jun 1 12:14:23 2021 |
Group: Unspecified | Build host: obs-arm-5 |
Size: 1161232 | Source RPM: ghc-semigroupoids-5.3.5-1.9.src.rpm |
Packager: http://bugs.opensuse.org | |
Url: https://hackage.haskell.org/package/semigroupoids | |
Summary: Semigroupoids: Category sans id |
Provides a wide array of (semi)groupoids and operations for working with them. A 'Semigroupoid' is a 'Category' without the requirement of identity arrows for every object in the category. A 'Category' is any 'Semigroupoid' for which the Yoneda lemma holds. 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: > Foldable ----> Traversable <--- Functor ------> Alt ---------> Plus Semigroupoid > | | | | | > v v v v v > Foldable1 ---> Traversable1 Apply --------> Applicative -> Alternative Category > | | | | > v v v v > Bind ---------> Monad -------> MonadPlus Arrow > Apply, Bind, and Extend (not shown) 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.
BSD-2-Clause
* Mon Jan 04 2021 psimons@suse.com - Update semigroupoids to version 5.3.5. 5.3.5 [2020.12.31] - ----------------- * The build-type has been changed from `Custom` to `Simple`. To achieve this, the `doctests` test suite has been removed in favor of using [`cabal-docspec`](https://github.com/phadej/cabal-extras/tree/master/cabal-docspec) to run the doctests. * Explicitly mark modules as `Safe`. * Thu Dec 17 2020 Ondřej Súkup <mimi.vx@gmail.com> - disable %{ix86} build * Tue Oct 06 2020 psimons@suse.com - Update semigroupoids to version 5.3.4 revision 2. Upstream has revised the Cabal build instructions on Hackage. * Mon Aug 31 2020 psimons@suse.com - Update semigroupoids to version 5.3.4 revision 1. Upstream has revised the Cabal build instructions on Hackage. * Tue Aug 18 2020 Peter Simons <psimons@suse.com> - Replace %setup -q with the more modern %autosetup macro. * Tue Jun 16 2020 Peter Simons <psimons@suse.com> - Re-generate file with latest version of spec-cleaner. * Wed Nov 27 2019 psimons@suse.com - Update semigroupoids to version 5.3.4. 5.3.4 [2019.11.26] - ----------------- * Achieve forward compatibility with [GHC proposal 229](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0229-whitespace-bang-patterns.rst). * Fri Nov 08 2019 Peter Simons <psimons@suse.com> - Drop obsolete group attributes. * Wed Aug 28 2019 psimons@suse.com - Update semigroupoids to version 5.3.3. 5.3.3 [2019.08.27] - ----------------- * Add `Alt` and `Plus` instances for `HashMap` from the `unordered-containers` package. * Tue Jun 11 2019 Peter Simons <psimons@suse.com> - Update Cabal file for more accurate build dependencies. * Sat Jan 05 2019 psimons@suse.com - Update semigroupoids to version 5.3.2. 5.3.2 [2019.01.04] - ----------------- * Bump the lower bound on `semigroups` to 0.16.2, and avoid incurring the dependency entirely on recent GHCs. * Fix the build on GHC 7.0 and 7.2. * Sat Oct 20 2018 Peter Simons <psimons@suse.com> - Use https URL to refer to bugs.opensuse.org. * Wed Jul 18 2018 psimons@suse.com - Cosmetic: replace tabs with blanks, strip trailing white space, and update copyright headers with spec-cleaner. * Fri Jul 13 2018 psimons@suse.com - Update semigroupoids to version 5.3.1. * Fix a regression introduced in `semigroupoids-5.3` in which some modules regressed from `Trustworthy` to `Unsafe`. * Allow building with `containers-0.6`. * Add `Alt` instances for `First` and `Last` from `Data.Semigroup`, and `Alt` and `Plus` instances for `First` and `Last` from `Data.Monoid`. * Add missing `Apply`, `Bind`, `Extend`, `Foldable1` and `Traversable1` instances for `Data.Semigroups`, `Data.Monoid` and `GHC.Generics`. * Mon May 14 2018 psimons@suse.com - Update semigroupoids to version 5.2.2 revision 3. * Add `optional` to `Data.Functor.Alt` (analogous to the `optional` function in `Control.Applicative`) * `liftF2` is now a class method of `Apply` (mirroring the fact that `liftA2` is now a class method of `Applicative`). `liftF2` and `(<.>)` have default definitions in terms of the other. * Allow building with GHC 8.4 * `Apply` and `Bind` instances for `Q`, from the `template-haskell` package. * Add instances for `(:~:)` and `(:~~:)` from `Data.Type.Equality`, and `Coercion` from `Data.Type.Coercion` * Add the `toNonEmpty` method to `Foldable1`. Add `foldrM1` and `foldlM1` functions to `Data.Semigroup.Foldable` that are defined in terms of `toNonEmpty`. * Add `Apply`, `Bind`, `Foldable1`, and `Traversable1` instances for `Complex` * Add `Apply` and `Bind` instances for `HashMap` from the `unordered-containers` package (on which `semigroupoids` now depends) * Add `Semigroupoid` instances for `Tagged` and `Const`
/usr/lib/ghc-8.10.4/semigroupoids-5.3.5 /usr/lib/ghc-8.10.4/semigroupoids-5.3.5/libHSsemigroupoids-5.3.5-83LjGkbPmc1Ag7xVFjdcD5-ghc8.10.4.so /usr/share/licenses/ghc-semigroupoids /usr/share/licenses/ghc-semigroupoids/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Thu Mar 20 23:24:26 2025