unbound-generics

Version 0.3 revision 1 uploaded 2023-04-26T18:01:48.000Z by AndreasAbel.

Package meta

Synopsis

Support for programming with names and binders using GHC 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 to get started.

This is an independent re-implementation of Unbound but using GHC.Generics instead of RepLib. See the accompanying README for some porting notes.

Author

Aleksey Kliger

Bug reports

http://github.com/lambdageek/unbound-generics/issues

Category

Language

Copyright

(c) 2014-2015, Aleksey Kliger

Homepage

http://github.com/lambdageek/unbound-generics

Maintainer

aleksey@lambdageek.org

Package URL

n/a

Stability

n/a

Components

• lib:unbound-generics
• bench:benchmark-unbound-generics
• test:test-unbound-generics