unbound-kind-generics: Support for programming with names and binders using kind-generics
Specify the binding structure of your data type with an
expressive set of type combinators, and unbound-generics
handles the rest! Automatically derives
alpha-equivalence, free variable calculation,
capture-avoiding substitution, and more. See
Unbound.Generics.LocallyNameless.Kind.Derive
to get started.
This is an independent re-implementation of unbound-generics but using kind-generics instead of GHC Generics.
Downloads
- unbound-kind-generics-0.2.1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.2.0.0, 0.2.1.0, 0.2.1.1 |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.12 && <5), kind-generics (>=0.4), kind-generics-th, unbound-generics (>=0.4) [details] |
License | BSD-3-Clause |
Author | Alejandro Serrano |
Maintainer | trupill@gmail.com |
Category | Language |
Uploaded | by AlejandroSerrano at 2023-05-22T15:10:12Z |
Distributions | |
Downloads | 777 total (6 in the last 30 days) |
Rating | 1.75 (votes: 1) [estimated by Bayesian average] |
Your Rating | |
Status | Docs uploaded by user Build status unknown [no reports yet] |