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