From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:42385) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iaec5-0004CY-4Q for guix-patches@gnu.org; Fri, 29 Nov 2019 06:39:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iaec1-000153-Vc for guix-patches@gnu.org; Fri, 29 Nov 2019 06:39:04 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:53538) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iaec1-00013m-R0 for guix-patches@gnu.org; Fri, 29 Nov 2019 06:39:01 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iaec1-0006BR-KT for guix-patches@gnu.org; Fri, 29 Nov 2019 06:39:01 -0500 Subject: [bug#38423] [PATCH 05/49] gnu: Add ghc-data-checked. Resent-Message-ID: From: Robert Vollmert Date: Fri, 29 Nov 2019 12:37:07 +0100 Message-Id: <20191129113751.82405-5-rob@vllmrt.net> In-Reply-To: <20191129113751.82405-1-rob@vllmrt.net> References: <20191129113751.82405-1-rob@vllmrt.net> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 38423@debbugs.gnu.org Cc: Robert Vollmert * gnu/packages/haskell-xyz.scm (ghc-data-checked): New package. --- gnu/packages/haskell-xyz.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index 708159adc6..612bd8100f 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -13281,3 +13281,27 @@ zero-copy slicing (thereby saving 2 words). Consequently, the memory footprint of a (boxed) 'ShortText' value is 4 words (2 words when unboxed) plus the length of the UTF-8 encoded payload.") (license license:bsd-3))) + +(define-public ghc-data-checked + (package + (name "ghc-data-checked") + (version "0.3") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/data-checked/data-checked-" + version + ".tar.gz")) + (sha256 + (base32 + "0xjn7iqlsgi51h8gz4x40kc2qb5lwf6nw5kjwgkck1w5gjfd11yw")))) + (build-system haskell-build-system) + (home-page "https://github.com/mvv/data-checked") + (synopsis + "Type-indexed runtime-checked properties") + (description + "This package provides a (phantom) type-indexed newtype +evidence-wrapper for values that are checked to satisfy the +property associated with the type.") + (license license:bsd-3))) -- 2.21.0 (Apple Git-122.2)