@hackage / unbound-kind-generics

Support for programming with names and binders using kind-generics

Latest0.2.1.1

About

Metadata

  • Last updated , by AlejandroSerrano
  • License BSD-3-Clause

  • Maintained by: trupill@gmail.com

  • Lottery factor: 0

Links

Installation

Readme

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.