pkgsrc-Changes archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

CVS commit: pkgsrc/devel/hs-dependent-sum



Module Name:    pkgsrc
Committed By:   pho
Date:           Wed Feb 16 05:06:29 UTC 2022

Added Files:
        pkgsrc/devel/hs-dependent-sum: DESCR Makefile PLIST buildlink3.mk
            distinfo
        pkgsrc/devel/hs-dependent-sum/patches: patch-dependent-sum.cabal

Log Message:
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.


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/devel/hs-dependent-sum/DESCR \
    pkgsrc/devel/hs-dependent-sum/Makefile \
    pkgsrc/devel/hs-dependent-sum/PLIST \
    pkgsrc/devel/hs-dependent-sum/buildlink3.mk \
    pkgsrc/devel/hs-dependent-sum/distinfo
cvs rdiff -u -r0 -r1.1 \
    pkgsrc/devel/hs-dependent-sum/patches/patch-dependent-sum.cabal

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Added files:

Index: pkgsrc/devel/hs-dependent-sum/DESCR
diff -u /dev/null pkgsrc/devel/hs-dependent-sum/DESCR:1.1
--- /dev/null   Wed Feb 16 05:06:29 2022
+++ pkgsrc/devel/hs-dependent-sum/DESCR Wed Feb 16 05:06:29 2022
@@ -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.
Index: pkgsrc/devel/hs-dependent-sum/Makefile
diff -u /dev/null pkgsrc/devel/hs-dependent-sum/Makefile:1.1
--- /dev/null   Wed Feb 16 05:06:29 2022
+++ pkgsrc/devel/hs-dependent-sum/Makefile      Wed Feb 16 05:06:29 2022
@@ -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"
Index: pkgsrc/devel/hs-dependent-sum/PLIST
diff -u /dev/null pkgsrc/devel/hs-dependent-sum/PLIST:1.1
--- /dev/null   Wed Feb 16 05:06:29 2022
+++ pkgsrc/devel/hs-dependent-sum/PLIST Wed Feb 16 05:06:29 2022
@@ -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
Index: pkgsrc/devel/hs-dependent-sum/buildlink3.mk
diff -u /dev/null pkgsrc/devel/hs-dependent-sum/buildlink3.mk:1.1
--- /dev/null   Wed Feb 16 05:06:29 2022
+++ pkgsrc/devel/hs-dependent-sum/buildlink3.mk Wed Feb 16 05:06:29 2022
@@ -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
Index: pkgsrc/devel/hs-dependent-sum/distinfo
diff -u /dev/null pkgsrc/devel/hs-dependent-sum/distinfo:1.1
--- /dev/null   Wed Feb 16 05:06:29 2022
+++ pkgsrc/devel/hs-dependent-sum/distinfo      Wed Feb 16 05:06:29 2022
@@ -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

Index: pkgsrc/devel/hs-dependent-sum/patches/patch-dependent-sum.cabal
diff -u /dev/null pkgsrc/devel/hs-dependent-sum/patches/patch-dependent-sum.cabal:1.1
--- /dev/null   Wed Feb 16 05:06:29 2022
+++ pkgsrc/devel/hs-dependent-sum/patches/patch-dependent-sum.cabal     Wed Feb 16 05:06:29 2022
@@ -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