[Git][haskell-team/DHG_packages][master] Add ghc-typelits-knownnat package

Thu May 5 00:24:10 BST 2022


Scott Talbert pushed to branch master at Debian Haskell Group / DHG_packages


Commits:
d1054723 by Scott Talbert at 2022-05-04T19:22:49-04:00
Add ghc-typelits-knownnat package

- - - - -


7 changed files:

- + p/haskell-ghc-typelits-knownnat/debian/changelog
- + p/haskell-ghc-typelits-knownnat/debian/compat
- + p/haskell-ghc-typelits-knownnat/debian/control
- + p/haskell-ghc-typelits-knownnat/debian/copyright
- + p/haskell-ghc-typelits-knownnat/debian/rules
- + p/haskell-ghc-typelits-knownnat/debian/source/format
- + p/haskell-ghc-typelits-knownnat/debian/watch


Changes:

=====================================
p/haskell-ghc-typelits-knownnat/debian/changelog
=====================================
@@ -0,0 +1,5 @@
+haskell-ghc-typelits-knownnat (0.7.4-1) unstable; urgency=low
+
+  * Initial release
+
+ -- Scott Talbert <swt at techie.net>  Wed, 04 May 2022 15:30:53 -0400


=====================================
p/haskell-ghc-typelits-knownnat/debian/compat
=====================================
@@ -0,0 +1 @@
+10


=====================================
p/haskell-ghc-typelits-knownnat/debian/control
=====================================
@@ -0,0 +1,101 @@
+Source: haskell-ghc-typelits-knownnat
+Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
+Uploaders: Scott Talbert <swt at techie.net>
+Priority: optional
+Section: haskell
+Build-Depends: debhelper (>= 10),
+ haskell-devscripts-minimal | haskell-devscripts (>= 0.13),
+ cdbs,
+ ghc,
+ ghc-prof,
+ libghc-ghc-tcplugins-extra-dev (>= 0.3.1),
+ libghc-ghc-tcplugins-extra-prof,
+ libghc-ghc-typelits-natnormalise-dev (>= 0.7.1),
+ libghc-ghc-typelits-natnormalise-dev (<< 0.8),
+ libghc-ghc-typelits-natnormalise-prof,
+ libghc-tasty-dev (>= 0.10),
+ libghc-tasty-prof,
+ libghc-tasty-hunit-dev (>= 0.9),
+ libghc-tasty-hunit-prof,
+ libghc-tasty-quickcheck-dev (>= 0.8),
+ libghc-tasty-quickcheck-prof,
+Build-Depends-Indep: ghc-doc,
+ libghc-ghc-tcplugins-extra-doc,
+ libghc-ghc-typelits-natnormalise-doc,
+Standards-Version: 4.6.0
+Homepage: https://clash-lang.org/
+Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-ghc-typelits-knownnat
+Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git
+X-Description: Derive KnownNat constraints from other KnownNat constraints
+ A type checker plugin for GHC that can derive "complex" KnownNat
+ constraints from other simple/variable KnownNat constraints. i.e. without
+ this plugin, you must have both a KnownNat n and a KnownNat (n+2)
+ constraint in the type signature of the following function:
+ .
+ f :: forall n . (KnownNat n, KnownNat (n+2)) => Proxy n -> Integer
+ f _ = natVal (Proxy :: Proxy n) + natVal (Proxy :: Proxy (n+2))
+ .
+ Using the plugin you can omit the KnownNat (n+2) constraint:
+ .
+ f :: forall n . KnownNat n => Proxy n -> Integer
+ f _ = natVal (Proxy :: Proxy n) + natVal (Proxy :: Proxy (n+2))
+ .
+ The plugin can derive KnownNat constraints for types consisting of:
+ .
+  * Type variables, when there is a corresponding KnownNat constraint
+ .
+  * Type-level naturals
+ .
+  * Applications of the arithmetic expression: +,-,*,^
+ .
+  * Type functions, when there is either:
+ .
+ 1. a matching given KnownNat constraint; or
+ .
+ 2. a corresponding KnownNat<N> instance for the type function
+ .
+ To use the plugin, add the
+ .
+ OPTIONS_GHC -fplugin GHC.TypeLits.KnownNat.Solver
+ .
+ Pragma to the header of your file.
+
+Package: libghc-ghc-typelits-knownnat-dev
+Architecture: any
+Depends: ${haskell:Depends},
+ ${misc:Depends},
+ ${shlibs:Depends},
+Recommends: ${haskell:Recommends},
+Suggests: ${haskell:Suggests},
+Conflicts: ${haskell:Conflicts},
+Provides: ${haskell:Provides},
+Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
+ ${haskell:LongDescription}
+ .
+ ${haskell:Blurb}
+
+Package: libghc-ghc-typelits-knownnat-prof
+Architecture: any
+Depends: ${haskell:Depends},
+ ${misc:Depends},
+Recommends: ${haskell:Recommends},
+Suggests: ${haskell:Suggests},
+Conflicts: ${haskell:Conflicts},
+Provides: ${haskell:Provides},
+Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
+ ${haskell:LongDescription}
+ .
+ ${haskell:Blurb}
+
+Package: libghc-ghc-typelits-knownnat-doc
+Architecture: all
+Section: doc
+Depends: ${haskell:Depends},
+ ${misc:Depends},
+Recommends: ${haskell:Recommends},
+Suggests: ${haskell:Suggests},
+Conflicts: ${haskell:Conflicts},
+Description: ${haskell:ShortDescription}${haskell:ShortBlurb}
+ ${haskell:LongDescription}
+ .
+ ${haskell:Blurb}


=====================================
p/haskell-ghc-typelits-knownnat/debian/copyright
=====================================
@@ -0,0 +1,44 @@
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: ghc-typelits-knownnat
+Upstream-Contact: christiaan.baaij at gmail.com
+Source: https://hackage.haskell.org/package/ghc-typelits-knownnat
+
+Files: *
+Copyright: Copyright © 2016     , University of Twente,
+ 2017-2018, QBayLogic B.V.,
+ 2017     , Google Inc.
+License: BSD-2-clause
+
+Files: debian/*
+Copyright: held by the contributors mentioned in debian/changelog
+License: BSD-2-clause
+
+License: BSD-2-clause
+ Copyright (c) 2016     , University of Twente,
+               2017-2018, QBayLogic B.V.,
+               2017     , Google Inc.
+ All rights reserved.
+ .
+ Redistribution and use in source and binary forms, with or without
+ modification, are permitted provided that the following conditions are
+ met:
+ .
+ 1. Redistributions of source code must retain the above copyright
+    notice, this list of conditions and the following disclaimer.
+ .
+ 2. Redistributions in binary form must reproduce the above copyright
+    notice, this list of conditions and the following disclaimer in the
+    documentation and/or other materials provided with the
+    distribution.
+ .
+ THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
+ A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
+ OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
+ SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
+ LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
+ DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
+ THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
+ (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


=====================================
p/haskell-ghc-typelits-knownnat/debian/rules
=====================================
@@ -0,0 +1,9 @@
+#!/usr/bin/make -f
+
+DEB_ENABLE_TESTS = yes
+DEB_SETUP_BIN_NAME = debian/hlibrary.setup
+DEB_CABAL_PACKAGE = ghc-typelits-knownnat
+DEB_DEFAULT_COMPILER = ghc
+
+include /usr/share/cdbs/1/rules/debhelper.mk
+include /usr/share/cdbs/1/class/hlibrary.mk


=====================================
p/haskell-ghc-typelits-knownnat/debian/source/format
=====================================
@@ -0,0 +1 @@
+3.0 (quilt)


=====================================
p/haskell-ghc-typelits-knownnat/debian/watch
=====================================
@@ -0,0 +1,2 @@
+version=3
+https://hackage.haskell.org/package/ghc-typelits-knownnat/distro-monitor .*-([0-9\.]+)\.(?:zip|tgz|tbz|txz|(?:tar\.(?:gz|bz2|xz)))



View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/d105472364d61b4a3f67eaa97ba1491b2fb3dcba

-- 
View it on GitLab: https://salsa.debian.org/haskell-team/DHG_packages/-/commit/d105472364d61b4a3f67eaa97ba1491b2fb3dcba
You're receiving this email because of your account on salsa.debian.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://alioth-lists.debian.net/pipermail/pkg-haskell-commits/attachments/20220504/5622001a/attachment-0001.htm>
