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

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 - S

s	FiniteCategory.FiniteCategory
SafeCompositionGraph
1 (Type/Class)	CompositionGraph.SafeCompositionGraph
2 (Data Constructor)	CompositionGraph.SafeCompositionGraph
sample	Utils.Sample
SCG	IO.Parsers.SafeCompositionGraph
SCGMorphism
1 (Type/Class)	CompositionGraph.SafeCompositionGraph
2 (Data Constructor)	CompositionGraph.SafeCompositionGraph
secondCategory	ProductCategory.ProductCategory
secondMorphism	ProductCategory.ProductCategory
secondObject	ProductCategory.ProductCategory
sets	Set.FinOrdSet
showFunction	IO.Show
singleton	Set.FinSet
snd3	Utils.Tuple
source	FiniteCategory.FiniteCategory
sourceCat	FunctorCategory.FunctorCategory
Square
1 (Type/Class)	UsualCategories.Square
2 (Data Constructor)	UsualCategories.Square
SquareAr	UsualCategories.Square
SquareOb	UsualCategories.Square
src	Diagram.Diagram
srcCM	CommaCategory.CommaCategory
srcF	Cat.FinCat
srcNT	FunctorCategory.FunctorCategory
srcPF	Cat.PartialFinCat
strip	IO.Parsers.Lexer
stripDiagram	Subcategories.Subcategory
Subcategory
1 (Type/Class)	Subcategories.Subcategory
2 (Data Constructor)	Subcategories.Subcategory
switchArg	Currying.Currying