unbound-generics-0.4.0: Support for programming with names and binders using GHC Generics

Copyright(c) 2015 Aleksey Kliger
LicenseBSD3 (See LICENSE)
MaintainerAleksey Kliger
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010
Extensions
  • TemplateHaskell
  • TemplateHaskellQuotes

Unbound.Generics.LocallyNameless.TH

Description

Template Haskell methods to construct instances of Alpha for datatypes that don't contain any names and don't participate in Alpha operations in any non-trivial way.

Documentation

makeClosedAlpha :: Name -> DecsQ Source #