GTALib-0.0.6: A library for GTA programming

Index

<.>GTA.Core
>##GTA.Core
>#>GTA.Core
>=<GTA.Core
>==GTA.Core
>=>GTA.Core
AddIdentity 
1 (Type/Class)GTA.Core
2 (Data Constructor)GTA.Core
addIdentityGTA.Core
aggregateByGTA.Core
algebraGTA.Core
assigns 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
assignsBy 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
assignsByPGTA.Data.JoinList
assignsPGTA.Data.JoinList
assignTransGTA.Data.BinTree
assignTreesGTA.Data.BinTree
Bag 
1 (Type/Class)GTA.Core
2 (Data Constructor)GTA.Core
bagGTA.Core
bagOfNil 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
bagOfSingletonGTA.Data.JoinList
bagUnion 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
BinLeafGTA.Data.BinTree
binLeafGTA.Data.BinTree
binLeafFGTA.Data.BinTree
BinNodeGTA.Data.BinTree
binNodeGTA.Data.BinTree
binNodeFGTA.Data.BinTree
BinTreeGTA.Data.BinTree
BinTreeAlgebra 
1 (Type/Class)GTA.Data.BinTree
2 (Data Constructor)GTA.Data.BinTree
BinTreeMapFs 
1 (Type/Class)GTA.Data.BinTree
2 (Data Constructor)GTA.Data.BinTree
BinTreeSemiringGTA.Data.BinTree
CommutativeMonoid 
1 (Type/Class)GTA.Core
2 (Data Constructor)GTA.Core
ConsGTA.Data.ConsList
consGTA.Data.ConsList
consFGTA.Data.ConsList
consizeGTA.Data.ConsList
ConsListGTA.Data.ConsList
ConsListAlgebra 
1 (Type/Class)GTA.Data.ConsList
2 (Data Constructor)GTA.Data.ConsList
ConsListMapFsGTA.Data.ConsList
ConsSemiringGTA.Data.ConsList
count 
1 (Function)GTA.Data.BinTree
2 (Function)GTA.Data.JoinList
3 (Function)GTA.Data.ConsList
crossConcatGTA.Data.JoinList
crossConsGTA.Data.ConsList
deconsizeGTA.Data.ConsList
dejoinizeGTA.Data.JoinList
emptyBag 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
filterByGTA.Core
foldingAlgebraGTA.Core
foldr'GTA.Data.ConsList
freeAlgebraGTA.Core
freeSemiringGTA.Core
genAlgebraDeclGTA.Util.GenericSemiringStructureTemplate
genAllDeclGTA.Util.GenericSemiringStructureTemplate
GenericSemiring 
1 (Type/Class)GTA.Core
2 (Data Constructor)GTA.Core
GenericSemiringStructureGTA.Core
genInstanceDeclGTA.Util.GenericSemiringStructureTemplate
genMapFunctionsDeclGTA.Util.GenericSemiringStructureTemplate
homGTA.Core
homJGTA.Data.JoinList
homJ'GTA.Data.JoinList
IdentityGTA.Core
identityGTA.Core
inits 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
initsPGTA.Data.JoinList
itemsGTA.Core
joinizeGTA.Data.JoinList
JoinListGTA.Data.JoinList
JoinListAlgebra 
1 (Type/Class)GTA.Data.JoinList
2 (Data Constructor)GTA.Data.JoinList
JoinListMapFsGTA.Data.JoinList
LeafLVGTA.Data.BinTree
leafLVGTA.Data.BinTree
leafLVFGTA.Data.BinTree
liftedSemiringGTA.Core
LVTreeGTA.Data.BinTree
LVTreeAlgebra 
1 (Type/Class)GTA.Data.BinTree
2 (Data Constructor)GTA.Data.BinTree
LVTreeMapFs 
1 (Type/Class)GTA.Data.BinTree
2 (Data Constructor)GTA.Data.BinTree
lvtreesGTA.Data.BinTree
LVTreeSemiringGTA.Data.BinTree
makeAlgebraGTA.Core
mapCGTA.Data.ConsList
mapJGTA.Data.JoinList
mapMap 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
maxMonoSumByGTA.Core
maxMonoSumKByGTA.Core
maxMonoSumsolutionXByGTA.Core
maxMonoSumsolutionXKByGTA.Core
maxprodByGTA.Core
maxprodKByGTA.Core
maxprodKWith 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
maxprodsolutionByGTA.Core
maxprodsolutionKByGTA.Core
maxprodsolutionKWith 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
maxprodsolutionWith 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
maxprodsolutionXByGTA.Core
maxprodsolutionXKByGTA.Core
maxprodsolutionXKWith 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
maxprodsolutionXWith 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
maxprodWith 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
maxsum 
1 (Function)GTA.Data.BinTree
2 (Function)GTA.Data.JoinList
3 (Function)GTA.Data.ConsList
maxsumByGTA.Core
maxsumKByGTA.Core
maxsumKWith 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
maxsumsolution 
1 (Function)GTA.Data.BinTree
2 (Function)GTA.Data.JoinList
3 (Function)GTA.Data.ConsList
maxsumsolutionByGTA.Core
maxsumsolutionKByGTA.Core
maxsumsolutionKWith 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
maxsumsolutionWith 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
maxsumsolutionXByGTA.Core
maxsumsolutionXKByGTA.Core
maxsumsolutionXKWith 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
maxsumsolutionXWith 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
maxsumWith 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
monoidGTA.Core
Nil 
1 (Data Constructor)GTA.Data.JoinList
2 (Data Constructor)GTA.Data.ConsList
nil 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
NodeLVGTA.Data.BinTree
nodeLVGTA.Data.BinTree
oplusGTA.Core
pairAlgebraGTA.Core
pairSemiringGTA.Core
paths 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
perms 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
permsPGTA.Data.JoinList
prop_AssociativityGTA.Data.JoinList
prop_IdentityGTA.Data.JoinList
resultGTA.Core
RevOrd 
1 (Type/Class)GTA.Core
2 (Data Constructor)GTA.Core
revOrdGTA.Core
segs 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
segsPGTA.Data.JoinList
selectsGTA.Data.BinTree
SemiringGTA.Data.JoinList
shomGTA.Core
simpleNameGTA.Util.TypeInfo
SingleGTA.Data.JoinList
singleGTA.Data.JoinList
singleFGTA.Data.JoinList
subs 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
subsPGTA.Data.JoinList
subtreeSelectsGTA.Data.BinTree
subtreeSelectsWithRootGTA.Data.BinTree
sumproductByGTA.Core
tails 
1 (Function)GTA.Data.JoinList
2 (Function)GTA.Data.ConsList
tailsPGTA.Data.JoinList
TimesGTA.Data.JoinList
timesGTA.Data.JoinList
transformByGTA.Core
TypeInfoGTA.Util.TypeInfo
typeInfoGTA.Util.TypeInfo