Cabal revisions of singletons-0.8.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: singletons-version: 0.8.1-cabal-version: >= 1.8-synopsis: A framework for generating singleton types-homepage: http://www.cis.upenn.edu/~eir/packages/singletons-category: Dependent Types-author: Richard Eisenberg <eir@cis.upenn.edu>-maintainer: Richard Eisenberg <eir@cis.upenn.edu>-stability: experimental-extra-source-files: README-license: BSD3-license-file: LICENSE-build-type: Simple-description:- This library generates singleton types, promoted functions, and singleton- functions using Template Haskell. It is useful for programmers who wish- to use dependently typed programming techniques. The library was originally- presented in /Dependently typed programming with singletons/, submitted- to the Haskell Symposium, 2012.- (<http://www.cis.upenn.edu/~eir/papers/2012/singletons/paper.pdf>)-- As of this release date, Haddock was not able to properly process the code- and produce documentation. Hence, all of the documentation is in the- README file distributed with the package. This README is also accessible- from the project home page.--library- build-depends: - base >= 4 && < 5,- mtl >= 2.1.1,- template-haskell >= 2.8,- containers >= 0.5,- syb >= 0.3- exposed-modules: Singletons.Lib, Singletons.CustomStar,- Singletons.TypeRepStar- other-modules: Singletons.Promote, Singletons.Singletons,- Singletons.Util+name: singletons +version: 0.8.1 +x-revision: 1 +cabal-version: >= 1.8 +synopsis: A framework for generating singleton types +homepage: http://www.cis.upenn.edu/~eir/packages/singletons +category: Dependent Types +author: Richard Eisenberg <eir@cis.upenn.edu> +maintainer: Richard Eisenberg <eir@cis.upenn.edu> +stability: experimental +extra-source-files: README +license: BSD3 +license-file: LICENSE +build-type: Simple +description: + This library generates singleton types, promoted functions, and singleton + functions using Template Haskell. It is useful for programmers who wish + to use dependently typed programming techniques. The library was originally + presented in /Dependently typed programming with singletons/, submitted + to the Haskell Symposium, 2012. + (<http://www.cis.upenn.edu/~eir/papers/2012/singletons/paper.pdf>) + + As of this release date, Haddock was not able to properly process the code + and produce documentation. Hence, all of the documentation is in the + README file distributed with the package. This README is also accessible + from the project home page. + +library + build-depends: + base >= 4 && < 4.7, + mtl >= 2.1.1, + template-haskell >= 2.8, + containers >= 0.5, + syb >= 0.3 + exposed-modules: Singletons.Lib, Singletons.CustomStar, + Singletons.TypeRepStar + other-modules: Singletons.Promote, Singletons.Singletons, + Singletons.Util
revision 2
name: singletons version: 0.8.1 -x-revision: 1 +x-revision: 2 cabal-version: >= 1.8 synopsis: A framework for generating singleton types homepage: http://www.cis.upenn.edu/~eir/packages/singletons library build-depends: - base >= 4 && < 4.7, + -- Only buildable for a small window of time on GHC HEAD, unfortunately + base < 0, mtl >= 2.1.1, template-haskell >= 2.8, containers >= 0.5,
revision 3
name: singletons version: 0.8.1 -x-revision: 2 +x-revision: 3 cabal-version: >= 1.8 synopsis: A framework for generating singleton types homepage: http://www.cis.upenn.edu/~eir/packages/singletons build-depends: -- Only buildable for a small window of time on GHC HEAD, unfortunately base < 0, - mtl >= 2.1.1, + mtl >= 2.1.1 && < 2.3, template-haskell >= 2.8, containers >= 0.5, syb >= 0.3