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] 0.2.0.0, 0.2.1.0
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 Tue Sep 10 21:15:49 UTC 2019
Distributions NixOS:0.2.1.0
Downloads 57 total (57 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees