haskell-ghc-typelits-natnormalise 0.7.6-1 source package in Ubuntu
Changelog
haskell-ghc-typelits-natnormalise (0.7.6-1) unstable; urgency=medium * New upstream release -- Scott Talbert <email address hidden> Mon, 20 Jun 2022 10:46:40 -0400
Upload details
- Uploaded by:
- Debian Haskell Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian Haskell Group
- Architectures:
- any all
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
haskell-ghc-typelits-natnormalise_0.7.6-1.dsc | 2.7 KiB | e80d42b58e2c996746b00588b50395968f420dfd9f620d606b4aaf170783fa43 |
haskell-ghc-typelits-natnormalise_0.7.6.orig.tar.gz | 30.3 KiB | 7da56bc189f5e5e74ecb48c3ef4ac5cd5df08213658989a237af54547804a725 |
haskell-ghc-typelits-natnormalise_0.7.6-1.debian.tar.xz | 2.6 KiB | 471d771900bbca20764dd6f1a6e6a21deea90c33c7c837e3b02b7a0d6a8cb0a6 |
Available diffs
- diff from 0.7.3-2 to 0.7.6-1 (8.5 KiB)
No changes file available.
Binary packages built by this source
- libghc-ghc-typelits-natnormalise-dev: No summary available for libghc-ghc-typelits-natnormalise-dev in ubuntu kinetic.
No description available for libghc-
ghc-typelits- natnormalise- dev in ubuntu kinetic.
- libghc-ghc-typelits-natnormalise-doc: No summary available for libghc-ghc-typelits-natnormalise-doc in ubuntu kinetic.
No description available for libghc-
ghc-typelits- natnormalise- doc in ubuntu kinetic.
- libghc-ghc-typelits-natnormalise-prof: GHC typechecker plugin for types of kind GHC.TypeLits.Nat; profiling libraries
A type checker plugin for GHC that can solve equalities and inequalities
of types of kind @Nat@, where these types are either:
.
* Type-level naturals
.
* Type variables
.
* Applications of the arithmetic expressions (+,-,*,^).
.
It solves these equalities by normalising them to sort-of SOP
(Sum-of-Products) form, and then perform a simple syntactic equality.
.
For example, this solver can prove the equality between:
.
(x + 2)^(y + 2)
.
and
.
4*x*(2 + x)^y + 4*(2 + x)^y + (2 + x)^y*x^2
.
Because the latter is actually the SOP normal form of the former.
.
To use the plugin, add the
.
OPTIONS_GHC -fplugin GHC.TypeLits.Normalise
.
Pragma to the header of your file.
.
This package provides a library for the Haskell programming language, compiled
for profiling. See http://www.haskell. org/ for more information on Haskell.