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

Properties

Versions 0.1.0.0, 0.1.1.0, 0.1.1.1
Dependencies base (>=4.7 && <5), equational-reasoning (>=0.5.0.0 && <0.6), ghc (>=7.10 && <8.4), ghc-tcplugins-extra (==0.2.*), ghc-typelits-presburger (>=0.1.1.1 && <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_ gmail.com
Category Math, Type System
Home page https://github.com/konn/ghc-typelits-presburger#readme
Source repository head: git clone https://github.com/konn/ghc-typelits-presburger
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:0.1.1.1
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

Modules

[Index]

Flags

NameDescriptionDefaultType
examplesDisabledAutomatic

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

Downloads

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