Toggle navigation
PAKCS
All operations
All constructors
Curry Homepage
PAKCS Libraries
About CurryDoc
Index to all operations
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
.
.>
(
Rewriting.Position
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
A
above
(
Rewriting.Position
)
applySubst
(
Rewriting.Substitution
)
applySubstEq
(
Rewriting.Substitution
)
applySubstEqs
(
Rewriting.Substitution
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
B
below
(
Rewriting.Position
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
C
composeSubst
(
Rewriting.Substitution
)
condQName
(
Rewriting.Files
)
condTRS
(
Rewriting.Files
)
cPairs
(
Rewriting.CriticalPairs
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
D
defaultNOptions
(
Rewriting.Narrowing
)
defTrees
(
Rewriting.DefinitionalTree
)
defTreesL
(
Rewriting.DefinitionalTree
)
disjoint
(
Rewriting.Position
)
dotifyDefTree
(
Rewriting.DefinitionalTree
)
dotifyNarrowingTree
(
Rewriting.Narrowing
)
dtPattern
(
Rewriting.DefinitionalTree
)
dtRoot
(
Rewriting.DefinitionalTree
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
E
emptySubst
(
Rewriting.Substitution
)
eps
(
Rewriting.Position
)
eqConsPattern
(
Rewriting.Term
)
extendSubst
(
Rewriting.Substitution
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
F
fromCurryProg
(
Rewriting.Files
)
fromDefTrees
(
Rewriting.DefinitionalTree
)
fromExpr
(
Rewriting.Files
)
fromFuncDecl
(
Rewriting.Files
)
fromLiteral
(
Rewriting.Files
)
fromPattern
(
Rewriting.Files
)
fromRhs
(
Rewriting.Files
)
fromRule
(
Rewriting.Files
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
H
hasDefTree
(
Rewriting.DefinitionalTree
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
I
idtPositions
(
Rewriting.DefinitionalTree
)
imNStrategy
(
Rewriting.Narrowing
)
isConsBased
(
Rewriting.Rules
)
isConsTerm
(
Rewriting.Term
)
isDemandedAt
(
Rewriting.Rules
)
isGround
(
Rewriting.Term
)
isLeftLinear
(
Rewriting.Rules
)
isLeftNormal
(
Rewriting.Rules
)
isLinear
(
Rewriting.Term
)
isNormal
(
Rewriting.Term
)
isOrthogonal
(
Rewriting.CriticalPairs
)
isPattern
(
Rewriting.Rules
)
isRedex
(
Rewriting.Rules
)
isVariantOf
(
Rewriting.Rules
)
isVarTerm
(
Rewriting.Term
)
isWeakOrthogonal
(
Rewriting.CriticalPairs
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
L
lazyNStrategy
(
Rewriting.Narrowing
)
leftOf
(
Rewriting.Position
)
liRStrategy
(
Rewriting.Strategy
)
listToSubst
(
Rewriting.Substitution
)
loDefTrees
(
Rewriting.DefinitionalTree
)
loNStrategy
(
Rewriting.Narrowing
)
lookupSubst
(
Rewriting.Substitution
)
loRStrategy
(
Rewriting.Strategy
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
M
mapTerm
(
Rewriting.Term
)
maxVarInRule
(
Rewriting.Rules
)
maxVarInTerm
(
Rewriting.Term
)
maxVarInTRS
(
Rewriting.Rules
)
minVarInRule
(
Rewriting.Rules
)
minVarInTerm
(
Rewriting.Term
)
minVarInTRS
(
Rewriting.Rules
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
N
narrowBy
(
Rewriting.Narrowing
)
narrowByL
(
Rewriting.Narrowing
)
narrowingBy
(
Rewriting.Narrowing
)
narrowingByL
(
Rewriting.Narrowing
)
narrowingTreeBy
(
Rewriting.Narrowing
)
narrowingTreeByL
(
Rewriting.Narrowing
)
normalize
(
Rewriting.Narrowing
)
normalizeRule
(
Rewriting.Rules
)
normalizeTerm
(
Rewriting.Term
)
normalizeTRS
(
Rewriting.Rules
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
O
omNStrategy
(
Rewriting.Narrowing
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
P
parRStrategy
(
Rewriting.Strategy
)
phiRStrategy
(
Rewriting.DefinitionalTree
)
piRStrategy
(
Rewriting.Strategy
)
poRStrategy
(
Rewriting.Strategy
)
positions
(
Rewriting.Position
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
R
rCons
(
Rewriting.Rules
)
readCurryProgram
(
Rewriting.Files
)
readQName
(
Rewriting.Files
)
redexes
(
Rewriting.Strategy
)
reduce
(
Rewriting.Strategy
)
reduceAt
(
Rewriting.Strategy
)
reduceAtL
(
Rewriting.Strategy
)
reduceBy
(
Rewriting.Strategy
)
reduceByL
(
Rewriting.Strategy
)
reduceL
(
Rewriting.Strategy
)
reduction
(
Rewriting.Strategy
)
reductionBy
(
Rewriting.Strategy
)
reductionByL
(
Rewriting.Strategy
)
reductionL
(
Rewriting.Strategy
)
renameRuleVars
(
Rewriting.Rules
)
renameTermVars
(
Rewriting.Term
)
renameTRSVars
(
Rewriting.Rules
)
replaceTerm
(
Rewriting.Position
)
restrictSubst
(
Rewriting.Substitution
)
rightOf
(
Rewriting.Position
)
riRStrategy
(
Rewriting.Strategy
)
roRStrategy
(
Rewriting.Strategy
)
rRoot
(
Rewriting.Rules
)
rStrategy
(
Rewriting.Narrowing
)
rVars
(
Rewriting.Rules
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
S
selectDefTrees
(
Rewriting.DefinitionalTree
)
seqRStrategy
(
Rewriting.Strategy
)
showCPair
(
Rewriting.CriticalPairs
)
showCPairs
(
Rewriting.CriticalPairs
)
showNarrowing
(
Rewriting.Narrowing
)
showPos
(
Rewriting.Position
)
showQName
(
Rewriting.Files
)
showReduction
(
Rewriting.Strategy
)
showRule
(
Rewriting.Rules
)
showSubst
(
Rewriting.Substitution
)
showTerm
(
Rewriting.Term
)
showTermEq
(
Rewriting.Term
)
showTermEqs
(
Rewriting.Term
)
showTRS
(
Rewriting.Rules
)
showUnificationError
(
Rewriting.UnificationSpec
)
showVarIdx
(
Rewriting.Term
)
solveEq
(
Rewriting.Narrowing
)
solveEqL
(
Rewriting.Narrowing
)
stdNStrategy
(
Rewriting.Narrowing
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
T
tCons
(
Rewriting.Term
)
tConsAll
(
Rewriting.Term
)
tConst
(
Rewriting.Term
)
tOp
(
Rewriting.Term
)
tRoot
(
Rewriting.Term
)
tVars
(
Rewriting.Term
)
tVarsAll
(
Rewriting.Term
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
U
unifiable
(
Rewriting.Unification
)
unifiable
(
Rewriting.UnificationSpec
)
unify
(
Rewriting.Unification
)
unify
(
Rewriting.UnificationSpec
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
W
wnNStrategy
(
Rewriting.Narrowing
)
writeDefTree
(
Rewriting.DefinitionalTree
)
writeNarrowingTree
(
Rewriting.Narrowing
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
_
_impl#/=#Prelude.Eq#Rewriting.Term.Term
(
Rewriting.Term
)
_impl#/=#Prelude.Eq#Rewriting.Unification.RTerm
(
Rewriting.Unification
)
_impl#==#Prelude.Eq#Rewriting.Term.Term
(
Rewriting.Term
)
_impl#==#Prelude.Eq#Rewriting.Unification.RTerm
(
Rewriting.Unification
)
_impl#show#Prelude.Show#Rewriting.Term.Term
(
Rewriting.Term
)
_impl#show#Prelude.Show#Rewriting.Unification.RTerm
(
Rewriting.Unification
)
_impl#showList#Prelude.Show#Rewriting.Term.Term
(
Rewriting.Term
)
_impl#showList#Prelude.Show#Rewriting.Unification.RTerm
(
Rewriting.Unification
)
_impl#showsPrec#Prelude.Show#Rewriting.Term.Term
(
Rewriting.Term
)
_impl#showsPrec#Prelude.Show#Rewriting.Unification.RTerm
(
Rewriting.Unification
)
_inst#Prelude.Eq#Rewriting.Term.Term
(
Rewriting.Term
)
_inst#Prelude.Eq#Rewriting.Unification.RTerm
(
Rewriting.Unification
)
_inst#Prelude.Show#Rewriting.Term.Term
(
Rewriting.Term
)
_inst#Prelude.Show#Rewriting.Unification.RTerm
(
Rewriting.Unification
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|
|
|>
(
Rewriting.Position
)
.
A
B
C
D
E
F
H
I
L
M
N
O
P
R
S
T
U
W
_
|