Monadoc

singletons-th

Version 3.5 revision 0 uploaded by ryanglscott.

Package meta

Synopsis
A framework for generating singleton types
Description

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.12). 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.

Author
Richard Eisenberg <rae@cs.brynmawr.edu>, Jan Stolarek <jan.stolarek@p.lodz.pl>
Bug reports
https://github.com/goldfirere/singletons/issues
Category
Dependent Types
Copyright
n/a
Homepage
http://www.github.com/goldfirere/singletons
Maintainer
Ryan Scott <ryan.gl.scott@gmail.com>
Package URL
n/a
Stability
experimental

Components