From 9d075173b57261433d050f2ed8b1c781c5602987 Mon Sep 17 00:00:00 2001
From: John Soo <jsoo1@asu.edu>
Date: Sun, 7 Jul 2019 17:30:41 -0700
Subject: [PATCH 02/12] gnu: Add ghc-non-negative.

* gnu/packages/haskell.scm (ghc-non-negative): New variable.
---
 gnu/packages/haskell.scm | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)

diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index fe762a2a9a..e3de0d7807 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -2709,6 +2709,34 @@ transformers 0.3 and 0.4 for users who need strict transformers 0.2 or 0.3
 compatibility to run on old versions of the platform.")
     (license license:bsd-3)))
 
+(define-public ghc-non-negative
+  (package
+    (name "ghc-non-negative")
+    (version "0.1.2")
+    (source
+     (origin
+       (method url-fetch)
+       (uri
+        (string-append
+         "https://hackage.haskell.org/package/non-negative/non-negative-"
+         version ".tar.gz"))
+       (sha256
+        (base32
+         "0f01q916dzkl1i0v15qrw9cviycki5g3fgi6x8gs45iwbzssq52n"))))
+    (build-system haskell-build-system)
+    (inputs
+     `(("ghc-semigroups" ,ghc-semigroups)
+       ("ghc-utility-ht" ,ghc-utility-ht)
+       ("ghc-quickcheck" ,ghc-quickcheck)))
+    (home-page "https://hackage.haskell.org/package/non-negative")
+    (synopsis "Non-negative numbers")
+    (description
+     "Provides a class for non-negative numbers, a wrapper which can turn any
+ordered numeric type into a member of that class, and a lazy number type for
+non-negative numbers (a generalization of Peano numbers).  This library is used
+by the event-list package.")
+    (license license:gpl3+)))
+
 (define-public ghc-transformers-compat
   (package
     (name "ghc-transformers-compat")
-- 
2.22.0