cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.36.0.
--
-- see: https://github.com/sol/hpack
--
-- hash: 7f7a8db05068df4e3d097d9d0d1cf27fa5c559de956d89dfa6cecb97d6561028
name: singletons-presburger
version: 0.7.4.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==9.2.8 GHC==9.4.8 GHC==9.6.5 GHC==9.8.2 GHC==9.10.1
extra-source-files:
Changelog.md
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
cpp-options: -DSINGLETONS_BASE
build-depends:
base >=4.7 && <5
, ghc
, ghc-typelits-presburger >=0.4
, mtl
, reflection
, singletons
, singletons-base >=3.0
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
cpp-options: -DSINGLETONS_BASE
build-depends:
base
, equational-reasoning
, singletons
, singletons-base >=3.0
, singletons-presburger
, singletons-th
default-language: Haskell2010
if !(flag(examples))
buildable: False