#> | Data.Comp.Thunk |
#>> | Data.Comp.Thunk |
& | |
1 (Function) | Data.Comp.Mapping, Data.Comp.Variables, Data.Comp.Matching |
2 (Function) | Data.Comp.Multi.Mapping, Data.Comp.Multi.Variables |
:&: | |
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.Multi.Ops, Data.Comp.Multi.Projection, Data.Comp.Annotation, Data.Comp |
2 (Data Constructor) | Data.Comp.Ops, Data.Comp.Multi.Ops, Data.Comp.Multi.Projection, Data.Comp.Annotation, Data.Comp |
:+: | |
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 |
:< | |
1 (Type/Class) | Data.Comp.Projection |
2 (Type/Class) | Data.Comp.Multi.Projection |
:<: | |
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 |
:=: | |
1 (Type/Class) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
2 (Type/Class) | Data.Comp.Multi.Ops |
:=> | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
A | |
1 (Type/Class) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
2 (Data Constructor) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
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 |
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 |
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 |
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 |
compHom | |
1 (Function) | Data.Comp.Multi.Algebra, Data.Comp.Multi |
2 (Function) | Data.Comp.Algebra, Data.Comp |
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 |
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 |
compSubst | |
1 (Function) | Data.Comp.Multi.Variables |
2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
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 |
DataInfo | |
1 (Type/Class) | Data.Comp.Derive.Utils |
2 (Data Constructor) | Data.Comp.Derive.Utils |
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 |
deepInject_ | Data.Comp.Sum, Data.Comp |
deepProject | |
1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
2 (Function) | Data.Comp.Sum, Data.Comp |
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 |
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 |
drawTerm | Data.Comp.Render |
E | |
1 (Type/Class) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
2 (Data Constructor) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
Elem | |
1 (Type/Class) | Data.Comp.Ops |
2 (Type/Class) | Data.Comp.Multi.Ops |
empty | |
1 (Function) | Data.Comp.Mapping, Data.Comp.Variables, Data.Comp.Matching |
2 (Function) | Data.Comp.Multi.Mapping, Data.Comp.Multi.Variables |
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.Derive, Data.Comp.Multi |
eqHF | Data.Comp.Multi.Equality, Data.Comp.Multi.Derive, Data.Comp.Multi |
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, Data.Comp.Multi.Ops, Data.Comp.Multi.Projection |
findSig | Data.Comp.Derive.Utils |
findWithDefault | |
1 (Function) | Data.Comp.Mapping |
2 (Function) | Data.Comp.Multi.Mapping |
Foldable | Data.Comp.Derive |
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 |
fsnd | Data.Comp.Ops, Data.Comp.Multi.Ops, Data.Comp.Multi.Projection |
Fun | Data.Comp.Decompose |
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 |
getBinaryFArg | Data.Comp.Derive.Utils |
getBoundVars | |
1 (Function) | Data.Comp.Multi.Variables |
2 (Function) | Data.Comp.Variables, Data.Comp.Matching |
getSubterm | Data.Comp.Generic, Data.Comp |
getUnaryFArg | Data.Comp.Derive.Utils |
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 |
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.Derive, Data.Comp.Multi |
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.Mapping, Data.Comp.Multi.Derive |
htraverse | Data.Comp.Multi.HTraversable |
I | |
1 (Type/Class) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
2 (Data Constructor) | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
inj | |
1 (Function) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
2 (Function) | Data.Comp.Multi.Ops, Data.Comp.Multi.Sum, Data.Comp.Multi |
inj' | |
1 (Function) | Data.Comp.Ops |
2 (Function) | Data.Comp.Multi.Ops |
inject | |
1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
2 (Function) | Data.Comp.Sum, Data.Comp |
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 |
injectCxt | |
1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
2 (Function) | Data.Comp.Sum, Data.Comp |
inject_ | Data.Comp.Sum, Data.Comp |
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 |
isEqualP | Data.Comp.Derive.Utils |
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.Derive, Data.Comp.Multi |
keq | Data.Comp.Multi.Equality, Data.Comp.Multi.Derive, Data.Comp.Multi |
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 |
lookupNumMap | |
1 (Function) | Data.Comp.Mapping |
2 (Function) | Data.Comp.Multi.Mapping |
lookupNumMap' | Data.Comp.Mapping |
makeArbitraryF | Data.Comp.Derive |
makeEqF | Data.Comp.Derive |
makeEqHF | Data.Comp.Multi.Derive |
makeFoldable | Data.Comp.Derive |
makeHaskellStrict | Data.Comp.Derive |
makeHFoldable | Data.Comp.Multi.Derive |
makeHFunctor | Data.Comp.Multi.Derive |
makeHTraversable | Data.Comp.Multi.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 |
Mapping | |
1 (Type/Class) | Data.Comp.Mapping |
2 (Type/Class) | Data.Comp.Multi.Mapping |
matchCxt | Data.Comp.Matching |
matchRule | Data.Comp.TermRewriting |
matchRules | Data.Comp.TermRewriting |
matchTerm | Data.Comp.Matching |
mkClassP | Data.Comp.Derive.Utils |
mkInstanceD | Data.Comp.Derive.Utils |
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 |
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 |
number | |
1 (Function) | Data.Comp.Mapping |
2 (Function) | Data.Comp.Multi.Mapping |
Numbered | |
1 (Type/Class) | Data.Comp.Mapping |
2 (Data Constructor) | Data.Comp.Mapping |
3 (Type/Class) | Data.Comp.Multi.Mapping |
4 (Data Constructor) | Data.Comp.Multi.Mapping |
NumMap | Data.Comp.Mapping |
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 |
pr | |
1 (Function) | Data.Comp.Projection |
2 (Function) | Data.Comp.Multi.Projection |
prj' | |
1 (Function) | Data.Comp.Ops |
2 (Function) | Data.Comp.Multi.Ops |
prodMap | |
1 (Function) | Data.Comp.Mapping |
2 (Function) | Data.Comp.Multi.Mapping |
prodMapWith | Data.Comp.Mapping |
proj | |
1 (Function) | Data.Comp.Ops, Data.Comp.Sum, Data.Comp |
2 (Function) | Data.Comp.Multi.Ops, 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 |
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 |
propAnn | |
1 (Function) | Data.Comp.Multi.Annotation, Data.Comp.Multi |
2 (Function) | Data.Comp.Annotation, Data.Comp |
propAnnM | Data.Comp.Annotation, Data.Comp |
PTerm | Data.Comp.Term, Data.Comp |
putBinding | Data.Comp.Unification |
putEqs | Data.Comp.Unification |
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 |
rnf | Data.Comp.Derive |
rnfF | Data.Comp.Derive, Data.Comp.DeepSeq |
RPS | Data.Comp.TermRewriting |
Rule | Data.Comp.TermRewriting |
runE | Data.Comp.Multi.HFunctor, Data.Comp.Multi |
runUnify | Data.Comp.Unification |
runUnifyM | Data.Comp.Unification |
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 |
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 |
spl | |
1 (Function) | Data.Comp.Ops |
2 (Function) | Data.Comp.Multi.Ops |
split | |
1 (Function) | Data.Comp.Multi.Sum, Data.Comp.Multi |
2 (Function) | 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 |
Subsume | |
1 (Type/Class) | Data.Comp.Ops |
2 (Type/Class) | Data.Comp.Multi.Ops |
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 |
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.Mapping, 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 |
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.Mapping |
2 (Function) | Data.Comp.Multi.Mapping |
unTerm | |
1 (Function) | Data.Comp.Multi.Term, Data.Comp.Multi |
2 (Function) | Data.Comp.Term, Data.Comp |
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 |
|-> | |
1 (Function) | Data.Comp.Mapping, Data.Comp.Variables, Data.Comp.Matching |
2 (Function) | Data.Comp.Multi.Mapping, Data.Comp.Multi.Variables |