free-foil-0.2.0: Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads)

Index

:^:Control.Monad.Free.Foil.Generic
absurd2Control.Monad.Foil.Internal, Control.Monad.Foil
addNameBinderControl.Monad.Foil.Internal, Control.Monad.Foil
addNameBinderListControl.Monad.Foil.Internal, Control.Monad.Foil
addNameBindersControl.Monad.Foil.Internal, Control.Monad.Foil
addRenameControl.Monad.Foil.Internal, Control.Monad.Foil
addSubstControl.Monad.Foil.Internal, Control.Monad.Foil
addSubstListControl.Monad.Foil.Internal, Control.Monad.Foil
addSubstPatternControl.Monad.Foil.Internal, Control.Monad.Foil
alphaEquivControl.Monad.Free.Foil
alphaEquivRefreshedControl.Monad.Free.Foil
alphaEquivScopedControl.Monad.Free.Foil
andThenUnifyNameBindersControl.Monad.Foil.Internal, Control.Monad.Foil
andThenUnifyPatternsControl.Monad.Foil.Internal, Control.Monad.Foil
AppE 
1 (Data Constructor)Control.Monad.Foil.Example
2 (Data Constructor)Control.Monad.Free.Foil.Example
AppFControl.Monad.Free.Foil.Example
ApplyMappingsControl.Monad.Free.Foil.Generic
applyMappingsControl.Monad.Free.Foil.Generic
assertDistinctControl.Monad.Foil.Internal, Control.Monad.Foil
assertExtControl.Monad.Foil.Internal, Control.Monad.Foil
ASTControl.Monad.Free.Foil
churchN 
1 (Function)Control.Monad.Foil.Example
2 (Function)Control.Monad.Free.Foil.Example
compExtendScopeControl.Monad.Foil.Internal
compNamesOfControl.Monad.Foil.Internal
composeNameBinderRenamingsControl.Monad.Foil.Internal, Control.Monad.Foil
compUnsinkNameControl.Monad.Foil.Internal
compWithNameBinderListControl.Monad.Foil.Internal
compWithRefreshedPatternControl.Monad.Foil.Internal
compWithRefreshedPattern'Control.Monad.Foil.Internal
convertFromASTControl.Monad.Free.Foil
convertFromScopedASTControl.Monad.Free.Foil
convertToASTControl.Monad.Free.Foil
convertToScopedASTControl.Monad.Free.Foil
coSinkabilityProofControl.Monad.Foil.Internal, Control.Monad.Foil
CoSinkableControl.Monad.Foil.Internal, Control.Monad.Foil
deriveCoSinkableControl.Monad.Foil.TH.MkInstancesFoil, Control.Monad.Foil.TH
deriveUnifiablePatternControl.Monad.Foil.TH.MkInstancesFoil, Control.Monad.Foil.TH
deriveZipMatchControl.Monad.Free.Foil.TH.ZipMatch, Control.Monad.Free.Foil.TH
DExtControl.Monad.Foil.Internal, Control.Monad.Foil
Distinct 
1 (Type/Class)Control.Monad.Foil.Internal, Control.Monad.Foil
2 (Data Constructor)Control.Monad.Foil.Internal, Control.Monad.Foil
DistinctEvidenceControl.Monad.Foil.Internal, Control.Monad.Foil
emptyNameBindersControl.Monad.Foil.Internal, Control.Monad.Foil
emptyNameMapControl.Monad.Foil.Internal, Control.Monad.Foil
emptyScopeControl.Monad.Foil.Internal, Control.Monad.Foil
Expr 
1 (Type/Class)Control.Monad.Foil.Example
2 (Type/Class)Control.Monad.Free.Foil.Example
ExprFControl.Monad.Free.Foil.Example
Ext 
1 (Type/Class)Control.Monad.Foil.Internal, Control.Monad.Foil
2 (Data Constructor)Control.Monad.Foil.Internal, Control.Monad.Foil
extendNameBinderRenamingControl.Monad.Foil.Internal, Control.Monad.Foil
ExtEndoControl.Monad.Foil.Internal
extendRenamingControl.Monad.Foil.Internal, Control.Monad.Foil
extendRenamingNameBinderControl.Monad.Foil.Internal, Control.Monad.Foil
ExtendScope 
1 (Type/Class)Control.Monad.Foil.Internal
2 (Data Constructor)Control.Monad.Foil.Internal
extendScopeControl.Monad.Foil.Internal, Control.Monad.Foil
extendScopePatternControl.Monad.Foil.Internal, Control.Monad.Foil
ExtEvidenceControl.Monad.Foil.Internal, Control.Monad.Foil
FreeFoilConfig 
1 (Type/Class)Control.Monad.Free.Foil.TH.MkFreeFoil
2 (Data Constructor)Control.Monad.Free.Foil.TH.MkFreeFoil
freeFoilConNameModifierControl.Monad.Free.Foil.TH.MkFreeFoil
freeFoilConvertFromNameControl.Monad.Free.Foil.TH.MkFreeFoil
freeFoilConvertToNameControl.Monad.Free.Foil.TH.MkFreeFoil
freeFoilNameModifierControl.Monad.Free.Foil.TH.MkFreeFoil
freeFoilScopeNameModifierControl.Monad.Free.Foil.TH.MkFreeFoil
FreeFoilTermConfig 
1 (Type/Class)Control.Monad.Free.Foil.TH.MkFreeFoil
2 (Data Constructor)Control.Monad.Free.Foil.TH.MkFreeFoil
freeFoilTermConfigsControl.Monad.Free.Foil.TH.MkFreeFoil
fromNameBinderRenamingControl.Monad.Foil.Internal, Control.Monad.Foil
fromNameBindersListControl.Monad.Foil.Internal
genericZipMatch2Control.Monad.Free.Foil.Generic
genericZipMatchKControl.Monad.Free.Foil.Generic
genericZipMatchWithKControl.Monad.Free.Foil.Generic
getNameMapControl.Monad.Foil.Internal
GZipMatchControl.Monad.Free.Foil.Generic
gzipMatchWithControl.Monad.Free.Foil.Generic
IdControl.Monad.Foil.Internal
identitySubstControl.Monad.Foil.Internal, Control.Monad.Foil
idExtendScopeControl.Monad.Foil.Internal
idNamesOfControl.Monad.Foil.Internal
idUnsinkNameControl.Monad.Foil.Internal
idWithNameBinderListControl.Monad.Foil.Internal
idWithRefreshedPatternControl.Monad.Foil.Internal
idWithRefreshedPattern'Control.Monad.Foil.Internal
InjectNameControl.Monad.Foil.Internal, Control.Monad.Foil
injectNameControl.Monad.Foil.Internal, Control.Monad.Foil
intToRawIdentNameControl.Monad.Free.Foil.TH.MkFreeFoil
lam 
1 (Function)Control.Monad.Foil.Example
2 (Function)Control.Monad.Free.Foil.Example
LamE 
1 (Data Constructor)Control.Monad.Foil.Example
2 (Data Constructor)Control.Monad.Free.Foil.Example
LamFControl.Monad.Free.Foil.Example
liftRMControl.Monad.Foil.Relative
lookupNameControl.Monad.Foil.Internal, Control.Monad.Foil
lookupSubstControl.Monad.Foil.Internal, Control.Monad.Foil
M0Control.Monad.Free.Foil.Generic
MappingsControl.Monad.Free.Foil.Generic
memberControl.Monad.Foil.Internal, Control.Monad.Foil
mergeNameBindersControl.Monad.Foil.Internal, Control.Monad.Foil
mkConvertFromFreeFoilControl.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH
mkConvertFromSigControl.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH
mkConvertToFreeFoilControl.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH
mkConvertToSigControl.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH
mkExtendScopeFoilPatternControl.Monad.Foil.TH.MkToFoil, Control.Monad.Foil.TH
mkFoilDataControl.Monad.Foil.TH.MkFoilData, Control.Monad.Foil.TH
mkFoilPatternControl.Monad.Foil.TH.MkFoilData, Control.Monad.Foil.TH
mkFreeFoilControl.Monad.Free.Foil.TH.MkFreeFoil
mkFreeFoilConversionsControl.Monad.Free.Foil.TH.MkFreeFoil
mkFromFoilControl.Monad.Foil.TH.MkFromFoil, Control.Monad.Foil.TH
mkFromFoilPatternControl.Monad.Foil.TH.MkFromFoil, Control.Monad.Foil.TH
mkGetPatternBinderControl.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH
mkGetScopedTermControl.Monad.Free.Foil.TH.Convert, Control.Monad.Free.Foil.TH
mkInstancesFoilControl.Monad.Foil.TH.MkInstancesFoil, Control.Monad.Foil.TH
mkPatternSynonymControl.Monad.Free.Foil.TH.PatternSynonyms, Control.Monad.Free.Foil.TH
mkPatternSynonymsControl.Monad.Free.Foil.TH.PatternSynonyms, Control.Monad.Free.Foil.TH
mkSignatureControl.Monad.Free.Foil.TH.Signature, Control.Monad.Free.Foil.TH
mkToFoilControl.Monad.Foil.TH.MkToFoil, Control.Monad.Foil.TH
mkToFoilPatternControl.Monad.Foil.TH.MkToFoil, Control.Monad.Foil.TH
mkToFoilTermControl.Monad.Foil.TH.MkToFoil, Control.Monad.Foil.TH
mkWithRefreshedFoilPatternControl.Monad.Foil.TH.MkToFoil, Control.Monad.Foil.TH
NameControl.Monad.Foil.Internal, Control.Monad.Foil
NameBinderControl.Monad.Foil.Internal, Control.Monad.Foil
NameBinderListControl.Monad.Foil.Internal, Control.Monad.Foil
NameBinderListConsControl.Monad.Foil.Internal, Control.Monad.Foil
NameBinderListEmptyControl.Monad.Foil.Internal, Control.Monad.Foil
nameBinderListOfControl.Monad.Foil.Internal
NameBindersControl.Monad.Foil.Internal, Control.Monad.Foil
nameBindersListControl.Monad.Foil.Internal
nameBindersSingletonControl.Monad.Foil.Internal
nameIdControl.Monad.Foil.Internal, Control.Monad.Foil
NameMap 
1 (Type/Class)Control.Monad.Foil.Internal, Control.Monad.Foil
2 (Data Constructor)Control.Monad.Foil.Internal
nameMapToSubstitutionControl.Monad.Foil.Internal, Control.Monad.Foil
nameOfControl.Monad.Foil.Internal, Control.Monad.Foil
NamesOf 
1 (Type/Class)Control.Monad.Foil.Internal
2 (Data Constructor)Control.Monad.Foil.Internal
namesOfPatternControl.Monad.Foil.Internal, Control.Monad.Foil
nf 
1 (Function)Control.Monad.Foil.Example
2 (Function)Control.Monad.Free.Foil.Example
nf' 
1 (Function)Control.Monad.Foil.Example
2 (Function)Control.Monad.Free.Foil.Example
NodeControl.Monad.Free.Foil
NotUnifiableControl.Monad.Foil.Internal, Control.Monad.Foil
PairMappingsControl.Monad.Free.Foil.Generic
pairMappingsControl.Monad.Free.Foil.Generic
PeelConTControl.Monad.Foil.TH.Util
peelConTControl.Monad.Foil.TH.Util
ppExpr 
1 (Function)Control.Monad.Foil.Example
2 (Function)Control.Monad.Free.Foil.Example
ppName 
1 (Function)Control.Monad.Foil.Example
2 (Function)Control.Monad.Free.Foil.Example
rawBindingNameControl.Monad.Free.Foil.TH.MkFreeFoil
rawFreshNameControl.Monad.Foil.Internal
rawIdentNameControl.Monad.Free.Foil.TH.MkFreeFoil
rawMemberControl.Monad.Foil.Internal
RawNameControl.Monad.Foil.Internal
rawQuantifiedNamesControl.Monad.Free.Foil.TH.MkFreeFoil
RawScopeControl.Monad.Foil.Internal
rawScopeNameControl.Monad.Free.Foil.TH.MkFreeFoil
rawScopeToTermNameControl.Monad.Free.Foil.TH.MkFreeFoil
rawSubScopeNamesControl.Monad.Free.Foil.TH.MkFreeFoil
rawSubTermNamesControl.Monad.Free.Foil.TH.MkFreeFoil
rawTermNameControl.Monad.Free.Foil.TH.MkFreeFoil
rawTermToScopeNameControl.Monad.Free.Foil.TH.MkFreeFoil
rawVarConNameControl.Monad.Free.Foil.TH.MkFreeFoil
rawVarIdentToTermNameControl.Monad.Free.Foil.TH.MkFreeFoil
rbindControl.Monad.Foil.Relative
refreshASTControl.Monad.Free.Foil
refreshScopedASTControl.Monad.Free.Foil
RelMonadControl.Monad.Foil.Relative
removeNameControl.Monad.Foil.TH.Util
RenameBothBindersControl.Monad.Foil.Internal, Control.Monad.Foil
RenameLeftNameBinderControl.Monad.Foil.Internal, Control.Monad.Foil
RenameRightNameBinderControl.Monad.Foil.Internal, Control.Monad.Foil
ReqsZipMatchControl.Monad.Free.Foil.Generic
ReqsZipMatchFieldsWithControl.Monad.Free.Foil.Generic
ReqsZipMatchWithControl.Monad.Free.Foil.Generic
rreturnControl.Monad.Foil.Relative
SControl.Monad.Foil.Internal, Control.Monad.Foil
SameNameBindersControl.Monad.Foil.Internal, Control.Monad.Foil
ScopeControl.Monad.Foil.Internal, Control.Monad.Foil
ScopedAST 
1 (Type/Class)Control.Monad.Free.Foil
2 (Data Constructor)Control.Monad.Free.Foil
signatureNameModifierControl.Monad.Free.Foil.TH.MkFreeFoil
sinkControl.Monad.Foil.Internal, Control.Monad.Foil
sinkabilityProofControl.Monad.Foil.Internal, Control.Monad.Foil
SinkableControl.Monad.Foil.Internal, Control.Monad.Foil
substitute 
1 (Function)Control.Monad.Foil.Example
2 (Function)Control.Monad.Free.Foil
substitutePatternControl.Monad.Free.Foil
substituteRefreshedControl.Monad.Free.Foil
SubstitutionControl.Monad.Foil.Internal, Control.Monad.Foil
tvarNameControl.Monad.Foil.TH.Util
U2 
1 (Type/Class)Control.Monad.Foil.Internal
2 (Data Constructor)Control.Monad.Foil.Internal
UnifiableInPatternControl.Monad.Foil.Internal, Control.Monad.Foil
UnifiablePatternControl.Monad.Foil.Internal, Control.Monad.Foil
unifyInPatternControl.Monad.Foil.Internal, Control.Monad.Foil
UnifyNameBindersControl.Monad.Foil.Internal, Control.Monad.Foil
unifyNameBindersControl.Monad.Foil.Internal, Control.Monad.Foil
unifyPatternsControl.Monad.Foil.Internal, Control.Monad.Foil
unpeelConTControl.Monad.Foil.TH.Util
unsafeAssertFreshControl.Monad.Foil.Internal
unsafeDistinctControl.Monad.Foil.Internal
unsafeEqASTControl.Monad.Free.Foil
unsafeEqPatternControl.Monad.Foil.Internal
unsafeEqScopedASTControl.Monad.Free.Foil
unsafeExtControl.Monad.Foil.Internal
unsafeMergeNameBindersControl.Monad.Foil.Internal
unsafeMergeUnifyBindersControl.Monad.Foil.Internal
UnsafeNameControl.Monad.Foil.Internal
UnsafeNameBinderControl.Monad.Foil.Internal
UnsafeNameBindersControl.Monad.Foil.Internal
UnsafeScopeControl.Monad.Foil.Internal
UnsafeSubstitutionControl.Monad.Foil.Internal
UnsinkName 
1 (Type/Class)Control.Monad.Foil.Internal
2 (Data Constructor)Control.Monad.Foil.Internal
unsinkNameControl.Monad.Foil.Internal, Control.Monad.Foil
unsinkNamePatternControl.Monad.Foil.Internal, Control.Monad.Foil
V2Control.Monad.Foil.Internal, Control.Monad.Foil
VarControl.Monad.Free.Foil
VarEControl.Monad.Foil.Example
VoidSControl.Monad.Foil.Internal, Control.Monad.Foil
voidSubstControl.Monad.Foil.Internal, Control.Monad.Foil
whnf 
1 (Function)Control.Monad.Foil.Example
2 (Function)Control.Monad.Free.Foil.Example
whnf' 
1 (Function)Control.Monad.Foil.Example
2 (Function)Control.Monad.Free.Foil.Example
withFreshControl.Monad.Foil.Internal, Control.Monad.Foil
withFreshBinderControl.Monad.Foil.Internal, Control.Monad.Foil
withFreshPatternControl.Monad.Foil.Internal, Control.Monad.Foil
WithNameBinderList 
1 (Type/Class)Control.Monad.Foil.Internal
2 (Data Constructor)Control.Monad.Foil.Internal
withPatternControl.Monad.Foil.Internal, Control.Monad.Foil
withRefreshedControl.Monad.Foil.Internal, Control.Monad.Foil
WithRefreshedPattern 
1 (Type/Class)Control.Monad.Foil.Internal
2 (Data Constructor)Control.Monad.Foil.Internal
withRefreshedPatternControl.Monad.Foil.Internal, Control.Monad.Foil
WithRefreshedPattern' 
1 (Type/Class)Control.Monad.Foil.Internal
2 (Data Constructor)Control.Monad.Foil.Internal
withRefreshedPattern'Control.Monad.Foil.Internal, Control.Monad.Foil
ZipLoTControl.Monad.Free.Foil.Generic
ZipMatchControl.Monad.Free.Foil
zipMatchControl.Monad.Free.Foil
ZipMatchFieldsControl.Monad.Free.Foil.Generic
zipMatchFieldsWithControl.Monad.Free.Foil.Generic
ZipMatchKControl.Monad.Free.Foil.Generic
zipMatchKControl.Monad.Free.Foil.Generic
zipMatchViaChooseLeftControl.Monad.Free.Foil.Generic
zipMatchViaEqControl.Monad.Free.Foil.Generic
zipMatchWithKControl.Monad.Free.Foil.Generic