Cabal revisions of ghc-typelits-presburger-0.1.0.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: ghc-typelits-presburger-version: 0.1.0.0-synopsis: Initial project template from stack-description: Please see README.md-homepage: https://github.com/konn/ghc-typelits-presburger#readme-license: BSD3-license-file: LICENSE-author: Hiromi ISHII-maintainer: konn.jinro _at_ gmail.com-copyright: 2015 (c) Hiromi ISHII-category: Math, Type System-build-type: Simple--- extra-source-files:-cabal-version: >=1.10-tested-with: GHC == 7.10.3, GHC == 8.0.1--flag examples- Default: False--library- ghc-options: -Wall- hs-source-dirs: src- exposed-modules: GHC.TypeLits.Presburger- other-modules: GHC.Compat- build-depends: base >= 4.7 && < 5- , ghc >= 7.10 && < 8.2- , ghc-tcplugins-extra >= 0.2 && < 0.3- , presburger >= 1.3 && < 1.4- , equational-reasoning >= 0.4.0.0- , reflection- default-language: Haskell2010--executable simple-arith- if flag(examples)- buildable: True- else- buildable: False- hs-source-dirs: examples- Main-is: simple-arith.hs- build-depends: base- , ghc-typelits-presburger- , equational-reasoning- default-language: Haskell2010- ghc-options: -Wall--source-repository head- type: git+name: ghc-typelits-presburger +version: 0.1.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. + You can use this by just add this package to @build-depends@ and the following line to the head of .hs files: + + @ + {-# OPTIONS_GHC -fplugin GHC.TypeLits.Presburger #-} + @ +homepage: https://github.com/konn/ghc-typelits-presburger#readme +license: BSD3 +license-file: LICENSE +author: Hiromi ISHII +maintainer: konn.jinro _at_ gmail.com +copyright: 2015 (c) Hiromi ISHII +category: Math, Type System +build-type: Simple +-- extra-source-files: +cabal-version: >=1.10 +tested-with: GHC == 7.10.3, GHC == 8.0.1 + +flag examples + Default: False + +library + ghc-options: -Wall + hs-source-dirs: src + exposed-modules: GHC.TypeLits.Presburger + other-modules: GHC.Compat + build-depends: base >= 4.7 && < 5 + , ghc >= 7.10 && < 8.2 + , ghc-tcplugins-extra >= 0.2 && < 0.3 + , presburger >= 1.3 && < 1.4 + , equational-reasoning >= 0.4.0.0 + , reflection + default-language: Haskell2010 + +executable simple-arith + if flag(examples) + buildable: True + else + buildable: False + hs-source-dirs: examples + Main-is: simple-arith.hs + build-depends: base + , ghc-typelits-presburger + , equational-reasoning + default-language: Haskell2010 + ghc-options: -Wall + +source-repository head + type: git location: https://github.com/konn/ghc-typelits-presburger
revision 2
name: ghc-typelits-presburger version: 0.1.0.0 -x-revision: 1 +x-revision: 2 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. You can use this by just add this package to @build-depends@ and the following line to the head of .hs files: - - @ + + -- @ {-# OPTIONS_GHC -fplugin GHC.TypeLits.Presburger #-} - @ + -- @ homepage: https://github.com/konn/ghc-typelits-presburger#readme license: BSD3 license-file: LICENSE
revision 3
name: ghc-typelits-presburger version: 0.1.0.0 -x-revision: 2 +x-revision: 3 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. - You can use this by just add this package to @build-depends@ and the following line to the head of .hs files: - - -- @ - {-# OPTIONS_GHC -fplugin GHC.TypeLits.Presburger #-} - -- @ +description: + @ghc-typelits-presburger@ augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers. + You can use this by just add this package to @build-depends@ and the following line to the head of .hs files: + + > {-# OPTIONS_GHC -fplugin GHC.TypeLits.Presburger #-} homepage: https://github.com/konn/ghc-typelits-presburger#readme license: BSD3 license-file: LICENSE
revision 4
name: ghc-typelits-presburger version: 0.1.0.0 -x-revision: 3 +x-revision: 4 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. - You can use this by just add this package to @build-depends@ and the following line to the head of .hs files: + You can use this by just add this package to @build-depends@ and add the following pragma to the head of .hs files: + > OPTIONS_GHC -fplugin GHC.TypeLits.Presburger - > {-# OPTIONS_GHC -fplugin GHC.TypeLits.Presburger #-} homepage: https://github.com/konn/ghc-typelits-presburger#readme license: BSD3 license-file: LICENSE source-repository head type: git - location: https://github.com/konn/ghc-typelits-presburger+ location: https://github.com/konn/ghc-typelits-presburger
revision 5
name: ghc-typelits-presburger version: 0.1.0.0 -x-revision: 4 +x-revision: 5 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. - You can use this by just add this package to @build-depends@ and add the following pragma to the head of .hs files: - > OPTIONS_GHC -fplugin GHC.TypeLits.Presburger +description: @ghc-typelits-presburger@ augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers. + 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 homepage: https://github.com/konn/ghc-typelits-presburger#readme license: BSD3
revision 6
name: ghc-typelits-presburger version: 0.1.0.0 -x-revision: 5 +x-revision: 6 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. - 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 +description: + @ghc-typelits-presburger@ augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers. + 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 homepage: https://github.com/konn/ghc-typelits-presburger#readme license: BSD3