Package maintainers and Hackage trustees are allowed to edit certain bits
of package metadata after a release, without uploading a new tarball.
Note that the tarball itself is never changed, just the metadata that is
stored separately. For more information about metadata revisions, please
refer to the
Hackage Metadata Revisions FAQ.
No. |
Time |
User |
SHA256 |
-r1 (singletons-base-3.1-r1) |
2022-03-29T21:34:26Z |
ryanglscott |
3e034351e3dfee6294dc9b991f3f60491f0257482226c7cd974bd899ebefe08a
|
|
Changed description
from @singletons-base@ uses @singletons-th@ to define promoted and singled
functions from the @base@ library, including the "Prelude". This library was
originally presented in /Dependently Typed Programming with Singletons/,
published at the Haskell Symposium, 2012.
(<https://cs.brynmawr.edu/~rae/papers/2012/singletons/paper.pdf>)
See also the paper published at Haskell Symposium, 2014, which describes
how promotion works in greater detail:
<https://cs.brynmawr.edu/~rae/papers/2014/promotion/promotion.pdf>.
WARNING: @singletons-base@ defines orphan instances for @Sing@, @SingKind@,
etc. for common types such as @Bool@, @[]@, @Maybe@, etc. If you define
instances of these types in your code, you will likely not be able to use
that code with @singletons-base@.
@singletons-base@ uses code that relies on bleeding-edge GHC language
extensions. As such, @singletons-base@ only supports the latest major version
of GHC (currently GHC 9.2). For more information,
consult the @singletons@
@<https://github.com/goldfirere/singletons/blob/master/README.md 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-th@ library defines Template Haskell functionality that
allows /promotion/ of term-level functions to type-level equivalents and
/singling/ functions to dependently typed equivalents.
to @singletons-base@ uses @singletons-th@ to define promoted and singled
functions from the @base@ library, including the "Prelude". 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>.
WARNING: @singletons-base@ defines orphan instances for @Sing@, @SingKind@,
etc. for common types such as @Bool@, @[]@, @Maybe@, etc. If you define
instances of these types in your code, you will likely not be able to use
that code with @singletons-base@.
@singletons-base@ uses code that relies on bleeding-edge GHC language
extensions. As such, @singletons-base@ only supports the latest major version
of GHC (currently GHC 9.2). For more information,
consult the @singletons@
@<https://github.com/goldfirere/singletons/blob/master/README.md 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-th@ library defines Template Haskell functionality that
allows /promotion/ of term-level functions to type-level equivalents and
/singling/ functions to dependently typed equivalents.
|
-r0 (singletons-base-3.1-r0) |
2021-10-31T01:46:38Z |
ryanglscott |
c7c83b0da1ad6f02129d900ca8feaf6ae463a73b1935bdc199cfbacf14db31a1
|
|
|