Term.Substitution

Composition of fresh and free substitutions

composeVFresh

Conversion between fresh and free

freshToFree

freshToFreeAvoiding

freshToFreeAvoidingFast

freeToFreshRaw

Convenience exports

General Substitutions

data Subst c v

application of substitutions

applyVTerm

applyLit

smart constructors for substitutions

substFromList

substFromMap

emptySubst

Composition of substitutions

compose

applySubst

operations

restrict

mapRange

queries

varsRange

dom

range

imageOf

views

substToListOn

substToList

Apply class

class Apply t

Pretty printing

prettySubst

Substitution of LVars

type LSubst c

type LNSubst

prettyLNSubst

General Substitutions

data SubstVFresh c v

smart constructors for substitutions

substFromListVFresh

emptySubstVFresh

operations

restrictVFresh

mapRangeVFresh

extendWithRenaming

queries

varsRangeVFresh

domVFresh

rangeVFresh

isRenaming

imageOfVFresh

views

substToListVFresh

Pretty printing

prettySubstVFresh

operations on fresh substitutions

renameFresh

renameFreshAvoiding

removeRenamings

Substitution of LVars

type LSubstVFresh c

type LNSubstVFresh

prettyLSubstVFresh

prettyDisjLNSubstsVFresh