Cabal revisions of ghc-typelits-presburger-0.3.0.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-cabal-version: 1.12---- This file has been generated from package.yaml by hpack version 0.31.2.------ see: https://github.com/sol/hpack------ hash: 213617ccefa67bad574a0687988e14cef38a75e07ac2e08140bcda55feeee3f6--name: ghc-typelits-presburger-version: 0.3.0.0-synopsis: Presburger Arithmetic Solver for GHC Type-level natural numbers.-description: @ghc-typelits-presburger@ augments GHC type-system with Presburger- Arithmetic Solver for Type-level natural numbers.- This plugin only work with GHC builtin operations.- To work with those of @singletons@ package, use @ghc-typelits-meta@ and/or @ghc-typelits-presburger@ instead.- .- Since 0.3.0.0, integration with <https://hackage.haskell.org/package/singletons singletons> package moves to <https://hackage.haskell.org/package/singletons-presburger singletons-presburger>.- .- You can use by adding this package to @build-depends@ and add the following pragma- to the head of .hs files:- .- .- > OPTIONS_GHC -fplugin GHC.TypeLits.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.2-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:- GHC.TypeLits.Presburger.Types- GHC.TypeLits.Presburger- GHC.TypeLits.Presburger.Compat- other-modules:- Data.Integer.SAT- Paths_ghc_typelits_presburger- hs-source-dirs:- src- ghc-options: -Wall -Wno-dodgy-imports- build-depends:- base >=4.7 && <5- , containers- , ghc >=7.10 && <8.11- , ghc-tcplugins-extra >=0.2 && <0.4- , mtl- , pretty- , reflection- , syb- , transformers- default-language: Haskell2010--executable simple-arith-core- main-is: simple-arith-core.hs- other-modules:- Paths_ghc_typelits_presburger- hs-source-dirs:- examples- ghc-options: -Wall -Wno-dodgy-imports -Wno-unused-imports- build-depends:- base- , equational-reasoning- , ghc-typelits-presburger- if !(flag(examples))- buildable: False- default-language: Haskell2010+cabal-version: 1.12 + +-- This file has been generated from package.yaml by hpack version 0.31.2. +-- +-- see: https://github.com/sol/hpack +-- +-- hash: 213617ccefa67bad574a0687988e14cef38a75e07ac2e08140bcda55feeee3f6 + +name: ghc-typelits-presburger +version: 0.3.0.0 +x-revision: 1 +synopsis: Presburger Arithmetic Solver for GHC Type-level natural numbers. +description: @ghc-typelits-presburger@ augments GHC type-system with Presburger + Arithmetic Solver for Type-level natural numbers. + This plugin only work with GHC builtin operations. + To work with those of @singletons@ package, use @ghc-typelits-meta@ and/or @ghc-typelits-presburger@ instead. + . + Since 0.3.0.0, integration with <https://hackage.haskell.org/package/singletons singletons> package moves to <https://hackage.haskell.org/package/singletons-presburger singletons-presburger>. + . + You can use by adding this package to @build-depends@ and add the following pragma + to the head of .hs files: + . + . + > OPTIONS_GHC -fplugin GHC.TypeLits.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.2 +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: + GHC.TypeLits.Presburger.Types + GHC.TypeLits.Presburger + GHC.TypeLits.Presburger.Compat + other-modules: + Data.Integer.SAT + Paths_ghc_typelits_presburger + hs-source-dirs: + src + ghc-options: -Wall -Wno-dodgy-imports + build-depends: + base >=4.7 && <5 + , containers + , ghc >=7.10 && <8.11 + , ghc-tcplugins-extra >=0.2 && <0.5 + , mtl + , pretty + , reflection + , syb + , transformers + default-language: Haskell2010 + +executable simple-arith-core + main-is: simple-arith-core.hs + other-modules: + Paths_ghc_typelits_presburger + hs-source-dirs: + examples + ghc-options: -Wall -Wno-dodgy-imports -Wno-unused-imports + build-depends: + base + , equational-reasoning + , ghc-typelits-presburger + if !(flag(examples)) + buildable: False + default-language: Haskell2010