A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
!
$
%
&
*
+
.
/
<
=
>
?
^
|
-
~
All

Index - C

C	OAlg.Data.Symbol
castFree	OAlg.Entity.Slice.Free, OAlg.Entity.Slice
Catch	OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude
Category	OAlg.Category.Definition, OAlg.Prelude
CategoryDisjunctive	OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom
CategoryDualisable	OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom
catMaybes	OAlg.Data.Maybe, OAlg.Prelude
Cayleyan	OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative
Cayleyan2	OAlg.Category.Definition, OAlg.Prelude
cf	OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix
cFromDual	OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom
Cfs	OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix
cfsssy	OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix
Chain	OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
Changed	OAlg.Data.Reducible
Char	OAlg.Data.Show, OAlg.Prelude
charSing	OAlg.Data.TypeLits
CharToNat	OAlg.Data.TypeLits
charVal	OAlg.Data.TypeLits
charVal'	OAlg.Data.TypeLits
chnFromStart	OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
chnToStart	OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram
clamp	OAlg.Data.Ord, OAlg.Prelude
Closure	OAlg.Data.Ord, OAlg.Prelude
cmap	OAlg.Data.Constructable
cmax	OAlg.Data.Ord, OAlg.Prelude
cmin	OAlg.Data.Ord, OAlg.Prelude
CmpChar	OAlg.Data.TypeLits
cmpChar	OAlg.Data.TypeLits
CmpNat	OAlg.Data.TypeLits
cmpNat	OAlg.Data.TypeLits
CmpSymbol	OAlg.Data.TypeLits
cmpSymbol	OAlg.Data.TypeLits
cmpW	OAlg.Entity.Natural
cnArrows	OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnCokernel	OAlg.Limes.Cone.ZeroHead
cnDiagramTypeRefl	OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnDiffHead	OAlg.Limes.Cone.ZeroHead
cnDstAdjZero	OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
Cnfg
1 (Type/Class)	OAlg.Control.Validate, OAlg.Prelude
2 (Data Constructor)	OAlg.Control.Validate, OAlg.Prelude
cnfLogDuration	OAlg.Control.Validate, OAlg.Prelude
cnfMaxDuration	OAlg.Control.Validate, OAlg.Prelude
cnfOmega	OAlg.Control.Validate, OAlg.Prelude
cnfSamples	OAlg.Control.Validate, OAlg.Prelude
cnfStatistics	OAlg.Control.Validate, OAlg.Prelude
cnfStcPathLength	OAlg.Control.Validate, OAlg.Prelude
cnfWide	OAlg.Control.Validate, OAlg.Prelude
cnInjDstOrnt	OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnInjOrnt	OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnKernel	OAlg.Limes.Cone.ZeroHead
cnLiftable	OAlg.Entity.Slice.Free, OAlg.Entity.Slice
cnlMapS	OAlg.Entity.Slice.Free, OAlg.Entity.Slice
cnMap	OAlg.Limes.Cone.Duality, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnMapCnt	OAlg.Limes.Cone.Duality, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnMapCov	OAlg.Limes.Cone.Duality, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnMapDst	OAlg.Limes.Cone.Duality, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnMapDstCnt	OAlg.Limes.Cone.Duality, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnMapDstCov	OAlg.Limes.Cone.Duality, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnMapMlt	OAlg.Limes.Cone.Duality, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnMapMltCnt	OAlg.Limes.Cone.Duality, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnMapMltCov	OAlg.Limes.Cone.Duality, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnMapS	OAlg.Limes.Cone.Duality, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnMltOrDst	OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnPoints	OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnPrjChainFrom	OAlg.Limes.Cone.FactorChain
cnPrjChainFromInv	OAlg.Limes.Cone.FactorChain
cnPrjChainTo	OAlg.Limes.Cone.FactorChain
cnPrjChainToInv	OAlg.Limes.Cone.FactorChain
cnPrjDstOrnt	OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnPrjOrnt	OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cnStruct	OAlg.Limes.Cone.Structure, OAlg.Limes.Cone
cnStructMlt	OAlg.Limes.Cone.Structure, OAlg.Limes.Cone
cnStructMltOrDst	OAlg.Limes.Cone.Structure, OAlg.Limes.Cone
cnStructO	OAlg.Limes.Cone.Structure, OAlg.Limes.Cone
cntTests	OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude
cntTestsRdcDndPrms	OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude
cntTestsRdcFailed	OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude
cntTestsRdcFalse	OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude
cntTestsRdcTrue	OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude
cnzArrows	OAlg.Limes.Exact.ConsecutiveZero
cnzDiagram	OAlg.Limes.Exact.ConsecutiveZero
cnZeroHead	OAlg.Limes.Cone.ZeroHead
cnzFreeMapCnt	OAlg.Limes.Exact.Free
cnzFreeMapCov	OAlg.Limes.Exact.Free
cnzFreeMapS	OAlg.Limes.Exact.Free
cnzHead	OAlg.Limes.Exact.ConsecutiveZero
cnzHomArrows	OAlg.Limes.Exact.ConsecutiveZero
cnzHomHead	OAlg.Limes.Exact.ConsecutiveZero
cnzHomMapCnt	OAlg.Limes.Exact.ConsecutiveZero
cnzHomMapCov	OAlg.Limes.Exact.ConsecutiveZero
cnzHomMapS	OAlg.Limes.Exact.ConsecutiveZero
cnzHomSite	OAlg.Limes.Exact.ConsecutiveZero
cnzHomTail	OAlg.Limes.Exact.ConsecutiveZero
cnzMapCnt	OAlg.Limes.Exact.ConsecutiveZero
cnzMapCov	OAlg.Limes.Exact.ConsecutiveZero
cnzMapS	OAlg.Limes.Exact.ConsecutiveZero
cnzPoints	OAlg.Limes.Exact.ConsecutiveZero
cnzSite	OAlg.Limes.Exact.ConsecutiveZero
cnzTail	OAlg.Limes.Exact.ConsecutiveZero
coAdjunctionOp	OAlg.Adjunction.Definition, OAlg.Adjunction
coCompare	OAlg.Data.Ord, OAlg.Prelude
codeW	OAlg.Entity.Natural
coEntries	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
coEntriesInv	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
Coequalizer	OAlg.Limes.EqualizersAndCoequalizers
CoequalizerCone	OAlg.Limes.EqualizersAndCoequalizers
CoequalizerConic	OAlg.Limes.EqualizersAndCoequalizers
CoequalizerDiagram	OAlg.Limes.EqualizersAndCoequalizers
CoequalizerDiagrammatic	OAlg.Limes.EqualizersAndCoequalizers
CoequalizerG	OAlg.Limes.EqualizersAndCoequalizers
Coequalizers	OAlg.Limes.EqualizersAndCoequalizers
coequalizers	OAlg.Limes.EqualizersAndCoequalizers
coequalizers'	OAlg.Limes.EqualizersAndCoequalizers
CoequalizersG	OAlg.Limes.EqualizersAndCoequalizers
coequalizersOrnt	OAlg.Limes.EqualizersAndCoequalizers
coInitialPoint	OAlg.Limes.TerminalAndInitialPoint
coInitialPointG	OAlg.Limes.TerminalAndInitialPoint
coInitials	OAlg.Limes.TerminalAndInitialPoint
coInitialsG	OAlg.Limes.TerminalAndInitialPoint
Cokernel	OAlg.Limes.KernelsAndCokernels
CokernelCone	OAlg.Limes.KernelsAndCokernels
CokernelConic	OAlg.Limes.KernelsAndCokernels
CokernelDiagram	OAlg.Limes.KernelsAndCokernels
cokernelDiagram	OAlg.Limes.KernelsAndCokernels
CokernelDiagrammatic	OAlg.Limes.KernelsAndCokernels
cokernelFactor	OAlg.Limes.KernelsAndCokernels
CokernelG	OAlg.Limes.KernelsAndCokernels
CokernelLiftableSomeFree	OAlg.Entity.Slice.Free, OAlg.Entity.Slice
Cokernels	OAlg.Limes.KernelsAndCokernels
cokernels	OAlg.Limes.KernelsAndCokernels
cokernels'	OAlg.Limes.KernelsAndCokernels
CokernelsG	OAlg.Limes.KernelsAndCokernels
coKernelsG	OAlg.Limes.KernelsAndCokernels
CokernelsLiftableSomeFree	OAlg.Entity.Slice.Free, OAlg.Entity.Slice
cokernelsOrnt	OAlg.Limes.KernelsAndCokernels
Col
1 (Type/Class)	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
2 (Data Constructor)	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
colAdd	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
colAppend	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
colElimZeros	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
colEmpty	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
colFilter	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
colHead	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
colInterlace	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
colIsEmpty	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
colMapShift	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
colMltr	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
cols	OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix
colScale	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
colShear	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
colSwap	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
colTail	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
ColTrafo
1 (Type/Class)	OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix
2 (Data Constructor)	OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix
colxs	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
coMinimaGFrom	OAlg.Limes.MinimaAndMaxima
coMinimaGTo	OAlg.Limes.MinimaAndMaxima
Commutative	OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative
compare	OAlg.Data.Ord, OAlg.Prelude
compare2	OAlg.Data.Ord, OAlg.Prelude
comparing	OAlg.Data.Ord, OAlg.Prelude
compose	OAlg.Category.Path
Cone	OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
cOne	OAlg.Category.Definition, OAlg.Prelude
cone	OAlg.Limes.Cone.Conic.Core, OAlg.Limes.Cone.Conic, OAlg.Limes.Cone
cOne'	OAlg.Category.Definition, OAlg.Prelude
ConeCokernel	OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
ConeCokernelLiftable	OAlg.Entity.Slice.Free, OAlg.Entity.Slice
coneDiagram	OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
ConeG
1 (Type/Class)	OAlg.Limes.Cone.Conic.Core, OAlg.Limes.Cone.Conic, OAlg.Limes.Cone
2 (Data Constructor)	OAlg.Limes.Cone.Conic.Core, OAlg.Limes.Cone.Conic, OAlg.Limes.Cone
ConeInjective	OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
ConeKernel	OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
ConeKernelLiftable	OAlg.Entity.Slice.Free, OAlg.Entity.Slice
ConeLiftable	OAlg.Entity.Slice.Free, OAlg.Entity.Slice
ConeProjective	OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
ConeStruct	OAlg.Limes.Cone.Structure, OAlg.Limes.Cone
coneStruct	OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone
ConeStructDst	OAlg.Limes.Cone.Structure, OAlg.Limes.Cone
ConeStructMlt	OAlg.Limes.Cone.Structure, OAlg.Limes.Cone
cOneSub	OAlg.Category.Definition, OAlg.Prelude
ConeZeroHead
1 (Type/Class)	OAlg.Limes.Cone.ZeroHead.Core, OAlg.Limes.Cone.ZeroHead
2 (Data Constructor)	OAlg.Limes.Cone.ZeroHead.Core, OAlg.Limes.Cone.ZeroHead
Conic	OAlg.Limes.Cone.Conic.Core, OAlg.Limes.Cone.Conic, OAlg.Limes.Cone
ConicFreeTip
1 (Type/Class)	OAlg.Entity.Slice.Free, OAlg.Entity.Slice
2 (Data Constructor)	OAlg.Entity.Slice.Free, OAlg.Entity.Slice
ConsecutiveZero
1 (Type/Class)	OAlg.Limes.Exact.ConsecutiveZero
2 (Data Constructor)	OAlg.Limes.Exact.ConsecutiveZero
ConsecutiveZeroFree
1 (Type/Class)	OAlg.Limes.Exact.Free
2 (Data Constructor)	OAlg.Limes.Exact.Free
ConsecutiveZeroHom
1 (Type/Class)	OAlg.Limes.Exact.ConsecutiveZero
2 (Data Constructor)	OAlg.Limes.Exact.ConsecutiveZero
ConsSymbol	OAlg.Data.TypeLits
const	OAlg.Category.Definition, OAlg.Prelude
Constructable	OAlg.Data.Constructable
ConstructableSequence	OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence
Contravariant	OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom
Contravariant2	OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom
coProducts	OAlg.Limes.ProductsAndSums
coProductsG	OAlg.Limes.ProductsAndSums
coQuiver	OAlg.Entity.Diagram.Quiver, OAlg.Entity.Diagram
coQuiverInv	OAlg.Entity.Diagram.Quiver, OAlg.Entity.Diagram
coTerminalPoint	OAlg.Limes.TerminalAndInitialPoint
coTerminalPointG	OAlg.Limes.TerminalAndInitialPoint
coTerminals	OAlg.Limes.TerminalAndInitialPoint
coTerminalsG	OAlg.Limes.TerminalAndInitialPoint
Covariant	OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom
Covariant2	OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom
coXEligibleConeFactorG	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
coXEligibleConeG	OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition
coXMlt	OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative
coXOrtOrientation	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
coXOrtSite	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
coXOrtSiteInv	OAlg.Structure.Oriented.X, OAlg.Structure.Oriented
crets	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
crHeadColAt	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
crHeadRowAt	OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix
crohS	OAlg.Limes.Cone.Conic.Core, OAlg.Limes.Cone.Conic, OAlg.Limes.Cone
crTrafoCols	OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix
crTrafoRows	OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix
CSequence	OAlg.Entity.Sequence.CSequence, OAlg.Entity.Sequence
cspan	OAlg.Data.Ord, OAlg.Prelude
cToDual	OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom
curry	OAlg.Category.Definition, OAlg.Prelude
curry3	OAlg.Category.Definition, OAlg.Prelude
Cycle
1 (Type/Class)	OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence
2 (Data Constructor)	OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence
czMapCnt	OAlg.Limes.Cone.ZeroHead.Duality, OAlg.Limes.Cone.ZeroHead
czMapCov	OAlg.Limes.Cone.ZeroHead.Duality, OAlg.Limes.Cone.ZeroHead
czMapS	OAlg.Limes.Cone.ZeroHead.Duality, OAlg.Limes.Cone.ZeroHead