pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/devel/hs-dependent-sum devel/hs-dependent-sum: import ...
details: https://anonhg.NetBSD.org/pkgsrc/rev/6d022c3f8cc2
branches: trunk
changeset: 373993:6d022c3f8cc2
user: pho <pho%pkgsrc.org@localhost>
date: Wed Feb 16 05:06:29 2022 +0000
description:
devel/hs-dependent-sum: import hs-dependent-sum-0.7.1.0
A dependent sum is a generalization of a particular way of thinking about
the Either type. Either a b can be thought of as a 2-tuple (tag, value),
where the value of the tag determines the type of the value. In particular,
either tag = Left and value :: a or tag = Right and value :: b.
This package allows you to define your own dependent sum types by using
your own "tag" types.
diffstat:
devel/hs-dependent-sum/DESCR | 7 ++++++
devel/hs-dependent-sum/Makefile | 13 +++++++++++
devel/hs-dependent-sum/PLIST | 18 ++++++++++++++++
devel/hs-dependent-sum/buildlink3.mk | 16 ++++++++++++++
devel/hs-dependent-sum/distinfo | 6 +++++
devel/hs-dependent-sum/patches/patch-dependent-sum.cabal | 15 +++++++++++++
6 files changed, 75 insertions(+), 0 deletions(-)
diffs (99 lines):
diff -r e66a1593b125 -r 6d022c3f8cc2 devel/hs-dependent-sum/DESCR
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/hs-dependent-sum/DESCR Wed Feb 16 05:06:29 2022 +0000
@@ -0,0 +1,7 @@
+A dependent sum is a generalization of a particular way of thinking about
+the Either type. Either a b can be thought of as a 2-tuple (tag, value),
+where the value of the tag determines the type of the value. In particular,
+either tag = Left and value :: a or tag = Right and value :: b.
+
+This package allows you to define your own dependent sum types by using
+your own "tag" types.
diff -r e66a1593b125 -r 6d022c3f8cc2 devel/hs-dependent-sum/Makefile
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/hs-dependent-sum/Makefile Wed Feb 16 05:06:29 2022 +0000
@@ -0,0 +1,13 @@
+# $NetBSD: Makefile,v 1.1 2022/02/16 05:06:29 pho Exp $
+
+DISTNAME= dependent-sum-0.7.1.0
+CATEGORIES= devel
+
+MAINTAINER= pkgsrc-users%NetBSD.org@localhost
+COMMENT= Dependent sum type
+LICENSE= public-domain
+
+.include "../../devel/hs-constraints-extras/buildlink3.mk"
+.include "../../devel/hs-some/buildlink3.mk"
+.include "../../mk/haskell.mk"
+.include "../../mk/bsd.pkg.mk"
diff -r e66a1593b125 -r 6d022c3f8cc2 devel/hs-dependent-sum/PLIST
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/hs-dependent-sum/PLIST Wed Feb 16 05:06:29 2022 +0000
@@ -0,0 +1,18 @@
+@comment $NetBSD: PLIST,v 1.1 2022/02/16 05:06:29 pho Exp $
+lib/dependent-sum-${PKGVERSION}/${HS_VERSION}/package-description
+lib/dependent-sum-${PKGVERSION}/${HS_VERSION}/package-id
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Dependent/Sum.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Dependent/Sum.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Dependent/Sum.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}/dependent-sum-${PKGVERSION}/html/Data-Dependent-Sum.html
+share/doc/${HS_PLATFORM}/dependent-sum-${PKGVERSION}/html/dependent-sum.haddock
+share/doc/${HS_PLATFORM}/dependent-sum-${PKGVERSION}/html/doc-index.html
+share/doc/${HS_PLATFORM}/dependent-sum-${PKGVERSION}/html/haddock-bundle.min.js
+share/doc/${HS_PLATFORM}/dependent-sum-${PKGVERSION}/html/index.html
+share/doc/${HS_PLATFORM}/dependent-sum-${PKGVERSION}/html/linuwial.css
+share/doc/${HS_PLATFORM}/dependent-sum-${PKGVERSION}/html/meta.json
+share/doc/${HS_PLATFORM}/dependent-sum-${PKGVERSION}/html/quick-jump.css
+share/doc/${HS_PLATFORM}/dependent-sum-${PKGVERSION}/html/synopsis.png
diff -r e66a1593b125 -r 6d022c3f8cc2 devel/hs-dependent-sum/buildlink3.mk
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/hs-dependent-sum/buildlink3.mk Wed Feb 16 05:06:29 2022 +0000
@@ -0,0 +1,16 @@
+# $NetBSD: buildlink3.mk,v 1.1 2022/02/16 05:06:29 pho Exp $
+
+BUILDLINK_TREE+= hs-dependent-sum
+
+.if !defined(HS_DEPENDENT_SUM_BUILDLINK3_MK)
+HS_DEPENDENT_SUM_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.hs-dependent-sum+= hs-dependent-sum>=0.7.1
+BUILDLINK_ABI_DEPENDS.hs-dependent-sum+= hs-dependent-sum>=0.7.1.0
+BUILDLINK_PKGSRCDIR.hs-dependent-sum?= ../../devel/hs-dependent-sum
+
+.include "../../devel/hs-constraints-extras/buildlink3.mk"
+.include "../../devel/hs-some/buildlink3.mk"
+.endif # HS_DEPENDENT_SUM_BUILDLINK3_MK
+
+BUILDLINK_TREE+= -hs-dependent-sum
diff -r e66a1593b125 -r 6d022c3f8cc2 devel/hs-dependent-sum/distinfo
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/hs-dependent-sum/distinfo Wed Feb 16 05:06:29 2022 +0000
@@ -0,0 +1,6 @@
+$NetBSD: distinfo,v 1.1 2022/02/16 05:06:29 pho Exp $
+
+BLAKE2s (dependent-sum-0.7.1.0.tar.gz) = 910d61cff0cb82bcbdd348138e7d4d4a92b5f73acbddca54bae122b386bf9e61
+SHA512 (dependent-sum-0.7.1.0.tar.gz) = 5143ad4399e831c25784b7ab66a0487dff1af50fe631b50844467b71e1d8ed13b74262eb04cf268498000e6583be2bbd7284375663d04621dda6eed43e9f8721
+Size (dependent-sum-0.7.1.0.tar.gz) = 4517 bytes
+SHA1 (patch-dependent-sum.cabal) = d467dbe50ab066390fbff3df027edf2ea2a63d9f
diff -r e66a1593b125 -r 6d022c3f8cc2 devel/hs-dependent-sum/patches/patch-dependent-sum.cabal
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/devel/hs-dependent-sum/patches/patch-dependent-sum.cabal Wed Feb 16 05:06:29 2022 +0000
@@ -0,0 +1,15 @@
+$NetBSD: patch-dependent-sum.cabal,v 1.1 2022/02/16 05:06:29 pho Exp $
+
+Fix build with some-1.0.2
+
+--- dependent-sum.cabal.orig 2001-09-09 01:46:40.000000000 +0000
++++ dependent-sum.cabal
+@@ -49,7 +49,7 @@ Library
+ , constraints-extras >= 0.2 && < 0.4
+
+ -- tight bounds, so re-exported API is versioned properly.
+- build-depends: some == 1.0.1.*
++ build-depends: some >= 1.0.1
+
+ if impl(ghc >= 7.2)
+ ghc-options: -trust base
Home |
Main Index |
Thread Index |
Old Index