diff options
author | Alexander Vershilov <qnikst@gentoo.org> | 2013-08-26 09:03:11 +0000 |
---|---|---|
committer | Alexander Vershilov <qnikst@gentoo.org> | 2013-08-26 09:03:11 +0000 |
commit | 100d2b88e2b821ac4c1e7cf532e050f32782bed1 (patch) | |
tree | 7cdb45e2b8a130c8a2b2c053687ad699e60b7248 /dev-haskell/semigroupoids | |
parent | dev-haskell/contravariant: initial layout (diff) | |
download | historical-100d2b88e2b821ac4c1e7cf532e050f32782bed1.tar.gz historical-100d2b88e2b821ac4c1e7cf532e050f32782bed1.tar.bz2 historical-100d2b88e2b821ac4c1e7cf532e050f32782bed1.zip |
dev-haskell/semigroupoids: initial layout
Package-Manager: portage-2.2.1/cvs/Linux x86_64
Manifest-Sign-Key: 0xEAD50D64D8D3571A!
Diffstat (limited to 'dev-haskell/semigroupoids')
-rw-r--r-- | dev-haskell/semigroupoids/ChangeLog | 9 | ||||
-rw-r--r-- | dev-haskell/semigroupoids/Manifest | 20 | ||||
-rw-r--r-- | dev-haskell/semigroupoids/metadata.xml | 40 | ||||
-rw-r--r-- | dev-haskell/semigroupoids/semigroupoids-3.1.ebuild | 30 |
4 files changed, 99 insertions, 0 deletions
diff --git a/dev-haskell/semigroupoids/ChangeLog b/dev-haskell/semigroupoids/ChangeLog new file mode 100644 index 000000000000..28f526f0156b --- /dev/null +++ b/dev-haskell/semigroupoids/ChangeLog @@ -0,0 +1,9 @@ +# ChangeLog for dev-haskell/semigroupoids +# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-haskell/semigroupoids/ChangeLog,v 1.1 2013/08/26 09:03:10 qnikst Exp $ + +*semigroupoids-3.1 (26 Aug 2013) + + 26 Aug 2013; Alexander Vershilov <qnikst@gentoo.org> +metadata.xml, + +semigroupoids-3.1.ebuild: + dev-haskell/semigroupoids: initial layout diff --git a/dev-haskell/semigroupoids/Manifest b/dev-haskell/semigroupoids/Manifest new file mode 100644 index 000000000000..aa6020b0f604 --- /dev/null +++ b/dev-haskell/semigroupoids/Manifest @@ -0,0 +1,20 @@ +-----BEGIN PGP SIGNED MESSAGE----- +Hash: SHA256 + +DIST semigroupoids-3.1.tar.gz 12317 SHA256 2f5dbfa67c314d69395480f4aaef9b69cefa5f527d2db9a74fcc6f6b813f2408 SHA512 915425feb2f0d2c4c30a19b5823dd3377598b321835058202e623fe5f817f37d646ac1812192e570cd494ada5fb9df5784fa23bc38d39f95d8ed19b16f633755 WHIRLPOOL edce1b11bdca06bf8e33314449d2185ad57206d969fa84f2b8ca2013217b7b0f69c19cf9126cf3b814707f4c6b30dc90c59b624e680bc76005da029c30932d5d +EBUILD semigroupoids-3.1.ebuild 983 SHA256 15f448207a3b7dabb86032f75648d5bdd7d2d4dec9ae40d9e79064f5dad7d8d9 SHA512 379dedeebef1945450440d7fdc66cc19809c27331d987093f0fd90b45abaff61f54f8d1c0d1b68a2297ce90900cce0f14b234c9a5940bc30bac448774b51ab70 WHIRLPOOL b59d0b1dcdea0d313805c4310ee33171cb4f1b2d42ac1e5f69d6ca35b8e4ea25582b20e4ab2e738d9a694799133b432f59a212d31c7bc01dec38cf7e1b6edd9b +MISC ChangeLog 400 SHA256 379773df1a3fd0411af2cb8b826d4d99dbf724bacb84b71230a3dff8e3fd2456 SHA512 0493a4a16a3a568ebbcb8c60b1644e7ba8ccb1c0af9999ee2ed5e51dc9bc36f4f9b179926fd11a8b12a30a22f838f798309db8a976b2ccc73cef9c91331b65e1 WHIRLPOOL 9f1cfdc445715ba986cb644e915c3120200719685a421d26e166db8e2a780ec7a9cc6097dd2ef09d985b2e782786501e37ac54241b364a71f5b7bf03094570b7 +MISC metadata.xml 2448 SHA256 7c4f8a2d05fb5a91a3c8c2752716fc73d5b0a85af54f546e50d5354409516fc9 SHA512 2a982f8a0182684770faf63a0c3d5ebad75e13822d392cd27029cc457c416b85a345389208074708915a715b74dd41f9b3106ecad2b02cf1da00d74e6ae1b484 WHIRLPOOL 34ec602cf2224dc29ce9e2fa3a0de402fadb88f369a8fee1900199fe961f8ae87630ad9f61adcbafd366da452d0f90d4c7363b635bc8e0751167a3a16c338d5c +-----BEGIN PGP SIGNATURE----- +Version: GnuPG v2.0.21 (GNU/Linux) + +iQF8BAEBCABmBQJSGxnPXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w +ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQwMTlGQTEwRTVCMUJCNjdFRDM5Qzg3RjdF +QUQ1MEQ2NEQ4RDM1NzFBAAoJEOrVDWTY01cakcIH/2bYqJCdXOEcnjW+l5ZoA4JW +VO/L+379ys1vssNdEgbRcpSbrhCEPky6zXoyWgBFeIqFydwg5DCranPou6Zk7ZH/ +aJydUQeg5lwC7eRD6U0iEcSr3R+W/sb27EFhpc4ft5psXymJHk8fxDVkg9PLaiT5 +yEgICzJ10UP+MT2ZPw/zrzwLIxgQBEZdk2z3yyAZFspOvziuKDgkTdYe0CPvP0Qo +8PllnQURw42XfYzDiCgdqdL2Qll5pylNQU843A3mjsA/RDbnpoaOF7NJQKuvUApg +39M/vEXKluGb2k5tsUvg/4lvmQroauGbW24Z+6ATTQzDnjtiMWKXfaC/ozZQOw4= +=yxy8 +-----END PGP SIGNATURE----- diff --git a/dev-haskell/semigroupoids/metadata.xml b/dev-haskell/semigroupoids/metadata.xml new file mode 100644 index 000000000000..117ed135139a --- /dev/null +++ b/dev-haskell/semigroupoids/metadata.xml @@ -0,0 +1,40 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <herd>haskell</herd> + <maintainer> + <email>haskell@gentoo.org</email> + </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> +</pkgmetadata> diff --git a/dev-haskell/semigroupoids/semigroupoids-3.1.ebuild b/dev-haskell/semigroupoids/semigroupoids-3.1.ebuild new file mode 100644 index 000000000000..d35836601a30 --- /dev/null +++ b/dev-haskell/semigroupoids/semigroupoids-3.1.ebuild @@ -0,0 +1,30 @@ +# Copyright 1999-2013 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-haskell/semigroupoids/semigroupoids-3.1.ebuild,v 1.1 2013/08/26 09:03:10 qnikst Exp $ + +EAPI=5 + +# ebuild generated by hackport 0.3.2.9999 + +CABAL_FEATURES="lib profile haddock hoogle hscolour" +inherit haskell-cabal + +DESCRIPTION="Haskell 98 semigroupoids: Category sans id" +HOMEPAGE="http://github.com/ekmett/semigroupoids" +SRC_URI="mirror://hackage/packages/archive/${PN}/${PV}/${P}.tar.gz" + +LICENSE="BSD" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +IUSE="" + +RDEPEND="<dev-haskell/comonad-4:=[profile?] + >=dev-haskell/contravariant-0.2.0.1:=[profile?] + <dev-haskell/contravariant-1:=[profile?] + >=dev-haskell/semigroups-0.8.3.1:=[profile?] + <dev-haskell/semigroups-1:=[profile?] + >=dev-haskell/transformers-0.2:=[profile?] + <dev-haskell/transformers-0.4:=[profile?] + >=dev-lang/ghc-6.12.1:=" +DEPEND="${RDEPEND} + >=dev-haskell/cabal-1.6" |