@hackage ghc-typelits-presburger0.2.0.1

Presburger Arithmetic Solver for GHC Type-level natural numbers.

Categories
- Type System
- Mathematics
License
BSD-3-Clause
Maintainer
konn.jinro _at_ gmail.com
Links
Versions
- 0.7.3.0 Tue, 26 Dec 2023
- 0.7.2.0 Mon, 20 Mar 2023
- 0.7.1.0 Fri, 25 Nov 2022
- 0.7.0.0 Mon, 21 Nov 2022
- 0.6.2.0 Sat, 11 Dec 2021
- 0.6.1.0 Sun, 7 Nov 2021

Deprecated
This release has been deprecated in favour of: @hackage/ghc-typelits-presburger-0.7.3.0
Tested Compilers
- 8.2.2
- 8.0.2
Dependencies (0)
Dependents (3)
@hackage/sized, @hackage/type-natural, @hackage/singletons-presburger

Package Flags

examples

(off by default)

ghc-typelits-presburger augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers. 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

@hackage ghc-typelits-presburger0.2.0.1

Categories

License

Maintainer

Links

Versions

Deprecated

Tested Compilers

Dependencies (0)

Dependents (3)

Package Flags