unbound-kind-generics

Version 0.2.1.1 revision 0 uploaded 2023-05-22T15:10:12.000Z by AlejandroSerrano.

Package meta

Synopsis

Support for programming with names and binders using kind-generics

Description

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.

Author

Alejandro Serrano

Bug reports

n/a

Category

Language

Copyright

n/a

Homepage

n/a

Maintainer

trupill@gmail.com

Package URL

n/a

Stability

n/a

Components

• lib:unbound-kind-generics