Package Info

ghc-unbound-generics

install

Support for programming with names and binders using GHC Generics

Development/Libraries/Haskell
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.
License: BSD-3-Clause
URL: https://hackage.haskell.org/package/unbound-generics

Categories

Development Libraries Haskell

Releases

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