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)

5 files changed, 120 insertions, 0 deletions

diff --git a/math/hs-kan-extensions/DESCR b/math/hs-kan-extensions/DESCR
new file mode 100644
index 00000000000..a3ef5da1523
--- /dev/null
+++ b/math/hs-kan-extensions/DESCR
@@ -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 --git a/math/hs-kan-extensions/Makefile b/math/hs-kan-extensions/Makefile
new file mode 100644
index 00000000000..435e037dc32
--- /dev/null
+++ b/math/hs-kan-extensions/Makefile
@@ -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
+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 --git a/math/hs-kan-extensions/PLIST b/math/hs-kan-extensions/PLIST
new file mode 100644
index 00000000000..133b62fb83a
--- /dev/null
+++ b/math/hs-kan-extensions/PLIST
@@ -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 --git a/math/hs-kan-extensions/buildlink3.mk b/math/hs-kan-extensions/buildlink3.mk
new file mode 100644
index 00000000000..3ca21eea019
--- /dev/null
+++ b/math/hs-kan-extensions/buildlink3.mk
@@ -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 --git a/math/hs-kan-extensions/distinfo b/math/hs-kan-extensions/distinfo
new file mode 100644
index 00000000000..3f83965e5a7
--- /dev/null
+++ b/math/hs-kan-extensions/distinfo
@@ -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