Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 2.7% downloads on hackage.haskell.org
Top 0.6% dependent packages on hackage.haskell.org
Top 1.6% dependent repos on hackage.haskell.org
Top 6.5% forks on hackage.haskell.org
hackage.haskell.org : singletons
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 uses singletons-th to define promoted and singled functions from the base library, including the Prelude.
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/singletons
Keywords: bsd3, dependent-types, library
License: BSD-3-Clause
Latest release: over 1 year ago
First release: almost 12 years ago
Dependent packages: 44
Dependent repositories: 248
Downloads: 49,713 total
Stars: 282 on GitHub
Forks: 36 on GitHub
Total Commits: 814
Committers: 22
Average commits per author: 37.0
Development Distribution Score (DDS): 0.569
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 6 days ago