blanks-0.5.0: Fill-in-the-blanks - A library factoring out substitution from ASTs

Index

ApplyErrorBlanks.Sub, Blanks
askColocatedBlanks.Located, Blanks
BinderId 
1 (Type/Class)Blanks.Split, Blanks
2 (Data Constructor)Blanks.Split, Blanks
BinderScope 
1 (Type/Class)Blanks.Core, Blanks
2 (Data Constructor)Blanks.Core, Blanks
binderScopeArityBlanks.Core, Blanks
binderScopeBodyBlanks.Core, Blanks
binderScopeInfoBlanks.Core, Blanks
BoundScope 
1 (Type/Class)Blanks.Core
2 (Data Constructor)Blanks.Core
Colocated 
1 (Type/Class)Blanks.Located, Blanks
2 (Data Constructor)Blanks.Located, Blanks
colocatedBlanks.Located, Blanks
EmbedScope 
1 (Type/Class)Blanks.Core
2 (Data Constructor)Blanks.Core
forgetTrackedScopeBlanks.Tracked, Blanks
FreeScope 
1 (Type/Class)Blanks.Core
2 (Data Constructor)Blanks.Core
Located 
1 (Type/Class)Blanks.Located, Blanks
2 (Data Constructor)Blanks.Located, Blanks
locatedLocBlanks.Located, Blanks
locatedValBlanks.Located, Blanks
LocScope 
1 (Type/Class)Blanks.LocScope, Blanks
2 (Data Constructor)Blanks.LocScope, Blanks
locScopeAbstractBlanks.LocScope, Blanks
locScopeAbstract1Blanks.LocScope, Blanks
locScopeApplyBlanks.LocScope, Blanks
locScopeApply1Blanks.LocScope, Blanks
locScopeBindBlanks.LocScope, Blanks
LocScopeBinderBlanks.LocScope, Blanks
locScopeBindOptBlanks.LocScope, Blanks
LocScopeBoundBlanks.LocScope, Blanks
LocScopeEmbedBlanks.LocScope, Blanks
locScopeEmbedBlanks.LocScope, Blanks
locScopeForgetBlanks.Conversion, Blanks
LocScopeFreeBlanks.LocScope, Blanks
locScopeFreeBlanks.LocScope, Blanks
locScopeFromInnerBinderBlanks.LocScope, Blanks
locScopeHoistAnnoBlanks.LocScope, Blanks
locScopeInnerBinderBlanks.LocScope, Blanks
locScopeInnerBinder1Blanks.LocScope, Blanks
locScopeInstantiateBlanks.LocScope, Blanks
locScopeInstantiate1Blanks.LocScope, Blanks
locScopeLiftBlanks.LocScope, Blanks
locScopeLiftAnnoBlanks.LocScope, Blanks
locScopeLocationBlanks.LocScope, Blanks
locScopeMapAnnoBlanks.LocScope, Blanks
locScopeUnAbstractBlanks.LocScope, Blanks
locScopeUnAbstract1Blanks.LocScope, Blanks
mkTrackedBoundBlanks.Tracked, Blanks
mkTrackedFreeBlanks.Tracked, Blanks
Name 
1 (Type/Class)Blanks.Name, Blanks
2 (Data Constructor)Blanks.Name, Blanks
nameKeyBlanks.Name, Blanks
NameOnly 
1 (Type/Class)Blanks.Name, Blanks
2 (Data Constructor)Blanks.Name, Blanks
nameValueBlanks.Name, Blanks
NatNewtypeBlanks.NatNewtype
natNewtypeFromBlanks.NatNewtype
natNewtypeToBlanks.NatNewtype
NonBinderErrorBlanks.Sub, Blanks
rethrowSubBlanks.Sub, Blanks
runColocatedBlanks.Located, Blanks
Scope 
1 (Type/Class)Blanks.Scope, Blanks
2 (Data Constructor)Blanks.Scope, Blanks
scopeAbstractBlanks.Scope, Blanks
scopeAbstract1Blanks.Scope, Blanks
scopeAnnoBlanks.Conversion, Blanks
scopeApplyBlanks.Scope, Blanks
scopeApply1Blanks.Scope, Blanks
scopeBindBlanks.Scope, Blanks
ScopeBinderBlanks.Scope, Blanks
scopeBindOptBlanks.Scope, Blanks
ScopeBoundBlanks.Scope, Blanks
ScopeEmbedBlanks.Scope, Blanks
ScopeFreeBlanks.Scope, Blanks
scopeInnerBinderBlanks.Scope, Blanks
scopeInnerBinder1Blanks.Scope, Blanks
scopeInstantiateBlanks.Scope, Blanks
scopeInstantiate1Blanks.Scope, Blanks
scopeLiftBlanks.Scope, Blanks
scopeUnAbstractBlanks.Scope, Blanks
scopeUnAbstract1Blanks.Scope, Blanks
ScopeW 
1 (Type/Class)Blanks.ScopeW
2 (Data Constructor)Blanks.ScopeW
scopeWAbstractBlanks.ScopeW
scopeWAbstract1Blanks.ScopeW
scopeWApplyBlanks.ScopeW
scopeWApply1Blanks.ScopeW
scopeWBindBlanks.ScopeW
scopeWBindOptBlanks.ScopeW
ScopeWCBlanks.ScopeW
scopeWEmbedBlanks.ScopeW
scopeWFreeBlanks.ScopeW
scopeWFromInnerBinderBlanks.ScopeW, Blanks.Scope, Blanks
scopeWHoistAnnoBlanks.ScopeW
scopeWInnerBinderBlanks.ScopeW
scopeWInnerBinder1Blanks.ScopeW
scopeWInstantiateBlanks.ScopeW
scopeWInstantiate1Blanks.ScopeW
scopeWLiftBlanks.ScopeW
scopeWLiftAnnoBlanks.ScopeW
scopeWMapAnnoBlanks.ScopeW
scopeWUnAbstractBlanks.ScopeW
scopeWUnAbstract1Blanks.ScopeW
shiftTrackedBlanks.Tracked, Blanks
SplitBinder 
1 (Type/Class)Blanks.Split, Blanks
2 (Data Constructor)Blanks.Split, Blanks
splitBinderClosureArityBlanks.Split, Blanks
splitBinderFreeBlanks.Split, Blanks
splitBinderScopeBlanks.Split, Blanks
SplitFunctorBlanks.Split, Blanks
SplitFunctorBaseBlanks.Split, Blanks
SplitFunctorClosureBlanks.Split, Blanks
splitLocScopeBlanks.Split, Blanks
SplitResult 
1 (Type/Class)Blanks.Split, Blanks
2 (Data Constructor)Blanks.Split, Blanks
splitResultBindersBlanks.Split, Blanks
splitResultScopeBlanks.Split, Blanks
splitResultTrackedBlanks.Split, Blanks
SubErrorBlanks.Sub, Blanks
ThrowSubBlanks.Sub, Blanks
throwSubBlanks.Sub, Blanks
Tracked 
1 (Type/Class)Blanks.Tracked, Blanks
2 (Data Constructor)Blanks.Tracked, Blanks
trackedBoundBlanks.Tracked, Blanks
trackedFreeBlanks.Tracked, Blanks
trackScopeBlanks.Tracked, Blanks
trackScopeSimpleBlanks.Tracked, Blanks
unBinderIdBlanks.Split, Blanks
UnboundErrorBlanks.Sub, Blanks
unBoundScopeBlanks.Core
unColocatedBlanks.Located, Blanks
UnderBinderScopeBlanks.Under
UnderBoundScopeBlanks.Under
UnderEmbedScopeBlanks.Under
UnderFreeScopeBlanks.Under
UnderScopeBlanks.Under
UnderScopeBinderBlanks.Under
UnderScopeBoundBlanks.Under
UnderScopeEmbedBlanks.Under
UnderScopeFreeBlanks.Under
underScopeShiftBlanks.Under
unEmbedScopeBlanks.Core
unFreeScopeBlanks.Core
unLocScopeBlanks.LocScope, Blanks
unScopeBlanks.Scope, Blanks
unScopeWBlanks.ScopeW
WithTracked 
1 (Type/Class)Blanks.Tracked, Blanks
2 (Data Constructor)Blanks.Tracked, Blanks
withTrackedEnvBlanks.Tracked, Blanks
withTrackedStateBlanks.Tracked, Blanks