diff options
author | pho <pho@pkgsrc.org> | 2022-02-16 10:02:14 +0000 |
---|---|---|
committer | pho <pho@pkgsrc.org> | 2022-02-16 10:02:14 +0000 |
commit | 6941bdb40b62a798d2faf4d319aa42fcc13c91b8 (patch) | |
tree | 4892f369935345c9842f71308c976805a52d88e4 /math | |
parent | 4af0181dda4b6f57cdcf70fa404b1d745be66ba7 (diff) | |
download | pkgsrc-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/DESCR | 14 | ||||
-rw-r--r-- | math/hs-semirings/Makefile | 14 | ||||
-rw-r--r-- | math/hs-semirings/PLIST | 39 | ||||
-rw-r--r-- | math/hs-semirings/buildlink3.mk | 17 | ||||
-rw-r--r-- | math/hs-semirings/distinfo | 6 | ||||
-rw-r--r-- | math/hs-semirings/patches/patch-semirings.cabal | 13 |
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 |