[pkgsrc/trunk]: pkgsrc/math/hs-kan-extensions math/hs-kan-extensions: import ...

To: pkgsrc-changes-hg%NetBSD.org@localhost
Subject: [pkgsrc/trunk]: pkgsrc/math/hs-kan-extensions math/hs-kan-extensions: import ...
From: pho <pho%pkgsrc.org@localhost>
Date: Wed, 16 Feb 2022 11:37:22 +0000
details:   https://anonhg.NetBSD.org/pkgsrc/rev/f5081b846d4a
branches:  trunk
changeset: 374098:f5081b846d4a
user:      pho <pho%pkgsrc.org@localhost>
date:      Wed Feb 16 09:59:14 2022 +0000

description:
math/hs-kan-extensions: import hs-kan-extensions-5.2.3

This package provides tools for working with various Kan extensions and Kan
lifts in Haskell.

Among the interesting bits included are:
* Right and left Kan extensions (Ran and Lan)
* Right and left Kan lifts (Rift and Lift)
* Multiple forms of the Yoneda lemma (Yoneda)
* The Codensity monad, which can be used to improve the asymptotic
  complexity of code over free monads (Codensity, Density)
* A "comonad to monad-transformer transformer" that is a special case of a
  right Kan lift. (CoT, Co)

diffstat:

 math/hs-kan-extensions/DESCR         |  11 +++++
 math/hs-kan-extensions/Makefile      |  17 +++++++++
 math/hs-kan-extensions/PLIST         |  67 ++++++++++++++++++++++++++++++++++++
 math/hs-kan-extensions/buildlink3.mk |  20 ++++++++++
 math/hs-kan-extensions/distinfo      |   5 ++
 5 files changed, 120 insertions(+), 0 deletions(-)

diffs (140 lines):

diff -r e5002f0f8bcb -r f5081b846d4a math/hs-kan-extensions/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/hs-kan-extensions/DESCR      Wed Feb 16 09:59:14 2022 +0000
@@ -0,0 +1,11 @@
+This package provides tools for working with various Kan extensions and Kan
+lifts in Haskell.
+
+Among the interesting bits included are:
+* Right and left Kan extensions (Ran and Lan)
+* Right and left Kan lifts (Rift and Lift)
+* Multiple forms of the Yoneda lemma (Yoneda)
+* The Codensity monad, which can be used to improve the asymptotic
+  complexity of code over free monads (Codensity, Density)
+* A "comonad to monad-transformer transformer" that is a special case of a
+  right Kan lift. (CoT, Co)
diff -r e5002f0f8bcb -r f5081b846d4a math/hs-kan-extensions/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/hs-kan-extensions/Makefile   Wed Feb 16 09:59:14 2022 +0000
@@ -0,0 +1,17 @@
+# $NetBSD: Makefile,v 1.1 2022/02/16 09:59:14 pho Exp $
+
+DISTNAME=      kan-extensions-5.2.3
+CATEGORIES=    math
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+COMMENT=       Kan extensions/lifts, the Yoneda lemma, and (co)density (co)monads
+LICENSE=       modified-bsd
+
+.include "../../math/hs-adjunctions/buildlink3.mk"
+.include "../../math/hs-comonad/buildlink3.mk"
+.include "../../math/hs-contravariant/buildlink3.mk"
+.include "../../math/hs-distributive/buildlink3.mk"
+.include "../../math/hs-free/buildlink3.mk"
+.include "../../math/hs-invariant/buildlink3.mk"
+.include "../../mk/haskell.mk"
+.include "../../mk/bsd.pkg.mk"
diff -r e5002f0f8bcb -r f5081b846d4a math/hs-kan-extensions/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/hs-kan-extensions/PLIST      Wed Feb 16 09:59:14 2022 +0000
@@ -0,0 +1,67 @@
+@comment $NetBSD: PLIST,v 1.1 2022/02/16 09:59:14 pho Exp $
+lib/kan-extensions-${PKGVERSION}/${HS_VERSION}/package-description
+lib/kan-extensions-${PKGVERSION}/${HS_VERSION}/package-id
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Density.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Density.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Density.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Co.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Co.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Co.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Codensity.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Codensity.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Codensity.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Coyoneda.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Coyoneda.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Coyoneda.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Day.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Day.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Day.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Yoneda.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Yoneda.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Contravariant/Yoneda.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Coyoneda.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Coyoneda.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Coyoneda.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Day.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Day.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Day.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Day/Curried.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Day/Curried.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Day/Curried.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Invariant/Day.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Invariant/Day.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Invariant/Day.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Kan/Lan.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Kan/Lan.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Kan/Lan.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Kan/Ran.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Kan/Ran.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Kan/Ran.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Yoneda.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Yoneda.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Yoneda.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}.a
+lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}_p.a
+lib/${HS_PLATFORM}/libHS${HS_PKGID}-${HS_VER}.so
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/LICENSE
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Control-Comonad-Density.html
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Control-Monad-Co.html
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Control-Monad-Codensity.html
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Contravariant-Coyoneda.html
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Contravariant-Day.html
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Contravariant-Yoneda.html
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Coyoneda.html
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Day-Curried.html
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Day.html
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Invariant-Day.html
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Kan-Lan.html
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Kan-Ran.html
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/Data-Functor-Yoneda.html
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/doc-index.html
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/haddock-bundle.min.js
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/index.html
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/kan-extensions.haddock
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/linuwial.css
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/meta.json
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/quick-jump.css
+share/doc/${HS_PLATFORM}/kan-extensions-${PKGVERSION}/html/synopsis.png
diff -r e5002f0f8bcb -r f5081b846d4a math/hs-kan-extensions/buildlink3.mk
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/hs-kan-extensions/buildlink3.mk      Wed Feb 16 09:59:14 2022 +0000
@@ -0,0 +1,20 @@
+# $NetBSD: buildlink3.mk,v 1.1 2022/02/16 09:59:14 pho Exp $
+
+BUILDLINK_TREE+=       hs-kan-extensions
+
+.if !defined(HS_KAN_EXTENSIONS_BUILDLINK3_MK)
+HS_KAN_EXTENSIONS_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.hs-kan-extensions+=      hs-kan-extensions>=5.2.3
+BUILDLINK_ABI_DEPENDS.hs-kan-extensions+=      hs-kan-extensions>=5.2.3
+BUILDLINK_PKGSRCDIR.hs-kan-extensions?=                ../../math/hs-kan-extensions
+
+.include "../../math/hs-adjunctions/buildlink3.mk"
+.include "../../math/hs-comonad/buildlink3.mk"
+.include "../../math/hs-contravariant/buildlink3.mk"
+.include "../../math/hs-distributive/buildlink3.mk"
+.include "../../math/hs-free/buildlink3.mk"
+.include "../../math/hs-invariant/buildlink3.mk"
+.endif # HS_KAN_EXTENSIONS_BUILDLINK3_MK
+
+BUILDLINK_TREE+=       -hs-kan-extensions
diff -r e5002f0f8bcb -r f5081b846d4a math/hs-kan-extensions/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/hs-kan-extensions/distinfo   Wed Feb 16 09:59:14 2022 +0000
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.1 2022/02/16 09:59:14 pho Exp $
+
+BLAKE2s (kan-extensions-5.2.3.tar.gz) = a110130b9f9a152d0cfb932c38b036de5c25449e502b9b55dc04c1a4bba0926a
+SHA512 (kan-extensions-5.2.3.tar.gz) = a3bb00dec4652042754c00dd4b2ef02b3ed4d74f4f9b8edea36e77c8516ef5b2f9853af20ab63e8f03fc91745ceb286a71ee35b0c82cbc7b0452bbb5e9012f80
+Size (kan-extensions-5.2.3.tar.gz) = 22095 bytes
Prev by Date: [pkgsrc/trunk]: pkgsrc/doc doc: Added math/hs-kan-extensions version 5.2.3
Next by Date: [pkgsrc/trunk]: pkgsrc/math math/Makefile: + hs-kan-extensions
Previous by Thread: [pkgsrc/trunk]: pkgsrc/doc doc: Added math/hs-kan-extensions version 5.2.3
Next by Thread: [pkgsrc/trunk]: pkgsrc/math math/Makefile: + hs-kan-extensions
Indexes:
Home | Main Index | Thread Index | Old Index