$$ | Twee.Pretty, Twee.Base |
$+$ | Twee.Pretty, Twee.Base |
&&& | Twee.Constraints |
:=: | Twee.Equation |
<#> | Twee.Pretty, Twee.Base |
<+> | Twee.Pretty, Twee.Base |
<< | Twee.Term, Twee.Base |
Active | |
1 (Type/Class) | Twee |
2 (Data Constructor) | Twee |
activeRules | Twee |
active_cp | Twee |
active_id | Twee |
active_info | Twee |
active_model | Twee |
active_positions | Twee |
active_proof | Twee |
active_rule | Twee |
active_top | Twee |
addActive | Twee |
addActiveOnly | Twee |
addAxiom | Twee |
addCP | Twee |
addEquals | Twee.Constraints |
addGoal | Twee |
addJoinable | Twee |
addLess | Twee.Constraints |
addSample | Twee.Utils |
addTerm | Twee.Constraints |
allSteps | Twee.Join |
allSubst | Twee.Term, Twee.Base |
And | Twee.Constraints |
ANSICode | Twee.Pretty, Twee.Base |
anywhere | Twee.Rule |
anywhereInnermost | Twee.Rule |
anywhereOutermost | Twee.Rule |
App | Twee.Term, Twee.Base |
app | Twee.Term, Twee.Base |
argWeight | Twee.KBO |
assumeComplete | Twee |
asymmetricOverlaps | Twee.CP |
at | Twee.Term, Twee.Base |
Atom | Twee.Constraints |
atoms | Twee.Constraints |
autoSubst | Twee.Proof |
Axiom | |
1 (Type/Class) | Twee.Proof |
2 (Data Constructor) | Twee.Proof |
axiom | Twee.Proof |
axiom_eqn | Twee.Proof |
axiom_name | Twee.Proof |
axiom_number | Twee.Proof |
Backwards | Twee.CP |
backwards | Twee.Rule |
Batch | |
1 (Type/Class) | Twee |
2 (Data Constructor) | Twee |
BatchKind | Twee |
batch_best | Twee |
batch_kind | Twee |
batch_rest | Twee |
batch_rule | Twee |
bold | Twee.Pretty, Twee.Base |
BothPos | Twee.CP |
bothSides | Twee.Equation |
bound | Twee.Term, Twee.Base |
boundList | Twee.Term, Twee.Base |
boundLists | Twee.Term, Twee.Base |
braces | Twee.Pretty, Twee.Base |
brackets | Twee.Pretty, Twee.Base |
Branch | |
1 (Type/Class) | Twee.Constraints |
2 (Data Constructor) | Twee.Constraints |
branches | Twee.Constraints |
Build | Twee.Term, Twee.Base |
build | Twee.Term, Twee.Base |
Builder | Twee.Term, Twee.Base |
builder | Twee.Term, Twee.Base |
BuilderOf | Twee.Base |
BuildFun | Twee.Term, Twee.Base, Twee.Base |
buildList | Twee.Term, Twee.Base |
buildReplacePositionSub | Twee.CP |
canonicalise | |
1 (Function) | Twee.Term |
2 (Function) | Twee.Base |
cat | Twee.Pretty, Twee.Base |
certify | Twee.Proof |
cfg_accept_term | Twee |
cfg_all_lemmas | Twee.Proof |
cfg_always_simplify | Twee |
cfg_complete_subsets | Twee |
cfg_cp_sample_size | Twee |
cfg_critical_pairs | Twee |
cfg_depthweight | Twee.CP |
cfg_dupcost | Twee.CP |
cfg_dupfactor | Twee.CP |
cfg_funweight | Twee.CP |
cfg_ground_join | Twee.Join |
cfg_ground_proof | Twee.Proof |
cfg_join | Twee |
cfg_lhsweight | Twee.CP |
cfg_max_cp_depth | Twee |
cfg_max_critical_pairs | Twee |
cfg_no_lemmas | Twee.Proof |
cfg_proof_presentation | Twee |
cfg_renormalise_percent | Twee |
cfg_renormalise_threshold | Twee |
cfg_rhsweight | Twee.CP |
cfg_set_join | Twee.Join |
cfg_set_join_goals | Twee |
cfg_show_instances | Twee.Proof |
cfg_show_uses_of_axioms | Twee.Proof |
cfg_simplify | Twee |
cfg_use_colour | Twee.Proof |
cfg_use_connectedness_in_ground_joining | Twee.Join |
cfg_use_connectedness_standalone | Twee.Join |
cfg_varweight | Twee.CP |
char | Twee.Pretty, Twee.Base |
checkCompleteness | Twee |
checkOrder | Twee.Join |
checkProvedGoal | Twee.Proof |
checkTask | Twee.Task |
children | Twee.Term, Twee.Base |
Chr | Twee.Pretty, Twee.Base |
clearMessages | Twee |
close | Twee.Term, Twee.Base |
collate | Twee.Utils |
colon | Twee.Pretty, Twee.Base |
comma | Twee.Pretty, Twee.Base |
complete | Twee |
complete1 | Twee |
completePure | Twee |
con | Twee.Term, Twee.Base |
Config | |
1 (Type/Class) | Twee.Proof |
2 (Data Constructor) | Twee.Proof |
3 (Type/Class) | Twee.CP |
4 (Data Constructor) | Twee.CP |
5 (Type/Class) | Twee.Join |
6 (Data Constructor) | Twee.Join |
7 (Type/Class) | Twee |
8 (Data Constructor) | Twee |
configIsComplete | Twee |
Cong | Twee.Proof |
cong | Twee.Proof |
congPath | Twee.Proof |
conj | Twee.Constraints |
Cons | Twee.Term, Twee.Base |
consider | Twee |
considerUsing | Twee |
ConsP | Twee.CP |
ConsSym | Twee.Term, Twee.Base |
Constant | Twee.Constraints |
ConstantOf | Twee.Base |
contradictory | Twee.Constraints |
cp_eqn | Twee.CP |
cp_proof | Twee.CP |
cp_top | Twee.CP |
CriticalPair | |
1 (Type/Class) | Twee.CP |
2 (Data Constructor) | Twee.CP |
curried | Twee.Pretty, Twee.Base |
defaultConfig | |
1 (Function) | Twee.Proof |
2 (Function) | Twee.CP |
3 (Function) | Twee.Join |
4 (Function) | Twee |
delete | |
1 (Function) | Twee.Index |
2 (Function) | Twee.Rule.Index |
DeleteActive | Twee |
deleteActive | Twee |
Depth | |
1 (Type/Class) | Twee.CP |
2 (Data Constructor) | Twee.CP |
dequeue | Twee |
Derivation | Twee.Proof |
derivation | Twee.Proof |
describeEquation | Twee.Proof |
direct | Twee.CP |
Direction | Twee.CP |
directions | Twee.CP |
disj | Twee.Constraints |
Doc | Twee.Pretty, Twee.Base |
double | Twee.Pretty, Twee.Base |
doubleQuotes | Twee.Pretty, Twee.Base |
elems | Twee.Index |
eliminateDefinitions | Twee.Proof |
eliminateDefinitionsFromGoal | Twee.Proof |
Empty | Twee.Term, Twee.Base |
empty | |
1 (Function) | Twee.Term, Twee.Base |
2 (Function) | Twee.Index |
3 (Function) | Twee.Rule.Index |
emptySample | Twee.Utils |
emptySubst | Twee.Term, Twee.Base |
emptyTriangleSubst | Twee.Term, Twee.Base |
enqueue | Twee |
eqn_lhs | Twee.Equation |
eqn_rhs | Twee.Equation |
equals | |
1 (Function) | Twee.Pretty, Twee.Base |
2 (Function) | Twee.Constraints |
EqualsBonus | Twee.Base |
Equation | Twee.Equation |
equation | Twee.Proof |
EquationOf | Twee.Equation |
erase | Twee.Base |
eraseExcept | Twee.Base |
evalSubst | Twee.Term, Twee.Base |
extend | Twee.Term, Twee.Base |
extendList | Twee.Term, Twee.Base |
F | Twee.Term, Twee.Base |
false | Twee.Constraints |
fcat | Twee.Pretty, Twee.Base |
find | Data.Label |
findPassive | Twee |
first | Twee.Pretty, Twee.Base |
fixedArity | Twee.Pretty, Twee.Base |
fixpoint | Twee.Utils |
fixpointOn | Twee.Utils |
float | Twee.Pretty, Twee.Base |
foldn | Twee.Utils |
foldSubst | Twee.Term, Twee.Base |
formAnd | Twee.Constraints |
Formula | Twee.Constraints |
Forwards | Twee.CP |
ForwardsPos | Twee.CP |
freshVar | Twee.Base |
fromList | Twee.Index |
fromListWith | Twee.Index |
fromTerm | Twee.Constraints |
fsep | Twee.Pretty, Twee.Base |
fullRender | Twee.Pretty, Twee.Base |
Fun | Twee.Term, Twee.Base |
fun | Twee.Term, Twee.Base |
Function | Twee.Base |
FunOf | Twee.Base |
funs | |
1 (Function) | Twee.Constraints |
2 (Function) | Twee.Base |
fun_id | Twee.Term, Twee.Base |
fun_value | Twee.Term, Twee.Base |
Goal | |
1 (Type/Class) | Twee |
2 (Data Constructor) | Twee |
goal | Twee |
goal_eqn | Twee |
goal_expanded_lhs | Twee |
goal_expanded_rhs | Twee |
goal_lhs | Twee |
goal_name | Twee |
goal_number | Twee |
goal_rhs | Twee |
green | Twee.Pretty, Twee.Base |
ground | Twee.Base |
groundAxiomsAndSubsts | Twee.Proof |
groundJoin | Twee.Join |
groundJoinFrom | Twee.Join |
groundJoinFromMaybe | Twee.Join |
hang | Twee.Pretty, Twee.Base |
Has | Twee.Base |
hasEqualsBonus | Twee.Base |
hcat | Twee.Pretty, Twee.Base |
hd | Twee.Term, Twee.Base |
highlight | Twee.Pretty, Twee.Base |
HighlightedTerm | |
1 (Type/Class) | Twee.Pretty, Twee.Base |
2 (Data Constructor) | Twee.Pretty, Twee.Base |
How | |
1 (Type/Class) | Twee.CP |
2 (Data Constructor) | Twee.CP |
how_dir1 | Twee.CP |
how_dir2 | Twee.CP |
how_pos | Twee.CP |
hsep | Twee.Pretty, Twee.Base |
Id | |
1 (Type/Class) | Twee.Base |
2 (Data Constructor) | Twee.Base |
idempotent | Twee.Term, Twee.Base |
idempotentOn | Twee.Term, Twee.Base |
implicitArguments | Twee.Pretty, Twee.Base |
Index | Twee.Index |
index_all | Twee.Rule.Index |
index_oriented | Twee.Rule.Index |
infixStyle | Twee.Pretty, Twee.Base |
Info | |
1 (Type/Class) | Twee |
2 (Data Constructor) | Twee |
info_depth | Twee |
info_max | Twee |
initialState | Twee |
insert | |
1 (Function) | Twee.Index |
2 (Function) | Twee.Rule.Index |
int | Twee.Pretty, Twee.Base |
integer | Twee.Pretty, Twee.Base |
Interreduce | Twee |
interreduce | Twee |
interreduce1 | Twee |
intMax | Twee.Utils |
intMin | Twee.Utils |
invariant | Twee.Index |
invisible | Twee.Pretty, Twee.Base |
isApp | Twee.Term, Twee.Base |
isEmpty | Twee.Pretty, Twee.Base |
isEquals | Twee.Base |
isFalse | Twee.Base |
isGround | Twee.Base |
isInstanceOf | Twee.Term, Twee.Base |
isMinimal | Twee.Base |
isSorted | Twee.Utils |
isSortedBy | Twee.Utils |
isSubtermOf | Twee.Term, Twee.Base |
isSubtermOfList | Twee.Term, Twee.Base |
isTrue | Twee.Base |
isVar | Twee.Term, Twee.Base |
isVariantOf | Twee.Term, Twee.Base |
joinCriticalPair | Twee.Join |
joinWith | Twee.Join |
Label | Data.Label |
label | |
1 (Function) | Data.Label |
2 (Function) | Twee.Term, Twee.Base |
Labelled | Twee.Term, Twee.Base |
labelM | Twee.Utils |
labelNum | Data.Label |
lbrace | Twee.Pretty, Twee.Base |
lbrack | Twee.Pretty, Twee.Base |
LeftMode | Twee.Pretty, Twee.Base |
lemma | Twee.Proof |
len | Twee.Term, Twee.Base |
lenList | Twee.Term, Twee.Base |
Less | Twee.Constraints |
less | Twee.Constraints |
LessEq | Twee.Constraints |
lessEq | |
1 (Function) | Twee.Constraints, Twee.Base |
2 (Function) | Twee.KBO |
lessEqInModel | Twee.Constraints |
lessEqSkolem | |
1 (Function) | Twee.Constraints, Twee.Base |
2 (Function) | Twee.KBO |
lessIn | |
1 (Function) | Twee.Constraints, Twee.Base |
2 (Function) | Twee.KBO |
lessThan | Twee.Constraints, Twee.Base |
lhs | Twee.Rule |
lineLength | Twee.Pretty, Twee.Base |
listToSubst | Twee.Term, Twee.Base |
lookup | |
1 (Function) | Twee.Term, Twee.Base |
2 (Function) | Twee.Index, Twee.Rule.Index |
lookupList | Twee.Term, Twee.Base |
lparen | Twee.Pretty, Twee.Base |
makeCriticalPair | Twee.CP |
makePassive | Twee |
makePassives | Twee |
mapFun | Twee.Term, Twee.Base |
mapFunList | Twee.Term, Twee.Base |
mapSample | Twee.Utils |
match | Twee.Term, Twee.Base |
matchEquation | Twee.Equation |
matches | Twee.Index, Twee.Rule.Index |
matchIn | Twee.Term, Twee.Base |
matchList | Twee.Term, Twee.Base |
matchListIn | Twee.Term, Twee.Base |
matchMany | Twee.Term, Twee.Base |
matchManyIn | Twee.Term, Twee.Base |
matchManyList | Twee.Term, Twee.Base |
matchManyListIn | Twee.Term, Twee.Base |
maybeBraces | Twee.Pretty, Twee.Base |
maybeBrackets | Twee.Pretty, Twee.Base |
maybeDoubleQuotes | Twee.Pretty, Twee.Base |
maybeHighlight | Twee.Pretty, Twee.Base |
maybeParens | Twee.Pretty, Twee.Base |
maybeQuotes | Twee.Pretty, Twee.Base |
Message | Twee |
message | Twee |
messages | Twee |
Minimal | Twee.Constraints, Twee.Base |
minimal | Twee.Constraints, Twee.Base |
minimalTerm | Twee.Base |
Mode | Twee.Pretty, Twee.Base |
mode | Twee.Pretty, Twee.Base |
Model | |
1 (Type/Class) | Twee.Constraints |
2 (Data Constructor) | Twee.Constraints |
modelFromOrder | Twee.Constraints |
modelToLiterals | Twee.Constraints |
negateFormula | Twee.Constraints |
nest | Twee.Pretty, Twee.Base |
never | Twee.Utils |
NewActive | Twee |
NewEquation | Twee |
newTask | Twee.Task |
NilP | Twee.CP |
Nonstrict | Twee.Constraints, Twee.Base |
norm | Twee.Constraints |
normalForms | |
1 (Function) | Twee.Rule |
2 (Function) | Twee |
normaliseGoals | Twee |
normaliseTerm | Twee |
normaliseWith | Twee.Rule |
NotComplete | Twee |
null | Twee.Index |
occ | Twee.Base |
occurs | Twee.Term, Twee.Base |
occVar | Twee.Base |
OneLineMode | Twee.Pretty, Twee.Base |
optimise | Twee.Join |
Or | Twee.Constraints |
order | Twee.Equation |
Ordered | Twee.Constraints, Twee.Base |
orderedSimplerThan | Twee.Equation |
orElse | Twee.Utils |
orient | Twee.Rule |
Orientation | Twee.Rule |
orientation | Twee.Rule |
Oriented | Twee.Rule |
oriented | Twee.Rule |
orientTerms | Twee.Constraints, Twee.Base |
Output | |
1 (Type/Class) | Twee |
2 (Data Constructor) | Twee |
output_message | Twee |
Overlap | |
1 (Type/Class) | Twee.CP |
2 (Data Constructor) | Twee.CP |
overlapAt | Twee.CP |
overlapAt' | Twee.CP |
overlaps | Twee.CP |
overlapsChurch | Twee.CP |
overlap_eqn | Twee.CP |
overlap_how | Twee.CP |
overlap_rule1 | Twee.CP |
overlap_rule2 | Twee.CP |
overlap_top | Twee.CP |
PageMode | Twee.Pretty, Twee.Base |
parens | Twee.Pretty, Twee.Base |
partitionBy | Twee.Utils |
Passive | |
1 (Type/Class) | Twee |
2 (Data Constructor) | Twee |
passive_how | Twee |
passive_rule1 | Twee |
passive_rule2 | Twee |
passive_score | Twee |
pathToPosition | Twee.Term, Twee.Base |
Permutative | Twee.Rule |
pg_goal_hint | Twee.Proof |
pg_name | Twee.Proof |
pg_number | Twee.Proof |
pg_proof | Twee.Proof |
pg_witness_hint | Twee.Proof |
Positions | Twee.CP |
positions | Twee.CP |
Positions2 | Twee.CP |
positionsChurch | Twee.CP |
PositionsOf | Twee.CP |
positionsRule | Twee.CP |
positionToPath | Twee.Term, Twee.Base |
postfix | Twee.Pretty, Twee.Base |
pPrint | Twee.Pretty, Twee.Base |
pPrintEmpty | Twee.Pretty, Twee.Base |
pPrintList | Twee.Pretty, Twee.Base |
pPrintPrec | Twee.Pretty, Twee.Base |
pPrintPresentation | Twee.Proof |
pPrintSet | Twee.Pretty, Twee.Base |
pPrintTerm | Twee.Pretty, Twee.Base |
pPrintTuple | Twee.Pretty, Twee.Base |
prefix | Twee.Pretty, Twee.Base |
present | Twee.Proof |
Presentation | |
1 (Type/Class) | Twee.Proof |
2 (Data Constructor) | Twee.Proof |
pres_axioms | Twee.Proof |
pres_goals | Twee.Proof |
pres_lemmas | Twee.Proof |
Pretty | Twee.Pretty, Twee.Base |
PrettyLevel | |
1 (Data Constructor) | Twee.Pretty, Twee.Base |
2 (Type/Class) | Twee.Pretty, Twee.Base |
prettyNormal | Twee.Pretty, Twee.Base |
prettyParen | Twee.Pretty, Twee.Base |
prettyPrint | Twee.Pretty, Twee.Base |
prettyShow | Twee.Pretty, Twee.Base |
PrettyTerm | Twee.Pretty, Twee.Base |
profile | Twee.Profile |
Proof | Twee.Proof |
properSubterms | Twee.Term, Twee.Base |
ProvedGoal | |
1 (Type/Class) | Twee.Proof |
2 (Data Constructor) | Twee.Proof |
provedGoal | Twee.Proof |
PStr | Twee.Pretty, Twee.Base |
ptext | Twee.Pretty, Twee.Base |
punctuate | Twee.Pretty, Twee.Base |
quotes | Twee.Pretty, Twee.Base |
rational | Twee.Pretty, Twee.Base |
rbrace | Twee.Pretty, Twee.Base |
rbrack | Twee.Pretty, Twee.Base |
recomputeGoals | Twee |
reduceDoc | Twee.Pretty, Twee.Base |
reduces | Twee.Rule |
reducesInModel | Twee.Rule |
reducesOriented | Twee.Rule |
reducesSkolem | Twee.Rule |
reducesWith | Twee.Rule |
Reduction | Twee.Rule |
reductionProof | Twee.Rule |
Refl | Twee.Proof |
renameAvoiding | Twee.Base |
renameManyAvoiding | Twee.Base |
render | Twee.Pretty, Twee.Base |
renderStyle | Twee.Pretty, Twee.Base |
repeatM | Twee.Utils |
replace | Twee.Term, Twee.Base |
replacePosition | Twee.Term, Twee.Base |
replacePositionSub | Twee.Term, Twee.Base |
reservoir | Twee.Utils |
resetGoal | Twee |
resetSample | Twee |
rest | Twee.Term, Twee.Base |
result | Twee.Rule |
retract | Twee.Term, Twee.Base |
reverseSubterms | Twee.Term, Twee.Base |
reverseSubtermsList | Twee.Term, Twee.Base |
rewrite | Twee.Rule |
rewriteGoalsBackwards | Twee |
rhs | Twee.Rule |
ribbonsPerLine | Twee.Pretty, Twee.Base |
rparen | Twee.Pretty, Twee.Base |
Rule | |
1 (Type/Class) | Twee.Rule |
2 (Data Constructor) | Twee.Rule |
Rule1 | Twee |
Rule2 | Twee |
ruleDerivation | Twee.Rule |
RuleIndex | |
1 (Type/Class) | Twee.Rule.Index |
2 (Data Constructor) | Twee.Rule.Index |
RuleOf | Twee.Rule |
ruleProof | Twee.Rule |
ruleResult | Twee.Rule |
rules | Twee |
rule_proof | Twee.Rule |
Sample | |
1 (Type/Class) | Twee.Utils |
2 (Data Constructor) | Twee.Utils |
sample | Twee |
sampleValue | Twee.Utils |
score | Twee.CP |
semi | Twee.Pretty, Twee.Base |
sep | Twee.Pretty, Twee.Base |
shouldSimplifyQueue | Twee |
simpleLemma | Twee.Proof |
simpleRewrite | Twee.Rule |
simplerThan | Twee.Equation |
simplify | |
1 (Function) | Twee.Proof |
2 (Function) | Twee.Rule |
simplifyInnermost | Twee.Rule |
simplifyOutermost | Twee.Rule |
simplifyOverlap | Twee.CP |
simplifyPassive | Twee |
SimplifyQueue | Twee |
simplifyQueue | Twee |
simplifySample | Twee |
simplifyTerm | Twee |
singleton | |
1 (Function) | Twee.Term, Twee.Base |
2 (Function) | Twee.Index |
size | Twee.KBO |
Sized | Twee.KBO |
sizedText | Twee.Pretty, Twee.Base |
solutions | Twee |
solve | Twee.Constraints |
solved | Twee |
sortBy' | Twee.Utils |
space | Twee.Pretty, Twee.Base |
split | Twee.CP |
splitInterval | Twee.Utils |
splits | Twee.Utils |
stamp | Twee.Profile |
stampM | Twee.Profile |
stampWith | Twee.Profile |
State | |
1 (Type/Class) | Twee |
2 (Data Constructor) | Twee |
Status | Twee |
step1 | Twee.Join |
step2 | Twee.Join |
step3 | Twee.Join |
steps | Twee.Proof |
Str | Twee.Pretty, Twee.Base |
Strategy | Twee.Rule |
Strict | Twee.Constraints, Twee.Base |
Strictness | Twee.Constraints, Twee.Base |
Style | |
1 (Data Constructor) | Twee.Pretty, Twee.Base |
2 (Type/Class) | Twee.Pretty, Twee.Base |
style | Twee.Pretty, Twee.Base |
st_active_set | Twee |
st_complete | Twee |
st_considered | Twee |
st_cp_sample | Twee |
st_goals | Twee |
st_joinable | Twee |
st_messages_rev | Twee |
st_next_active | Twee |
st_not_complete | Twee |
st_queue | Twee |
st_rules | Twee |
st_simplified_at | Twee |
Subst | |
1 (Type/Class) | Twee.Term, Twee.Base |
2 (Data Constructor) | Twee.Term, Twee.Base |
subst | |
1 (Function) | Twee.Term |
2 (Function) | Twee.Base |
substCompatible | Twee.Term, Twee.Base |
substDomain | Twee.Term, Twee.Base |
SubstFun | Twee.Term, Twee.Base, Twee.Base |
Substitution | Twee.Term, Twee.Base |
substList | Twee.Term, Twee.Base |
SubstOf | Twee.Base |
substSize | Twee.Term, Twee.Base |
substToList | Twee.Term, Twee.Base |
substUnion | Twee.Term, Twee.Base |
subst_ | Twee.Base |
subsumed | Twee.Join |
subsumed1 | Twee.Join |
subterms | Twee.Term, Twee.Base |
subtermsList | Twee.Term, Twee.Base |
successors | Twee.Rule |
successorsAndNormalForms | Twee.Rule |
supply | Twee.Pretty, Twee.Base |
Symbolic | Twee.Base |
Symm | Twee.Proof |
symm | Twee.Proof |
Task | Twee.Task |
Term | Twee.Term, Twee.Base |
TermList | Twee.Term, Twee.Base |
TermListOf | Twee.Base |
TermOf | Twee.Base |
terms | Twee.Base |
termsDL | Twee.Base |
TermStyle | |
1 (Type/Class) | Twee.Pretty, Twee.Base |
2 (Data Constructor) | Twee.Pretty, Twee.Base |
termStyle | Twee.Pretty, Twee.Base |
termSubst | Twee.CP |
text | Twee.Pretty, Twee.Base |
TextDetails | Twee.Pretty, Twee.Base |
the | Twee.Base |
tl | Twee.Term, Twee.Base |
toTerm | Twee.Constraints |
Trans | Twee.Proof |
trans | |
1 (Function) | Twee.Proof |
2 (Function) | Twee.Rule |
Triangle | Twee.Term, Twee.Base |
TriangleSubst | Twee.Term, Twee.Base |
TriangleSubstOf | Twee.Base |
trivial | Twee.Equation |
true | Twee.Constraints |
trueBranch | Twee.Constraints |
tryRule | Twee.Rule |
tupleStyle | Twee.Pretty, Twee.Base |
U16 | |
1 (Type/Class) | Twee.Utils |
2 (Data Constructor) | Twee.Utils |
U8 | |
1 (Type/Class) | Twee.Utils |
2 (Data Constructor) | Twee.Utils |
uhd | Twee.Term, Twee.Base |
unbuffered | Twee.Utils |
uncurried | Twee.Pretty, Twee.Base |
unId | Twee.Base |
unify | Twee.Term, Twee.Base |
unifyList | Twee.Term, Twee.Base |
unifyListTri | Twee.Term, Twee.Base |
unifyListTriFrom | Twee.Term, Twee.Base |
unifyMany | Twee.Term, Twee.Base |
unifyManyTri | Twee.Term, Twee.Base |
unifyTri | Twee.Term, Twee.Base |
unifyTriFrom | Twee.Term, Twee.Base |
unorient | Twee.Rule |
Unoriented | Twee.Rule |
unpack | Twee.Term, Twee.Base |
UnsafeCons | Twee.Term, Twee.Base |
UnsafeConsSym | Twee.Term, Twee.Base |
unsafeExtendList | Twee.Term, Twee.Base |
unsafeMkLabel | Data.Label |
unSubst | Twee.Term, Twee.Base |
unTriangle | Twee.Term, Twee.Base |
urest | Twee.Term, Twee.Base |
UseAxiom | Twee.Proof |
usedAxioms | Twee.Proof |
usedAxiomsAndSubsts | Twee.Proof |
usedLemmas | Twee.Proof |
usedLemmasAndSubsts | Twee.Proof |
UseLemma | Twee.Proof |
usort | Twee.Utils |
usortBy | Twee.Utils |
usortBy' | Twee.Utils |
utl | Twee.Term, Twee.Base |
V | Twee.Term, Twee.Base |
valid | Twee.Join |
Var | |
1 (Type/Class) | Twee.Term, Twee.Base |
2 (Data Constructor) | Twee.Term, Twee.Base |
var | Twee.Term, Twee.Base |
varGroups | Twee.Constraints |
Variable | Twee.Constraints |
varInModel | Twee.Constraints |
vars | Twee.Base |
var_id | Twee.Term, Twee.Base |
vcat | Twee.Pretty, Twee.Base |
weakenModel | Twee.Constraints |
WeaklyOriented | Twee.Rule |
Weighted | Twee.KBO |
zeroWidthText | Twee.Pretty, Twee.Base |
ZigZagMode | Twee.Pretty, Twee.Base |
||| | Twee.Constraints |