Contents
Index
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
addIdentity
GTA.Core
aggregateBy
GTA.Core
algebra
GTA.Core
assigns
1 (Function)
GTA.Data.JoinList
2 (Function)
GTA.Data.ConsList
assignsBy
1 (Function)
GTA.Data.JoinList
2 (Function)
GTA.Data.ConsList
assignsByP
GTA.Data.JoinList
assignsP
GTA.Data.JoinList
assignTrans
GTA.Data.BinTree
assignTrees
GTA.Data.BinTree
Bag
1 (Type/Class)
GTA.Core
2 (Data Constructor)
GTA.Core
bag
GTA.Core
bagOfNil
1 (Function)
GTA.Data.JoinList
2 (Function)
GTA.Data.ConsList
bagOfSingleton
GTA.Data.JoinList
bagUnion
1 (Function)
GTA.Data.JoinList
2 (Function)
GTA.Data.ConsList
BinLeaf
GTA.Data.BinTree
binLeaf
GTA.Data.BinTree
binLeafF
GTA.Data.BinTree
BinNode
GTA.Data.BinTree
binNode
GTA.Data.BinTree
binNodeF
GTA.Data.BinTree
BinTree
GTA.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
BinTreeSemiring
GTA.Data.BinTree
CommutativeMonoid
1 (Type/Class)
GTA.Core
2 (Data Constructor)
GTA.Core
Cons
GTA.Data.ConsList
cons
GTA.Data.ConsList
consF
GTA.Data.ConsList
consize
GTA.Data.ConsList
ConsList
GTA.Data.ConsList
ConsListAlgebra
1 (Type/Class)
GTA.Data.ConsList
2 (Data Constructor)
GTA.Data.ConsList
ConsListMapFs
GTA.Data.ConsList
ConsSemiring
GTA.Data.ConsList
count
1 (Function)
GTA.Data.BinTree
2 (Function)
GTA.Data.JoinList
3 (Function)
GTA.Data.ConsList
crossConcat
GTA.Data.JoinList
crossCons
GTA.Data.ConsList
deconsize
GTA.Data.ConsList
dejoinize
GTA.Data.JoinList
emptyBag
1 (Function)
GTA.Data.JoinList
2 (Function)
GTA.Data.ConsList
filterBy
GTA.Core
foldingAlgebra
GTA.Core
foldr'
GTA.Data.ConsList
freeAlgebra
GTA.Core
freeSemiring
GTA.Core
genAlgebraDecl
GTA.Util.GenericSemiringStructureTemplate
genAllDecl
GTA.Util.GenericSemiringStructureTemplate
GenericSemiring
1 (Type/Class)
GTA.Core
2 (Data Constructor)
GTA.Core
GenericSemiringStructure
GTA.Core
genInstanceDecl
GTA.Util.GenericSemiringStructureTemplate
genMapFunctionsDecl
GTA.Util.GenericSemiringStructureTemplate
hom
GTA.Core
homJ
GTA.Data.JoinList
homJ'
GTA.Data.JoinList
Identity
GTA.Core
identity
GTA.Core
inits
1 (Function)
GTA.Data.JoinList
2 (Function)
GTA.Data.ConsList
initsP
GTA.Data.JoinList
items
GTA.Core
joinize
GTA.Data.JoinList
JoinList
GTA.Data.JoinList
JoinListAlgebra
1 (Type/Class)
GTA.Data.JoinList
2 (Data Constructor)
GTA.Data.JoinList
JoinListMapFs
GTA.Data.JoinList
LeafLV
GTA.Data.BinTree
leafLV
GTA.Data.BinTree
leafLVF
GTA.Data.BinTree
liftedSemiring
GTA.Core
LVTree
GTA.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
lvtrees
GTA.Data.BinTree
LVTreeSemiring
GTA.Data.BinTree
makeAlgebra
GTA.Core
mapC
GTA.Data.ConsList
mapJ
GTA.Data.JoinList
mapMap
1 (Function)
GTA.Data.JoinList
2 (Function)
GTA.Data.ConsList
maxMonoSumBy
GTA.Core
maxMonoSumKBy
GTA.Core
maxMonoSumsolutionXBy
GTA.Core
maxMonoSumsolutionXKBy
GTA.Core
maxprodBy
GTA.Core
maxprodKBy
GTA.Core
maxprodKWith
1 (Function)
GTA.Data.JoinList
2 (Function)
GTA.Data.ConsList
maxprodsolutionBy
GTA.Core
maxprodsolutionKBy
GTA.Core
maxprodsolutionKWith
1 (Function)
GTA.Data.JoinList
2 (Function)
GTA.Data.ConsList
maxprodsolutionWith
1 (Function)
GTA.Data.JoinList
2 (Function)
GTA.Data.ConsList
maxprodsolutionXBy
GTA.Core
maxprodsolutionXKBy
GTA.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
maxsumBy
GTA.Core
maxsumKBy
GTA.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
maxsumsolutionBy
GTA.Core
maxsumsolutionKBy
GTA.Core
maxsumsolutionKWith
1 (Function)
GTA.Data.JoinList
2 (Function)
GTA.Data.ConsList
maxsumsolutionWith
1 (Function)
GTA.Data.JoinList
2 (Function)
GTA.Data.ConsList
maxsumsolutionXBy
GTA.Core
maxsumsolutionXKBy
GTA.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
monoid
GTA.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
NodeLV
GTA.Data.BinTree
nodeLV
GTA.Data.BinTree
oplus
GTA.Core
pairAlgebra
GTA.Core
pairSemiring
GTA.Core
paths
1 (Function)
GTA.Data.JoinList
2 (Function)
GTA.Data.ConsList
perms
1 (Function)
GTA.Data.JoinList
2 (Function)
GTA.Data.ConsList
permsP
GTA.Data.JoinList
prop_Associativity
GTA.Data.JoinList
prop_Identity
GTA.Data.JoinList
result
GTA.Core
RevOrd
1 (Type/Class)
GTA.Core
2 (Data Constructor)
GTA.Core
revOrd
GTA.Core
segs
1 (Function)
GTA.Data.JoinList
2 (Function)
GTA.Data.ConsList
segsP
GTA.Data.JoinList
selects
GTA.Data.BinTree
Semiring
GTA.Data.JoinList
shom
GTA.Core
simpleName
GTA.Util.TypeInfo
Single
GTA.Data.JoinList
single
GTA.Data.JoinList
singleF
GTA.Data.JoinList
subs
1 (Function)
GTA.Data.JoinList
2 (Function)
GTA.Data.ConsList
subsP
GTA.Data.JoinList
subtreeSelects
GTA.Data.BinTree
subtreeSelectsWithRoot
GTA.Data.BinTree
sumproductBy
GTA.Core
tails
1 (Function)
GTA.Data.JoinList
2 (Function)
GTA.Data.ConsList
tailsP
GTA.Data.JoinList
Times
GTA.Data.JoinList
times
GTA.Data.JoinList
transformBy
GTA.Core
TypeInfo
GTA.Util.TypeInfo
typeInfo
GTA.Util.TypeInfo