summaryrefslogtreecommitdiff
path: root/math
diff options
context:
space:
mode:
authorpho <pho@pkgsrc.org>2022-02-16 10:02:14 +0000
committerpho <pho@pkgsrc.org>2022-02-16 10:02:14 +0000
commit6941bdb40b62a798d2faf4d319aa42fcc13c91b8 (patch)
tree4892f369935345c9842f71308c976805a52d88e4 /math
parent4af0181dda4b6f57cdcf70fa404b1d745be66ba7 (diff)
downloadpkgsrc-6941bdb40b62a798d2faf4d319aa42fcc13c91b8.tar.gz
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 (limited to 'math')
-rw-r--r--math/hs-semirings/DESCR14
-rw-r--r--math/hs-semirings/Makefile14
-rw-r--r--math/hs-semirings/PLIST39
-rw-r--r--math/hs-semirings/buildlink3.mk17
-rw-r--r--math/hs-semirings/distinfo6
-rw-r--r--math/hs-semirings/patches/patch-semirings.cabal13
6 files changed, 103 insertions, 0 deletions
diff --git a/math/hs-semirings/DESCR b/math/hs-semirings/DESCR
new file mode 100644
index 00000000000..c11d237801a
--- /dev/null
+++ b/math/hs-semirings/DESCR
@@ -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 --git a/math/hs-semirings/Makefile b/math/hs-semirings/Makefile
new file mode 100644
index 00000000000..1d6b0f991e7
--- /dev/null
+++ b/math/hs-semirings/Makefile
@@ -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
+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 --git a/math/hs-semirings/PLIST b/math/hs-semirings/PLIST
new file mode 100644
index 00000000000..8c959786e8b
--- /dev/null
+++ b/math/hs-semirings/PLIST
@@ -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 --git a/math/hs-semirings/buildlink3.mk b/math/hs-semirings/buildlink3.mk
new file mode 100644
index 00000000000..4cd773c0487
--- /dev/null
+++ b/math/hs-semirings/buildlink3.mk
@@ -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 --git a/math/hs-semirings/distinfo b/math/hs-semirings/distinfo
new file mode 100644
index 00000000000..2e9957001d6
--- /dev/null
+++ b/math/hs-semirings/distinfo
@@ -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 --git a/math/hs-semirings/patches/patch-semirings.cabal b/math/hs-semirings/patches/patch-semirings.cabal
new file mode 100644
index 00000000000..73943811284
--- /dev/null
+++ b/math/hs-semirings/patches/patch-semirings.cabal
@@ -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