cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.33.0.
--
-- see: https://github.com/sol/hpack
--
-- hash: 70dbe672ac6a08a171c823e902bc91918e2e99e85f85577e9d450133c8d5f202
name: singletons-presburger
version: 0.5.0.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.4.3 GHC==8.6.3 GHC==8.8.3 GHC==8.10.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 >=7.10 && <8.11
, ghc-typelits-presburger >=0.4
, mtl
, reflection
, 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
, singletons-presburger
if !(flag(examples))
buildable: False
default-language: Haskell2010