ghc-unbound-generics
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<http://hackage.haskell.org/package/unbound Unbound>but using<http://www.haskell.org/ghc/docs/latest/html/libraries/base-4.9.0.0/GHC-Generics.html GHC.Generics>instead of<http://hackage.haskell.org/package/RepLib RepLib>. See the accompanying README for some porting notes.
BSD-3-Clausecloud_download Downloads
To download packages, you need to log in and have a valid subscription.
Please select a product to see the available package versions:
Loading...
Loading package downloads...