discokitty-0.1.0: DisCoCat implementation.

Index

?Discokitty.Examples.LesJustesMain
@@@Discokitty
agreeOnDiscokitty
agreesDiscokitty.Models.Rel
AliceDiscokitty.Examples.AliceAndBob
aliceDiscokitty.Examples.AliceAndBob
AliveDiscokitty.Examples.LesJustesUniverse
aliveDiscokitty.Examples.LesJustesMain
and'Discokitty.Examples.LesJustesMain
and''Discokitty.Examples.LesJustesMain
areDiscokitty.Examples.LesJustesVector
attacksDiscokitty.Examples.LesJustesMain
attacks'Discokitty.Examples.LesJustesMain
basisDiscokitty.Examples.LesJustesVector
becomesDiscokitty.Examples.LesJustesMain
becomes'Discokitty.Examples.LesJustesMain
BobDiscokitty.Examples.AliceAndBob
bobDiscokitty.Examples.AliceAndBob
BombDiscokitty.Examples.LesJustesUniverse
bombDiscokitty.Examples.LesJustesMain
bomb'Discokitty.Examples.LesJustesMain
BorisDiscokitty.Examples.LesJustesUniverse
ChemistryDiscokitty.Examples.LesJustesUniverse
chemistryDiscokitty.Examples.LesJustesMain
cnstDiscokitty.Examples.LesJustesMain
combat 
1 (Function)Discokitty.Examples.LesJustesVector
2 (Function)Discokitty.Examples.LesJustesMain
combat'Discokitty.Examples.LesJustesVector
concatenateDiscokitty
cunitDiscokitty
cupDiscokitty
DimDiscokitty
dimDiscokitty, Discokitty.Examples.LesJustesUniverse
discarding'Discokitty.Examples.LesJustesMain
DoraDiscokitty.Examples.LesJustesUniverse
doraDiscokitty.Examples.LesJustesVector
dora'Discokitty.Examples.LesJustesVector
DukeDiscokitty.Examples.LesJustesUniverse
dukeDiscokitty.Examples.LesJustesMain
duke'Discokitty.Examples.LesJustesMain
emptyWordDiscokitty
enjoy 
1 (Function)Discokitty.Examples.LesJustesVector
2 (Function)Discokitty.Examples.LesJustesMain
exampleDiscokitty.Examples.AliceAndBob
example10Discokitty.Examples.LesJustesMain
example11Discokitty.Examples.LesJustesMain
example2Discokitty.Examples.LesJustesMain
example3Discokitty.Examples.LesJustesMain
example4aDiscokitty.Examples.LesJustesMain
example5aDiscokitty.Examples.LesJustesMain
example5bDiscokitty.Examples.LesJustesMain
example6Discokitty.Examples.LesJustesMain
example7Discokitty.Examples.LesJustesMain
example8Discokitty.Examples.LesJustesMain
example9Discokitty.Examples.LesJustesMain
exampleDiagramDiscokitty.Examples.AliceAndBob
fromList 
1 (Function)Discokitty.Models.Vectorspaces
2 (Function)Discokitty.Models.Rel
fromMapDiscokitty.Models.Vectorspaces
grammarDiscokitty
HasCupsDiscokitty
heDiscokitty.Examples.LesJustesMain
InnocentDiscokitty.Examples.LesJustesUniverse
innocent 
1 (Function)Discokitty.Examples.LesJustesVector
2 (Function)Discokitty.Examples.LesJustesMain
isDiscokitty.Examples.LesJustesVector
is' 
1 (Function)Discokitty.Examples.LesJustesVector
2 (Function)Discokitty.Examples.LesJustesMain
IsFalse 
1 (Data Constructor)Discokitty.Examples.LesJustesUniverse
2 (Data Constructor)Discokitty.Examples.AliceAndBob
IsPlotDiscokitty.Examples.LesJustesUniverse
IsRighteousDiscokitty.Examples.LesJustesUniverse
IsTrue 
1 (Data Constructor)Discokitty.Examples.LesJustesUniverse
2 (Data Constructor)Discokitty.Examples.AliceAndBob
IsWrongDiscokitty.Examples.LesJustesUniverse
is_Discokitty.Examples.LesJustesMain
killsDiscokitty.Examples.LesJustesMain
kills'''Discokitty.Examples.LesJustesMain
LDiscokitty
LambekDiscokitty
LifeDiscokitty.Examples.LesJustesUniverse
life 
1 (Function)Discokitty.Examples.LesJustesVector
2 (Function)Discokitty.Examples.LesJustesMain
likesDiscokitty.Examples.LesJustesVector
likes'Discokitty.Examples.LesJustesVector
lnotDiscokitty.Examples.LesJustesMain
lovesDiscokitty.Examples.AliceAndBob
meaningDiscokitty
multDiscokitty.Models.Vectorspaces
NDiscokitty
NephewDiscokitty.Examples.LesJustesUniverse
nephewDiscokitty.Examples.LesJustesMain
nephew'Discokitty.Examples.LesJustesMain
people 
1 (Function)Discokitty.Examples.LesJustesVector
2 (Function)Discokitty.Examples.LesJustesMain
people'Discokitty.Examples.LesJustesVector
plusDiscokitty.Models.Vectorspaces
PoetDiscokitty.Examples.LesJustesUniverse
PoetryDiscokitty.Examples.LesJustesUniverse
poetry 
1 (Function)Discokitty.Examples.LesJustesVector
2 (Function)Discokitty.Examples.LesJustesMain
PropagandaDiscokitty.Examples.LesJustesUniverse
propaganda 
1 (Function)Discokitty.Examples.LesJustesVector
2 (Function)Discokitty.Examples.LesJustesMain
RDiscokitty
RelDiscokitty.Models.Rel
relationDiscokitty.Models.Rel
relCupDiscokitty.Models.Rel
RelUDiscokitty.Examples.LesJustesMain
revolutionaries 
1 (Function)Discokitty.Examples.LesJustesVector
2 (Function)Discokitty.Examples.LesJustesMain
RevolutionaryDiscokitty.Examples.LesJustesUniverse
revolutionary 
1 (Function)Discokitty.Examples.LesJustesVector
2 (Function)Discokitty.Examples.LesJustesMain
rnotDiscokitty.Examples.LesJustesMain
SDiscokitty
SaviourDiscokitty.Examples.LesJustesUniverse
saviourDiscokitty.Examples.LesJustesMain
SemiringDiscokitty.Models.Vectorspaces
sentenceDiscokitty
SkouratovDiscokitty.Examples.LesJustesUniverse
sparseDiscokitty.Models.Vectorspaces
StepanDiscokitty.Examples.LesJustesUniverse
TermDiscokitty.Examples.AliceAndBob
TerroristDiscokitty.Examples.LesJustesUniverse
terrorist 
1 (Function)Discokitty.Examples.LesJustesVector
2 (Function)Discokitty.Examples.LesJustesMain
textDiscokitty
thatDiscokitty.Examples.LesJustesVector
tikzDiagramsDiscokitty.Models.Diagrams
toListDiscokitty.Models.Rel
toMapDiscokitty.Models.Vectorspaces
Tropical 
1 (Type/Class)Discokitty.Examples.LesJustesVector
2 (Data Constructor)Discokitty.Examples.LesJustesVector
TsaristDiscokitty.Examples.LesJustesUniverse
tsarist 
1 (Function)Discokitty.Examples.LesJustesVector
2 (Function)Discokitty.Examples.LesJustesMain
tsarists 
1 (Function)Discokitty.Examples.LesJustesVector
2 (Function)Discokitty.Examples.LesJustesMain
TypeDiscokitty
unitDiscokitty.Models.Vectorspaces
Universe 
1 (Type/Class)Discokitty.Examples.LesJustesUniverse
2 (Data Constructor)Discokitty.Examples.LesJustesUniverse
3 (Type/Class)Discokitty.Examples.AliceAndBob
universeDiscokitty.Examples.LesJustesUniverse
UniverseNDiscokitty.Examples.LesJustesUniverse
usingDiscokitty.Examples.LesJustesMain
using'Discokitty.Examples.LesJustesMain
vDiscokitty.Examples.LesJustesViterbi
VectorDiscokitty.Models.Vectorspaces
VectorspaceDiscokitty.Models.Vectorspaces
Viterbi 
1 (Type/Class)Discokitty.Examples.LesJustesViterbi
2 (Data Constructor)Discokitty.Examples.LesJustesViterbi
who 
1 (Function)Discokitty.Examples.LesJustesVector
2 (Function)Discokitty.Examples.LesJustesMain
withDiscokitty.Examples.LesJustesMain
Words 
1 (Type/Class)Discokitty
2 (Data Constructor)Discokitty
YanekDiscokitty.Examples.LesJustesUniverse
yanek 
1 (Function)Discokitty.Examples.LesJustesVector
2 (Function)Discokitty.Examples.LesJustesMain
yanek' 
1 (Function)Discokitty.Examples.LesJustesVector
2 (Function)Discokitty.Examples.LesJustesMain
zeroDiscokitty.Models.Vectorspaces