singletons-th: A framework for generating singleton types
singletons-th defines Template Haskell functionality that allows
promotion of term-level functions to type-level equivalents and
singling functions to dependently typed equivalents. This 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)
See also the paper published at Haskell Symposium, 2014, which describes
how promotion works in greater detail:
https://cs.brynmawr.edu/~rae/papers/2014/promotion/promotion.pdf.
singletons-th generates code that relies on bleeding-edge GHC language
extensions. As such, singletons-th only supports the latest major version
of GHC (currently GHC 9.0). For more information,
consult the singletons
README.
You may also be interested in the following related libraries:
The
singletonslibrary is a small, foundational library that defines basic singleton-related types and definitions.The
singletons-baselibrary usessingletons-thto define promoted and singled functions from thebaselibrary, including the Prelude.
[Skip to Readme]
| Versions [RSS] [faq] | 3.0 |
|---|---|
| Change log | CHANGES.md |
| Dependencies | base (==4.15.*), containers (>=0.5), ghc-boot-th, mtl (>=2.2.1), singletons (==3.0.*), syb (>=0.4), template-haskell (==2.17.*), th-desugar (==1.12.*), th-orphans (>=0.13.11 && <0.14), transformers (>=0.5.2) [details] |
| License | BSD-3-Clause |
| Author | Richard Eisenberg <rae@cs.brynmawr.edu>, Jan Stolarek <jan.stolarek@p.lodz.pl> |
| Maintainer | Ryan Scott <ryan.gl.scott@gmail.com> |
| Category | Dependent Types |
| Home page | http://www.github.com/goldfirere/singletons |
| Bug tracker | https://github.com/goldfirere/singletons/issues |
| Source repo | this: git clone https://github.com/goldfirere/singletons.git(tag v3.0)(singletons-th) head: git clone https://github.com/goldfirere/singletons.git -b master(singletons-th) |
| Uploaded | by ryanglscott at 2021-03-12T17:18:42Z |
| Distributions | NixOS:3.0, Stackage:3.0 |
| Downloads | 155 total (40 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user [build log] All reported builds failed as of 2021-03-12 [all 3 reports] |
Modules
[Index] [Quick Jump]
- Data
- Data.Singletons
- Data.Singletons.Decide
- Data.Singletons.ShowSing
- Data.Singletons.Sigma
- Data.Singletons.TH
- Data.Singletons
Downloads
- singletons-th-3.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Readme for singletons-th-3.0
[back to package description]singletons-th
singletons-th defines Template Haskell functionality that allows
promotion of term-level functions to type-level equivalents and
singling functions to dependently typed equivalents. This library was
originally presented in
Dependently Typed Programming with Singletons,
published at the Haskell Symposium, 2012. See also
the paper published at Haskell Symposium, 2014,
which describes how promotion works in greater detail.
singletons-th generates code that relies on bleeding-edge GHC language
extensions. As such, singletons-th only supports the latest major version
of GHC (currently GHC 9.0). For more information,
consult the singletons
README.
You may also be interested in the following related libraries:
- The
singletonslibrary is a small, foundational library that defines basic singleton-related types and definitions. - The
singletons-baselibrary usessingletons-thto define promoted and singled functions from thebaselibrary, including thePrelude.