Monadoc
The latest version of ghc-typelits-presburger is 0.7.4.0-0.

ghc-typelits-presburger

Version 0.6.2.0 revision 0 uploaded by HiromiIshii.

Package meta

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

ghc-typelits-presburger augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers. This plugin only work with GHC builtin operations. To work with those of singletons package, use ghc-typelits-meta and/or ghc-typelits-presburger instead.

Since 0.3.0.0, integration with singletons package moves to singletons-presburger.

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
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