cabal-version: 1.12

-- This file has been generated from package.yaml by hpack version 0.35.0.
--
-- see: https://github.com/sol/hpack
--
-- hash: be0aef5a0b3999542d4e4f088b572561ffc94272dc9430df243fecef1b67c8da

name:           singletons-presburger
version:        0.7.1.0
synopsis:       Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
description:    The @singletons-presburger@ plugin augments GHC type-system with Presburger
                Arithmetic Solver for Type-level natural numbers, with integration with <https://hackage.haskell.org/package/singletons singletons> package.
                .
                You can use by adding this package to @dependencies@ and add the following pragma
                to the head of .hs files:
                .
                > OPTIONS_GHC -fplugin Data.Singletons.TypeNats.Presburger
category:       Math, Type System
homepage:       https://github.com/konn/ghc-typelits-presburger#readme
bug-reports:    https://github.com/konn/ghc-typelits-presburger/issues
author:         Hiromi ISHII
maintainer:     konn.jinro _at_ gmail.com
copyright:      2015 (c) Hiromi ISHII
license:        BSD3
license-file:   LICENSE
tested-with:
    GHC==8.6.5 GHC==8.8.4 GHC==8.10.7 GHC==9.0.2 GHC==9.2.4 GHC==9.4.3
build-type:     Simple

source-repository head
  type: git
  location: https://github.com/konn/ghc-typelits-presburger

flag examples
  description: Builds example
  manual: False
  default: False

library
  exposed-modules:
      Data.Singletons.TypeNats.Presburger
  other-modules:
      Paths_singletons_presburger
  hs-source-dirs:
      src
  ghc-options: -Wall -Wno-dodgy-imports
  build-depends:
      base >=4.7 && <5
    , ghc
    , ghc-typelits-presburger >=0.4
    , mtl
    , reflection
  default-language: Haskell2010
  if impl(ghc >= 9)
    cpp-options: -DSINGLETONS_BASE
    build-depends:
        singletons
      , singletons-base >=3.0
  else
    build-depends:
        singletons

executable simple-arith
  main-is: simple-arith.hs
  other-modules:
      Paths_singletons_presburger
  hs-source-dirs:
      examples
  ghc-options: -Wall -Wno-dodgy-imports -Wno-unused-imports
  build-depends:
      base
    , equational-reasoning
    , singletons-presburger
  default-language: Haskell2010
  if impl(ghc >= 9)
    cpp-options: -DSINGLETONS_BASE
    build-depends:
        singletons
      , singletons-base >=3.0
  else
    build-depends:
        singletons
  if impl(ghc >= 9)
    cpp-options: -DSINGLETONS_BASE
    build-depends:
        singletons-base >=3.0
      , singletons-th
  else
    build-depends:
        singletons
  if !(flag(examples))
    buildable: False