A vastly expanded collection of Haskell modules implementing various

ideas from category theory. Notable bits include: comonads,
adjunctions, and various recursion schemes a'la the research paper
"Functional Programming with Bananas, Lenses, Envelopes and
Barbed Wire".

WWW: http://comonad.com/reader/

PR:		ports/142142
Submitted by:	Jacula Modyun <jacula(at)gmail.com>
This commit is contained in:
Gabor Pali 2010-01-02 22:53:14 +00:00
parent 33fb1e4a00
commit 6278d8eeba
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=247024
5 changed files with 216 additions and 0 deletions

View File

@ -112,6 +112,7 @@
SUBDIR += gsl
SUBDIR += guppi
SUBDIR += hexcalc
SUBDIR += hs-category-extras
SUBDIR += igraph
SUBDIR += isabelle
SUBDIR += itl

View File

@ -0,0 +1,75 @@
# New ports collection makefile for: hs-category-extras
# Date created: December 20 2009
# Whom: Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
#
# $FreeBSD$
#
PORTNAME= category-extras
PORTVERSION= 0.53.5
CATEGORIES= math haskell
MASTER_SITES= http://hackage.haskell.org/packages/archive/${PORTNAME}/${PORTVERSION}/
PKGNAMEPREFIX= hs-
MAINTAINER= jacula@gmail.com
COMMENT= Various Haskell modules and constructs inspired by category theory
BUILD_DEPENDS+= ghc:${PORTSDIR}/lang/ghc
RUN_DEPENDS+= ghc:${PORTSDIR}/lang/ghc
GHC_VERSION= 6.10.4
CATEGORYEXTRAS_VERSION= ${PORTVERSION}
GHC_CMD= ${LOCALBASE}/bin/ghc
SETUP_CMD= ./setup
DOCSDIR= ${PREFIX}/share/doc/${DISTNAME}
CATEGORYEXTRAS_LIBDIR_REL= lib/${DISTNAME}
PLIST_SUB= GHC_VERSION=${GHC_VERSION} \
CATEGORYEXTRAS_VERSION=${CATEGORYEXTRAS_VERSION} \
CATEGORYEXTRAS_LIBDIR_REL=${CATEGORYEXTRAS_LIBDIR_REL}
.if defined(NOPORTDOCS)
PLIST_SUB+= NOPORTDOCS=""
.else
PLIST_SUB+= NOPORTDOCS="@comment "
.endif
.if !defined(NOPORTDOCS)
PORT_HADDOCK!= (cd ${.CURDIR}/../../lang/ghc && ${MAKE} -V PORT_HADDOCK)
.if !empty(PORT_HADDOCK:M?0)
BUILD_DEPENDS+= haddock:${PORTSDIR}/devel/hs-haddock
.endif
BUILD_DEPENDS+= HsColour:${PORTSDIR}/print/hs-hscolour
HSCOLOUR_VERSION= 1.15
HSCOLOUR_DATADIR= ${PREFIX}/share/hscolour-${HSCOLOUR_VERSION}
PORTDOCS= *
.endif
.SILENT:
do-configure:
cd ${WRKSRC} && ${GHC_CMD} --make Setup.lhs -o setup -package Cabal \
&& ${SETUP_CMD} configure --haddock-options=-w --prefix=${PREFIX}
do-build:
cd ${WRKSRC} && ${SETUP_CMD} build \
&& ${SETUP_CMD} register --gen-script
.if !defined(NOPORTDOCS)
cd ${WRKSRC} && ${SETUP_CMD} haddock --hyperlink-source \
--hscolour-css=${HSCOLOUR_DATADIR}/hscolour.css
.endif
do-install:
cd ${WRKSRC} && ${SETUP_CMD} install \
&& ${INSTALL_SCRIPT} register.sh ${PREFIX}/${CATEGORYEXTRAS_LIBDIR_REL}/register.sh
post-install:
${RM} -f ${PREFIX}/lib/ghc-${GHC_VERSION}/package.conf.old
.include <bsd.port.mk>

View File

@ -0,0 +1,3 @@
MD5 (category-extras-0.53.5.tar.gz) = a44a7a7993d85e437fbd5aea20feeb5c
SHA256 (category-extras-0.53.5.tar.gz) = 43053026a8737342c16a976ea1c4f568c882919de2b1ea42148dc28d0eb452c2
SIZE (category-extras-0.53.5.tar.gz) = 45039

View File

@ -0,0 +1,7 @@
A vastly expanded collection of Haskell modules implementing various
ideas from category theory. Notable bits include: comonads,
adjunctions, and various recursion schemes a'la the research paper
"Functional Programming with Bananas, Lenses, Envelopes and
Barbed Wire".
WWW: http://comonad.com/reader/

View File

@ -0,0 +1,130 @@
@comment $FreeBSD$
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Allegory.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Applicative/Parameterized.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Arrow/BiKleisli.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Arrow/CoKleisli.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Category/Associative.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Category/Braided.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Category/Cartesian.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Category/Cartesian/Closed.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Category/Discrete.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Category/Distributive.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Category/Dual.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Category/Hask.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Category/Monoidal.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Category/Object.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Comonad.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Comonad/Cofree.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Comonad/Coideal.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Comonad/Context.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Comonad/Density.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Comonad/Exponent.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Comonad/Fix.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Comonad/HigherOrder.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Comonad/Indexed.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Comonad/Parameterized.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Comonad/Pointer.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Comonad/Reader.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Comonad/Stream.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Comonad/Supply.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Comonad/Trans.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Dyad.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Adjunction.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Adjunction/HigherOrder.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Algebra.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Algebra/Elgot.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Categorical.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Combinators/Biff.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Combinators/Const.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Combinators/Flip.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Combinators/Join.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Combinators/Lift.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Combinators/Of.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Composition.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Cone.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Contra.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Exponential.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Extras.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Fix.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Full.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/HigherOrder.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/HigherOrder/Composition.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Indexed.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Internal/Adjunction.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Internal/Ideal.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/KanExtension.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/KanExtension/Interpreter.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Lambek.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Limit.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Pointed.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Pointed/Composition.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Representable.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Strong.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Yoneda.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Zap.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Zip.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Monad/Categorical.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Monad/Codensity.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Monad/Either.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Monad/Free.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Monad/HigherOrder.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Monad/Hyper.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Monad/Ideal.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Monad/Indexed.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Monad/Indexed/Cont.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Monad/Indexed/Fix.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Monad/Indexed/State.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Monad/Indexed/Trans.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Monad/Parameterized.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Ana.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Apo.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Build.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Cata.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Chrono.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Destroy.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Dyna.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Exo.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Futu.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Histo.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Hylo.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Meta/Erwig.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Meta/Gibbons.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Para.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Postpro.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Prepro.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Span.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Synchro.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Universal.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Zygo.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Data/Void.hi
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/HScategory-extras-%%CATEGORYEXTRAS_VERSION%%.o
%%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/libHScategory-extras-%%CATEGORYEXTRAS_VERSION%%.a
%%CATEGORYEXTRAS_LIBDIR_REL%%/register.sh
%%NOPORTDOCS%%%%DOCSDIR%%/LICENSE
%%NOPORTDOCS%%@dirrmtry %%DOCSDIR%%
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Data
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism/Meta
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Morphism
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Monad/Indexed
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Monad
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Pointed
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/KanExtension
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Internal
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/HigherOrder
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Combinators
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Algebra
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor/Adjunction
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Functor
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Comonad
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Category/Cartesian
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Category
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Arrow
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control/Applicative
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%/Control
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%/ghc-%%GHC_VERSION%%
@dirrm %%CATEGORYEXTRAS_LIBDIR_REL%%
@exec /bin/sh %D/%%CATEGORYEXTRAS_LIBDIR_REL%%/register.sh
@exec /bin/rm -f %D/lib/ghc-%%GHC_VERSION%%/package.conf.old
@unexec %D/bin/ghc-pkg unregister category-extras
@unexec /bin/rm -f %D/lib/ghc-%%GHC_VERSION%%/package.conf.old