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