unbound-0.5.0: Generic support for programming with names and binders

Index - N

NameUnbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless
nameUnbound.LocallyNameless
name2IntegerUnbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless
name2StringUnbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless
NamesSeenUnbound.LocallyNameless.Alpha
Nil 
1 (Data Constructor)Unbound.LocallyNameless
2 (Type/Class)Unbound.LocallyNameless
NmUnbound.LocallyNameless.Name, Unbound.LocallyNameless.Types
NonfixUnbound.LocallyNameless
NthCont 
1 (Type/Class)Unbound.LocallyNameless.Alpha
2 (Data Constructor)Unbound.LocallyNameless.Alpha
nthNameUnbound.LocallyNameless.Alpha
nthpatUnbound.LocallyNameless.Alpha
nthpatDUnbound.LocallyNameless.Alpha
nthpatLUnbound.LocallyNameless.Alpha
nthpatR1Unbound.LocallyNameless.Alpha
nthpatrecUnbound.LocallyNameless.Alpha, Unbound.LocallyNameless
NthResultUnbound.LocallyNameless.Alpha