Unbound.Generics.LocallyNameless.Alpha

Name-aware opertions

class Alpha a

Binder variables

data DisjointSet a

inconsistentDisjointSet

singletonDisjointSet

isConsistentDisjointSet

isNullDisjointSet

Implementation details

data NthPatFind

data NamePatFind

data AlphaCtx

initialCtx

patternCtx

termCtx

isTermCtx

incrLevelCtx

decrLevelCtx

isZeroLevelCtx

Internal

gaeq

gfvAny

gclose

gopen

gisPat

gisTerm

gnthPatFind

gnamePatFind

gswaps

gfreshen

glfreshen

gacompare

Interal helpers for gfreshen

data FFM f a

liftFFM

retractFFM