Monadoc

singletons

Version 3.0.4 revision 0 uploaded by ryanglscott.

Package meta

Synopsis
Basic singleton types and definitions
Description

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.

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