name: singletons version: 2.7 x-revision: 2 -- 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 , Jan Stolarek maintainer: Ryan Scott bug-reports: https://github.com/goldfirere/singletons/issues stability: experimental tested-with: GHC == 8.10.1 extra-source-files: README.md, CHANGES.md, tests/README.md, 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/*.golden, tests/compile-and-dump/InsertionSort/*.golden, tests/compile-and-dump/Promote/*.golden, tests/compile-and-dump/Singletons/*.golden 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. () . Version 1.0 and onwards works a lot harder to promote functions. See the paper published at Haskell Symposium, 2014: . source-repository this type: git location: https://github.com/goldfirere/singletons.git tag: v2.7 source-repository head type: git location: https://github.com/goldfirere/singletons.git branch: master custom-setup setup-depends: base >= 4.14 && < 4.15, Cabal >= 3.0 && < 3.3, directory >= 1, filepath >= 1.3 library hs-source-dirs: src build-depends: base >= 4.14 && < 4.15, mtl >= 2.2.1 && < 2.3, ghc-boot-th, template-haskell, containers >= 0.5, th-desugar >= 1.11 && < 1.12, 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.TH.Options 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.Fail Data.Singletons.Prelude.Monad.Zip Data.Singletons.Prelude.Monoid Data.Singletons.Prelude.Num Data.Singletons.Prelude.Proxy 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.Ord.Disambiguation Data.Singletons.Prelude.Semigroup.Internal Data.Singletons.Prelude.Semigroup.Internal.Disambiguation 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 -Wcompat -Wno-redundant-constraints test-suite singletons-test-suite type: exitcode-stdio-1.0 hs-source-dirs: tests ghc-options: -Wall -Wcompat -threaded -with-rtsopts=-maxN16 default-language: Haskell2010 main-is: SingletonsTestSuite.hs other-modules: ByHand ByHand2 SingletonsTestSuiteUtils build-depends: base >= 4.14 && < 4.15, bytestring >= 0.10.9, deepseq >= 1.4.4, filepath >= 1.3, process >= 1.1, turtle >= 1.5, text >= 1.2, singletons, tasty >= 1.2, tasty-golden >= 2.2