singletons-presburger

Version 0.7.4.0 revision 0 uploaded 2024-06-09T11:40:03.000Z 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

• lib:singletons-presburger
• exe:simple-arith