singleraeh: raehik's singletons

[ data, library, mit, types ] [ Propose Tags ] [ Report a vulnerability ]

Please see README.md.


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.1.0, 0.2.0, 0.2.1, 0.3.0, 0.4.0
Change log CHANGELOG.md
Dependencies base (>=4.18 && <5) [details]
Tested with ghc ==9.8, ghc ==9.6
License MIT
Author Ben Orchard
Maintainer Ben Orchard <thefirstmuffinman@gmail.com>
Category Types, Data
Uploaded by raehik at 2024-06-01T14:57:37Z
Distributions NixOS:0.4.0, Stackage:0.4.0
Reverse Dependencies 2 direct, 5 indirect [details]
Downloads 185 total (11 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for singleraeh-0.4.0

[back to package description]

singleraeh

Explicit singletons. More manual than singletons, but potentially easier to use because you can give GHC more explicit information (compared to singletons which often threads things through the Sing type family and SingI type class).

Uses phadej's defun package for defunctionalizing type families. (Edit, actually doesn't require defun just yet. But I think that's just because I haven't bothered defunctionalizing things.)

Requires GHC >= 9.6 for the builtin SNat, SSymbol etc. singletons.

License

Provided under the MIT license. See LICENSE for license text.