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.
(https://richarde.dev/papers/2012/singletons/paper.pdf)
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,
consult the singletons
README
.
You may also be interested in the following related libraries:
The
singletons-th
library defines Template Haskell functionality that allows promotion of term-level functions to type-level equivalents and singling functions to dependently typed equivalents.The
singletons-base
library usessingletons-th
to define promoted and singled functions from thebase
library, including the Prelude.
[Skip to Readme]
Modules
[Index] [Quick Jump]
Downloads
- singletons-3.0.3.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
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, 1.1.2.1, 2.0, 2.0.0.1, 2.0.0.2, 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, 3.0.3 |
---|---|
Change log | CHANGES.md |
Dependencies | base (>=4.9 && <4.21) [details] |
Tested with | ghc ==8.0.2, ghc ==8.2.2, ghc ==8.4.4, ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.7, ghc ==9.0.2, ghc ==9.2.7, ghc ==9.4.8, ghc ==9.6.5, ghc ==9.8.2, ghc ==9.10.1 |
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.2)(singletons) head: git clone https://github.com/goldfirere/singletons.git -b master(singletons) |
Uploaded | by ryanglscott at 2024-05-12T23:03:58Z |
Distributions | Arch:3.0.3, Debian:2.6, LTSHaskell:3.0.3, NixOS:3.0.3, Stackage:3.0.3 |
Reverse Dependencies | 122 direct, 211 indirect [details] |
Downloads | 51219 total (231 in the last 30 days) |
Rating | 2.75 (votes: 10) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2024-05-12 [all 1 reports] |