[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-12-09 Thread Felix Yan via arch-commits 
Date: Monday, December 10, 2018 @ 01:44:28
  Author: felixonmars
Revision: 413712

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev 413711, haskell-tamarin-prover-utils/trunk/PKGBUILD)
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch
(from rev 413711, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)

---+
 PKGBUILD  |   45 ++
 ghc-8.4.patch |  110 
 2 files changed, 155 insertions(+)

Copied: haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD 
(from rev 413711, haskell-tamarin-prover-utils/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2018-12-10 01:44:28 UTC (rev 413712)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=tamarin-prover-utils
+pkgname=haskell-tamarin-prover-utils
+pkgver=1.4.0
+pkgrel=10
+pkgdesc="Utility library for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-sha' 'haskell-base64-bytestring' 
'haskell-blaze-builder'
+ 'haskell-dlist' 'haskell-fclabels' 'haskell-safe' 'haskell-syb')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;
+ghc-8.4.patch)
+sha512sums=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74'
+
'14a34dccb77582977f1df0ea74049a22f136161c7afc9c213cb90436b9b2c3ef4ab8f0049417ea4ab3b5c861eab140fe6255c59d5b29a706a330117676cc6047')
+
+prepare() {
+cd tamarin-prover-$pkgver
+patch -p1 -i ../ghc-8.4.patch
+}
+
+build() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
+}

Copied: 
haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch (from 
rev 413711, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)
===
--- community-staging-x86_64/ghc-8.4.patch  (rev 0)
+++ community-staging-x86_64/ghc-8.4.patch  2018-12-10 01:44:28 UTC (rev 
413712)
@@ -0,0 +1,110 @@
+diff --git a/lib/utils/src/Extension/Data/Bounded.hs 
b/lib/utils/src/Extension/Data/Bounded.hs
+index 5f166006..6ca7970d 100644
+--- a/lib/utils/src/Extension/Data/Bounded.hs
 b/lib/utils/src/Extension/Data/Bounded.hs
+@@ -16,14 +16,18 @@ module Extension.Data.Bounded (
+ newtype BoundedMax a = BoundedMax {getBoundedMax :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMax a) where
++BoundedMax x <> BoundedMax y = BoundedMax (max x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMax a) where
+ mempty  = BoundedMax minBound
+-(BoundedMax x) `mappend` (BoundedMax y) = BoundedMax (max x y)
+ 
+ -- | A newtype wrapper for a monoid of the minimum of a bounded type.
+ newtype BoundedMin a = BoundedMin {getBoundedMin :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMin a) where
++BoundedMin x <> BoundedMin y = BoundedMin (min x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMin a) where
+ mempty  = BoundedMin maxBound
+-(BoundedMin x) `mappend` (BoundedMin y) = BoundedMin (min x y)
+\ No newline at end of file
+diff --git a/lib/utils/src/Extension/Data/Monoid.hs 
b/lib/utils/src/Extension/Data/Monoid.hs
+index 83655c34..ca4f53c2 100644
+--- a/lib/utils/src/Extension/Data/Monoid.hs
 b/lib/utils/src/Extension/Data/Monoid.hs
+@@ -38,10 +38,12 @@ newtype MinMax a = MinMax { getMinMax :: Maybe (a, a) }
+ minMaxSingleton :: a -> MinMax a
+ minMaxSingleton x = MinMax (Just (x, x))
+ 
++instance Ord a =>

[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-12-05 Thread Felix Yan via arch-commits 
Date: Wednesday, December 5, 2018 @ 09:08:35
  Author: felixonmars
Revision: 411287

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev 411286, haskell-tamarin-prover-utils/trunk/PKGBUILD)
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch
(from rev 411286, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)

---+
 PKGBUILD  |   45 ++
 ghc-8.4.patch |  110 
 2 files changed, 155 insertions(+)

Copied: haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD 
(from rev 411286, haskell-tamarin-prover-utils/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2018-12-05 09:08:35 UTC (rev 411287)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=tamarin-prover-utils
+pkgname=haskell-tamarin-prover-utils
+pkgver=1.4.0
+pkgrel=9
+pkgdesc="Utility library for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-sha' 'haskell-base64-bytestring' 
'haskell-blaze-builder'
+ 'haskell-dlist' 'haskell-fclabels' 'haskell-safe' 'haskell-syb')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;
+ghc-8.4.patch)
+sha512sums=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74'
+
'14a34dccb77582977f1df0ea74049a22f136161c7afc9c213cb90436b9b2c3ef4ab8f0049417ea4ab3b5c861eab140fe6255c59d5b29a706a330117676cc6047')
+
+prepare() {
+cd tamarin-prover-$pkgver
+patch -p1 -i ../ghc-8.4.patch
+}
+
+build() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
+}

Copied: 
haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch (from 
rev 411286, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)
===
--- community-staging-x86_64/ghc-8.4.patch  (rev 0)
+++ community-staging-x86_64/ghc-8.4.patch  2018-12-05 09:08:35 UTC (rev 
411287)
@@ -0,0 +1,110 @@
+diff --git a/lib/utils/src/Extension/Data/Bounded.hs 
b/lib/utils/src/Extension/Data/Bounded.hs
+index 5f166006..6ca7970d 100644
+--- a/lib/utils/src/Extension/Data/Bounded.hs
 b/lib/utils/src/Extension/Data/Bounded.hs
+@@ -16,14 +16,18 @@ module Extension.Data.Bounded (
+ newtype BoundedMax a = BoundedMax {getBoundedMax :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMax a) where
++BoundedMax x <> BoundedMax y = BoundedMax (max x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMax a) where
+ mempty  = BoundedMax minBound
+-(BoundedMax x) `mappend` (BoundedMax y) = BoundedMax (max x y)
+ 
+ -- | A newtype wrapper for a monoid of the minimum of a bounded type.
+ newtype BoundedMin a = BoundedMin {getBoundedMin :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMin a) where
++BoundedMin x <> BoundedMin y = BoundedMin (min x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMin a) where
+ mempty  = BoundedMin maxBound
+-(BoundedMin x) `mappend` (BoundedMin y) = BoundedMin (min x y)
+\ No newline at end of file
+diff --git a/lib/utils/src/Extension/Data/Monoid.hs 
b/lib/utils/src/Extension/Data/Monoid.hs
+index 83655c34..ca4f53c2 100644
+--- a/lib/utils/src/Extension/Data/Monoid.hs
 b/lib/utils/src/Extension/Data/Monoid.hs
+@@ -38,10 +38,12 @@ newtype MinMax a = MinMax { getMinMax :: Maybe (a, a) }
+ minMaxSingleton :: a -> MinMax a
+ minMaxSingleton x = MinMax (Just (x, x))
+ 
++instance Ord a =>

[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-11-06 Thread Felix Yan via arch-commits 
Date: Tuesday, November 6, 2018 @ 21:36:56
  Author: felixonmars
Revision: 402239

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev 402238, haskell-tamarin-prover-utils/trunk/PKGBUILD)
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch
(from rev 402238, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)

---+
 PKGBUILD  |   45 ++
 ghc-8.4.patch |  110 
 2 files changed, 155 insertions(+)

Copied: haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD 
(from rev 402238, haskell-tamarin-prover-utils/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2018-11-06 21:36:56 UTC (rev 402239)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=tamarin-prover-utils
+pkgname=haskell-tamarin-prover-utils
+pkgver=1.4.0
+pkgrel=8
+pkgdesc="Utility library for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-sha' 'haskell-base64-bytestring' 
'haskell-blaze-builder'
+ 'haskell-dlist' 'haskell-fclabels' 'haskell-safe' 'haskell-syb')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;
+ghc-8.4.patch)
+sha512sums=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74'
+
'14a34dccb77582977f1df0ea74049a22f136161c7afc9c213cb90436b9b2c3ef4ab8f0049417ea4ab3b5c861eab140fe6255c59d5b29a706a330117676cc6047')
+
+prepare() {
+cd tamarin-prover-$pkgver
+patch -p1 -i ../ghc-8.4.patch
+}
+
+build() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir=/usr/share/doc/$pkgname \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+install -D -m744 register.sh 
"$pkgdir"/usr/share/haskell/register/$pkgname.sh
+install -D -m744 unregister.sh 
"$pkgdir"/usr/share/haskell/unregister/$pkgname.sh
+runhaskell Setup copy --destdir="$pkgdir"
+rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
+}

Copied: 
haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch (from 
rev 402238, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)
===
--- community-staging-x86_64/ghc-8.4.patch  (rev 0)
+++ community-staging-x86_64/ghc-8.4.patch  2018-11-06 21:36:56 UTC (rev 
402239)
@@ -0,0 +1,110 @@
+diff --git a/lib/utils/src/Extension/Data/Bounded.hs 
b/lib/utils/src/Extension/Data/Bounded.hs
+index 5f166006..6ca7970d 100644
+--- a/lib/utils/src/Extension/Data/Bounded.hs
 b/lib/utils/src/Extension/Data/Bounded.hs
+@@ -16,14 +16,18 @@ module Extension.Data.Bounded (
+ newtype BoundedMax a = BoundedMax {getBoundedMax :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMax a) where
++BoundedMax x <> BoundedMax y = BoundedMax (max x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMax a) where
+ mempty  = BoundedMax minBound
+-(BoundedMax x) `mappend` (BoundedMax y) = BoundedMax (max x y)
+ 
+ -- | A newtype wrapper for a monoid of the minimum of a bounded type.
+ newtype BoundedMin a = BoundedMin {getBoundedMin :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMin a) where
++BoundedMin x <> BoundedMin y = BoundedMin (min x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMin a) where
+ mempty  = BoundedMin maxBound
+-(BoundedMin x) `mappend` (BoundedMin y) = BoundedMin (min x y)
+\ No newline at end of file
+diff --git a/lib/utils/src/Extension/Data/Monoid.hs 
b/lib/utils/src/Extension/Data/Monoid.hs
+index 83655c34..ca4f53c2 100644
+--- a/lib/utils/src/Extension/Data/Monoid.hs
 b/lib/utils/src/Extension/Data/Monoid.hs
+@@ -38,10 +38,12 @@ newtype MinMax a = MinMax { getMinMax :: Maybe (a, a) }
+ minMaxSingleton :: a -> MinMax a
+ minMaxSingleton x = MinMax (Just (x, x))
+ 
++instance Ord a =>

[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-10-14 Thread Felix Yan via arch-commits 
Date: Monday, October 15, 2018 @ 00:13:04
  Author: felixonmars
Revision: 393982

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev 393981, haskell-tamarin-prover-utils/trunk/PKGBUILD)
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch
(from rev 393981, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)

---+
 PKGBUILD  |   45 ++
 ghc-8.4.patch |  110 
 2 files changed, 155 insertions(+)

Copied: haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD 
(from rev 393981, haskell-tamarin-prover-utils/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2018-10-15 00:13:04 UTC (rev 393982)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=tamarin-prover-utils
+pkgname=haskell-tamarin-prover-utils
+pkgver=1.4.0
+pkgrel=7
+pkgdesc="Utility library for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-sha' 'haskell-base64-bytestring' 
'haskell-blaze-builder'
+ 'haskell-dlist' 'haskell-fclabels' 'haskell-safe' 'haskell-syb')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;
+ghc-8.4.patch)
+sha512sums=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74'
+
'14a34dccb77582977f1df0ea74049a22f136161c7afc9c213cb90436b9b2c3ef4ab8f0049417ea4ab3b5c861eab140fe6255c59d5b29a706a330117676cc6047')
+
+prepare() {
+cd tamarin-prover-$pkgver
+patch -p1 -i ../ghc-8.4.patch
+}
+
+build() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+install -D -m744 register.sh   
"${pkgdir}/usr/share/haskell/register/${pkgname}.sh"
+install -D -m744 unregister.sh 
"${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
+}

Copied: 
haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch (from 
rev 393981, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)
===
--- community-staging-x86_64/ghc-8.4.patch  (rev 0)
+++ community-staging-x86_64/ghc-8.4.patch  2018-10-15 00:13:04 UTC (rev 
393982)
@@ -0,0 +1,110 @@
+diff --git a/lib/utils/src/Extension/Data/Bounded.hs 
b/lib/utils/src/Extension/Data/Bounded.hs
+index 5f166006..6ca7970d 100644
+--- a/lib/utils/src/Extension/Data/Bounded.hs
 b/lib/utils/src/Extension/Data/Bounded.hs
+@@ -16,14 +16,18 @@ module Extension.Data.Bounded (
+ newtype BoundedMax a = BoundedMax {getBoundedMax :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMax a) where
++BoundedMax x <> BoundedMax y = BoundedMax (max x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMax a) where
+ mempty  = BoundedMax minBound
+-(BoundedMax x) `mappend` (BoundedMax y) = BoundedMax (max x y)
+ 
+ -- | A newtype wrapper for a monoid of the minimum of a bounded type.
+ newtype BoundedMin a = BoundedMin {getBoundedMin :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMin a) where
++BoundedMin x <> BoundedMin y = BoundedMin (min x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMin a) where
+ mempty  = BoundedMin maxBound
+-(BoundedMin x) `mappend` (BoundedMin y) = BoundedMin (min x y)
+\ No newline at end of file
+diff --git a/lib/utils/src/Extension/Data/Monoid.hs 
b/lib/utils/src/Extension/Data/Monoid.hs
+index 83655c34..ca4f53c2 100644
+--- a/lib/utils/src/Extension/Data/Monoid.hs
 b/lib/utils/src/Extension/Data/Monoid.hs
+@@ -38,10 +38,12 @@ newtype MinMax a = MinMax { getMinMax :: Maybe (a, a) }
+ minMaxSingleton :: a -> MinMax a
+ minMaxSingleton x = MinMax (Just (x, x))
+ 
++instance

[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-09-13 Thread Felix Yan via arch-commits 
Date: Thursday, September 13, 2018 @ 15:56:15
  Author: felixonmars
Revision: 380335

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev 380334, haskell-tamarin-prover-utils/trunk/PKGBUILD)
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch
(from rev 380334, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)

---+
 PKGBUILD  |   45 ++
 ghc-8.4.patch |  110 
 2 files changed, 155 insertions(+)

Copied: haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD 
(from rev 380334, haskell-tamarin-prover-utils/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2018-09-13 15:56:15 UTC (rev 380335)
@@ -0,0 +1,45 @@
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=tamarin-prover-utils
+pkgname=haskell-tamarin-prover-utils
+pkgver=1.4.0
+pkgrel=6
+pkgdesc="Utility library for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-sha' 'haskell-base64-bytestring' 
'haskell-blaze-builder'
+ 'haskell-dlist' 'haskell-fclabels' 'haskell-safe' 'haskell-syb')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;
+ghc-8.4.patch)
+sha512sums=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74'
+
'14a34dccb77582977f1df0ea74049a22f136161c7afc9c213cb90436b9b2c3ef4ab8f0049417ea4ab3b5c861eab140fe6255c59d5b29a706a330117676cc6047')
+
+prepare() {
+cd tamarin-prover-$pkgver
+patch -p1 -i ../ghc-8.4.patch
+}
+
+build() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+install -D -m744 register.sh   
"${pkgdir}/usr/share/haskell/register/${pkgname}.sh"
+install -D -m744 unregister.sh 
"${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
+}

Copied: 
haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch (from 
rev 380334, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)
===
--- community-staging-x86_64/ghc-8.4.patch  (rev 0)
+++ community-staging-x86_64/ghc-8.4.patch  2018-09-13 15:56:15 UTC (rev 
380335)
@@ -0,0 +1,110 @@
+diff --git a/lib/utils/src/Extension/Data/Bounded.hs 
b/lib/utils/src/Extension/Data/Bounded.hs
+index 5f166006..6ca7970d 100644
+--- a/lib/utils/src/Extension/Data/Bounded.hs
 b/lib/utils/src/Extension/Data/Bounded.hs
+@@ -16,14 +16,18 @@ module Extension.Data.Bounded (
+ newtype BoundedMax a = BoundedMax {getBoundedMax :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMax a) where
++BoundedMax x <> BoundedMax y = BoundedMax (max x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMax a) where
+ mempty  = BoundedMax minBound
+-(BoundedMax x) `mappend` (BoundedMax y) = BoundedMax (max x y)
+ 
+ -- | A newtype wrapper for a monoid of the minimum of a bounded type.
+ newtype BoundedMin a = BoundedMin {getBoundedMin :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMin a) where
++BoundedMin x <> BoundedMin y = BoundedMin (min x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMin a) where
+ mempty  = BoundedMin maxBound
+-(BoundedMin x) `mappend` (BoundedMin y) = BoundedMin (min x y)
+\ No newline at end of file
+diff --git a/lib/utils/src/Extension/Data/Monoid.hs 
b/lib/utils/src/Extension/Data/Monoid.hs
+index 83655c34..ca4f53c2 100644
+--- a/lib/utils/src/Extension/Data/Monoid.hs
 b/lib/utils/src/Extension/Data/Monoid.hs
+@@ -38,10 +38,12 @@ newtype MinMax a = MinMax { getMinMax :: Maybe (a, a) }
+ minMaxSingleton :: a -> MinMax a
+ minMaxSingleton x = MinMax (Just (x, x))
+

[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-06-02 Thread Felix Yan via arch-commits 
Date: Saturday, June 2, 2018 @ 10:25:26
  Author: felixonmars
Revision: 337298

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev 337297, haskell-tamarin-prover-utils/trunk/PKGBUILD)
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch
(from rev 337297, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)

---+
 PKGBUILD  |   46 +++
 ghc-8.4.patch |  110 
 2 files changed, 156 insertions(+)

Copied: haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD 
(from rev 337297, haskell-tamarin-prover-utils/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2018-06-02 10:25:26 UTC (rev 337298)
@@ -0,0 +1,46 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=tamarin-prover-utils
+pkgname=haskell-tamarin-prover-utils
+pkgver=1.4.0
+pkgrel=5
+pkgdesc="Utility library for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-sha' 'haskell-base64-bytestring' 
'haskell-blaze-builder'
+ 'haskell-dlist' 'haskell-fclabels' 'haskell-safe' 'haskell-syb')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;
+ghc-8.4.patch)
+sha512sums=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74'
+
'14a34dccb77582977f1df0ea74049a22f136161c7afc9c213cb90436b9b2c3ef4ab8f0049417ea4ab3b5c861eab140fe6255c59d5b29a706a330117676cc6047')
+
+prepare() {
+cd tamarin-prover-$pkgver
+patch -p1 -i ../ghc-8.4.patch
+}
+
+build() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+install -D -m744 register.sh   
"${pkgdir}/usr/share/haskell/register/${pkgname}.sh"
+install -D -m744 unregister.sh 
"${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
+}

Copied: 
haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch (from 
rev 337297, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)
===
--- community-staging-x86_64/ghc-8.4.patch  (rev 0)
+++ community-staging-x86_64/ghc-8.4.patch  2018-06-02 10:25:26 UTC (rev 
337298)
@@ -0,0 +1,110 @@
+diff --git a/lib/utils/src/Extension/Data/Bounded.hs 
b/lib/utils/src/Extension/Data/Bounded.hs
+index 5f166006..6ca7970d 100644
+--- a/lib/utils/src/Extension/Data/Bounded.hs
 b/lib/utils/src/Extension/Data/Bounded.hs
+@@ -16,14 +16,18 @@ module Extension.Data.Bounded (
+ newtype BoundedMax a = BoundedMax {getBoundedMax :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMax a) where
++BoundedMax x <> BoundedMax y = BoundedMax (max x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMax a) where
+ mempty  = BoundedMax minBound
+-(BoundedMax x) `mappend` (BoundedMax y) = BoundedMax (max x y)
+ 
+ -- | A newtype wrapper for a monoid of the minimum of a bounded type.
+ newtype BoundedMin a = BoundedMin {getBoundedMin :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMin a) where
++BoundedMin x <> BoundedMin y = BoundedMin (min x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMin a) where
+ mempty  = BoundedMin maxBound
+-(BoundedMin x) `mappend` (BoundedMin y) = BoundedMin (min x y)
+\ No newline at end of file
+diff --git a/lib/utils/src/Extension/Data/Monoid.hs 
b/lib/utils/src/Extension/Data/Monoid.hs
+index 83655c34..ca4f53c2 100644
+--- a/lib/utils/src/Extension/Data/Monoid.hs
 b/lib/utils/src/Extension/Data/Monoid.hs
+@@ -38,10 +38,12 @@ newtype MinMax a = MinMax { getMinMax :: Maybe (a, a) }
+ minMaxSingleton :: a -> MinMax a
+ minMaxSingleton x = MinMax (Just (x, x))
+

[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-06-01 Thread Felix Yan via arch-commits 
Date: Friday, June 1, 2018 @ 07:47:32
  Author: felixonmars
Revision: 335635

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev 335634, haskell-tamarin-prover-utils/trunk/PKGBUILD)
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch
(from rev 335634, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)

---+
 PKGBUILD  |   46 +++
 ghc-8.4.patch |  110 
 2 files changed, 156 insertions(+)

Copied: haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD 
(from rev 335634, haskell-tamarin-prover-utils/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2018-06-01 07:47:32 UTC (rev 335635)
@@ -0,0 +1,46 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=tamarin-prover-utils
+pkgname=haskell-tamarin-prover-utils
+pkgver=1.4.0
+pkgrel=4
+pkgdesc="Utility library for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-sha' 'haskell-base64-bytestring' 
'haskell-blaze-builder'
+ 'haskell-dlist' 'haskell-fclabels' 'haskell-safe' 'haskell-syb')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;
+ghc-8.4.patch)
+sha512sums=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74'
+
'14a34dccb77582977f1df0ea74049a22f136161c7afc9c213cb90436b9b2c3ef4ab8f0049417ea4ab3b5c861eab140fe6255c59d5b29a706a330117676cc6047')
+
+prepare() {
+cd tamarin-prover-$pkgver
+patch -p1 -i ../ghc-8.4.patch
+}
+
+build() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+install -D -m744 register.sh   
"${pkgdir}/usr/share/haskell/register/${pkgname}.sh"
+install -D -m744 unregister.sh 
"${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
+}

Copied: 
haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch (from 
rev 335634, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)
===
--- community-staging-x86_64/ghc-8.4.patch  (rev 0)
+++ community-staging-x86_64/ghc-8.4.patch  2018-06-01 07:47:32 UTC (rev 
335635)
@@ -0,0 +1,110 @@
+diff --git a/lib/utils/src/Extension/Data/Bounded.hs 
b/lib/utils/src/Extension/Data/Bounded.hs
+index 5f166006..6ca7970d 100644
+--- a/lib/utils/src/Extension/Data/Bounded.hs
 b/lib/utils/src/Extension/Data/Bounded.hs
+@@ -16,14 +16,18 @@ module Extension.Data.Bounded (
+ newtype BoundedMax a = BoundedMax {getBoundedMax :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMax a) where
++BoundedMax x <> BoundedMax y = BoundedMax (max x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMax a) where
+ mempty  = BoundedMax minBound
+-(BoundedMax x) `mappend` (BoundedMax y) = BoundedMax (max x y)
+ 
+ -- | A newtype wrapper for a monoid of the minimum of a bounded type.
+ newtype BoundedMin a = BoundedMin {getBoundedMin :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMin a) where
++BoundedMin x <> BoundedMin y = BoundedMin (min x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMin a) where
+ mempty  = BoundedMin maxBound
+-(BoundedMin x) `mappend` (BoundedMin y) = BoundedMin (min x y)
+\ No newline at end of file
+diff --git a/lib/utils/src/Extension/Data/Monoid.hs 
b/lib/utils/src/Extension/Data/Monoid.hs
+index 83655c34..ca4f53c2 100644
+--- a/lib/utils/src/Extension/Data/Monoid.hs
 b/lib/utils/src/Extension/Data/Monoid.hs
+@@ -38,10 +38,12 @@ newtype MinMax a = MinMax { getMinMax :: Maybe (a, a) }
+ minMaxSingleton :: a -> MinMax a
+ minMaxSingleton x = MinMax (Just (x, x))
+

[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-05-23 Thread Felix Yan via arch-commits 
Date: Wednesday, May 23, 2018 @ 07:51:12
  Author: felixonmars
Revision: 328050

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev 328049, haskell-tamarin-prover-utils/trunk/PKGBUILD)
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch
(from rev 328049, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)

---+
 PKGBUILD  |   46 +++
 ghc-8.4.patch |  110 
 2 files changed, 156 insertions(+)

Copied: haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD 
(from rev 328049, haskell-tamarin-prover-utils/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2018-05-23 07:51:12 UTC (rev 328050)
@@ -0,0 +1,46 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=tamarin-prover-utils
+pkgname=haskell-tamarin-prover-utils
+pkgver=1.4.0
+pkgrel=3
+pkgdesc="Utility library for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-sha' 'haskell-base64-bytestring' 
'haskell-blaze-builder'
+ 'haskell-dlist' 'haskell-fclabels' 'haskell-safe' 'haskell-syb')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;
+ghc-8.4.patch)
+sha512sums=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74'
+
'14a34dccb77582977f1df0ea74049a22f136161c7afc9c213cb90436b9b2c3ef4ab8f0049417ea4ab3b5c861eab140fe6255c59d5b29a706a330117676cc6047')
+
+prepare() {
+cd tamarin-prover-$pkgver
+patch -p1 -i ../ghc-8.4.patch
+}
+
+build() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+install -D -m744 register.sh   
"${pkgdir}/usr/share/haskell/register/${pkgname}.sh"
+install -D -m744 unregister.sh 
"${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
+}

Copied: 
haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch (from 
rev 328049, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)
===
--- community-staging-x86_64/ghc-8.4.patch  (rev 0)
+++ community-staging-x86_64/ghc-8.4.patch  2018-05-23 07:51:12 UTC (rev 
328050)
@@ -0,0 +1,110 @@
+diff --git a/lib/utils/src/Extension/Data/Bounded.hs 
b/lib/utils/src/Extension/Data/Bounded.hs
+index 5f166006..6ca7970d 100644
+--- a/lib/utils/src/Extension/Data/Bounded.hs
 b/lib/utils/src/Extension/Data/Bounded.hs
+@@ -16,14 +16,18 @@ module Extension.Data.Bounded (
+ newtype BoundedMax a = BoundedMax {getBoundedMax :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMax a) where
++BoundedMax x <> BoundedMax y = BoundedMax (max x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMax a) where
+ mempty  = BoundedMax minBound
+-(BoundedMax x) `mappend` (BoundedMax y) = BoundedMax (max x y)
+ 
+ -- | A newtype wrapper for a monoid of the minimum of a bounded type.
+ newtype BoundedMin a = BoundedMin {getBoundedMin :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMin a) where
++BoundedMin x <> BoundedMin y = BoundedMin (min x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMin a) where
+ mempty  = BoundedMin maxBound
+-(BoundedMin x) `mappend` (BoundedMin y) = BoundedMin (min x y)
+\ No newline at end of file
+diff --git a/lib/utils/src/Extension/Data/Monoid.hs 
b/lib/utils/src/Extension/Data/Monoid.hs
+index 83655c34..ca4f53c2 100644
+--- a/lib/utils/src/Extension/Data/Monoid.hs
 b/lib/utils/src/Extension/Data/Monoid.hs
+@@ -38,10 +38,12 @@ newtype MinMax a = MinMax { getMinMax :: Maybe (a, a) }
+ minMaxSingleton :: a -> MinMax

[arch-commits] Commit in haskell-tamarin-prover-utils/repos (3 files)

2018-05-18 Thread Felix Yan via arch-commits 
Date: Friday, May 18, 2018 @ 07:43:49
  Author: felixonmars
Revision: 324258

archrelease: copy trunk to community-staging-x86_64

Added:
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD
(from rev 324257, haskell-tamarin-prover-utils/trunk/PKGBUILD)
  haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch
(from rev 324257, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)

---+
 PKGBUILD  |   46 +++
 ghc-8.4.patch |  110 
 2 files changed, 156 insertions(+)

Copied: haskell-tamarin-prover-utils/repos/community-staging-x86_64/PKGBUILD 
(from rev 324257, haskell-tamarin-prover-utils/trunk/PKGBUILD)
===
--- community-staging-x86_64/PKGBUILD   (rev 0)
+++ community-staging-x86_64/PKGBUILD   2018-05-18 07:43:49 UTC (rev 324258)
@@ -0,0 +1,46 @@
+# $Id$
+# Maintainer: Felix Yan 
+# Contributor: Arch Haskell Team 
+
+_hkgname=tamarin-prover-utils
+pkgname=haskell-tamarin-prover-utils
+pkgver=1.4.0
+pkgrel=2
+pkgdesc="Utility library for the tamarin prover"
+url="http://www.infsec.ethz.ch/research/software/tamarin;
+license=("GPL")
+arch=('x86_64')
+depends=('ghc-libs' 'haskell-sha' 'haskell-base64-bytestring' 
'haskell-blaze-builder'
+ 'haskell-dlist' 'haskell-fclabels' 'haskell-safe' 'haskell-syb')
+makedepends=('ghc')
+source=("tamarin-prover-$pkgver.tar.gz::https://github.com/tamarin-prover/tamarin-prover/archive/$pkgver.tar.gz;
+ghc-8.4.patch)
+sha512sums=('7c1afe6a53b596c2ce01e9ad7a7f464af1f4efbc5f8edc13d5ec8bc32ce4e91ddde91dff6ab8e01cf3cf30a37a3a18953d937debc36c9df664f718d968e2ae74'
+
'14a34dccb77582977f1df0ea74049a22f136161c7afc9c213cb90436b9b2c3ef4ab8f0049417ea4ab3b5c861eab140fe6255c59d5b29a706a330117676cc6047')
+
+prepare() {
+cd tamarin-prover-$pkgver
+patch -p1 -i ../ghc-8.4.patch
+}
+
+build() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+runhaskell Setup configure -O --enable-shared --enable-executable-dynamic 
--disable-library-vanilla \
+--prefix=/usr --docdir="/usr/share/doc/${pkgname}" \
+--dynlibdir=/usr/lib --libsubdir=\$compiler/site-local/\$pkgid
+runhaskell Setup build
+runhaskell Setup register --gen-script
+runhaskell Setup unregister --gen-script
+sed -i -r -e "s|ghc-pkg.*update[^ ]* |&'--force' |" register.sh
+sed -i -r -e "s|ghc-pkg.*unregister[^ ]* |&'--force' |" unregister.sh
+}
+
+package() {
+cd "${srcdir}/tamarin-prover-${pkgver}/lib/utils"
+
+install -D -m744 register.sh   
"${pkgdir}/usr/share/haskell/register/${pkgname}.sh"
+install -D -m744 unregister.sh 
"${pkgdir}/usr/share/haskell/unregister/${pkgname}.sh"
+runhaskell Setup copy --destdir="${pkgdir}"
+rm -f "${pkgdir}/usr/share/doc/${pkgname}/LICENSE"
+}

Copied: 
haskell-tamarin-prover-utils/repos/community-staging-x86_64/ghc-8.4.patch (from 
rev 324257, haskell-tamarin-prover-utils/trunk/ghc-8.4.patch)
===
--- community-staging-x86_64/ghc-8.4.patch  (rev 0)
+++ community-staging-x86_64/ghc-8.4.patch  2018-05-18 07:43:49 UTC (rev 
324258)
@@ -0,0 +1,110 @@
+diff --git a/lib/utils/src/Extension/Data/Bounded.hs 
b/lib/utils/src/Extension/Data/Bounded.hs
+index 5f166006..6ca7970d 100644
+--- a/lib/utils/src/Extension/Data/Bounded.hs
 b/lib/utils/src/Extension/Data/Bounded.hs
+@@ -16,14 +16,18 @@ module Extension.Data.Bounded (
+ newtype BoundedMax a = BoundedMax {getBoundedMax :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMax a) where
++BoundedMax x <> BoundedMax y = BoundedMax (max x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMax a) where
+ mempty  = BoundedMax minBound
+-(BoundedMax x) `mappend` (BoundedMax y) = BoundedMax (max x y)
+ 
+ -- | A newtype wrapper for a monoid of the minimum of a bounded type.
+ newtype BoundedMin a = BoundedMin {getBoundedMin :: a}
+ deriving( Eq, Ord, Show )
+ 
++instance (Ord a, Bounded a) => Semigroup (BoundedMin a) where
++BoundedMin x <> BoundedMin y = BoundedMin (min x y)
++
+ instance (Ord a, Bounded a) => Monoid (BoundedMin a) where
+ mempty  = BoundedMin maxBound
+-(BoundedMin x) `mappend` (BoundedMin y) = BoundedMin (min x y)
+\ No newline at end of file
+diff --git a/lib/utils/src/Extension/Data/Monoid.hs 
b/lib/utils/src/Extension/Data/Monoid.hs
+index 83655c34..ca4f53c2 100644
+--- a/lib/utils/src/Extension/Data/Monoid.hs
 b/lib/utils/src/Extension/Data/Monoid.hs
+@@ -38,10 +38,12 @@ newtype MinMax a = MinMax { getMinMax :: Maybe (a, a) }
+ minMaxSingleton :: a -> MinMax a
+