#> | Data.Comp.Thunk |
#>> | Data.Comp.Thunk |
& | Data.Comp.Automata |
:&: | |
1 (Type/Class) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
2 (Data Constructor) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
3 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
4 (Data Constructor) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
:*: | |
1 (Type/Class) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
2 (Data Constructor) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
3 (Type/Class) | Data.Comp.Multi.Ops |
4 (Data Constructor) | Data.Comp.Multi.Ops |
:+: | |
1 (Type/Class) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
2 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
:-> | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
:.: | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
:< | Data.Comp.Automata.Product, Data.Comp.Automata |
:<: | |
1 (Type/Class) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
2 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
:=: | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
:=> | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
:^: | |
1 (Type/Class) | Data.Comp.MacroAutomata |
2 (Data Constructor) | Data.Comp.MacroAutomata |
>*< | Data.Comp.Automata |
A | |
1 (Type/Class) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
2 (Data Constructor) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
above | Data.Comp.Automata |
abstractConType | Data.Comp.Derive.Utils |
abstractNewtype | Data.Comp.Derive.Utils |
abstractNewtypeQ | Data.Comp.Derive.Utils |
Alg | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
AlgM | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
algM | Data.Comp.Algebra, Data.Comp |
AlgT | Data.Comp.Thunk |
Ambiguous | Data.Comp.Ops |
ana | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
ana' | Data.Comp.Algebra, Data.Comp |
anaM | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
ann | |
1 (Function) | Data.Comp.Multi.Annotation, Data.Comp.Multi |
2 (Function) | Data.Comp.Annotation, Data.Comp |
apo | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
apoM | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
appCxt | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
appHom | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
appHom' | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
appHomM | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
appHomM' | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
appRule | Data.Comp.TermRewriting |
appSigFun | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
appSigFun' | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
appSigFunM | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
appSigFunM' | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
appSigFunMD | Data.Comp.Algebra, Data.Comp |
appSubst | |
1 (Function) | Data.Comp.Multi.Variables |
2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
appSubstEq | Data.Comp.Unification |
appTRS | Data.Comp.TermRewriting |
Arbitrary | Data.Comp.Derive |
arbitrary | Data.Comp.Derive |
ArbitraryF | Data.Comp.Derive, Data.Comp.Arbitrary |
arbitraryF | Data.Comp.Derive, Data.Comp.Arbitrary |
arbitraryF' | Data.Comp.Derive, Data.Comp.Arbitrary |
arguments | Data.Comp.Decompose |
below | Data.Comp.Automata |
bindsVars | |
1 (Function) | Data.Comp.Multi.Variables |
2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
BStep | Data.Comp.TermRewriting |
bStep | Data.Comp.TermRewriting |
caseF | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
caseH | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
cata | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
cata' | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
cataM | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
cataM' | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
cataT | Data.Comp.Thunk |
cataTM | Data.Comp.Thunk |
Coalg | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
CoalgM | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
Comp | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
compAlg | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
compAlgM | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
compAlgM' | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
compAlgSigFun | Data.Comp.Algebra, Data.Comp |
compAlgSigFunM | Data.Comp.Algebra, Data.Comp |
compAlgUpTrans | Data.Comp.Automata |
compareF | Data.Comp.Derive, Data.Comp.Ordering, Data.Comp |
compareHF | Data.Comp.Multi.Ordering, Data.Comp.Multi.Derive |
compCoalg | Data.Comp.Algebra, Data.Comp |
compCVCoalg | Data.Comp.Algebra, Data.Comp |
compDownMacro | Data.Comp.MacroAutomata |
compDownMacroLA | Data.Comp.MacroAutomata |
compDownTrans | Data.Comp.Automata |
compDownTransHom | Data.Comp.Automata |
compDownTransSig | Data.Comp.Automata |
compHom | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
compHomDownTrans | Data.Comp.Automata |
compHomM | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
compHomSigFun | Data.Comp.Algebra, Data.Comp |
compHomSigFunM | Data.Comp.Algebra, Data.Comp |
compHomUpTrans | Data.Comp.Automata |
compMacroDown | Data.Comp.MacroAutomata |
CompPos | Data.Comp.Ops |
compSigDownTrans | Data.Comp.Automata |
compSigFun | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
compSigFunHom | Data.Comp.Algebra, Data.Comp |
compSigFunHomM | Data.Comp.Algebra, Data.Comp |
compSigFunM | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
compSigUpTrans | Data.Comp.Automata |
compSubst | |
1 (Function) | Data.Comp.Multi.Variables |
2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
compUpTrans | Data.Comp.Automata |
compUpTransHom | Data.Comp.Automata |
compUpTransSig | Data.Comp.Automata |
Const | |
1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Term, Data.Comp |
constTerm | |
1 (Function) | Data.Comp.Multi.Term, Data.Comp.Multi |
2 (Function) | Data.Comp.Term, Data.Comp |
containsType | Data.Comp.Derive.Utils |
containsType' | Data.Comp.Derive.Utils |
containsVar | |
1 (Function) | Data.Comp.Multi.Variables |
2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
Context | |
1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Term, Data.Comp |
CVAlg | Data.Comp.Algebra, Data.Comp |
CVAlgM | Data.Comp.Algebra, Data.Comp |
CVCoalg | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
CVCoalg' | Data.Comp.Algebra, Data.Comp |
CVCoalgM | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
Cxt | |
1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Term, Data.Comp |
CxtFun | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
CxtFunM | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
CxtSubst | |
1 (Type/Class) | Data.Comp.Multi.Variables |
2 (Type/Class) | Data.Comp.Variables, Data.Comp.Matching |
CxtT | Data.Comp.Thunk |
DDownState | Data.Comp.Automata |
dDownState | Data.Comp.Automata |
Decomp | Data.Comp.Decompose |
decomp | Data.Comp.Decompose |
Decompose | Data.Comp.Decompose |
decompose | Data.Comp.Decompose |
DecompTerm | Data.Comp.Decompose |
deepEval | Data.Comp.Thunk |
deepEval2 | Data.Comp.Thunk |
deepInject | |
1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
2 (Function) | Data.Comp.Sum, Data.Comp |
deepInject10 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepInject2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepInject3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepInject4 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepInject5 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepInject6 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepInject7 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepInject8 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepInject9 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepInject_ | Data.Comp.Sum, Data.Comp |
deepProject | |
1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
2 (Function) | Data.Comp.Sum, Data.Comp |
deepProject10 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepProject2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepProject3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepProject4 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepProject5 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepProject6 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepProject7 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepProject8 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepProject9 | Data.Comp.Multi.Sum, Data.Comp.Multi |
deepProject_ | Data.Comp.Sum, Data.Comp |
depth | Data.Comp.Multi.Generic, Data.Comp.Multi |
derive | Data.Comp.Derive.Utils, Data.Comp.Multi.Derive, Data.Comp.Derive |
DestrPos | Data.Comp.Ops |
Desugar | |
1 (Type/Class) | Data.Comp.Multi.Desugar |
2 (Type/Class) | Data.Comp.Desugar |
desugar | |
1 (Function) | Data.Comp.Multi.Desugar |
2 (Function) | Data.Comp.Desugar |
desugarA | |
1 (Function) | Data.Comp.Multi.Desugar |
2 (Function) | Data.Comp.Desugar |
desugHom | |
1 (Function) | Data.Comp.Multi.Desugar |
2 (Function) | Data.Comp.Desugar |
desugHom' | |
1 (Function) | Data.Comp.Multi.Desugar |
2 (Function) | Data.Comp.Desugar |
DistAnn | |
1 (Type/Class) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
2 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
DownState | Data.Comp.Automata |
downState | Data.Comp.Automata |
DownTrans | Data.Comp.Automata |
downTrans | Data.Comp.Automata |
DownTrans' | Data.Comp.Automata |
drawTerm | Data.Comp.Render |
Duplicates | Data.Comp.Ops |
Duplicates' | Data.Comp.Ops |
DUpState | Data.Comp.Automata |
dUpState | Data.Comp.Automata |
E | |
1 (Type/Class) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
2 (Data Constructor) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
Emb | Data.Comp.Ops |
EmbD | Data.Comp.Ops |
EqF | Data.Comp.Equality, Data.Comp.Derive, Data.Comp |
eqF | Data.Comp.Equality, Data.Comp.Derive, Data.Comp |
EqHF | Data.Comp.Multi.Equality, Data.Comp.Multi, Data.Comp.Multi.Derive |
eqHF | Data.Comp.Multi.Equality, Data.Comp.Multi, Data.Comp.Multi.Derive |
eqMod | Data.Comp.Equality, Data.Comp |
eqT | Data.Comp.Thunk |
Equation | Data.Comp.Unification |
Equations | Data.Comp.Unification |
eval | Data.Comp.Thunk |
eval2 | Data.Comp.Thunk |
FailedOccursCheck | Data.Comp.Unification |
failedOccursCheck | Data.Comp.Unification |
ffst | Data.Comp.Ops |
findSig | Data.Comp.Derive.Utils |
Foldable | Data.Comp.Derive |
Found | Data.Comp.Ops |
free | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
freeM | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
fromInl | Data.Comp.Ops |
fromInr | Data.Comp.Ops |
fromMacroTransId | Data.Comp.MacroAutomata |
fromMacroTransId' | Data.Comp.MacroAutomata |
fsnd | Data.Comp.Ops |
fst | Data.Comp.Multi.Ops |
Fun | Data.Comp.Decompose |
Functor | Data.Comp.Derive |
futu | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
futu' | Data.Comp.Algebra, Data.Comp |
futuM | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
getBoundVars | |
1 (Function) | Data.Comp.Multi.Variables |
2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
GetEmb | Data.Comp.Ops |
GetEmbD | Data.Comp.Ops |
getEmbD | Data.Comp.Ops |
getSubterm | Data.Comp.Generic, Data.Comp |
getSubterm' | Data.Comp.Generic, Data.Comp |
GoLeft | Data.Comp.Ops |
GoLeftD | Data.Comp.Ops |
GoRight | Data.Comp.Ops |
GoRightD | Data.Comp.Ops |
gsize | Data.Comp.Generic, Data.Comp |
GSubst | Data.Comp.Multi.Variables |
haskellStrict | Data.Comp.Derive |
haskellStrict' | Data.Comp.Derive |
HasVars | |
1 (Type/Class) | Data.Comp.Multi.Variables |
2 (Type/Class) | Data.Comp.Variables, Data.Comp.Matching |
HeadSymbolMismatch | Data.Comp.Unification |
headSymbolMismatch | Data.Comp.Unification |
height | Data.Comp.Generic, Data.Comp |
heqMod | Data.Comp.Multi.Equality, Data.Comp.Multi |
Here | Data.Comp.Ops |
HereD | Data.Comp.Ops |
hfmap | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
hfold | Data.Comp.Multi.HFoldable |
HFoldable | Data.Comp.Multi.HFoldable, Data.Comp.Multi.Derive |
hfoldl | Data.Comp.Multi.HFoldable |
hfoldl1 | Data.Comp.Multi.HFoldable |
hfoldMap | Data.Comp.Multi.HFoldable |
hfoldr | Data.Comp.Multi.HFoldable |
hfoldr1 | Data.Comp.Multi.HFoldable |
HFunctor | Data.Comp.Multi.HFunctor, Data.Comp.Multi, Data.Comp.Multi.Derive |
histo | Data.Comp.Algebra, Data.Comp |
histoM | Data.Comp.Algebra, Data.Comp |
hmapM | Data.Comp.Multi.HTraversable |
Hole | |
1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
2 (Data Constructor) | Data.Comp.Multi.Term, Data.Comp.Multi |
3 (Type/Class) | Data.Comp.Term, Data.Comp |
4 (Data Constructor) | Data.Comp.Term, Data.Comp |
Hom | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
hom | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
hom' | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
HomM | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
homM | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
HomMD | Data.Comp.Algebra, Data.Comp |
homMD | Data.Comp.Algebra, Data.Comp |
htoList | Data.Comp.Multi.HFoldable |
HTraversable | Data.Comp.Multi.HTraversable, Data.Comp.Multi.Number, Data.Comp.Multi.Derive |
htraverse | Data.Comp.Multi.HTraversable |
I | |
1 (Type/Class) | Data.Comp.Multi.HFunctor, Data.Comp.Multi, Data.Comp.MacroAutomata |
2 (Data Constructor) | Data.Comp.Multi.HFunctor, Data.Comp.Multi, Data.Comp.MacroAutomata |
In | Data.Comp.Ops |
inj | |
1 (Function) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
inj10 | Data.Comp.Multi.Sum, Data.Comp.Multi |
inj2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
inj3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
inj4 | Data.Comp.Multi.Sum, Data.Comp.Multi |
inj5 | Data.Comp.Multi.Sum, Data.Comp.Multi |
inj6 | Data.Comp.Multi.Sum, Data.Comp.Multi |
inj7 | Data.Comp.Multi.Sum, Data.Comp.Multi |
inj8 | Data.Comp.Multi.Sum, Data.Comp.Multi |
inj9 | Data.Comp.Multi.Sum, Data.Comp.Multi |
inject | |
1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
2 (Function) | Data.Comp.Sum, Data.Comp |
inject10 | Data.Comp.Multi.Sum, Data.Comp.Multi |
inject2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
inject3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
inject4 | Data.Comp.Multi.Sum, Data.Comp.Multi |
inject5 | Data.Comp.Multi.Sum, Data.Comp.Multi |
inject6 | Data.Comp.Multi.Sum, Data.Comp.Multi |
inject7 | Data.Comp.Multi.Sum, Data.Comp.Multi |
inject8 | Data.Comp.Multi.Sum, Data.Comp.Multi |
inject9 | Data.Comp.Multi.Sum, Data.Comp.Multi |
injectA | |
1 (Function) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
injectConst | |
1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
2 (Function) | Data.Comp.Sum, Data.Comp |
injectConst2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
injectConst3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
injectCxt | |
1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
2 (Function) | Data.Comp.Sum, Data.Comp |
injectT | Data.Comp.Thunk |
inject_ | Data.Comp.Sum, Data.Comp |
inj_ | Data.Comp.Ops |
Inl | |
1 (Data Constructor) | Data.Comp.Ops |
2 (Data Constructor) | Data.Comp.Multi.Ops |
Inr | |
1 (Data Constructor) | Data.Comp.Ops |
2 (Data Constructor) | Data.Comp.Multi.Ops |
isVar | |
1 (Function) | Data.Comp.Multi.Variables |
2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
K | |
1 (Type/Class) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
2 (Data Constructor) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
kcompare | Data.Comp.Multi.Ordering |
KEq | Data.Comp.Multi.Equality, Data.Comp.Multi, Data.Comp.Multi.Derive |
keq | Data.Comp.Multi.Equality, Data.Comp.Multi, Data.Comp.Multi.Derive |
kfoldl | Data.Comp.Multi.HFoldable |
kfoldr | Data.Comp.Multi.HFoldable |
KOrd | Data.Comp.Multi.Ordering |
KShow | Data.Comp.Multi.Derive |
kshow | Data.Comp.Multi.Derive |
liftA | |
1 (Function) | Data.Comp.Multi.Annotation, Data.Comp.Multi |
2 (Function) | Data.Comp.Annotation, Data.Comp |
liftA' | |
1 (Function) | Data.Comp.Multi.Annotation, Data.Comp.Multi |
2 (Function) | Data.Comp.Annotation, Data.Comp |
liftCxt | |
1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
2 (Function) | Data.Comp.Sum, Data.Comp |
liftMAlg | Data.Comp.Multi.Algebra, Data.Comp.Multi |
liftSum | |
1 (Function) | Data.Comp.Multi.Derive |
2 (Function) | Data.Comp.Derive |
liftSumGen | Data.Comp.Derive.Utils |
MacroTrans | Data.Comp.MacroAutomata |
MacroTrans' | Data.Comp.MacroAutomata |
MacroTransId | Data.Comp.MacroAutomata |
MacroTransId' | Data.Comp.MacroAutomata |
MacroTransLA | Data.Comp.MacroAutomata |
MacroTransLA' | Data.Comp.MacroAutomata |
makeArbitrary | Data.Comp.Derive |
makeArbitraryF | Data.Comp.Derive |
makeEqF | Data.Comp.Derive |
makeEqHF | Data.Comp.Multi.Derive |
makeFoldable | Data.Comp.Derive |
makeFunctor | Data.Comp.Derive |
makeHaskellStrict | Data.Comp.Derive |
makeHFoldable | Data.Comp.Multi.Derive |
makeHFunctor | Data.Comp.Multi.Derive |
makeHTraversable | Data.Comp.Multi.Derive |
makeNFData | Data.Comp.Derive |
makeNFDataF | Data.Comp.Derive |
makeOrdF | Data.Comp.Derive |
makeOrdHF | Data.Comp.Multi.Derive |
makeShowConstr | Data.Comp.Derive |
makeShowF | Data.Comp.Derive |
makeShowHF | Data.Comp.Multi.Derive |
makeTraversable | Data.Comp.Derive |
matchCxt | Data.Comp.Matching |
matchRule | Data.Comp.TermRewriting |
matchRules | Data.Comp.TermRewriting |
matchTerm | Data.Comp.Matching |
mkDownTrans | Data.Comp.Automata |
mkMacroTrans | Data.Comp.MacroAutomata |
mkMacroTransLA | Data.Comp.MacroAutomata |
mkUpTrans | Data.Comp.Automata |
NatM | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
newNames | Data.Comp.Derive.Utils |
nf | Data.Comp.Thunk |
NFData | Data.Comp.Derive |
NFDataF | Data.Comp.Derive, Data.Comp.DeepSeq |
nfPr | Data.Comp.Thunk |
NoDup | Data.Comp.Ops |
NoHole | |
1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Term, Data.Comp |
normalCon | Data.Comp.Derive.Utils |
normalCon' | Data.Comp.Derive.Utils |
normalConExp | Data.Comp.Derive.Utils |
normalConStrExp | Data.Comp.Derive.Utils |
NotFound | Data.Comp.Ops |
number | |
1 (Function) | Data.Comp.Number |
2 (Function) | Data.Comp.Multi.Number |
Numbered | |
1 (Type/Class) | Data.Comp.Number |
2 (Data Constructor) | Data.Comp.Number |
3 (Type/Class) | Data.Comp.Multi.Number |
4 (Data Constructor) | Data.Comp.Multi.Number |
o | Data.Comp.Automata |
Or | Data.Comp.Ops |
OrdF | Data.Comp.Derive, Data.Comp.Ordering, Data.Comp |
OrdHF | Data.Comp.Multi.Ordering, Data.Comp.Multi.Derive |
para | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
parallelStep | Data.Comp.TermRewriting |
paraM | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
parTopStep | Data.Comp.TermRewriting |
pathAnn | Data.Comp.Annotation, Data.Comp |
Pick | Data.Comp.Ops |
Pick2 | Data.Comp.Ops |
Pos | Data.Comp.Ops |
pr | Data.Comp.Automata.Product, Data.Comp.Automata |
prodDDownState | Data.Comp.Automata |
prodDownState | Data.Comp.Automata |
prodDUpState | Data.Comp.Automata |
prodUpState | Data.Comp.Automata |
proj | |
1 (Function) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
proj10 | Data.Comp.Multi.Sum, Data.Comp.Multi |
proj2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
proj3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
proj4 | Data.Comp.Multi.Sum, Data.Comp.Multi |
proj5 | Data.Comp.Multi.Sum, Data.Comp.Multi |
proj6 | Data.Comp.Multi.Sum, Data.Comp.Multi |
proj7 | Data.Comp.Multi.Sum, Data.Comp.Multi |
proj8 | Data.Comp.Multi.Sum, Data.Comp.Multi |
proj9 | Data.Comp.Multi.Sum, Data.Comp.Multi |
project | |
1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
2 (Function) | Data.Comp.Sum, Data.Comp |
project' | |
1 (Function) | Data.Comp.Multi.Annotation, Data.Comp.Multi |
2 (Function) | Data.Comp.Annotation, Data.Comp |
project10 | Data.Comp.Multi.Sum, Data.Comp.Multi |
project2 | Data.Comp.Multi.Sum, Data.Comp.Multi |
project3 | Data.Comp.Multi.Sum, Data.Comp.Multi |
project4 | Data.Comp.Multi.Sum, Data.Comp.Multi |
project5 | Data.Comp.Multi.Sum, Data.Comp.Multi |
project6 | Data.Comp.Multi.Sum, Data.Comp.Multi |
project7 | Data.Comp.Multi.Sum, Data.Comp.Multi |
project8 | Data.Comp.Multi.Sum, Data.Comp.Multi |
project9 | Data.Comp.Multi.Sum, Data.Comp.Multi |
projectA | |
1 (Function) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
projectConst | |
1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
2 (Function) | Data.Comp.Sum, Data.Comp |
project_ | Data.Comp.Sum, Data.Comp |
proj_ | Data.Comp.Ops |
propAnn | |
1 (Function) | Data.Comp.Multi.Annotation, Data.Comp.Multi |
2 (Function) | Data.Comp.Annotation, Data.Comp |
propAnnDown | Data.Comp.Annotation, Data.Comp |
propAnnM | Data.Comp.Annotation, Data.Comp |
propAnnMacro | Data.Comp.Annotation, Data.Comp |
propAnnMacroLA | Data.Comp.Annotation, Data.Comp |
propAnnQ | Data.Comp.Annotation, Data.Comp |
propAnnUp | Data.Comp.Annotation, Data.Comp |
PTerm | Data.Comp.Term, Data.Comp |
pureHom | Data.Comp.Automata |
putBinding | Data.Comp.Unification |
putEqs | Data.Comp.Unification |
QHom | Data.Comp.Automata |
query | |
1 (Function) | Data.Comp.Multi.Generic, Data.Comp.Multi |
2 (Function) | Data.Comp.Generic, Data.Comp |
RAlg | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
RAlgM | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
RCoalg | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
RCoalgM | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
reduce | Data.Comp.TermRewriting |
RemA | |
1 (Type/Class) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
2 (Type/Class) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
remA | |
1 (Function) | Data.Comp.Ops, Data.Comp.Annotation, Data.Comp |
2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Annotation, Data.Comp.Multi |
Render | Data.Comp.Render |
Res | Data.Comp.Ops |
ResLeft | Data.Comp.Ops |
ResRight | Data.Comp.Ops |
ResSum | Data.Comp.Ops |
rnf | Data.Comp.Derive |
rnfF | Data.Comp.Derive, Data.Comp.DeepSeq |
RPS | Data.Comp.TermRewriting |
Rule | Data.Comp.TermRewriting |
runDownHom | Data.Comp.Automata |
runDownTrans | Data.Comp.Automata |
runDState | Data.Comp.Automata |
runDUpState | Data.Comp.Automata |
runE | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
runMacroTrans | Data.Comp.MacroAutomata |
runMacroTransLA | Data.Comp.MacroAutomata |
runQHom | Data.Comp.Automata |
runUnify | Data.Comp.Unification |
runUnifyM | Data.Comp.Unification |
runUpHom | Data.Comp.Automata |
runUpHomSt | Data.Comp.Automata |
runUpState | Data.Comp.Automata |
runUpTrans | Data.Comp.Automata |
ShowConstr | Data.Comp.Derive |
showConstr | Data.Comp.Derive |
ShowF | Data.Comp.Derive, Data.Comp.Show |
showF | Data.Comp.Derive, Data.Comp.Show |
ShowHF | Data.Comp.Multi.Derive, Data.Comp.Multi.Show |
showHF | Data.Comp.Multi.Derive, Data.Comp.Multi.Show |
showHF' | Data.Comp.Multi.Derive, Data.Comp.Multi.Show |
showTerm | Data.Comp.Render |
shrink | Data.Comp.Derive |
shrinkF | Data.Comp.Derive, Data.Comp.Arbitrary |
SigFun | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
SigFunM | |
1 (Type/Class) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Type/Class) | Data.Comp.Algebra, Data.Comp |
sigFunM | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
SigFunMD | Data.Comp.Algebra, Data.Comp |
simpCxt | |
1 (Function) | Data.Comp.Multi.Term, Data.Comp.Multi |
2 (Function) | Data.Comp.Term, Data.Comp |
SimpHere | Data.Comp.Ops |
SimpLeft | Data.Comp.Ops |
SimpPos | Data.Comp.Ops |
SimpRight | Data.Comp.Ops |
SingPos | Data.Comp.Ops |
size | |
1 (Function) | Data.Comp.Multi.Generic, Data.Comp.Multi |
2 (Function) | Data.Comp.Generic, Data.Comp |
smartAConstructors | |
1 (Function) | Data.Comp.Multi.Derive |
2 (Function) | Data.Comp.Derive |
smartConstructors | |
1 (Function) | Data.Comp.Multi.Derive |
2 (Function) | Data.Comp.Derive |
snd | Data.Comp.Multi.Ops |
spl | Data.Comp.Ops |
Split | Data.Comp.Ops |
split | Data.Comp.Sum, Data.Comp |
Step | Data.Comp.TermRewriting |
strict | Data.Comp.Thunk |
strictAt | Data.Comp.Thunk |
stringTree | Data.Comp.Render |
stringTreeAlg | Data.Comp.Render |
stripA | |
1 (Function) | Data.Comp.Multi.Annotation, Data.Comp.Multi |
2 (Function) | Data.Comp.Annotation, Data.Comp |
structure | Data.Comp.Decompose |
subs | Data.Comp.Multi.Generic, Data.Comp.Multi |
subs' | Data.Comp.Multi.Generic, Data.Comp.Multi |
Subst | |
1 (Type/Class) | Data.Comp.Multi.Variables |
2 (Type/Class) | Data.Comp.Variables, Data.Comp.Matching |
substHoles | |
1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
2 (Function) | Data.Comp.Sum, Data.Comp |
substHoles' | Data.Comp.Sum, Data.Comp |
substVars | Data.Comp.Variables, Data.Comp.Matching |
subterms | |
1 (Function) | Data.Comp.Multi.Generic, Data.Comp.Multi |
2 (Function) | Data.Comp.Generic, Data.Comp |
subterms' | |
1 (Function) | Data.Comp.Multi.Generic, Data.Comp.Multi |
2 (Function) | Data.Comp.Generic, Data.Comp |
Sum | Data.Comp.Ops |
SumD | Data.Comp.Ops |
tagDownState | Data.Comp.Automata |
tagUpState | Data.Comp.Automata |
Term | |
1 (Type/Class) | Data.Comp.Multi.Term, Data.Comp.Multi |
2 (Data Constructor) | Data.Comp.Multi.Term, Data.Comp.Multi |
3 (Type/Class) | Data.Comp.Term, Data.Comp |
4 (Data Constructor) | Data.Comp.Term, Data.Comp |
TermT | Data.Comp.Thunk |
thunk | Data.Comp.Thunk |
toCxt | |
1 (Function) | Data.Comp.Multi.Term, Data.Comp.Multi |
2 (Function) | Data.Comp.Term, Data.Comp |
transform | |
1 (Function) | Data.Comp.Multi.Generic, Data.Comp.Multi |
2 (Function) | Data.Comp.Generic, Data.Comp |
transform' | Data.Comp.Generic, Data.Comp |
transformM | |
1 (Function) | Data.Comp.Multi.Generic, Data.Comp.Multi |
2 (Function) | Data.Comp.Generic, Data.Comp |
Traversable | Data.Comp.Number, Data.Comp.Derive |
TRS | Data.Comp.TermRewriting |
tupleTypes | Data.Comp.Derive.Utils |
tyVarBndrName | Data.Comp.Derive.Utils |
unA | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
unE | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
unI | Data.Comp.Multi.HFunctor, Data.Comp.Multi, Data.Comp.MacroAutomata |
UnifError | |
1 (Type/Class) | Data.Comp.Unification |
2 (Data Constructor) | Data.Comp.Unification |
unify | Data.Comp.Unification |
UnifyM | Data.Comp.Unification |
UnifyState | |
1 (Type/Class) | Data.Comp.Unification |
2 (Data Constructor) | Data.Comp.Unification |
unifyStep | Data.Comp.Unification |
unK | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
unNumbered | |
1 (Function) | Data.Comp.Number |
2 (Function) | Data.Comp.Multi.Number |
unTerm | |
1 (Function) | Data.Comp.Multi.Term, Data.Comp.Multi |
2 (Function) | Data.Comp.Term, Data.Comp |
UpState | Data.Comp.Automata |
upState | Data.Comp.Automata |
UpTrans | Data.Comp.Automata |
upTrans | Data.Comp.Automata |
UpTrans' | Data.Comp.Automata |
usEqs | Data.Comp.Unification |
usSubst | Data.Comp.Unification |
Var | |
1 (Type/Class) | Data.Comp.TermRewriting |
2 (Data Constructor) | Data.Comp.Decompose |
variableList | |
1 (Function) | Data.Comp.Multi.Variables |
2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
variables | |
1 (Function) | Data.Comp.Multi.Variables |
2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
variables' | |
1 (Function) | Data.Comp.Multi.Variables |
2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
varsToHoles | |
1 (Function) | Data.Comp.Multi.Variables |
2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
whnf | Data.Comp.Thunk |
whnf' | Data.Comp.Thunk |
whnfPr | Data.Comp.Thunk |
withNextEq | Data.Comp.Unification |
writeHtmlTerm | Data.Comp.Render |
|*| | Data.Comp.Automata |
|-> | Data.Comp.Automata |