Package Info


Support for programming with names and binders using GHC Generics


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.

License: BSD-3-Clause



Package Version Update ID Released Package Hub Version Platforms Subpackages
0.3.1-bp150.2.3 info GA Release 2018-08-01 15
  • AArch64
  • ghc-unbound-generics
  • ghc-unbound-generics-devel
0.3.1-bp150.2.5 info GA Release 2018-07-31 15
  • ppc64le
  • ghc-unbound-generics
  • ghc-unbound-generics-devel
0.3.1-bp150.2.6 info GA Release 2018-07-30 15
  • x86-64
  • ghc-unbound-generics
  • ghc-unbound-generics-devel