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.
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.2). For more information,
You may also be interested in the following related libraries:
singletonslibrary is a small, foundational library that defines basic singleton-related types and definitions.
singletons-thto define promoted and singled functions from the
baselibrary, including the Prelude.
[Skip to Readme]
- singletons-th-3.1.tar.gz [browse] (Cabal source package)
- Package description (revised from the package)
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]||3.0, 3.1|
|Dependencies||base (>=4.16 && <4.17), containers (>=0.5), ghc-boot-th, mtl (>=2.2.1 && <2.3), singletons (==3.0.1), syb (>=0.4), template-haskell (>=2.18 && <2.19), th-desugar (>=1.13 && <1.14), th-orphans (>=0.13.11 && <0.14), transformers (>=0.5.2) [details]|
|Author||Richard Eisenberg <firstname.lastname@example.org>, Jan Stolarek <email@example.com>|
|Maintainer||Ryan Scott <firstname.lastname@example.org>|
|Revised||Revision 2 made by ryanglscott at 2022-05-20T23:23:23Z|
|Source repo||this: git clone https://github.com/goldfirere/singletons.git(tag v3.1)(singletons-th)
head: git clone https://github.com/goldfirere/singletons.git -b master(singletons-th)
|Uploaded||by ryanglscott at 2021-10-31T01:46:29Z|
|Distributions||LTSHaskell:3.0, NixOS:3.0, Stackage:3.1|
|Downloads||982 total (50 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]