[pkgsrc/trunk]: pkgsrc/math/hs-free math/hs-free: import hs-free-5.1.7

To: pkgsrc-changes-hg%NetBSD.org@localhost
Subject: [pkgsrc/trunk]: pkgsrc/math/hs-free math/hs-free: import hs-free-5.1.7
From: pho <pho%pkgsrc.org@localhost>
Date: Wed, 16 Feb 2022 09:46:01 +0000
details:   https://anonhg.NetBSD.org/pkgsrc/rev/6c9ff5249116
branches:  trunk
changeset: 374018:6c9ff5249116
user:      pho <pho%pkgsrc.org@localhost>
date:      Wed Feb 16 08:53:40 2022 +0000

description:
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.

diffstat:

 math/hs-free/DESCR         |   14 ++++++
 math/hs-free/Makefile      |   18 ++++++++
 math/hs-free/PLIST         |  101 +++++++++++++++++++++++++++++++++++++++++++++
 math/hs-free/buildlink3.mk |   21 +++++++++
 math/hs-free/distinfo      |    5 ++
 5 files changed, 159 insertions(+), 0 deletions(-)

diffs (179 lines):

diff -r fe18f886b26c -r 6c9ff5249116 math/hs-free/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/hs-free/DESCR        Wed Feb 16 08:53:40 2022 +0000
@@ -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.
diff -r fe18f886b26c -r 6c9ff5249116 math/hs-free/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/hs-free/Makefile     Wed Feb 16 08:53:40 2022 +0000
@@ -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"
diff -r fe18f886b26c -r 6c9ff5249116 math/hs-free/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/hs-free/PLIST        Wed Feb 16 08:53:40 2022 +0000
@@ -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
diff -r fe18f886b26c -r 6c9ff5249116 math/hs-free/buildlink3.mk
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/hs-free/buildlink3.mk        Wed Feb 16 08:53:40 2022 +0000
@@ -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
diff -r fe18f886b26c -r 6c9ff5249116 math/hs-free/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/hs-free/distinfo     Wed Feb 16 08:53:40 2022 +0000
@@ -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: [pkgsrc/trunk]: pkgsrc/doc doc: Added math/hs-free version 5.1.7
Next by Date: [pkgsrc/trunk]: pkgsrc/math math/Makefile: + hs-free
Previous by Thread: [pkgsrc/trunk]: pkgsrc/doc doc: Added math/hs-free version 5.1.7
Next by Thread: [pkgsrc/trunk]: pkgsrc/math math/Makefile: + hs-free
Indexes:
Home | Main Index | Thread Index | Old Index