pkgsrc-Changes-HG archive

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

[pkgsrc/trunk]: pkgsrc/math/hs-semirings math/hs-semirings: import hs-semirin...



details:   https://anonhg.NetBSD.org/pkgsrc/rev/f14a5dd7f1cf
branches:  trunk
changeset: 374110:f14a5dd7f1cf
user:      pho <pho%pkgsrc.org@localhost>
date:      Wed Feb 16 10:02:14 2022 +0000

description:
math/hs-semirings: import hs-semirings-0.6

Haskellers are usually familiar with monoids and semigroups. A monoid has
an appending operation <> (or mappend), and an identity element, mempty. A
semigroup has an appending <> operation, but does not require a mempty
element.

A Semiring has two appending operations, plus and times, and two respective
identity elements, zero and one.

More formally, a Semiring R is a set equipped with two binary relations +
and *, such that:
- (R,+) is a commutative monoid with identity element 0,
- (R,*) is a monoid with identity element 1,
- (*) left and right distributes over addition, and multiplication by '0'
  annihilates R.

diffstat:

 math/hs-semirings/DESCR                         |  14 ++++++++
 math/hs-semirings/Makefile                      |  14 ++++++++
 math/hs-semirings/PLIST                         |  39 +++++++++++++++++++++++++
 math/hs-semirings/buildlink3.mk                 |  17 ++++++++++
 math/hs-semirings/distinfo                      |   6 +++
 math/hs-semirings/patches/patch-semirings.cabal |  13 ++++++++
 6 files changed, 103 insertions(+), 0 deletions(-)

diffs (127 lines):

diff -r f063c16ae195 -r f14a5dd7f1cf math/hs-semirings/DESCR
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/hs-semirings/DESCR   Wed Feb 16 10:02:14 2022 +0000
@@ -0,0 +1,14 @@
+Haskellers are usually familiar with monoids and semigroups. A monoid has
+an appending operation <> (or mappend), and an identity element, mempty. A
+semigroup has an appending <> operation, but does not require a mempty
+element.
+
+A Semiring has two appending operations, plus and times, and two respective
+identity elements, zero and one.
+
+More formally, a Semiring R is a set equipped with two binary relations +
+and *, such that:
+- (R,+) is a commutative monoid with identity element 0,
+- (R,*) is a monoid with identity element 1,
+- (*) left and right distributes over addition, and multiplication by '0'
+  annihilates R.
diff -r f063c16ae195 -r f14a5dd7f1cf math/hs-semirings/Makefile
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/hs-semirings/Makefile        Wed Feb 16 10:02:14 2022 +0000
@@ -0,0 +1,14 @@
+# $NetBSD: Makefile,v 1.1 2022/02/16 10:02:14 pho Exp $
+
+DISTNAME=      semirings-0.6
+CATEGORIES=    math
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+COMMENT=       Two monoids as one, in holy haskimony
+LICENSE=       modified-bsd
+
+.include "../../devel/hs-base-compat-batteries/buildlink3.mk"
+.include "../../devel/hs-hashable/buildlink3.mk"
+.include "../../devel/hs-unordered-containers/buildlink3.mk"
+.include "../../mk/haskell.mk"
+.include "../../mk/bsd.pkg.mk"
diff -r f063c16ae195 -r f14a5dd7f1cf math/hs-semirings/PLIST
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/hs-semirings/PLIST   Wed Feb 16 10:02:14 2022 +0000
@@ -0,0 +1,39 @@
+@comment $NetBSD: PLIST,v 1.1 2022/02/16 10:02:14 pho Exp $
+lib/semirings-${PKGVERSION}/${HS_VERSION}/package-description
+lib/semirings-${PKGVERSION}/${HS_VERSION}/package-id
+lib/${HS_PLATFORM}/libHS${HS_PKGID}-${HS_VER}.so
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Euclidean.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Euclidean.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Euclidean.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Field.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Field.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Field.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Semiring.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Semiring.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Semiring.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Semiring/Generic.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Semiring/Generic.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Semiring/Generic.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Semiring/Tropical.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Semiring/Tropical.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Semiring/Tropical.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Star.dyn_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Star.hi
+lib/${HS_PLATFORM}/${HS_PKGID}/Data/Star.p_hi
+lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}.a
+lib/${HS_PLATFORM}/${HS_PKGID}/libHS${HS_PKGID}_p.a
+share/doc/${HS_PLATFORM}/semirings-${PKGVERSION}/LICENSE
+share/doc/${HS_PLATFORM}/semirings-${PKGVERSION}/html/Data-Euclidean.html
+share/doc/${HS_PLATFORM}/semirings-${PKGVERSION}/html/Data-Field.html
+share/doc/${HS_PLATFORM}/semirings-${PKGVERSION}/html/Data-Semiring-Generic.html
+share/doc/${HS_PLATFORM}/semirings-${PKGVERSION}/html/Data-Semiring-Tropical.html
+share/doc/${HS_PLATFORM}/semirings-${PKGVERSION}/html/Data-Semiring.html
+share/doc/${HS_PLATFORM}/semirings-${PKGVERSION}/html/Data-Star.html
+share/doc/${HS_PLATFORM}/semirings-${PKGVERSION}/html/doc-index.html
+share/doc/${HS_PLATFORM}/semirings-${PKGVERSION}/html/haddock-bundle.min.js
+share/doc/${HS_PLATFORM}/semirings-${PKGVERSION}/html/index.html
+share/doc/${HS_PLATFORM}/semirings-${PKGVERSION}/html/linuwial.css
+share/doc/${HS_PLATFORM}/semirings-${PKGVERSION}/html/meta.json
+share/doc/${HS_PLATFORM}/semirings-${PKGVERSION}/html/quick-jump.css
+share/doc/${HS_PLATFORM}/semirings-${PKGVERSION}/html/semirings.haddock
+share/doc/${HS_PLATFORM}/semirings-${PKGVERSION}/html/synopsis.png
diff -r f063c16ae195 -r f14a5dd7f1cf math/hs-semirings/buildlink3.mk
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/hs-semirings/buildlink3.mk   Wed Feb 16 10:02:14 2022 +0000
@@ -0,0 +1,17 @@
+# $NetBSD: buildlink3.mk,v 1.1 2022/02/16 10:02:14 pho Exp $
+
+BUILDLINK_TREE+=       hs-semirings
+
+.if !defined(HS_SEMIRINGS_BUILDLINK3_MK)
+HS_SEMIRINGS_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.hs-semirings+=   hs-semirings>=0.6
+BUILDLINK_ABI_DEPENDS.hs-semirings+=   hs-semirings>=0.6
+BUILDLINK_PKGSRCDIR.hs-semirings?=     ../../math/hs-semirings
+
+.include "../../devel/hs-base-compat-batteries/buildlink3.mk"
+.include "../../devel/hs-hashable/buildlink3.mk"
+.include "../../devel/hs-unordered-containers/buildlink3.mk"
+.endif # HS_SEMIRINGS_BUILDLINK3_MK
+
+BUILDLINK_TREE+=       -hs-semirings
diff -r f063c16ae195 -r f14a5dd7f1cf math/hs-semirings/distinfo
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/hs-semirings/distinfo        Wed Feb 16 10:02:14 2022 +0000
@@ -0,0 +1,6 @@
+$NetBSD: distinfo,v 1.1 2022/02/16 10:02:14 pho Exp $
+
+BLAKE2s (semirings-0.6.tar.gz) = e845b2d3ec6d7578fd871f2c8c504ef1e52c87d61171bcafd5784f6adfcc1617
+SHA512 (semirings-0.6.tar.gz) = 01675527d47b5283ae6beb6feb38b4a5527a46a780b75e4b712c0b1e4b57218fa8238ba100a20947a2e2b53c4a314ad4e1a71f989bd5194fe6378dba048c870c
+Size (semirings-0.6.tar.gz) = 19640 bytes
+SHA1 (patch-semirings.cabal) = 583199f4435b67dda41b0a331cf8289cc220462a
diff -r f063c16ae195 -r f14a5dd7f1cf math/hs-semirings/patches/patch-semirings.cabal
--- /dev/null   Thu Jan 01 00:00:00 1970 +0000
+++ b/math/hs-semirings/patches/patch-semirings.cabal   Wed Feb 16 10:02:14 2022 +0000
@@ -0,0 +1,13 @@
+$NetBSD: patch-semirings.cabal,v 1.1 2022/02/16 10:02:14 pho Exp $
+
+Fix build with hashable-1.4
+
+--- semirings.cabal.orig       2001-09-09 01:46:40.000000000 +0000
++++ semirings.cabal
+@@ -80,5 +80,5 @@ library
+ 
+   if flag(unordered-containers)
+     build-depends:
+-        hashable >= 1.1  && < 1.4
++        hashable >= 1.1
+       , unordered-containers >= 0.2  && < 0.3



Home | Main Index | Thread Index | Old Index