cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.34.4.
--
-- see: https://github.com/sol/hpack
--
-- hash: 086ee70967f896732e0ffccb7b264fa3ec9795f18714c281193aeb7259f86cb5
name: singletons-presburger
version: 0.6.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.1 GHC==9.2.1
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-typelits-presburger >=0.4
, mtl
, reflection
if impl(ghc >= 9)
cpp-options: -DSINGLETONS_BASE
build-depends:
singletons
, singletons-base >=3.0
else
build-depends:
singletons
default-language: Haskell2010
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
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
default-language: Haskell2010