name: singletons version: 0.8.1 x-revision: 3 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 maintainer: Richard Eisenberg 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. () 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: -- Only buildable for a small window of time on GHC HEAD, unfortunately base < 0, mtl >= 2.1.1 && < 2.3, 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