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

Stabilityexperimental
MaintainerAleksey Kliger
Safe HaskellNone

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