name: ghc-typelits-presburger version: 0.1.1.0 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. 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 homepage: https://github.com/konn/ghc-typelits-presburger#readme license: BSD3 license-file: LICENSE author: Hiromi ISHII maintainer: konn.jinro _at_ gmail.com copyright: 2015 (c) Hiromi ISHII category: Math, Type System build-type: Simple -- extra-source-files: cabal-version: >=1.10 tested-with: GHC == 7.10.3, GHC == 8.0.1 flag examples Default: False library ghc-options: -Wall hs-source-dirs: src exposed-modules: GHC.TypeLits.Presburger other-modules: GHC.Compat build-depends: base >= 4.7 && < 5 , ghc >= 7.10 && < 8.2 , ghc-tcplugins-extra >= 0.2 && < 0.3 , presburger >= 1.3 && < 1.4 , equational-reasoning >= 0.4.0.0 , reflection default-language: Haskell2010 executable simple-arith if flag(examples) buildable: True else buildable: False hs-source-dirs: examples Main-is: simple-arith.hs build-depends: base , ghc-typelits-presburger , equational-reasoning default-language: Haskell2010 ghc-options: -Wall source-repository head type: git location: https://github.com/konn/ghc-typelits-presburger