summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlexander Vershilov <qnikst@gentoo.org>2013-08-26 09:03:11 +0000
committerAlexander Vershilov <qnikst@gentoo.org>2013-08-26 09:03:11 +0000
commit100d2b88e2b821ac4c1e7cf532e050f32782bed1 (patch)
tree7cdb45e2b8a130c8a2b2c053687ad699e60b7248 /dev-haskell/semigroupoids
parentdev-haskell/contravariant: initial layout (diff)
downloadhistorical-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/ChangeLog9
-rw-r--r--dev-haskell/semigroupoids/Manifest20
-rw-r--r--dev-haskell/semigroupoids/metadata.xml40
-rw-r--r--dev-haskell/semigroupoids/semigroupoids-3.1.ebuild30
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 @\&lt;*\&gt;@ portion of an @Applicative@, but
+ not the @pure@. This was captured in Uustalu and Vene&#39;s \&quot;Essence of Dataflow Programming\&quot;
+ 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 &#39;extend&#39; operation in the form of &#39;tails&#39;, but do not always contain a value.
+
+
+ Ideally the following relationships would hold:
+
+ &gt; Traversable &lt;---- Foldable &lt;--- Functor ------&gt; Alt ---------&gt; Plus Semigroupoid
+ &gt; | | | | |
+ &gt; v v v v v
+ &gt; Traversable1 &lt;--- Foldable1 Apply --------&gt; Applicative -&gt; Alternative Category
+ &gt; | | | |
+ &gt; v v v v
+ &gt; Bind ---------&gt; Monad -------&gt; MonadPlus Arrow
+ &gt;
+
+ 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 @\&lt;*\&gt;@ 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 &#39;Traversable&#39;
+ and &#39;Foldable&#39; that can be folded with just a &#39;Semigroup&#39; 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"