Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ghc-semigroupoids-5.3.4-bp153.1.20 RPM for aarch64

From OpenSuSE Leap 15.3 for aarch64

Name: ghc-semigroupoids Distribution: SUSE Linux Enterprise 15 SP3
Version: 5.3.4 Vendor: openSUSE
Release: bp153.1.20 Build date: Mon Apr 12 11:28:37 2021
Group: Unspecified Build host: obs-arm-8
Size: 1350292 Source RPM: ghc-semigroupoids-5.3.4-bp153.1.20.src.rpm
Packager: https://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.

Provides

Requires

License

BSD-2-Clause

Changelog

* 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`
* Thu Jul 27 2017 psimons@suse.com
  - Update to version 5.2.
* Thu Sep 15 2016 psimons@suse.com
  - Update to version 5.1 revision 0 with cabal2obs.
* Sun Jul 10 2016 psimons@suse.com
  - Update to version 5.0.1 revision 1 with cabal2obs.
* Mon Jan 18 2016 mimi.vx@gmail.com
  - update to 5.0.1
    * transformers-compat 0.5 support
    * Removed some redundant constraints.
* Sun Aug 23 2015 mimi.vx@gmail.com
  - update to 5.0.0.4
    * doctest 0.10 support
* Thu Aug 13 2015 mimi.vx@gmail.com
  - update to 5.0.0.3
* Thu Aug 06 2015 mimi.vx@gmail.com
  - update to 5.0.0.2
    * Added the CHANGELOG to the distribution so that hackage can link to it in the haddocks.
    * Absorbed Data.Bifunctor.Apply, Data.Semigroup.Bifoldable and Data.Semigroup.Traversable
    from bifunctors.
    * This caused us to pick up a dependency on tagged.
    * Exiled Data.Semifunctor.*, Data.Semigroupoid.Product and Data.Semigroupoid.Coproduct
    to semigroupoid-extras.
    * Set an explicit fixity for -<- and ->-.
    * Major changes to the API to support PolyKinds and DataKinds. This necessarily shuts off GHC <= 7.4.
    * Orphan instances have moved upstream into a common base-orphans package.
    * Added asum1 to Data.Semigroup.Foldable.
    * Support for 'ConstrainedClassMethods' is currently required for GHC HEAD.
* Wed May 27 2015 mimi.vx@gmail.com
  - correct license to BSD-2-Clause
* Sun Apr 26 2015 mimi.vx@gmail.com
  - initial commit

Files

/usr/lib64/ghc-8.10.4/semigroupoids-5.3.4
/usr/lib64/ghc-8.10.4/semigroupoids-5.3.4/libHSsemigroupoids-5.3.4-LMFNkrnycLNHnFtjX604oW-ghc8.10.4.so
/usr/share/licenses/ghc-semigroupoids
/usr/share/licenses/ghc-semigroupoids/LICENSE


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 13:54:43 2024