singletons: Basic singleton types and definitions
singletons contains the basic types and definitions needed to support
dependently typed programming techniques in Haskell. This library was
originally presented in Dependently Typed Programming with Singletons,
published at the Haskell Symposium, 2012.
singletons is intended to be a small, foundational library on which other
projects can build. As such,
singletons has a minimal dependency
footprint and supports GHCs dating back to GHC 8.0. For more information,
You may also be interested in the following related libraries:
singletons-thlibrary defines Template Haskell functionality that allows promotion of term-level functions to type-level equivalents and singling functions to dependently typed equivalents.
singletons-thto define promoted and singled functions from the
baselibrary, including the Prelude.
[Skip to Readme]
- singletons-3.0.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]||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, 220.127.116.11, 2.0, 18.104.22.168, 22.214.171.124, 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|
|Dependencies||base (>=4.9 && <4.17) [details]|
|Author||Richard Eisenberg <email@example.com>, Jan Stolarek <firstname.lastname@example.org>|
|Maintainer||Ryan Scott <email@example.com>|
|Revised||Revision 1 made by ryanglscott at 2022-03-29T21:32:58Z|
|Source repo||this: git clone https://github.com/goldfirere/singletons.git(tag v3.0.1)(singletons)
head: git clone https://github.com/goldfirere/singletons.git -b master(singletons)
|Uploaded||by ryanglscott at 2021-10-31T01:46:21Z|
|Distributions||Arch:3.0.1, Debian:2.6, LTSHaskell:3.0.1, NixOS:3.0.1, Stackage:3.0.1|
|Downloads||45091 total (334 in the last 30 days)|
|Rating||2.75 (votes: 9) [estimated by Bayesian average]|
|Status||Docs available [build log]
Last success reported on 2021-10-31 [all 1 reports]