nominal-0.3.0.0: Binders and alpha-equivalence made easy

Index

:.Nominal.Bindable, Nominal
ANominal.NominalSupport
abstNominal.Bindable, Nominal
Atom 
1 (Type/Class)Nominal.Atom, Nominal
2 (Data Constructor)Nominal.Atom
AtomicNominal.Atomic, Nominal
atomic_showNominal.Atomic
AtomKindNominal.Atomic, Nominal
atomlist_abstNominal.Bindable
atomlist_mergeNominal.Bindable
atomlist_openNominal.Bindable
atomlist_open_for_printingNominal.Bindable
AtomOfKind 
1 (Type/Class)Nominal.Atomic, Nominal
2 (Data Constructor)Nominal.Atomic
atomofkind_namesNominal.Atomic
atom_abstNominal.Nominal
atom_bindingNominal.Bindable
atom_mergeNominal.Nominal
atom_namesNominal.Atom
atom_openNominal.Nominal
atom_open_for_printingNominal.NominalSupport
atom_showNominal.Atom
AvoideeNominal.NominalSupport
Basic 
1 (Type/Class)Nominal.Nominal, Nominal
2 (Data Constructor)Nominal.Nominal, Nominal
basic_actionNominal.Nominal, Nominal
basic_bindingNominal.Bindable, Nominal
basic_showsPrecSupNominal.NominalShow, Nominal
basic_supportNominal.NominalSupport, Nominal
Bind 
1 (Type/Class)Nominal.Bindable, Nominal
2 (Data Constructor)Nominal.Bindable
bindNominal.Atomic, Nominal
BindableNominal.Bindable, Nominal
BindAtom 
1 (Type/Class)Nominal.Nominal
2 (Data Constructor)Nominal.Nominal
BindAtomListNominal.Bindable
BindConsNominal.Bindable
binder_appNominal.Bindable
binder_gpairNominal.Bindable
binder_mapNominal.Bindable
bindingNominal.Bindable, Nominal
BindNilNominal.Bindable
bind_namedNominal.Atomic, Nominal
bind_namelistNominal.Atomic, Nominal
combine_namesNominal.ConcreteNames
default_namegenNominal.ConcreteNames
default_namesNominal.ConcreteNames
Defer 
1 (Type/Class)Nominal.Nominal
2 (Data Constructor)Nominal.Nominal
expand_defaultNominal.ConcreteNames
expand_namesNominal.Atomic, Nominal
forceNominal.Nominal
freshNominal.Atomic, Nominal
fresh_atomNominal.Atom
fresh_atom_namedNominal.Atom
fresh_namedNominal.Atomic, Nominal
fresh_namelistNominal.Atomic, Nominal
from_atomNominal.Atomic
from_bindatomNominal.Atomic
GBindableNominal.Bindable
gbindingNominal.Bindable
gbulletNominal.Nominal
GenericNominal.Generic, Nominal
global_newNominal.Unsafe
global_new_ioNominal.Unsafe
global_usedNominal.Unsafe
GNominalNominal.Nominal
GNominalShowNominal.NominalShow
GNominalSupportNominal.NominalSupport
gshowsPrecSupNominal.NominalShow
gsupportNominal.NominalSupport
InfNominal.NominalShow
isAlphaOrWildNominal.ConcreteNames
isNullaryNominal.NominalShow
Literal 
1 (Type/Class)Nominal.NominalSupport, Nominal
2 (Data Constructor)Nominal.NominalSupport, Nominal
mergeNominal.Atomic, Nominal
NameGen 
1 (Type/Class)Nominal.ConcreteNames
2 (Data Constructor)Nominal.ConcreteNames
namesNominal.Atomic
NameSuggestionNominal.ConcreteNames, Nominal
NoBind 
1 (Type/Class)Nominal.Bindable, Nominal
2 (Data Constructor)Nominal.Bindable, Nominal
nobindingNominal.Bindable, Nominal
NominalNominal.Nominal, Nominal
NominalBinder 
1 (Type/Class)Nominal.Bindable, Nominal
2 (Data Constructor)Nominal.Bindable
NominalPermutationNominal.Permutation, Nominal
NominalShowNominal.NominalShow, Nominal
NominalSupportNominal.NominalSupport, Nominal
nominal_showNominal.NominalShow, Nominal
nominal_showListNominal.NominalShow, Nominal
nominal_showsPrecNominal.NominalShow, Nominal
openNominal.Bindable, Nominal
open_for_printingNominal.Bindable, Nominal
Perm 
1 (Type/Class)Nominal.Permutation
2 (Data Constructor)Nominal.Permutation
Permutation 
1 (Type/Class)Nominal.Permutation
2 (Data Constructor)Nominal.Permutation
perm_apply_atomNominal.Permutation
perm_composeLNominal.Permutation
perm_composeRNominal.Permutation
perm_domainNominal.Permutation
perm_identityNominal.Permutation
perm_invertNominal.Permutation
perm_of_swapsNominal.Permutation
perm_swapNominal.Permutation
perm_swapsNominal.Permutation
PreNominal.NominalShow
p_apply_atomNominal.Permutation
p_composeLNominal.Permutation
p_composeRNominal.Permutation
p_domainNominal.Permutation
p_identityNominal.Permutation
p_swapNominal.Permutation
RecNominal.NominalShow
rename_freshNominal.ConcreteNames
SNominal.NominalSupport
SeparatorNominal.NominalShow
showsPrecSupNominal.NominalShow, Nominal
strings_of_supportNominal.NominalSupport
suggested_namesNominal.Atomic, Nominal
Support 
1 (Type/Class)Nominal.NominalSupport, Nominal
2 (Data Constructor)Nominal.NominalSupport
supportNominal.NominalSupport, Nominal
support_atomNominal.NominalSupport
support_deleteNominal.NominalSupport
support_deletesNominal.NominalSupport
support_emptyNominal.NominalSupport
support_insertNominal.NominalSupport
support_stringNominal.NominalSupport
support_unionNominal.NominalSupport
support_unionsNominal.NominalSupport
swaps_of_permNominal.Permutation
to_atomNominal.Atomic
to_bindatomNominal.Atomic
to_subscriptNominal.ConcreteNames
TupNominal.NominalShow
unsafe_withNominal.Unsafe
with_freshNominal.Atomic, Nominal
with_fresh_atomNominal.Atom
with_fresh_atom_namedNominal.Atom
with_fresh_namedNominal.Atomic, Nominal
with_fresh_namelistNominal.Atomic, Nominal
with_uniqueNominal.Unsafe
Nominal.Nominal, Nominal