NOTICE: This package has been removed from pkgsrc

./wip/hs-semigroupoids, Semigroupoids: Category sans id

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ]


Branch: CURRENT, Version: 4.2, Package name: hs-semigroupoids-4.2, Maintainer: pho

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.


Required to run:
[wip/ghc] [wip/hs-contravariant] [wip/hs-comonad] [devel/hs-transformers] [math/hs-distributive] [math/hs-semigroups]

Required to build:
[pkgtools/cwrappers]

Master sites:

SHA1: d8b0dddd1ea51a818e7b5c2bf309100cbc39eec7
RMD160: b2a0dc7495e3ecb078ba6a79368eb26be90f5b31
Filesize: 16.011 KB

Version history: (Expand)


CVS history: (Expand)


   2014-09-03 23:16:18 by Ryosuke Moro | Files touched by this commit (3)
Log message:
Update to 4.2

CHANGELOG:
4.2
---
* Backported `Foldable`/`Traversable` instances from `lens`

4.1
---
* `Foldable1`/`Traversable1` for tuples
   2014-09-02 23:00:51 by Ryosuke Moro | Files touched by this commit (17)
Log message:
Remove hs-semigroups, imported to pkgsrc/math.
   2014-08-29 16:10:14 by Ryosuke Moro | Files touched by this commit (101)
Log message:
make it clear what package depend on

discussed with wiz@.
   2014-08-02 23:44:59 by Ryosuke Moro | Files touched by this commit (33)
Log message:
Remove hs-distributive, imported to pkgsrc/math.
Remove hs-regex-posix, imported to pkgsrc/textproc.
Remove hs-safe, imported to pkgsrc/devel.
   2014-07-29 23:37:24 by Ryosuke Moro | Files touched by this commit (3)
Log message:
Update to 4.0.4

CHANGELOG from http://github.com/ekmett/semigroupoids
4.0.4
-----
* `contravariant` 1.0 support.

4.0.3
---
* Added flags to provide unsupported cabal sandbox build modes.

4.0.1
-----
* Fixed bitrot in the `Data.Functor.Extend` documentation.
* Fixed warnings on GHC 7.8.1rc2 caused by importing `Control.Monad.Instances`.
   2014-05-15 23:49:04 by Ryosuke Moro | Files touched by this commit (110)
Log message:
Remove hs-transformers, imported to pkgsrc/devel.
   2014-04-21 11:11:37 by Ryosuke Moro | Files touched by this commit (38)
Log message:
- ready for HASKELL_ENABLE_HADDOCK_DOCUMENTATION= yes
   2013-10-20 20:19:25 by Ryosuke Moro | Files touched by this commit (4)
Log message:
pkgsrc changes:
modified bsd => 2 clause bsd