Monadoc
The latest version of singletons-presburger is 0.7.4.0-0.

singletons-presburger

Version 0.5.0.0 revision 0 uploaded by HiromiIshii.

Package meta

Synopsis
Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
Description

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
Author
Hiromi ISHII
Bug reports
https://github.com/konn/ghc-typelits-presburger/issues
Category
Math, Type System
Copyright
2015 (c) Hiromi ISHII
Homepage
https://github.com/konn/ghc-typelits-presburger#readme
Maintainer
konn.jinro _at_ gmail.com
Package URL
n/a
Stability
n/a

Components