singletons: A framework for generating singleton types
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.
[Skip to Readme]
Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.
|Versions [RSS]||0.8, 0.8.1, 0.8.2, 0.8.3, 0.8.4, 0.8.5, 0.8.6, 0.9.0, 0.9.1, 0.9.2, 0.9.3, 0.10.0, 1.0, 1.1, 1.1.1, 1.1.2, 18.104.22.168, 2.0, 22.214.171.124, 126.96.36.199, 2.0.1, 2.1, 2.2, 2.3, 2.3.1, 2.4, 2.4.1, 2.5, 2.5.1, 2.6, 2.7, 3.0, 3.0.1, 3.0.2|
|Dependencies||base (<0), containers (>=0.5), mtl (>=2.1.1 && <2.3), syb (>=0.3), template-haskell [details]|
|Author||Richard Eisenberg <firstname.lastname@example.org>|
|Maintainer||Richard Eisenberg <email@example.com>|
|Revised||Revision 3 made by ryanglscott at 2022-05-20T23:24:24Z|
|Uploaded||by RichardEisenberg at 2012-06-02T22:58:34Z|
|Distributions||Arch:3.0.2, Debian:2.6, LTSHaskell:3.0.2, NixOS:3.0.2, Stackage:3.0.2|
|Reverse Dependencies||120 direct, 195 indirect [details]|
|Downloads||48806 total (144 in the last 30 days)|
|Rating||2.75 (votes: 10) [estimated by Bayesian average]|
|Status||Docs not available [build log]
All reported builds failed as of 2016-12-24 [all 7 reports]