CVS commit: pkgsrc/math/hs-kan-extensions

To: pkgsrc-changes%NetBSD.org@localhost
Subject: CVS commit: pkgsrc/math/hs-kan-extensions
From: "Masatake Daimon" <pho%netbsd.org@localhost>
Date: Wed, 16 Feb 2022 09:59:14 +0000

Module Name:    pkgsrc
Committed By:   pho
Date:           Wed Feb 16 09:59:14 UTC 2022

Added Files:
        pkgsrc/math/hs-kan-extensions: DESCR Makefile PLIST buildlink3.mk
            distinfo

Log Message:
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)


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/math/hs-kan-extensions/DESCR \
    pkgsrc/math/hs-kan-extensions/Makefile \
    pkgsrc/math/hs-kan-extensions/PLIST \
    pkgsrc/math/hs-kan-extensions/buildlink3.mk \
    pkgsrc/math/hs-kan-extensions/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Added files:

Index: pkgsrc/math/hs-kan-extensions/DESCR
diff -u /dev/null pkgsrc/math/hs-kan-extensions/DESCR:1.1
--- /dev/null   Wed Feb 16 09:59:14 2022
+++ pkgsrc/math/hs-kan-extensions/DESCR Wed Feb 16 09:59:14 2022
@@ -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)
Index: pkgsrc/math/hs-kan-extensions/Makefile
diff -u /dev/null pkgsrc/math/hs-kan-extensions/Makefile:1.1
--- /dev/null   Wed Feb 16 09:59:14 2022
+++ pkgsrc/math/hs-kan-extensions/Makefile      Wed Feb 16 09:59:14 2022
@@ -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"
Index: pkgsrc/math/hs-kan-extensions/PLIST
diff -u /dev/null pkgsrc/math/hs-kan-extensions/PLIST:1.1
--- /dev/null   Wed Feb 16 09:59:14 2022
+++ pkgsrc/math/hs-kan-extensions/PLIST Wed Feb 16 09:59:14 2022
@@ -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
Index: pkgsrc/math/hs-kan-extensions/buildlink3.mk
diff -u /dev/null pkgsrc/math/hs-kan-extensions/buildlink3.mk:1.1
--- /dev/null   Wed Feb 16 09:59:14 2022
+++ pkgsrc/math/hs-kan-extensions/buildlink3.mk Wed Feb 16 09:59:14 2022
@@ -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
Index: pkgsrc/math/hs-kan-extensions/distinfo
diff -u /dev/null pkgsrc/math/hs-kan-extensions/distinfo:1.1
--- /dev/null   Wed Feb 16 09:59:14 2022
+++ pkgsrc/math/hs-kan-extensions/distinfo      Wed Feb 16 09:59:14 2022
@@ -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: CVS commit: pkgsrc/math
Next by Date: CVS commit: pkgsrc/doc
Previous by Thread: CVS commit: pkgsrc/math
Next by Thread: CVS commit: pkgsrc/doc
Indexes:

Home | Main Index | Thread Index | Old Index