@hackage singletons-presburger0.7.4.1
Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
Categories
License
BSD-3-Clause
Maintainer
konn.jinro _at_ gmail.com
Links
Versions
Installation
Tested Compilers
Dependencies (8)
- base >=4.7 && <5
- ghc
- ghc-typelits-presburger >=0.4
- mtl
- reflection
- singletons Show all…
Dependents (2)
@hackage/sized, @hackage/type-natural
Package Flags
examples
(off by default)
Builds example
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