The singletons package

[Tags: bsd3, library]

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. (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.


Properties

Versions0.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
Dependenciesbase (==4.*), containers (>=0.5), mtl (>=2.1.1), syb (>=0.3), template-haskell
LicenseBSD3
AuthorRichard Eisenberg <eir@cis.upenn.edu>
MaintainerRichard Eisenberg <eir@cis.upenn.edu>
Stabilityexperimental
CategoryDependent Types
Home pagehttp://www.cis.upenn.edu/~eir/packages/singletons
Bug trackerhttps://github.com/goldfirere/singletons/issues
Source repositorythis: git clone https://github.com/goldfirere/singletons.git(tag v0.8.5)(devel)
Upload dateSun Jan 27 20:19:59 UTC 2013
Uploaded byRichardEisenberg
DistributionsNixOS:1.0
Downloads2873 total (240 in last 30 days)

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees