nom-0.1.0.2: Name-binding & alpha-equivalence

Index

$$Language.Nominal.Equivar, Language.Nominal
+<<Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
.:Language.Nominal.Utilities
:->Language.Nominal.Examples.SystemF
:@Language.Nominal.Examples.UntypedLambda
:@>Language.Nominal.Abs, Language.Nominal
:@@!Language.Nominal.Binder, Language.Nominal
>>+Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
@.Language.Nominal.Examples.SystemF
@:Language.Nominal.Examples.SystemF
@>Language.Nominal.Binder, Language.Nominal
@@Language.Nominal.Binder, Language.Nominal
@@!Language.Nominal.Binder, Language.Nominal
@@.Language.Nominal.Binder, Language.Nominal
AbsLanguage.Nominal.Abs, Language.Nominal
absFreshLanguage.Nominal.Abs, Language.Nominal
absFresh'Language.Nominal.Abs, Language.Nominal
absFuncOutLanguage.Nominal.Abs, Language.Nominal
absLabelLanguage.Nominal.Abs, Language.Nominal
abstLanguage.Nominal.Abs, Language.Nominal
abst'Language.Nominal.Abs, Language.Nominal
absToNomLanguage.Nominal.Abs, Language.Nominal
Add 
1 (Data Constructor)Language.Nominal.Examples.Assembly2
2 (Data Constructor)Language.Nominal.Examples.Assembly1
AllLanguage.Nominal.Examples.SystemF
apartLanguage.Nominal.NameSet, Language.Nominal
AppLanguage.Nominal.Examples.SystemF
appendTxChunkLanguage.Nominal.Examples.IdealisedEUTxO
appendTxMaybeChunkLanguage.Nominal.Examples.IdealisedEUTxO
arbitrarySizedTrmLanguage.Nominal.Properties.SpecUtilities
arbitrarySizedTypLanguage.Nominal.Properties.SpecUtilities
Atom 
1 (Type/Class)Language.Nominal.Name, Language.Nominal
2 (Data Constructor)Language.Nominal.Name, Language.Nominal
atomPointLanguage.Nominal.NameSet, Language.Nominal
ATrmLanguage.Nominal.Examples.SystemF
atTomLanguage.Nominal.Name, Language.Nominal
atValFinLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
atValTrivLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
ATypLanguage.Nominal.Examples.SystemF
badEqLanguage.Nominal.Examples.Style
badRestrictLanguage.Nominal.Examples.Style
bad_countBindingLanguage.Nominal.Examples.Style
bad_countOrderLanguage.Nominal.Examples.Style
BinderLanguage.Nominal.Binder, Language.Nominal
BinderConcLanguage.Nominal.Binder, Language.Nominal
BinderSupp 
1 (Type/Class)Language.Nominal.Binder, Language.Nominal
2 (Data Constructor)Language.Nominal.Binder, Language.Nominal
binderToNomLanguage.Nominal.Binder, Language.Nominal
BlockchainLanguage.Nominal.Examples.IdealisedEUTxO
blockchainLanguage.Nominal.Examples.IdealisedEUTxO
chainLanguage.Nominal.Utilities
Chunk 
1 (Type/Class)Language.Nominal.Examples.IdealisedEUTxO
2 (Data Constructor)Language.Nominal.Examples.IdealisedEUTxO
chunkBindingOKLanguage.Nominal.Examples.IdealisedEUTxO
chunkHeadLanguage.Nominal.Examples.IdealisedEUTxO
chunkLengthLanguage.Nominal.Examples.IdealisedEUTxO
chunkTailLanguage.Nominal.Examples.IdealisedEUTxO
chunkTakeEndLanguage.Nominal.Examples.IdealisedEUTxO
chunkToHdHdTlLanguage.Nominal.Examples.IdealisedEUTxO
chunkToHdTlLanguage.Nominal.Examples.IdealisedEUTxO
chunkToTxListLanguage.Nominal.Examples.IdealisedEUTxO
chunkValidatorsOKLanguage.Nominal.Examples.IdealisedEUTxO
churchLanguage.Nominal.Examples.SystemF
cnocLanguage.Nominal.Binder, Language.Nominal
concLanguage.Nominal.Binder, Language.Nominal.Abs, Language.Nominal
concatChunkLanguage.Nominal.Examples.IdealisedEUTxO
ConnectLanguage.Nominal.Examples.Graph
constEvFinMapLanguage.Nominal.Equivar, Language.Nominal
ContextLanguage.Nominal.Examples.IdealisedEUTxO
contextPosLanguage.Nominal.Examples.IdealisedEUTxO
contextsOfTxLanguage.Nominal.Examples.IdealisedEUTxO
CValLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
deBruijn1Language.Nominal.Properties.NomSpec
deBruijn2Language.Nominal.Properties.NomSpec
deBruijnAccLanguage.Nominal.Properties.NomSpec
EmptyLanguage.Nominal.Examples.Graph
enterLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
equivChunkLanguage.Nominal.Examples.IdealisedEUTxO
evalOperand 
1 (Function)Language.Nominal.Examples.Assembly2
2 (Function)Language.Nominal.Examples.Assembly1
evalProg 
1 (Function)Language.Nominal.Examples.Assembly2
2 (Function)Language.Nominal.Examples.Assembly1
EvFinMapLanguage.Nominal.Equivar, Language.Nominal
evFinMapLanguage.Nominal.Equivar, Language.Nominal
EvFun 
1 (Type/Class)Language.Nominal.Equivar, Language.Nominal
2 (Data Constructor)Language.Nominal.Equivar, Language.Nominal
evIsPrefixLanguage.Nominal.Unify, Language.Nominal
evLookupLanguage.Nominal.Equivar, Language.Nominal
evLookupListLanguage.Nominal.Equivar, Language.Nominal
evNubLanguage.Nominal.Equivar, Language.Nominal
evPrefixRenLanguage.Nominal.Unify, Language.Nominal
evRepLanguage.Nominal.Equivar, Language.Nominal
example1 
1 (Function)Language.Nominal.Examples.UntypedLambda
2 (Function)Language.Nominal.Examples.Assembly2
3 (Function)Language.Nominal.Examples.Assembly1
example1eval 
1 (Function)Language.Nominal.Examples.Assembly2
2 (Function)Language.Nominal.Examples.Assembly1
example1whnfLanguage.Nominal.Examples.UntypedLambda
example2Language.Nominal.Examples.UntypedLambda
example2whnfLanguage.Nominal.Examples.UntypedLambda
exampleCh0Language.Nominal.Examples.IdealisedEUTxO
exampleCh1Language.Nominal.Examples.IdealisedEUTxO
exampleCh12Language.Nominal.Examples.IdealisedEUTxO
exampleCh12'Language.Nominal.Examples.IdealisedEUTxO
exampleCh2Language.Nominal.Examples.IdealisedEUTxO
exampleCh21Language.Nominal.Examples.IdealisedEUTxO
exitLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
exitWithLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
ExpLanguage.Nominal.Examples.UntypedLambda
extEvFinMapLanguage.Nominal.Equivar, Language.Nominal
filterApartLanguage.Nominal.Examples.Graph
FixableLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
fixChunkToBlockchainLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
fixOutputLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
foldgLanguage.Nominal.Examples.Graph
freshAtomLanguage.Nominal.Nom, Language.Nominal
freshAtomIOLanguage.Nominal.Name, Language.Nominal
freshAtomsLanguage.Nominal.Nom, Language.Nominal
freshAtomsIOLanguage.Nominal.Name, Language.Nominal
freshenLanguage.Nominal.Binder, Language.Nominal
freshForLanguage.Nominal.Binder, Language.Nominal
freshForALanguage.Nominal.Binder, Language.Nominal
freshKAtomLanguage.Nominal.Nom, Language.Nominal
freshKAtomIOLanguage.Nominal.Name, Language.Nominal
freshKAtomsLanguage.Nominal.Nom, Language.Nominal
freshKAtomsIOLanguage.Nominal.Name, Language.Nominal
freshKNameLanguage.Nominal.Nom, Language.Nominal
freshKNameIOLanguage.Nominal.Nom, Language.Nominal
freshKNamesLanguage.Nominal.Nom, Language.Nominal
freshKNamesIOLanguage.Nominal.Nom, Language.Nominal
freshNameLanguage.Nominal.Nom, Language.Nominal
freshNameIOLanguage.Nominal.Nom, Language.Nominal
freshNamesLanguage.Nominal.Nom, Language.Nominal
freshNamesIOLanguage.Nominal.Nom, Language.Nominal
fromEvFinMapLanguage.Nominal.Equivar, Language.Nominal
fromValidTxLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
fuseLanguage.Nominal.Abs, Language.Nominal
genAppLanguage.Nominal.Binder, Language.Nominal
genAppCLanguage.Nominal.Binder, Language.Nominal
genChunkTailLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
genEvFinMapLanguage.Nominal.Properties.SpecUtilities
genUnNomChunkLanguage.Nominal.Examples.IdealisedEUTxO
getBinderSuppLanguage.Nominal.Binder, Language.Nominal
getBlockchainLanguage.Nominal.Examples.IdealisedEUTxO
getNamelessLanguage.Nominal.Name, Language.Nominal
getNomLanguage.Nominal.Nom, Language.Nominal
getResLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
getSwpLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
GraphLanguage.Nominal.Examples.Graph
hashUniqueLanguage.Nominal.Unique
HasInputPositionsLanguage.Nominal.Examples.IdealisedEUTxO
HasOutputPositionsLanguage.Nominal.Examples.IdealisedEUTxO
iactLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
idRenLanguage.Nominal.Unify, Language.Nominal
idTrmLanguage.Nominal.Examples.SystemF
idTrm2Language.Nominal.Examples.SystemF
IEqLanguage.Nominal.Examples.IdealisedEUTxO
imapLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
Input 
1 (Type/Class)Language.Nominal.Examples.IdealisedEUTxO
2 (Data Constructor)Language.Nominal.Examples.IdealisedEUTxO
inputPositionsLanguage.Nominal.Examples.IdealisedEUTxO
inputsOfTxLanguage.Nominal.Examples.IdealisedEUTxO
interleaveLanguage.Nominal.Utilities
iotaLanguage.Nominal.Utilities
iprop_freshen_apartLanguage.Nominal.Properties.NomSpec
iprop_fresh_renLanguage.Nominal.Properties.UnifySpec
iprop_sub_fresh 
1 (Function)Language.Nominal.Properties.SubSpec
2 (Function)Language.Nominal.Properties.Examples.SystemFSpec
iprop_sub_id 
1 (Function)Language.Nominal.Properties.SubSpec
2 (Function)Language.Nominal.Properties.Examples.SystemFSpec
iprop_sub_perm 
1 (Function)Language.Nominal.Properties.SubSpec
2 (Function)Language.Nominal.Properties.Examples.SystemFSpec
iprop_support_nomLanguage.Nominal.Properties.NomSpec
isBlockchainLanguage.Nominal.Examples.IdealisedEUTxO
isBlockchain'Language.Nominal.Examples.IdealisedEUTxO
isChunkLanguage.Nominal.Examples.IdealisedEUTxO
isChunk'Language.Nominal.Examples.IdealisedEUTxO
isJustRenLanguage.Nominal.Unify, Language.Nominal
isNothingRenLanguage.Nominal.Unify, Language.Nominal
isPrefixChunkLanguage.Nominal.Examples.IdealisedEUTxO
isSubsetOfLanguage.Nominal.Utilities
isTrivialNomByEqLanguage.Nominal.Binder, Language.Nominal
isTrivialNomBySuppLanguage.Nominal.Binder, Language.Nominal
justALabelLanguage.Nominal.Name, Language.Nominal
justAnAtomLanguage.Nominal.Name, Language.Nominal
KAbsLanguage.Nominal.Abs, Language.Nominal
kapartLanguage.Nominal.NameSet, Language.Nominal
KAtomLanguage.Nominal.Name, Language.Nominal
kbinderToNomLanguage.Nominal.Binder, Language.Nominal
KEvFinMapLanguage.Nominal.Equivar, Language.Nominal
KEvFunLanguage.Nominal.Equivar, Language.Nominal
kevIsPrefixLanguage.Nominal.Unify, Language.Nominal
kevLookupLanguage.Nominal.Equivar, Language.Nominal
kevLookupListLanguage.Nominal.Equivar, Language.Nominal
kevLookupList'Language.Nominal.Equivar, Language.Nominal
kevNubLanguage.Nominal.Equivar, Language.Nominal
kevPrefixRenLanguage.Nominal.Unify, Language.Nominal
kevRepLanguage.Nominal.Equivar, Language.Nominal
kfreshenLanguage.Nominal.Binder, Language.Nominal
KNameLanguage.Nominal.Name, Language.Nominal
KNomLanguage.Nominal.Nom, Language.Nominal
knomToBinderLanguage.Nominal.Binder, Language.Nominal
knomToMaybeBinderLanguage.Nominal.Binder, Language.Nominal
KPermLanguage.Nominal.Name, Language.Nominal
KRenLanguage.Nominal.Unify, Language.Nominal
kresLanguage.Nominal.Nom, Language.Nominal
KRestrictLanguage.Nominal.NameSet, Language.Nominal
KSubLanguage.Nominal.Sub, Language.Nominal
ksuppLanguage.Nominal.NameSet, Language.Nominal
KSupportLanguage.Nominal.NameSet, Language.Nominal
kswpLanguage.Nominal.Name, Language.Nominal
kswpNLanguage.Nominal.Name, Language.Nominal
kunifiablePermLanguage.Nominal.Unify, Language.Nominal
KUnifyPermLanguage.Nominal.Unify, Language.Nominal
kunifyPermLanguage.Nominal.Unify, Language.Nominal
Lam 
1 (Data Constructor)Language.Nominal.Examples.UntypedLambda
2 (Data Constructor)Language.Nominal.Examples.SystemF
lam 
1 (Function)Language.Nominal.Examples.UntypedLambda
2 (Function)Language.Nominal.Examples.SystemF
Lit 
1 (Data Constructor)Language.Nominal.Examples.Assembly2
2 (Data Constructor)Language.Nominal.Examples.Assembly1
myatomnamesLanguage.Nominal.Properties.SpecUtilities
myAtomsLanguage.Nominal.Properties.SpecUtilities
MyNameLanguage.Nominal.Examples.Tutorial
MyNameLabelLanguage.Nominal.Examples.Tutorial
myUniquesLanguage.Nominal.Properties.SpecUtilities
Name 
1 (Type/Class)Language.Nominal.Name, Language.Nominal
2 (Data Constructor)Language.Nominal.Name, Language.Nominal
nameAtomLanguage.Nominal.Name, Language.Nominal
nameLabelLanguage.Nominal.Name, Language.Nominal
Nameless 
1 (Type/Class)Language.Nominal.Name, Language.Nominal
2 (Data Constructor)Language.Nominal.Name, Language.Nominal
namePointLanguage.Nominal.NameSet, Language.Nominal
natLanguage.Nominal.Examples.SystemF
newLanguage.Nominal.Binder, Language.Nominal
newALanguage.Nominal.Binder, Language.Nominal
newUniqueLanguage.Nominal.Unique
nfLanguage.Nominal.Examples.SystemF
nf'Language.Nominal.Examples.SystemF
Nom 
1 (Type/Class)Language.Nominal.Nom, Language.Nominal
2 (Data Constructor)Language.Nominal.Nom, Language.Nominal
nomAppLanguage.Nominal.Binder, Language.Nominal
nomAppCLanguage.Nominal.Binder, Language.Nominal
nomToAbsLanguage.Nominal.Abs, Language.Nominal
nomToBinderLanguage.Nominal.Binder, Language.Nominal
nomToIOLanguage.Nominal.Nom, Language.Nominal
nomToMaybeBinderLanguage.Nominal.Binder, Language.Nominal
nomTxListToChunkLanguage.Nominal.Examples.IdealisedEUTxO
nomTxListToNomChunkLanguage.Nominal.Examples.IdealisedEUTxO
normalisableLanguage.Nominal.Examples.SystemF
normaliseProgLanguage.Nominal.Examples.Assembly2
nothingRenLanguage.Nominal.Unify, Language.Nominal
NTrmLanguage.Nominal.Examples.SystemF
NTrmLabelLanguage.Nominal.Examples.SystemF
NTypLanguage.Nominal.Examples.SystemF
NTypLabelLanguage.Nominal.Examples.SystemF
observeLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
okRestrictLanguage.Nominal.Examples.Style
oneLanguage.Nominal.Examples.SystemF
Operand 
1 (Type/Class)Language.Nominal.Examples.Assembly2
2 (Type/Class)Language.Nominal.Examples.Assembly1
Output 
1 (Type/Class)Language.Nominal.Examples.IdealisedEUTxO
2 (Data Constructor)Language.Nominal.Examples.IdealisedEUTxO
outputPositionsLanguage.Nominal.Examples.IdealisedEUTxO
outputsOfTxLanguage.Nominal.Examples.IdealisedEUTxO
OverlayLanguage.Nominal.Examples.Graph
pamiLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
PermLanguage.Nominal.Name, Language.Nominal
permLanguage.Nominal.Name, Language.Nominal
pointLanguage.Nominal.Utilities
PositionLanguage.Nominal.Examples.IdealisedEUTxO
PPLanguage.Nominal.Examples.SystemF
ppLanguage.Nominal.Examples.SystemF
pppLanguage.Nominal.Examples.SystemF
Prog 
1 (Type/Class)Language.Nominal.Examples.Assembly2
2 (Type/Class)Language.Nominal.Examples.Assembly1
prop_Abs_alphaLanguage.Nominal.Properties.AbsSpec
prop_Abs_ConcLanguage.Nominal.Properties.AbsSpec
prop_abs_to_nomLanguage.Nominal.Properties.AbsSpec
prop_all_typeableLanguage.Nominal.Properties.Examples.SystemFSpec
prop_apart_is_valid_chLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_apart_is_valid_txLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_app_idLanguage.Nominal.Properties.Examples.SystemFSpec
prop_arbitraryBlockchainIsValidLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_arbitraryChunkEqCheckLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_arbitraryChunkIsValidLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_arbitraryChunkIsValid'Language.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_arbitraryTxIsValidLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_atomssq_orbitLanguage.Nominal.Properties.EquivarSpec
prop_atoms_one_orbitLanguage.Nominal.Properties.EquivarSpec
prop_blockchainHasNoUTxIsLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_blockchainToChunkAndBackLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_chunkHdTl_recombineLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_chunkHead_chunkTail_recombineLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_chunkneqLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_chunkreflLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_chunkTail_is_chunkLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_chunkTail_is_prefixLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_chunkTail_is_prefix_gotchaLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_chunk_apart_commutesLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_church_numerals0Language.Nominal.Properties.Examples.SystemFSpec
prop_church_numerals1Language.Nominal.Properties.Examples.SystemFSpec
prop_church_numerals_typeLanguage.Nominal.Properties.Examples.SystemFSpec
prop_Conc_AbsLanguage.Nominal.Properties.AbsSpec
prop_Conc_Abs_swapLanguage.Nominal.Properties.AbsSpec
prop_doubleswapLanguage.Nominal.Properties.NameSpec
prop_doubleswap_freshLanguage.Nominal.Properties.NameSpec
prop_doubleswap_fresh'Language.Nominal.Properties.NameSpec
prop_emptyIsPrefixLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_freshen_apart_atmlistLanguage.Nominal.Properties.NomSpec
prop_freshen_apart_disjointLanguage.Nominal.Properties.NomSpec
prop_freshen_apart_nom_atmlistLanguage.Nominal.Properties.NomSpec
prop_freshFor1Language.Nominal.Properties.NomSpec
prop_freshFor2Language.Nominal.Properties.NomSpec
prop_freshFor_notElemLanguage.Nominal.Properties.NomSpec
prop_freshswapLanguage.Nominal.Properties.NameSpec
prop_fresh_eqLanguage.Nominal.Properties.NomSpec
prop_fresh_neqLanguage.Nominal.Properties.NomSpec
prop_fresh_neq'Language.Nominal.Properties.NomSpec
prop_fresh_neq''Language.Nominal.Properties.NomSpec
prop_fresh_ren_absatmlistLanguage.Nominal.Properties.UnifySpec
prop_fresh_ren_atmlistlistLanguage.Nominal.Properties.UnifySpec
prop_fuseLanguage.Nominal.Properties.AbsSpec
prop_fuse_unfuse_AbsLanguage.Nominal.Properties.AbsSpec
prop_id_type_unchangedLanguage.Nominal.Properties.Examples.SystemFSpec
prop_isTrivial_equalLanguage.Nominal.Properties.NomSpec
prop_isTrivial_saneLanguage.Nominal.Properties.NomSpec
prop_isTrivial_sane'Language.Nominal.Properties.NomSpec
prop_l_l'Language.Nominal.Properties.UnifySpec
prop_namelabelLanguage.Nominal.Properties.NameSpec
prop_newLanguage.Nominal.Properties.NomSpec
prop_new'Language.Nominal.Properties.NomSpec
prop_nf_typeableLanguage.Nominal.Properties.Examples.SystemFSpec
prop_nom_to_absLanguage.Nominal.Properties.AbsSpec
prop_notEveryChunkBlockchainLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_not_new'Language.Nominal.Properties.NomSpec
prop_overbindingLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_renIdLanguage.Nominal.Properties.UnifySpec
prop_res_resLanguage.Nominal.Properties.UnifySpec
prop_res_unresLanguage.Nominal.Properties.UnifySpec
prop_reverseIsNotValidLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_singleswapLanguage.Nominal.Properties.NameSpec
prop_split_scopeLanguage.Nominal.Properties.NomSpec
prop_subchunksValidLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_sub_abs_1Language.Nominal.Properties.SubSpec
prop_sub_abs_1'Language.Nominal.Properties.SubSpec
prop_sub_abs_3Language.Nominal.Properties.SubSpec
prop_sub_fresh_termvar 
1 (Function)Language.Nominal.Properties.SubSpec
2 (Function)Language.Nominal.Properties.Examples.SystemFSpec
prop_sub_fresh_typevar 
1 (Function)Language.Nominal.Properties.SubSpec
2 (Function)Language.Nominal.Properties.Examples.SystemFSpec
prop_sub_fresh_typevar' 
1 (Function)Language.Nominal.Properties.SubSpec
2 (Function)Language.Nominal.Properties.Examples.SystemFSpec
prop_sub_id_termvar 
1 (Function)Language.Nominal.Properties.SubSpec
2 (Function)Language.Nominal.Properties.Examples.SystemFSpec
prop_sub_id_typevar 
1 (Function)Language.Nominal.Properties.SubSpec
2 (Function)Language.Nominal.Properties.Examples.SystemFSpec
prop_sub_id_typevar' 
1 (Function)Language.Nominal.Properties.SubSpec
2 (Function)Language.Nominal.Properties.Examples.SystemFSpec
prop_sub_perm_termvar 
1 (Function)Language.Nominal.Properties.SubSpec
2 (Function)Language.Nominal.Properties.Examples.SystemFSpec
prop_sub_perm_typevar' 
1 (Function)Language.Nominal.Properties.SubSpec
2 (Function)Language.Nominal.Properties.Examples.SystemFSpec
prop_sub_perm_typevar'' 
1 (Function)Language.Nominal.Properties.SubSpec
2 (Function)Language.Nominal.Properties.Examples.SystemFSpec
prop_sub_singleton1Language.Nominal.Properties.SubSpec
prop_sub_singleton2Language.Nominal.Properties.SubSpec
prop_support_nom_atmlistLanguage.Nominal.Properties.NomSpec
prop_support_nom_nomatmlistLanguage.Nominal.Properties.NomSpec
prop_supp_apartLanguage.Nominal.Properties.NameSetSpec
prop_supp_apart_atomLanguage.Nominal.Properties.NameSetSpec
prop_swap_symmLanguage.Nominal.Properties.NameSpec
prop_test_rewrite1Language.Nominal.Properties.UtilitiesSpec
prop_test_rewrite2Language.Nominal.Properties.UtilitiesSpec
prop_transposeMaybeNomLanguage.Nominal.Properties.NomSpec
prop_transposeNomListLanguage.Nominal.Properties.NomSpec
prop_transposeNomMaybeLanguage.Nominal.Properties.NomSpec
prop_transposeNomNomLanguage.Nominal.Properties.NomSpec
prop_twonamesLanguage.Nominal.Properties.NameSpec
prop_typeable_nfLanguage.Nominal.Properties.Examples.SystemFSpec
prop_typeof_zeroLanguage.Nominal.Properties.Examples.SystemFSpec
prop_type_soundnessLanguage.Nominal.Properties.Examples.SystemFSpec
prop_underbindingLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_unfuse_fuse_AbsLanguage.Nominal.Properties.AbsSpec
prop_unfuse_fuse_Abs'Language.Nominal.Properties.AbsSpec
prop_unify_renLanguage.Nominal.Properties.UnifySpec
prop_untypeableLanguage.Nominal.Properties.Examples.SystemFSpec
prop_validity_freshLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_warningNotChunkTail_is_not_chunkLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
prop_x_neq_xLanguage.Nominal.Properties.NomSpec
Ren 
1 (Type/Class)Language.Nominal.Unify, Language.Nominal
2 (Data Constructor)Language.Nominal.Unify, Language.Nominal
renLanguage.Nominal.Unify, Language.Nominal
renExtendLanguage.Nominal.Unify, Language.Nominal
renFromListLanguage.Nominal.Unify, Language.Nominal
renNubLanguage.Nominal.Unify, Language.Nominal
renRemoveBlockLanguage.Nominal.Unify, Language.Nominal
renToListLanguage.Nominal.Unify, Language.Nominal
repeatedlyLanguage.Nominal.Utilities
reResLanguage.Nominal.Nom, Language.Nominal
resLanguage.Nominal.Nom, Language.Nominal
resAppLanguage.Nominal.Binder, Language.Nominal
resAppCLanguage.Nominal.Binder, Language.Nominal
resAppC'Language.Nominal.Binder, Language.Nominal
resMayLanguage.Nominal.Binder, Language.Nominal
resNLanguage.Nominal.Nom, Language.Nominal
Restrict 
1 (Type/Class)Language.Nominal.NameSet, Language.Nominal
2 (Data Constructor)Language.Nominal.Examples.Graph
restrictLanguage.Nominal.NameSet, Language.Nominal
restrictNLanguage.Nominal.NameSet, Language.Nominal
Ret 
1 (Data Constructor)Language.Nominal.Examples.Assembly2
2 (Data Constructor)Language.Nominal.Examples.Assembly1
reverseTxsOfLanguage.Nominal.Examples.IdealisedEUTxO
rewriteLanguage.Nominal.Utilities
runEvFunLanguage.Nominal.Equivar, Language.Nominal
runViaSMonadLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
safeConcatChunkLanguage.Nominal.Examples.IdealisedEUTxO
safeHeadLanguage.Nominal.Utilities
safeTailLanguage.Nominal.Utilities
selfappLanguage.Nominal.Examples.SystemF
singletonChunkLanguage.Nominal.Examples.IdealisedEUTxO
SmallChunk 
1 (Type/Class)Language.Nominal.Properties.Examples.IdealisedEUTxOSpec
2 (Data Constructor)Language.Nominal.Properties.Examples.IdealisedEUTxOSpec
SmallTCLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
SMonadLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
SubLanguage.Nominal.Sub, Language.Nominal
subLanguage.Nominal.Sub, Language.Nominal
subTxListOfLanguage.Nominal.Examples.IdealisedEUTxO
sucLanguage.Nominal.Examples.SystemF
superSuccLanguage.Nominal.Properties.UtilitiesSpec
suppLanguage.Nominal.NameSet, Language.Nominal
SupportLanguage.Nominal.NameSet, Language.Nominal
SuspendLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
SwappableLanguage.Nominal.Name, Language.Nominal
SwpLanguage.Nominal.Examples.Assembly2
swpLanguage.Nominal.Name, Language.Nominal
swpNLanguage.Nominal.Name, Language.Nominal
tallLanguage.Nominal.Examples.SystemF
TAppLanguage.Nominal.Examples.SystemF
TBLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
TCLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
TC'Language.Nominal.Properties.Examples.IdealisedEUTxOSpec
TDLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
TLamLanguage.Nominal.Examples.SystemF
tlamLanguage.Nominal.Examples.SystemF
TomLanguage.Nominal.Name, Language.Nominal
toMaybeLanguage.Nominal.Utilities
TRLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
Transaction 
1 (Type/Class)Language.Nominal.Examples.IdealisedEUTxO
2 (Data Constructor)Language.Nominal.Examples.IdealisedEUTxO
TransactionFLanguage.Nominal.Examples.IdealisedEUTxO
transactionValidLanguage.Nominal.Examples.IdealisedEUTxO
transformLanguage.Nominal.Examples.SystemF
transposeFMLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
transposeMFLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
transposeNomFLanguage.Nominal.Nom, Language.Nominal
TrmLanguage.Nominal.Examples.SystemF
TVLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
TVarLanguage.Nominal.Examples.SystemF
TXLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
txListToChunkLanguage.Nominal.Examples.IdealisedEUTxO
txPointLanguage.Nominal.Examples.IdealisedEUTxO
TypLanguage.Nominal.Examples.SystemF
typeableLanguage.Nominal.Examples.SystemF
typeOfLanguage.Nominal.Examples.SystemF
typeOf'Language.Nominal.Examples.SystemF
typRecurseLanguage.Nominal.Examples.SystemF
unfuseLanguage.Nominal.Abs, Language.Nominal
unifiablePermLanguage.Nominal.Unify, Language.Nominal
UnifyPermLanguage.Nominal.Unify, Language.Nominal
unifyPermLanguage.Nominal.Unify, Language.Nominal
UniqueLanguage.Nominal.Unique
unNomLanguage.Nominal.Nom, Language.Nominal
unRenLanguage.Nominal.Unify, Language.Nominal
unsafeSingletonChunkLanguage.Nominal.Examples.IdealisedEUTxO
utxcsOfChunkLanguage.Nominal.Examples.IdealisedEUTxO
utxisOfChunkLanguage.Nominal.Examples.IdealisedEUTxO
utxosOfChunkLanguage.Nominal.Examples.IdealisedEUTxO
V 
1 (Data Constructor)Language.Nominal.Examples.UntypedLambda
2 (Type/Class)Language.Nominal.Examples.Assembly2
3 (Type/Class)Language.Nominal.Examples.Assembly1
Val 
1 (Type/Class)Language.Nominal.Examples.IdealisedEUTxO
2 (Data Constructor)Language.Nominal.Examples.IdealisedEUTxO
ValFin 
1 (Type/Class)Language.Nominal.Examples.IdealisedEUTxO
2 (Data Constructor)Language.Nominal.Examples.IdealisedEUTxO
valFinLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
validateLanguage.Nominal.Examples.IdealisedEUTxO
ValidatorLanguage.Nominal.Examples.IdealisedEUTxO
ValidTx 
1 (Type/Class)Language.Nominal.Properties.Examples.IdealisedEUTxOSpec
2 (Data Constructor)Language.Nominal.Properties.Examples.IdealisedEUTxOSpec
ValProxy 
1 (Type/Class)Language.Nominal.Properties.Examples.IdealisedEUTxOSpec
2 (Data Constructor)Language.Nominal.Properties.Examples.IdealisedEUTxOSpec
ValTriv 
1 (Type/Class)Language.Nominal.Examples.IdealisedEUTxO
2 (Data Constructor)Language.Nominal.Examples.IdealisedEUTxO
valTrivLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
Var 
1 (Type/Class)Language.Nominal.Examples.UntypedLambda
2 (Data Constructor)Language.Nominal.Examples.SystemF
3 (Data Constructor)Language.Nominal.Examples.Assembly2
4 (Data Constructor)Language.Nominal.Examples.Assembly1
VertexLanguage.Nominal.Examples.Graph
ViaSMonad 
1 (Type/Class)Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
2 (Data Constructor)Language.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
warningNotChunkTailLanguage.Nominal.Examples.IdealisedEUTxO
whnfLanguage.Nominal.Examples.UntypedLambda
withExitLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
withLabelLanguage.Nominal.Name, Language.Nominal
withLabelOfLanguage.Nominal.Name, Language.Nominal
withValLanguage.Nominal.Properties.Examples.IdealisedEUTxOSpec
XResLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
XSuspendLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
XSwpLanguage.Nominal.SMonad, Language.Nominal.Nom, Language.Nominal
zeroLanguage.Nominal.Examples.SystemF