Ecosyste.ms: Packages

hackage.haskell.org : 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. (https://richarde.dev/papers/2012/singletons/paper.pdf) See also the paper published at Haskell Symposium, 2014, which describes how promotion works in greater detail: https://richarde.dev/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.10). For more information, consult the singletons README. You may also be interested in the following related libraries: The singletons library is a small, foundational library that defines basic singleton-related types and definitions. 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-th
Keywords: bsd3, dependent-types, library
License: BSD-3-Clause
Latest release: over 1 year ago
First release: about 3 years ago
Dependent packages: 7
Dependent repositories: 19
Downloads: 3,027 total
Stars: 284 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: 3 days ago

• Versions 6
• Dependent Packages 7
• Maintainers 1
• Related Packages 2
• Sort

  • Name
  • Versions
  • Latest Release
  • Oldest Release
  • Dependent packages
  • Dependent repositories
  • Downloads
  • Maintainers
  • Most Stars
  • Least Stars