Unbound.Generics.LocallyNameless.Operations

Equivalence, free variables, freshness

aeq

acompare

fvAny

fv

freshen

lfreshen

swaps

Binding, unbinding

data Bind p t

bind

unbind

lunbind

unbind2

lunbind2

unbind2Plus

Rebinding, embedding

data Rebind p1 p2

rebind

unrebind

data Embed t

class IsEmbed e

embed

unembed

Recursive bindings

data Rec p

rec

unrec

data TRec p

trec

untrec

luntrec