The ghc-typelits-presburger package

[ Tags: bsd3, library, math, type-system ] [ Propose Tags ]

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


Dependencies base (>=4.7 && <5), equational-reasoning (>= && <0.6), ghc (>=7.10 && <8.4), ghc-tcplugins-extra (==0.2.*), ghc-typelits-presburger (>= && <0.2), presburger (==1.3.*), reflection (>=2.1.2 && <2.2), singletons (>=2.2 && <2.4) [details]
License BSD3
Copyright 2015 (c) Hiromi ISHII
Author Hiromi ISHII
Maintainer konn.jinro _at_
Category Math, Type System
Home page
Source repository head: git clone
Uploaded Thu Nov 30 08:37:45 UTC 2017 by HiromiIshii
Updated Thu Nov 30 09:16:31 UTC 2017 by HiromiIshii to revision 1   [What is this?]
Distributions NixOS:
Executables simple-arith
Downloads 1384 total (806 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-11-30 [all 1 reports]
Hackage Matrix CI





Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

For package maintainers and hackage trustees