unbound-kind-generics: Support for programming with names and binders using kind-generics

[ bsd3, language, library ] [ Propose Tags ]

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.

Versions [faq],
Change log CHANGELOG.md
Dependencies base (>=4.12 && <5), kind-generics (>=0.4), kind-generics-th, unbound-generics [details]
License BSD-3-Clause
Author Alejandro Serrano
Maintainer trupill@gmail.com
Category Language
Uploaded by AlejandroSerrano at 2019-09-10T21:15:49Z
Distributions NixOS:
Downloads 507 total (2 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees