singletons-presburger: Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
The singletons-presburger plugin augments GHC type-system with Presburger
Arithmetic Solver for Type-level natural numbers, with integration with singletons package.
You can use by adding this package to dependencies and add the following pragma
to the head of .hs files:
OPTIONS_GHC -fplugin Data.Singletons.TypeNats.Presburger
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| examples | Builds example | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- singletons-presburger-0.7.3.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.3.0.0, 0.3.0.1, 0.4.0.0, 0.5.0.0, 0.6.0.0, 0.6.1.0, 0.7.0.0, 0.7.1.0, 0.7.2.0, 0.7.3.0 (info) |
|---|---|
| Change log | Changelog.md |
| Dependencies | base (>=4.7 && <5), equational-reasoning, ghc, ghc-typelits-presburger (>=0.4), mtl, reflection, singletons, singletons-base (>=3.0), singletons-presburger, singletons-th [details] |
| License | BSD-3-Clause |
| Copyright | 2015 (c) Hiromi ISHII |
| Author | Hiromi ISHII |
| Maintainer | konn.jinro _at_ gmail.com |
| Category | Math, Type System |
| Home page | https://github.com/konn/ghc-typelits-presburger#readme |
| Bug tracker | https://github.com/konn/ghc-typelits-presburger/issues |
| Source repo | head: git clone https://github.com/konn/ghc-typelits-presburger |
| Uploaded | by HiromiIshii at 2023-12-26T15:17:33Z |
| Distributions | LTSHaskell:0.7.3.0, Stackage:0.7.3.0 |
| Reverse Dependencies | 2 direct, 16 indirect [details] |
| Executables | simple-arith |
| Downloads | 1250 total (38 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2023-12-26 [all 1 reports] |