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