CVS commit: pkgsrc/math/hs-free

To: pkgsrc-changes%NetBSD.org@localhost
Subject: CVS commit: pkgsrc/math/hs-free
From: "Masatake Daimon" <pho%netbsd.org@localhost>
Date: Wed, 16 Feb 2022 08:53:40 +0000

Module Name:    pkgsrc
Committed By:   pho
Date:           Wed Feb 16 08:53:40 UTC 2022

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

Log Message:
math/hs-free: import hs-free-5.1.7

Free monads are useful for many tree-like structures and domain specific
languages.

If f is a Functor then the free Monad on f is the type of trees whose nodes
are labeled with the constructors of f. The word "free" is used in the
sense of "unrestricted" rather than "zero-cost": Free f makes no
constraining assumptions beyond those given by f and the definition of
Monad. As used here it is a standard term from the mathematical theory of
adjoint functors.

Cofree comonads are dual to free monads. They provide convenient ways to
talk about branching streams and rose-trees, and can be used to annotate
syntax trees. The cofree comonad can be seen as a stream parameterized by a
Functor that controls its branching factor.


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/math/hs-free/DESCR pkgsrc/math/hs-free/Makefile \
    pkgsrc/math/hs-free/PLIST pkgsrc/math/hs-free/buildlink3.mk \
    pkgsrc/math/hs-free/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-free/DESCR
diff -u /dev/null pkgsrc/math/hs-free/DESCR:1.1
--- /dev/null   Wed Feb 16 08:53:40 2022
+++ pkgsrc/math/hs-free/DESCR   Wed Feb 16 08:53:40 2022
@@ -0,0 +1,14 @@
+Free monads are useful for many tree-like structures and domain specific
+languages.
+
+If f is a Functor then the free Monad on f is the type of trees whose nodes
+are labeled with the constructors of f. The word "free" is used in the
+sense of "unrestricted" rather than "zero-cost": Free f makes no
+constraining assumptions beyond those given by f and the definition of
+Monad. As used here it is a standard term from the mathematical theory of
+adjoint functors.
+
+Cofree comonads are dual to free monads. They provide convenient ways to
+talk about branching streams and rose-trees, and can be used to annotate
+syntax trees. The cofree comonad can be seen as a stream parameterized by a
+Functor that controls its branching factor.
Index: pkgsrc/math/hs-free/Makefile
diff -u /dev/null pkgsrc/math/hs-free/Makefile:1.1
--- /dev/null   Wed Feb 16 08:53:40 2022
+++ pkgsrc/math/hs-free/Makefile        Wed Feb 16 08:53:40 2022
@@ -0,0 +1,18 @@
+# $NetBSD: Makefile,v 1.1 2022/02/16 08:53:40 pho Exp $
+
+DISTNAME=      free-5.1.7
+CATEGORIES=    math
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+COMMENT=       Monads for free
+LICENSE=       modified-bsd
+
+.include "../../math/hs-comonad/buildlink3.mk"
+.include "../../math/hs-distributive/buildlink3.mk"
+.include "../../devel/hs-indexed-traversable/buildlink3.mk"
+.include "../../math/hs-semigroupoids/buildlink3.mk"
+.include "../../devel/hs-th-abstraction/buildlink3.mk"
+.include "../../devel/hs-transformers-base/buildlink3.mk"
+.include "../../math/hs-profunctors/buildlink3.mk"
+.include "../../mk/haskell.mk"
+.include "../../mk/bsd.pkg.mk"
Index: pkgsrc/math/hs-free/PLIST
diff -u /dev/null pkgsrc/math/hs-free/PLIST:1.1
--- /dev/null   Wed Feb 16 08:53:40 2022
+++ pkgsrc/math/hs-free/PLIST   Wed Feb 16 08:53:40 2022
@@ -0,0 +1,101 @@
+@comment $NetBSD: PLIST,v 1.1 2022/02/16 08:53:40 pho Exp $
+lib/free-${PKGVERSION}/${HS_VERSION}/package-description
+lib/free-${PKGVERSION}/${HS_VERSION}/package-id
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Alternative/Free.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Alternative/Free.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Alternative/Free.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Alternative/Free/Final.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Alternative/Free/Final.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Alternative/Free/Final.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free/Fast.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free/Fast.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free/Fast.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free/Final.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free/Final.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Free/Final.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Trans/Free.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Trans/Free.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Applicative/Trans/Free.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Cofree.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Cofree.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Cofree.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Cofree/Class.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Cofree/Class.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Cofree/Class.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Trans/Cofree.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Trans/Cofree.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Trans/Cofree.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Trans/Coiter.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Trans/Coiter.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Comonad/Trans/Coiter.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Ap.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Ap.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Ap.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Church.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Church.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Church.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Class.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Class.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/Class.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/TH.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/TH.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Free/TH.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free/Ap.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free/Ap.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free/Ap.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free/Church.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free/Church.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Free/Church.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Iter.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Iter.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Control/Monad/Trans/Iter.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Classes/Compat.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Classes/Compat.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Functor/Classes/Compat.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}/free-${PKGVERSION}/LICENSE
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Alternative-Free-Final.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Alternative-Free.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Applicative-Free-Fast.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Applicative-Free-Final.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Applicative-Free.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Applicative-Trans-Free.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Comonad-Cofree-Class.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Comonad-Cofree.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Comonad-Trans-Cofree.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Comonad-Trans-Coiter.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Free-Ap.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Free-Church.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Free-Class.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Free-TH.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Free.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Trans-Free-Ap.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Trans-Free-Church.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Trans-Free.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/Control-Monad-Trans-Iter.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/doc-index.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/examples/Cabbage.lhs
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/examples/MandelbrotIter.lhs
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/examples/NewtonCoiter.lhs
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/examples/PerfTH.hs
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/examples/RetryTH.hs
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/examples/Teletype.lhs
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/examples/ValidationForm.hs
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/free.haddock
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/haddock-bundle.min.js
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/index.html
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/linuwial.css
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/meta.json
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/quick-jump.css
+share/doc/${HS_PLATFORM}/free-${PKGVERSION}/html/synopsis.png
Index: pkgsrc/math/hs-free/buildlink3.mk
diff -u /dev/null pkgsrc/math/hs-free/buildlink3.mk:1.1
--- /dev/null   Wed Feb 16 08:53:40 2022
+++ pkgsrc/math/hs-free/buildlink3.mk   Wed Feb 16 08:53:40 2022
@@ -0,0 +1,21 @@
+# $NetBSD: buildlink3.mk,v 1.1 2022/02/16 08:53:40 pho Exp $
+
+BUILDLINK_TREE+=       hs-free
+
+.if !defined(HS_FREE_BUILDLINK3_MK)
+HS_FREE_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.hs-free+=        hs-free>=5.1.7
+BUILDLINK_ABI_DEPENDS.hs-free+=        hs-free>=5.1.7
+BUILDLINK_PKGSRCDIR.hs-free?=  ../../math/hs-free
+
+.include "../../math/hs-comonad/buildlink3.mk"
+.include "../../math/hs-distributive/buildlink3.mk"
+.include "../../devel/hs-indexed-traversable/buildlink3.mk"
+.include "../../math/hs-semigroupoids/buildlink3.mk"
+.include "../../devel/hs-th-abstraction/buildlink3.mk"
+.include "../../devel/hs-transformers-base/buildlink3.mk"
+.include "../../math/hs-profunctors/buildlink3.mk"
+.endif # HS_FREE_BUILDLINK3_MK
+
+BUILDLINK_TREE+=       -hs-free
Index: pkgsrc/math/hs-free/distinfo
diff -u /dev/null pkgsrc/math/hs-free/distinfo:1.1
--- /dev/null   Wed Feb 16 08:53:40 2022
+++ pkgsrc/math/hs-free/distinfo        Wed Feb 16 08:53:40 2022
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.1 2022/02/16 08:53:40 pho Exp $
+
+BLAKE2s (free-5.1.7.tar.gz) = 0aa4fd04b992741d9e6c3b39f6999e19a7c0680b2213c3fd62d5e0f4de3d3189
+SHA512 (free-5.1.7.tar.gz) = 35982d982e9b99243f15ac83044438b762acfa2c4fd30f3da56f93c2a6c1bf0a2bf4c8b7061593a9d7a4231cd31f4c58d7d459f9caca90a52ed087436a934423
+Size (free-5.1.7.tar.gz) = 61326 bytes

Prev by Date: CVS commit: pkgsrc/security/gnupg2
Next by Date: CVS commit: pkgsrc/doc
Previous by Thread: CVS commit: pkgsrc/security/gnupg2
Next by Thread: CVS commit: pkgsrc/doc
Indexes:

Home | Main Index | Thread Index | Old Index