unbound-generics-0.0.2.1: Reimplementation of Unbound using GHC Generics

Copyright(c) 2014, Aleksey Kliger
LicenseBSD3 (See LICENSE)
MaintainerAleksey Kliger
Stabilityexperimental
Safe HaskellNone
LanguageHaskell2010

Unbound.Generics.LocallyNameless

Description

See Alpha, Bind, Unbound.Generics.LocallyNameless.Operations to get started.

Documentation

module Unbound.Generics.LocallyNameless.Alpha

module Unbound.Generics.LocallyNameless.Name

module Unbound.Generics.LocallyNameless.Operations

module Unbound.Generics.LocallyNameless.Bind

module Unbound.Generics.LocallyNameless.Embed

module Unbound.Generics.LocallyNameless.Rebind

module Unbound.Generics.LocallyNameless.Rec

module Unbound.Generics.LocallyNameless.Fresh

module Unbound.Generics.LocallyNameless.LFresh

module Unbound.Generics.LocallyNameless.Subst