ghc-typelits-presburger: Presburger Arithmetic Solver for GHC Type-level natural numbers
ghc-typelits-presburger augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers.
You can use by adding this package to build-depends and add the following pragma to the head of .hs files:
OPTIONS_GHC -fplugin GHC.TypeLits.Presburger
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| examples | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- ghc-typelits-presburger-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.1.0.0, 0.1.1.0, 0.1.1.1, 0.2.0.0, 0.2.0.1, 0.2.0.2, 0.2.0.3, 0.2.0.4, 0.2.0.5, 0.3.0.0, 0.3.0.1, 0.4.0.0, 0.5.0.0, 0.5.2.0, 0.6.0.0, 0.6.1.0, 0.6.2.0, 0.7.0.0, 0.7.1.0, 0.7.2.0, 0.7.3.0 (info) |
|---|---|
| Dependencies | base (>=4.7 && <5), equational-reasoning (>=0.4.0.0), ghc (>=7.10 && <8.2), ghc-tcplugins-extra (>=0.2 && <0.3), ghc-typelits-presburger, presburger (>=1.3 && <1.4), reflection [details] |
| License | BSD-3-Clause |
| Copyright | 2015 (c) Hiromi ISHII |
| Author | Hiromi ISHII |
| Maintainer | konn.jinro _at_ gmail.com |
| Revised | Revision 6 made by HiromiIshii at 2016-07-27T13:06:20Z |
| Category | Math, Type System |
| Home page | https://github.com/konn/ghc-typelits-presburger#readme |
| Source repo | head: git clone https://github.com/konn/ghc-typelits-presburger |
| Uploaded | by HiromiIshii at 2016-07-27T12:43:53Z |
| Distributions | LTSHaskell:0.7.3.0, NixOS:0.7.3.0, Stackage:0.7.3.0 |
| Reverse Dependencies | 4 direct, 15 indirect [details] |
| Executables | simple-arith |
| Downloads | 7892 total (75 in the last 30 days) |
| Rating | 1.75 (votes: 1) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2016-07-27 [all 1 reports] |