Cabal revisions of singletons-2.5.1
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: singletons-version: 2.5.1- -- Remember to bump version in the Makefile as well-cabal-version: >= 1.10-synopsis: A framework for generating singleton types-homepage: http://www.github.com/goldfirere/singletons-category: Dependent Types-author: Richard Eisenberg <rae@cs.brynmawr.edu>, Jan Stolarek <jan.stolarek@p.lodz.pl>-maintainer: Ryan Scott <ryan.gl.scott@gmail.com>-bug-reports: https://github.com/goldfirere/singletons/issues-stability: experimental-tested-with: GHC == 8.6.2-extra-source-files: README.md, CHANGES.md,- tests/compile-and-dump/buildGoldenFiles.awk,- tests/compile-and-dump/GradingClient/*.hs,- tests/compile-and-dump/InsertionSort/*.hs,- tests/compile-and-dump/Promote/*.hs,- tests/compile-and-dump/Singletons/*.hs- tests/compile-and-dump/GradingClient/*.ghc86.template,- tests/compile-and-dump/InsertionSort/*.ghc86.template,- tests/compile-and-dump/Promote/*.ghc86.template,- tests/compile-and-dump/Singletons/*.ghc86.template-license: BSD3-license-file: LICENSE-build-type: Custom-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/, published- at the Haskell Symposium, 2012.- (<https://cs.brynmawr.edu/~rae/papers/2012/singletons/paper.pdf>)-- Version 1.0 and onwards works a lot harder to promote functions. See the- paper published at Haskell Symposium, 2014:- <https://cs.brynmawr.edu/~rae/papers/2014/promotion/promotion.pdf>.--source-repository this- type: git- location: https://github.com/goldfirere/singletons.git- tag: v2.5.1--source-repository head- type: git- location: https://github.com/goldfirere/singletons.git- branch: master--custom-setup- setup-depends:- base >= 4.12 && < 4.13,- Cabal >= 2.3 && < 2.5,- directory >= 1,- filepath >= 1.3--library- hs-source-dirs: src- build-depends: base >= 4.12 && < 4.13,- mtl >= 2.2.1,- ghc-boot-th,- template-haskell,- containers >= 0.5,- th-desugar >= 1.9 && < 1.10,- pretty,- syb >= 0.4,- text >= 1.2,- transformers >= 0.5.2- default-language: Haskell2010- other-extensions: TemplateHaskell- -- TemplateHaskell must be listed in cabal file to work with- -- ghc7.8+-- exposed-modules: Data.Singletons- Data.Singletons.CustomStar- Data.Singletons.TypeRepTYPE- Data.Singletons.TH- Data.Singletons.Prelude- Data.Singletons.Prelude.Applicative- Data.Singletons.Prelude.Base- Data.Singletons.Prelude.Bool- Data.Singletons.Prelude.Const- Data.Singletons.Prelude.Either- Data.Singletons.Prelude.Enum- Data.Singletons.Prelude.Eq- Data.Singletons.Prelude.Foldable- Data.Singletons.Prelude.Function- Data.Singletons.Prelude.Functor- Data.Singletons.Prelude.IsString- Data.Singletons.Prelude.Identity- Data.Singletons.Prelude.Ord- Data.Singletons.Prelude.List- Data.Singletons.Prelude.List.NonEmpty- Data.Singletons.Prelude.Maybe- Data.Singletons.Prelude.Monad- Data.Singletons.Prelude.Monad.Zip- Data.Singletons.Prelude.Monoid- Data.Singletons.Prelude.Num- Data.Singletons.Prelude.Semigroup- Data.Singletons.Prelude.Show- Data.Singletons.Prelude.Traversable- Data.Singletons.Prelude.Tuple- Data.Singletons.Prelude.Void- Data.Singletons.TypeError- Data.Singletons.TypeLits- Data.Singletons.Decide- Data.Singletons.ShowSing- Data.Singletons.Sigma- Data.Singletons.SuppressUnusedWarnings-- other-modules: Data.Singletons.Deriving.Infer- Data.Singletons.Deriving.Bounded- Data.Singletons.Deriving.Enum- Data.Singletons.Deriving.Foldable- Data.Singletons.Deriving.Functor- Data.Singletons.Deriving.Ord- Data.Singletons.Deriving.Show- Data.Singletons.Deriving.Traversable- Data.Singletons.Deriving.Util- Data.Singletons.Internal- Data.Singletons.Prelude.List.Internal- Data.Singletons.Prelude.List.Internal.Disambiguation- Data.Singletons.Prelude.Monad.Internal- Data.Singletons.Prelude.Semigroup.Internal- Data.Singletons.Promote- Data.Singletons.Promote.Monad- Data.Singletons.Promote.Eq- Data.Singletons.Promote.Type- Data.Singletons.Promote.Defun- Data.Singletons.Util- Data.Singletons.Partition- Data.Singletons.Prelude.Instances- Data.Singletons.Names- Data.Singletons.Single.Monad- Data.Singletons.Single.Type- Data.Singletons.Single.Eq- Data.Singletons.Single.Data- Data.Singletons.Single.Defun- Data.Singletons.Single.Fixity- Data.Singletons.Single- Data.Singletons.TypeLits.Internal- Data.Singletons.Syntax-- ghc-options: -Wall -Wno-redundant-constraints--test-suite singletons-test-suite- type: exitcode-stdio-1.0- hs-source-dirs: tests- ghc-options: -Wall- default-language: Haskell2010- main-is: SingletonsTestSuite.hs- other-modules: ByHand- ByHand2- SingletonsTestSuiteUtils-- build-depends: base >= 4.12 && < 4.13,- filepath >= 1.3,- process >= 1.1,- singletons,- tasty >= 0.6,- tasty-golden >= 2.2+name: singletons +version: 2.5.1 +x-revision: 1 + -- Remember to bump version in the Makefile as well +cabal-version: >= 1.10 +synopsis: A framework for generating singleton types +homepage: http://www.github.com/goldfirere/singletons +category: Dependent Types +author: Richard Eisenberg <rae@cs.brynmawr.edu>, Jan Stolarek <jan.stolarek@p.lodz.pl> +maintainer: Ryan Scott <ryan.gl.scott@gmail.com> +bug-reports: https://github.com/goldfirere/singletons/issues +stability: experimental +tested-with: GHC == 8.6.2 +extra-source-files: README.md, CHANGES.md, + tests/compile-and-dump/buildGoldenFiles.awk, + tests/compile-and-dump/GradingClient/*.hs, + tests/compile-and-dump/InsertionSort/*.hs, + tests/compile-and-dump/Promote/*.hs, + tests/compile-and-dump/Singletons/*.hs + tests/compile-and-dump/GradingClient/*.ghc86.template, + tests/compile-and-dump/InsertionSort/*.ghc86.template, + tests/compile-and-dump/Promote/*.ghc86.template, + tests/compile-and-dump/Singletons/*.ghc86.template +license: BSD3 +license-file: LICENSE +build-type: Custom +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/, published + at the Haskell Symposium, 2012. + (<https://cs.brynmawr.edu/~rae/papers/2012/singletons/paper.pdf>) + + Version 1.0 and onwards works a lot harder to promote functions. See the + paper published at Haskell Symposium, 2014: + <https://cs.brynmawr.edu/~rae/papers/2014/promotion/promotion.pdf>. + +source-repository this + type: git + location: https://github.com/goldfirere/singletons.git + tag: v2.5.1 + +source-repository head + type: git + location: https://github.com/goldfirere/singletons.git + branch: master + +custom-setup + setup-depends: + base >= 4.12 && < 4.13, + Cabal >= 2.3 && < 2.5, + directory >= 1, + filepath >= 1.3 + +library + hs-source-dirs: src + build-depends: base >= 4.12 && < 4.13, + mtl >= 2.2.1 && < 2.3, + ghc-boot-th, + template-haskell, + containers >= 0.5, + th-desugar >= 1.9 && < 1.10, + pretty, + syb >= 0.4, + text >= 1.2, + transformers >= 0.5.2 + default-language: Haskell2010 + other-extensions: TemplateHaskell + -- TemplateHaskell must be listed in cabal file to work with + -- ghc7.8+ + + exposed-modules: Data.Singletons + Data.Singletons.CustomStar + Data.Singletons.TypeRepTYPE + Data.Singletons.TH + Data.Singletons.Prelude + Data.Singletons.Prelude.Applicative + Data.Singletons.Prelude.Base + Data.Singletons.Prelude.Bool + Data.Singletons.Prelude.Const + Data.Singletons.Prelude.Either + Data.Singletons.Prelude.Enum + Data.Singletons.Prelude.Eq + Data.Singletons.Prelude.Foldable + Data.Singletons.Prelude.Function + Data.Singletons.Prelude.Functor + Data.Singletons.Prelude.IsString + Data.Singletons.Prelude.Identity + Data.Singletons.Prelude.Ord + Data.Singletons.Prelude.List + Data.Singletons.Prelude.List.NonEmpty + Data.Singletons.Prelude.Maybe + Data.Singletons.Prelude.Monad + Data.Singletons.Prelude.Monad.Zip + Data.Singletons.Prelude.Monoid + Data.Singletons.Prelude.Num + Data.Singletons.Prelude.Semigroup + Data.Singletons.Prelude.Show + Data.Singletons.Prelude.Traversable + Data.Singletons.Prelude.Tuple + Data.Singletons.Prelude.Void + Data.Singletons.TypeError + Data.Singletons.TypeLits + Data.Singletons.Decide + Data.Singletons.ShowSing + Data.Singletons.Sigma + Data.Singletons.SuppressUnusedWarnings + + other-modules: Data.Singletons.Deriving.Infer + Data.Singletons.Deriving.Bounded + Data.Singletons.Deriving.Enum + Data.Singletons.Deriving.Foldable + Data.Singletons.Deriving.Functor + Data.Singletons.Deriving.Ord + Data.Singletons.Deriving.Show + Data.Singletons.Deriving.Traversable + Data.Singletons.Deriving.Util + Data.Singletons.Internal + Data.Singletons.Prelude.List.Internal + Data.Singletons.Prelude.List.Internal.Disambiguation + Data.Singletons.Prelude.Monad.Internal + Data.Singletons.Prelude.Semigroup.Internal + Data.Singletons.Promote + Data.Singletons.Promote.Monad + Data.Singletons.Promote.Eq + Data.Singletons.Promote.Type + Data.Singletons.Promote.Defun + Data.Singletons.Util + Data.Singletons.Partition + Data.Singletons.Prelude.Instances + Data.Singletons.Names + Data.Singletons.Single.Monad + Data.Singletons.Single.Type + Data.Singletons.Single.Eq + Data.Singletons.Single.Data + Data.Singletons.Single.Defun + Data.Singletons.Single.Fixity + Data.Singletons.Single + Data.Singletons.TypeLits.Internal + Data.Singletons.Syntax + + ghc-options: -Wall -Wno-redundant-constraints + +test-suite singletons-test-suite + type: exitcode-stdio-1.0 + hs-source-dirs: tests + ghc-options: -Wall + default-language: Haskell2010 + main-is: SingletonsTestSuite.hs + other-modules: ByHand + ByHand2 + SingletonsTestSuiteUtils + + build-depends: base >= 4.12 && < 4.13, + filepath >= 1.3, + process >= 1.1, + singletons, + tasty >= 0.6, + tasty-golden >= 2.2