Received: from mail.netbsd.org (mail.netbsd.org [199.233.217.200]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) (Client CN "mail.NetBSD.org", Issuer "mail.NetBSD.org CA" (not verified)) by mollari.NetBSD.org (Postfix) with ESMTPS id 6E9651A9239 for ; Wed, 16 Feb 2022 08:53:43 +0000 (UTC) Received: by mail.netbsd.org (Postfix, from userid 605) id 99D1B84EE2; Wed, 16 Feb 2022 08:53:42 +0000 (UTC) Received: from localhost (localhost [127.0.0.1]) by mail.netbsd.org (Postfix) with ESMTP id D258384EC7 for ; Wed, 16 Feb 2022 08:53:41 +0000 (UTC) X-Virus-Scanned: amavisd-new at netbsd.org Received: from mail.netbsd.org ([IPv6:::1]) by localhost (mail.netbsd.org [IPv6:::1]) (amavisd-new, port 10025) with ESMTP id a0HP7M33L8io for ; Wed, 16 Feb 2022 08:53:40 +0000 (UTC) Received: from cvs.NetBSD.org (ivanova.netbsd.org [199.233.217.197]) by mail.netbsd.org (Postfix) with ESMTP id BC7D284D27 for ; Wed, 16 Feb 2022 08:53:40 +0000 (UTC) Received: by cvs.NetBSD.org (Postfix, from userid 500) id B9D1CFB24; Wed, 16 Feb 2022 08:53:40 +0000 (UTC) Content-Transfer-Encoding: 7bit Content-Type: multipart/mixed; boundary="_----------=_1645001620236450" MIME-Version: 1.0 Date: Wed, 16 Feb 2022 08:53:40 +0000 From: "Masatake Daimon" Subject: CVS commit: pkgsrc/math/hs-free To: pkgsrc-changes@NetBSD.org Reply-To: pho@netbsd.org X-Mailer: log_accum Message-Id: <20220216085340.B9D1CFB24@cvs.NetBSD.org> Sender: pkgsrc-changes-owner@NetBSD.org List-Id: Precedence: bulk List-Unsubscribe: This is a multi-part message in MIME format. --_----------=_1645001620236450 Content-Disposition: inline Content-Transfer-Encoding: 8bit Content-Type: text/plain; charset="US-ASCII" 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. --_----------=_1645001620236450 Content-Disposition: inline Content-Length: 10271 Content-Transfer-Encoding: binary Content-Type: text/x-diff; charset=us-ascii 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 +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 --_----------=_1645001620236450--