From 3166e7324eb67ed9c43da97ee33ce35b24d6d342 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Sun, 4 Jul 2021 14:20:52 +0200 Subject: gnu: Add ghc-finite-typelits. * gnu/packages/haskell-xyz.scm (ghc-finite-typelits): New public variable. --- gnu/packages/haskell-xyz.scm | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) diff --git a/gnu/packages/haskell-xyz.scm b/gnu/packages/haskell-xyz.scm index e6fe09c282..7ed0db6c66 100644 --- a/gnu/packages/haskell-xyz.scm +++ b/gnu/packages/haskell-xyz.scm @@ -4575,6 +4575,26 @@ (define-public ghc-fingertree simple general-purpose data structure\".") (license license:bsd-3))) +(define-public ghc-finite-typelits + (package + (name "ghc-finite-typelits") + (version "0.1.4.2") + (source + (origin + (method url-fetch) + (uri (string-append "https://hackage.haskell.org/package/" + "finite-typelits/" + "finite-typelits-" version ".tar.gz")) + (sha256 + (base32 "0iyp9fyd2ki9qcmk9infz9p6rjhsx9jrs3f5yz0yqs8vj5na81yj")))) + (build-system haskell-build-system) + (home-page "https://github.com/mniip/finite-typelits") + (synopsis "Finitely many values, indexed by type-level naturals") + (description + "This package provides a Haskell type inhabited by finitely many values +and indexed by type-level naturals.") + (license license:bsd-3))) + (define-public ghc-fixed (package (name "ghc-fixed") -- cgit v1.2.3