FiniteCategories-0.1.0.0: Finite categories and usual categorical constructions on them. (Index - G)

FiniteCategories-0.1.0.0: Finite categories and usual categorical constructions on them.

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
W
Y
Z
!
&
@
|
All

Index - G

G
1 (Data Constructor)	UsualCategories.V
2 (Data Constructor)	UsualCategories.Three
3 (Data Constructor)	UsualCategories.Square
4 (Data Constructor)	UsualCategories.Parallel
5 (Data Constructor)	UsualCategories.Hat
g	FiniteCategory.FiniteCategory
gen	CompositionGraph.CompositionGraph
genAr	FiniteCategory.FiniteCategory
genArFrom	FiniteCategory.FiniteCategory
genArFrom2	FiniteCategory.FiniteCategory
genArrows	FiniteCategory.FiniteCategory
genArTo	FiniteCategory.FiniteCategory
genArTo2	FiniteCategory.FiniteCategory
generalizeType	Set.FinSet
generalizeTypeSetCat	Set.FinSet
GeneratedFiniteCategory	FiniteCategory.FiniteCategory
generatedFiniteCategoryToCompositionGraph	CompositionGraph.CompositionGraph
generatedFiniteCategoryToSafeCompositionGraph	CompositionGraph.SafeCompositionGraph
GeneratorIsNotAMorphism	FiniteCategory.FiniteCategory
genToDot	ExportGraphViz.ExportGraphViz
genToPdf	ExportGraphViz.ExportGraphViz
getLabel	CompositionGraph.CompositionGraph
getLabelS	CompositionGraph.SafeCompositionGraph
GF	UsualCategories.Three
GI	UsualCategories.Square
Graph	CompositionGraph.CompositionGraph
graph	CompositionGraph.CompositionGraph
graphS	CompositionGraph.SafeCompositionGraph