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

Index - N

naeqUnbound.Nominal.Internal
Name 
1 (Type/Class)Unbound.Nominal.Name, Unbound.Nominal
2 (Type/Class)Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless
nameUnbound.LocallyNameless
name1Unbound.Nominal.Name, Unbound.Nominal
name10Unbound.Nominal.Name, Unbound.Nominal
name11Unbound.Nominal.Name
name2Unbound.Nominal.Name, Unbound.Nominal
name2Integer 
1 (Function)Unbound.Nominal.Name, Unbound.Nominal
2 (Function)Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless
name2String 
1 (Function)Unbound.Nominal.Name, Unbound.Nominal
2 (Function)Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Types, Unbound.LocallyNameless
name3Unbound.Nominal.Name, Unbound.Nominal
name4Unbound.Nominal.Name, Unbound.Nominal
name5Unbound.Nominal.Name, Unbound.Nominal
name6Unbound.Nominal.Name, Unbound.Nominal
name7Unbound.Nominal.Name, Unbound.Nominal
name8Unbound.Nominal.Name, Unbound.Nominal
name9Unbound.Nominal.Name, Unbound.Nominal
nameAUnbound.Nominal.Internal
nameBUnbound.Nominal.Internal
nameCUnbound.Nominal.Internal
NamesSeenUnbound.LocallyNameless.Alpha
nextIntegerUnbound.Nominal.Internal, Unbound.Nominal
Nil 
1 (Data Constructor)Unbound.LocallyNameless
2 (Type/Class)Unbound.LocallyNameless
Nm 
1 (Data Constructor)Unbound.Nominal.Name
2 (Data Constructor)Unbound.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