name: ghc-typelits-presburger
version: 0.1.1.1
cabal-version: >=1.10
build-type: Simple
license: BSD3
license-file: LICENSE
copyright: 2015 (c) Hiromi ISHII
maintainer: konn.jinro _at_ gmail.com
homepage: https://github.com/konn/ghc-typelits-presburger#readme
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
category: Math, Type System
author: Hiromi ISHII
tested-with: GHC ==8.0.2 GHC ==8.2.2
source-repository head
type: git
location: https://github.com/konn/ghc-typelits-presburger
flag examples
default: False
library
exposed-modules:
GHC.TypeLits.Presburger
build-depends:
base >=4.7 && <5,
ghc >=7.10 && <8.4,
ghc-tcplugins-extra ==0.2.*,
presburger ==1.3.*,
equational-reasoning >=0.4.0.0 && <0.6,
reflection >=2.1.2 && <2.2
default-language: Haskell2010
hs-source-dirs: src
other-modules:
GHC.Compat
ghc-options: -Wall
executable simple-arith
if !flag(examples)
buildable: False
main-is: simple-arith.hs
build-depends:
base >=4.10.1.0 && <4.11,
ghc-typelits-presburger >=0.1.1.1 && <0.2,
equational-reasoning >=0.5.0.0 && <0.6,
singletons >=2.3.1 && <2.4
default-language: Haskell2010
hs-source-dirs: examples
ghc-options: -Wall