Index
| ! | OAlg.Structure.Vectorial.Definition, OAlg.Structure.Vectorial |
| $ | OAlg.Data.Identity, OAlg.Prelude |
| % | OAlg.Data.Number, OAlg.Prelude |
| && | OAlg.Data.Logical, OAlg.Prelude |
| * | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Function) | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| 3 (Type/Class) | OAlg.Entity.Natural |
| ** | |
| 1 (Function) | OAlg.Entity.Natural |
| 2 (Function) | OAlg.Entity.FinList |
| *> | OAlg.Structure.Operational |
| + | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Function) | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| 3 (Type/Class) | OAlg.Entity.Natural |
| ++ | |
| 1 (Function) | OAlg.Entity.Natural |
| 2 (Function) | OAlg.Entity.FinList |
| - | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Function) | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| . | OAlg.Category.Definition, OAlg.Prelude |
| ./=. | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| .=. | OAlg.Data.EqualExtensional, OAlg.Prelude |
| .==. | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| / | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| // | OAlg.Data.Logical, OAlg.Prelude |
| /= | OAlg.Data.Equal, OAlg.Prelude |
| :! | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| :$$: | OAlg.Data.TypeLits |
| :&& | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| :* | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| :+ | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| :. | OAlg.Category.Path |
| :<=: | OAlg.Entity.Natural |
| :<=> | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| :<=>: | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| :<>: | OAlg.Data.TypeLits |
| := | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| :=> | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| :> | OAlg.Structure.Oriented.Orientation, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| :>: | OAlg.Category.Definition, OAlg.Prelude |
| :?> | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| :^ | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| :| | OAlg.Entity.FinList |
| :|| | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| < | OAlg.Data.Ord, OAlg.Prelude |
| <!> | OAlg.Structure.Vectorial.Definition, OAlg.Structure.Vectorial |
| <& | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| <* | OAlg.Structure.Operational |
| <++> | OAlg.Entity.FinList |
| <<= | OAlg.Structure.PartiallyOrdered.Definition, OAlg.Structure.PartiallyOrdered |
| <= | |
| 1 (Function) | OAlg.Data.Ord, OAlg.Prelude |
| 2 (Type/Class) | OAlg.Data.TypeLits |
| <==> | OAlg.Data.Singular |
| <=? | OAlg.Data.TypeLits |
| <~> | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| == | OAlg.Data.Equal, OAlg.Prelude |
| > | OAlg.Data.Ord, OAlg.Prelude |
| >- | OAlg.Data.Number, OAlg.Prelude |
| >= | OAlg.Data.Ord, OAlg.Prelude |
| >>>= | OAlg.Data.Reducible |
| ? | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| ?? | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| A | OAlg.Data.Symbol |
| Abelian | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| Abl | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| abs | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Action | |
| 1 (Type/Class) | OAlg.Control.Action |
| 2 (Data Constructor) | OAlg.Control.Action |
| Acyclic | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Adbl2 | |
| 1 (Type/Class) | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| 2 (Data Constructor) | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| Adbl3 | |
| 1 (Type/Class) | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| 2 (Data Constructor) | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| Add | |
| 1 (Type/Class) | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| 2 (Data Constructor) | OAlg.Entity.Natural |
| Additive | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| adjHomDisj | OAlg.Adjunction.Definition, OAlg.Adjunction |
| adjHomDst | OAlg.Adjunction.Definition, OAlg.Adjunction |
| adjHomMlt | OAlg.Adjunction.Definition, OAlg.Adjunction |
| adjl | OAlg.Adjunction.Definition, OAlg.Adjunction |
| adjMapCnt | OAlg.Adjunction.Definition, OAlg.Adjunction |
| adjr | OAlg.Adjunction.Definition, OAlg.Adjunction |
| Adjunction | |
| 1 (Type/Class) | OAlg.Adjunction.Definition, OAlg.Adjunction |
| 2 (Data Constructor) | OAlg.Adjunction.Definition, OAlg.Adjunction |
| Alg | OAlg.Structure.Algebraic.Definition, OAlg.Structure.Algebraic |
| Algebraic | OAlg.Structure.Algebraic.Definition, OAlg.Structure.Algebraic |
| AlgebraicException | |
| 1 (Type/Class) | OAlg.Control.Exception, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Control.Exception, OAlg.Prelude |
| AlgebraicField | OAlg.Structure.Algebraic.Definition, OAlg.Structure.Algebraic |
| AlgebraicRing | OAlg.Structure.Algebraic.Definition, OAlg.Structure.Algebraic |
| AlgebraicSemiring | OAlg.Structure.Algebraic.Definition, OAlg.Structure.Algebraic |
| amap | OAlg.Data.Identity, OAlg.Prelude |
| amap1 | OAlg.Category.Applicative, OAlg.Category.Definition, OAlg.Prelude |
| amapF | OAlg.Category.Definition, OAlg.Prelude |
| amapf | OAlg.Data.Identity, OAlg.Prelude |
| amapG | OAlg.Category.Applicative, OAlg.Category.Definition, OAlg.Prelude |
| amapG' | OAlg.Category.Applicative, OAlg.Prelude |
| amapRt | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| amapVariant2 | OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| And | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| and | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| Any | OAlg.Entity.Natural |
| AppendSymbol | OAlg.Data.TypeLits |
| ApplicationG | |
| 1 (Type/Class) | OAlg.Category.Applicative, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Applicative, OAlg.Prelude |
| Applicative | OAlg.Data.Identity, OAlg.Prelude |
| Applicative1 | OAlg.Category.Applicative, OAlg.Category.Definition, OAlg.Prelude |
| ApplicativeG | OAlg.Category.Applicative, OAlg.Category.Definition, OAlg.Prelude |
| ApplicativeGBi | OAlg.Category.Applicative, OAlg.Prelude |
| ApplicativeGDual1 | OAlg.Category.Applicative, OAlg.Prelude |
| ApplicativeMorCo | OAlg.Data.HomCo |
| ApplicativePoint | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| ApplicativeRoot | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| apType | OAlg.Category.Applicative, OAlg.Prelude |
| ArithmeticException | OAlg.Structure.Exception |
| aspCnstr | OAlg.Data.X, OAlg.Prelude |
| asProxyTypeOf | OAlg.Data.Proxy |
| Ats | |
| 1 (Type/Class) | OAlg.Entity.Natural |
| 2 (Data Constructor) | OAlg.Entity.Natural |
| ats | OAlg.Entity.Natural |
| atsSucc | OAlg.Entity.Natural |
| attest | OAlg.Entity.Natural |
| Attestable | OAlg.Entity.Natural |
| B | OAlg.Data.Symbol |
| Behavior | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| Bol | OAlg.Structure.Definition, OAlg.Prelude |
| Bool | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| Boolean | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| Bounded | OAlg.Prelude |
| 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 |
| D | OAlg.Data.Symbol |
| decideChar | OAlg.Data.TypeLits |
| decideNat | OAlg.Data.TypeLits |
| decideSymbol | OAlg.Data.TypeLits |
| DefaultValue | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| defaultValue | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| denominator | OAlg.Data.Number, OAlg.Prelude |
| Deviation | OAlg.Limes.Exact.Deviation |
| deviation | OAlg.Limes.Exact.Deviation |
| DeviationHom | OAlg.Limes.Exact.Deviation |
| deviationHom | OAlg.Limes.Exact.Deviation |
| deviations | OAlg.Limes.Exact.Deviation |
| dgArrows | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgCenter | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgfDiagram | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| dgfMapCnt | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| dgfMapCov | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| dgfMapS | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| dgfMatrix | OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix |
| dgMap | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgMapCnt | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgMapCov | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgMapS | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgPoints | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgPrlAdjZero | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgPrlDiffHead | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgPrlDiffTail | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgPrlTail | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgQuiver | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgsBase | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| dgsFlr | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| dgsFrc | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| dgsFrcTake | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| dgsProxy | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| dgsSig | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| dgtMapCnt | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| dgtMapCov | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| dgtMapS | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| dgts | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| dgtTypeRefl | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| dgType | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgTypeRefl | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| diagonal | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| diagonal' | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| DiagonalForm | |
| 1 (Type/Class) | OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix |
| 2 (Data Constructor) | OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix |
| DiagonalFormStrictPositive | |
| 1 (Type/Class) | OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix |
| 2 (Data Constructor) | OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix |
| Diagram | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| diagram | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| DiagramChainFrom | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramChainTo | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramDiscrete | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramEmpty | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramFree | |
| 1 (Type/Class) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| DiagramG | |
| 1 (Type/Class) | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| 2 (Data Constructor) | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| DiagramGeneral | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| Diagrammatic | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| diagrammaticObject | OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| DiagramParallelLR | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramParallelRL | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramSink | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramSlicedCenter | |
| 1 (Type/Class) | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| DiagramSource | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramTrafo | |
| 1 (Type/Class) | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| 2 (Data Constructor) | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| DiagramType | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| Digits | |
| 1 (Type/Class) | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| 2 (Data Constructor) | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Dim | |
| 1 (Type/Class) | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| 2 (Data Constructor) | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| dim | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| Dim' | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| dimMap | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| dimwrd | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| dimxs | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| Direction | OAlg.Data.Dualisable, OAlg.Prelude |
| Discrete | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| Disjunctive | OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| Disjunctive2 | OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| displayException | OAlg.Control.Exception, OAlg.Prelude |
| dist | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Distributive | OAlg.Structure.Distributive.Definition, OAlg.Structure.Distributive |
| Div | OAlg.Data.TypeLits |
| div | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| divInt | OAlg.Data.Number, OAlg.Prelude |
| divMod | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Dl1 | |
| 1 (Type/Class) | OAlg.Data.Dualisable, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Dualisable, OAlg.Prelude |
| dmap | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| domain | OAlg.Category.Definition, OAlg.Prelude |
| Down | |
| 1 (Type/Class) | OAlg.Data.Ord, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Ord, OAlg.Prelude |
| drohS | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| Dst | OAlg.Structure.Distributive.Definition, OAlg.Structure.Distributive |
| dstDst | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| DstRootSide | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| DstSide | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| dstSomeDiagram | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dstT | OAlg.Entity.Product.Proposition, OAlg.Entity.Product |
| DstX | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| Dual | OAlg.Data.Dualisable, OAlg.Prelude |
| Dual1 | OAlg.Data.Dualisable, OAlg.Prelude |
| Dualisable | OAlg.Data.Dualisable, OAlg.Prelude |
| DualisableAdditive | OAlg.Hom.Additive, OAlg.Hom |
| DualisableDistributive | OAlg.Hom.Distributive, OAlg.Hom |
| DualisableFibred | OAlg.Hom.Fibred, OAlg.Hom |
| DualisableFibredOriented | OAlg.Hom.FibredOriented |
| DualisableG | OAlg.Category.Dualisable |
| DualisableGBi | OAlg.Category.Dualisable |
| DualisableGChain | OAlg.Limes.MinimaAndMaxima |
| DualisableGDiscrete | OAlg.Limes.ProductsAndSums |
| DualisableGId | OAlg.Category.Dualisable |
| DualisableGPair | OAlg.Category.Dualisable |
| DualisableGPnt | OAlg.Category.Dualisable |
| DualisableMultiplicative | OAlg.Hom.Multiplicative, OAlg.Hom |
| DualisableOriented | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| DualisableVectorial | OAlg.Hom.Vectorial, OAlg.Hom |
| DualityG | |
| 1 (Type/Class) | OAlg.Category.Dualisable |
| 2 (Data Constructor) | OAlg.Category.Dualisable |
| DualsiableGEmpty | OAlg.Limes.TerminalAndInitialPoint |
| dvZeroPoint | OAlg.Limes.Exact.Deviation |
| dvZeroPoint' | OAlg.Limes.Exact.Deviation |
| E | OAlg.Data.Symbol |
| Either | OAlg.Data.Either |
| either | OAlg.Data.Either |
| Either1 | OAlg.Data.Either |
| either1 | OAlg.Data.Either |
| Either2 | OAlg.Data.Either |
| eligibleCone | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| eligibleFactor | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| Embeddable | OAlg.Data.Canonical |
| embedding | OAlg.Data.FinitelyPresentable |
| EmbeddingFrom | OAlg.Data.FinitelyPresentable |
| Empty | |
| 1 (Type/Class) | OAlg.Structure.PartiallyOrdered.Definition, OAlg.Structure.PartiallyOrdered |
| 2 (Data Constructor) | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| empty | OAlg.Structure.PartiallyOrdered.Definition, OAlg.Structure.PartiallyOrdered |
| end | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| Endo | |
| 1 (Type/Class) | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| 2 (Data Constructor) | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| Ent | OAlg.Entity.Definition, OAlg.Prelude |
| EntEmpty | OAlg.Entity.Definition, OAlg.Prelude |
| EntEmpty2 | OAlg.Entity.Definition, OAlg.Prelude |
| Entity | OAlg.Entity.Definition, OAlg.Prelude |
| Entity1 | OAlg.Entity.Definition, OAlg.Prelude |
| Entity2 | OAlg.Entity.Definition, OAlg.Prelude |
| EntityDiagrammatic | OAlg.Limes.Exact.Deviation |
| EntityPoint | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| EntityRoot | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| EntOrd | OAlg.Entity.Definition, OAlg.Prelude |
| Entries | |
| 1 (Type/Class) | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| 2 (Data Constructor) | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| Enum | OAlg.Data.Number, OAlg.Prelude |
| enum | OAlg.Data.Number, OAlg.Prelude |
| enumFrom | OAlg.Data.Number, OAlg.Prelude |
| enumFromThen | OAlg.Data.Number, OAlg.Prelude |
| enumFromThenTo | OAlg.Data.Number, OAlg.Prelude |
| enumFromTo | OAlg.Data.Number, OAlg.Prelude |
| enumSpan | OAlg.Data.Ord, OAlg.Prelude |
| EQ | OAlg.Data.Ord, OAlg.Prelude |
| Eq | OAlg.Data.Equal, OAlg.Prelude |
| Eq1 | OAlg.Data.Equal, OAlg.Prelude |
| eq1 | OAlg.Data.Equal, OAlg.Prelude |
| Eq2 | OAlg.Data.Equal, OAlg.Prelude |
| eq2 | OAlg.Data.Equal, OAlg.Prelude |
| EqDual1 | OAlg.Data.Dualisable, OAlg.Prelude, OAlg.Category.SDuality |
| EqE | OAlg.Data.Validable, OAlg.Prelude |
| EqEOrt | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| EqExt | OAlg.Data.EqualExtensional, OAlg.Prelude |
| EQI | OAlg.Data.TypeLits |
| eql | OAlg.Data.Equal, OAlg.Prelude |
| eqlDomain | OAlg.Category.Definition, OAlg.Prelude |
| eqlEndo | OAlg.Category.Definition, OAlg.Prelude |
| eqlKrns | OAlg.Limes.KernelsAndCokernels |
| eqlMorphism | OAlg.Category.Definition, OAlg.Prelude |
| eqlRange | OAlg.Category.Definition, OAlg.Prelude |
| EqPoint | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| EqRoot | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| EqualExt | OAlg.Data.Validable, OAlg.Prelude |
| equalExt | OAlg.Data.Validable, OAlg.Prelude |
| EqualExtOrt | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| Equalizer | OAlg.Limes.EqualizersAndCoequalizers |
| EqualizerCone | OAlg.Limes.EqualizersAndCoequalizers |
| EqualizerConic | OAlg.Limes.EqualizersAndCoequalizers |
| EqualizerDiagram | OAlg.Limes.EqualizersAndCoequalizers |
| EqualizerDiagrammatic | OAlg.Limes.EqualizersAndCoequalizers |
| EqualizerG | OAlg.Limes.EqualizersAndCoequalizers |
| Equalizers | OAlg.Limes.EqualizersAndCoequalizers |
| equalizers | OAlg.Limes.EqualizersAndCoequalizers |
| equalizers0 | OAlg.Limes.EqualizersAndCoequalizers |
| equalizers1 | OAlg.Limes.EqualizersAndCoequalizers |
| equalizers2 | OAlg.Limes.EqualizersAndCoequalizers |
| EqualizersG | OAlg.Limes.EqualizersAndCoequalizers |
| equalizersOrnt | OAlg.Limes.EqualizersAndCoequalizers |
| Eqvl | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| eqvl | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| Erasable | OAlg.Data.Logical, OAlg.Prelude |
| error | OAlg.Prelude |
| ErrorMessage | OAlg.Data.TypeLits |
| etsAdd | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| etscr | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| etsElimZeros | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| etsEmpty | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| etsJoin | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| etsMapCnt | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| etsMapCov | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| etsMlt | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| etsrc | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| etsxs | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| Euclidean | OAlg.Structure.Vectorial.Definition, OAlg.Structure.Vectorial |
| Exception | OAlg.Control.Exception, OAlg.Prelude |
| Exist | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Exponent | OAlg.Structure.Exponential |
| Exponential | OAlg.Structure.Exponential |
| Exposable | OAlg.Data.Constructable |
| exstJust | OAlg.Data.Maybe, OAlg.Prelude |
| F | OAlg.Data.Symbol |
| FactorChain | |
| 1 (Type/Class) | OAlg.Limes.Cone.FactorChain |
| 2 (Data Constructor) | OAlg.Limes.Cone.FactorChain |
| Failure | OAlg.Control.HNFData |
| failure | OAlg.Control.Solver |
| False | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| false | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| Fbr | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| FbrOrt | OAlg.Structure.FibredOriented |
| FbrOrtX | OAlg.Structure.FibredOriented |
| fcompare | OAlg.Data.Ord, OAlg.Prelude |
| Fibred | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| FibredOriented | OAlg.Structure.FibredOriented |
| Field | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| filter | OAlg.Data.Filterable |
| Filterable | OAlg.Data.Filterable |
| FinitelyPresentable | |
| 1 (Type/Class) | OAlg.Data.FinitelyPresentable |
| 2 (Data Constructor) | OAlg.Data.FinitelyPresentable |
| finitePoint | OAlg.Data.FinitelyPresentable |
| FinitePresentation | OAlg.Data.FinitelyPresentable |
| finitePresentation | OAlg.Data.FinitelyPresentable |
| FinList | OAlg.Entity.FinList |
| FinList' | |
| 1 (Type/Class) | OAlg.Entity.FinList |
| 2 (Data Constructor) | OAlg.Entity.FinList |
| floor | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Forall | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Form | OAlg.Data.Constructable |
| form | OAlg.Data.Constructable |
| fraction | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Fractional | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Free | |
| 1 (Type/Class) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| free' | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| freeN | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| From | OAlg.Data.Dualisable, OAlg.Prelude |
| fromBidual | OAlg.Data.Dualisable, OAlg.Prelude |
| fromBidual' | OAlg.Data.Dualisable, OAlg.Prelude |
| FromCo | OAlg.Data.HomCo |
| fromCo | OAlg.Data.HomCo |
| fromDigits | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| fromDim | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| fromDl1 | OAlg.Data.Dualisable, OAlg.Prelude |
| fromDual | OAlg.Data.Dualisable, OAlg.Prelude |
| fromDual' | OAlg.Data.Dualisable, OAlg.Prelude |
| fromDualG | OAlg.Category.Dualisable |
| fromDualGLft | OAlg.Category.Dualisable |
| fromDualGRgt | OAlg.Category.Dualisable |
| fromEmpty | OAlg.Entity.Definition, OAlg.Prelude |
| fromEmpty2 | OAlg.Entity.Definition, OAlg.Prelude |
| fromEnum | OAlg.Data.Number, OAlg.Prelude |
| fromException | OAlg.Control.Exception, OAlg.Prelude |
| fromHNFValue | OAlg.Control.HNFData |
| fromHomEmpty | OAlg.Hom.Definition, OAlg.Hom |
| FromId | OAlg.Hom.Definition, OAlg.Hom |
| fromId | OAlg.Data.Identity, OAlg.Prelude |
| fromIdG | OAlg.Data.Identity, OAlg.Prelude |
| fromJust | OAlg.Data.Maybe, OAlg.Prelude |
| fromMaybe | OAlg.Data.Maybe, OAlg.Prelude |
| fromOp | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| fromOp2Path | OAlg.Category.Path |
| fromOpOp | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| fromPntG | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| fromRtG | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| fromSChar | OAlg.Data.TypeLits |
| fromSNat | OAlg.Data.TypeLits |
| fromSSymbol | OAlg.Data.TypeLits |
| fromU | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| fromWord | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| FSequence | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| FSequenceForm | |
| 1 (Type/Class) | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| 2 (Data Constructor) | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqD | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqFilter | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqForm | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqIsEmpty | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMakeLazy | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMakeStrict | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMap | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMapShift | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMapWithIndex | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMapWithIndexLazy | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMapWithIndexStrict | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMax | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqMin | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqSpan | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqx | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fsqxs | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| fst | OAlg.Category.Definition, OAlg.Prelude |
| FT | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| FTGL | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| FTGLT | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| Full | |
| 1 (Data Constructor) | OAlg.Control.Verbose |
| 2 (Type/Class) | OAlg.Structure.PartiallyOrdered.Definition, OAlg.Structure.PartiallyOrdered |
| full | OAlg.Structure.PartiallyOrdered.Definition, OAlg.Structure.PartiallyOrdered |
| Functor | OAlg.Data.Identity, OAlg.Prelude |
| Functor1 | |
| 1 (Type/Class) | OAlg.Category.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Definition, OAlg.Prelude |
| FunctorG | |
| 1 (Type/Class) | OAlg.Category.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Definition, OAlg.Prelude |
| FunctorHomCo | |
| 1 (Type/Class) | OAlg.Data.HomCo |
| 2 (Data Constructor) | OAlg.Data.HomCo |
| Functorial | OAlg.Data.Identity, OAlg.Prelude |
| Functorial1 | OAlg.Category.Definition, OAlg.Prelude |
| FunctorialFibred | OAlg.Hom.Fibred, OAlg.Hom |
| FunctorialG | OAlg.Category.Definition, OAlg.Prelude |
| FunctorialHomCo | OAlg.Data.HomCo |
| FunctorialOriented | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| FunctorialPoint | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| FunctorialRoot | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| G | OAlg.Data.Symbol |
| Galoisian | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| General | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| generator | OAlg.Data.FinitelyPresentable |
| GeneratorTo | OAlg.Data.FinitelyPresentable |
| getDown | OAlg.Data.Ord, OAlg.Prelude |
| getOmega | OAlg.Data.X, OAlg.Prelude |
| getSamples | OAlg.Data.X, OAlg.Prelude |
| getState | OAlg.Control.Action |
| GL | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| GL2 | |
| 1 (Type/Class) | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| 2 (Data Constructor) | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| GL2GL | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| GLApp | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| GLT | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| GLTForm | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| gltfTrsp | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| GLTGL | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| gphDifference | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| gphIntersection | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| gphLength | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| gphLookup | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| gphset | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| gphSetFilter | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| gphSqc | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| gphTakeN | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| gphUnion | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| gphxs | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| Graph | |
| 1 (Type/Class) | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| 2 (Data Constructor) | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| graph | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| GT | OAlg.Data.Ord, OAlg.Prelude |
| GTI | OAlg.Data.TypeLits |
| H | OAlg.Data.Symbol |
| handle | OAlg.Control.Solver |
| head | OAlg.Entity.FinList |
| High | OAlg.Control.Verbose |
| HNFData | OAlg.Control.HNFData |
| HNFValue | |
| 1 (Type/Class) | OAlg.Control.HNFData |
| 2 (Data Constructor) | OAlg.Control.HNFData |
| hnfValue | OAlg.Control.HNFData |
| Hom | OAlg.Hom.Definition, OAlg.Hom |
| HomAdditive | OAlg.Hom.Additive, OAlg.Hom |
| HomAlgebraic | OAlg.Hom.Algebraic, OAlg.Hom |
| HomCo | OAlg.Data.HomCo |
| HomD | OAlg.Hom.Definition, OAlg.Hom |
| HomDisj | |
| 1 (Type/Class) | OAlg.Hom.Definition, OAlg.Hom |
| 2 (Data Constructor) | OAlg.Hom.Definition, OAlg.Hom |
| homDisj | OAlg.Hom.Definition, OAlg.Hom |
| HomDisjEmpty | OAlg.Hom.Definition, OAlg.Hom |
| homDisjOpDst | OAlg.Hom.Distributive, OAlg.Hom |
| homDisjOpMlt | OAlg.Hom.Multiplicative, OAlg.Hom |
| HomDistributive | OAlg.Hom.Distributive, OAlg.Hom |
| HomDistributiveDisjunctive | OAlg.Hom.Distributive, OAlg.Hom |
| HomEmpty | OAlg.Hom.Definition, OAlg.Hom |
| HomFibred | OAlg.Hom.Fibred, OAlg.Hom |
| HomFibredOriented | OAlg.Hom.FibredOriented |
| HomFibredOrientedDisjunctive | OAlg.Hom.FibredOriented |
| HomFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| HomId | OAlg.Hom.Definition, OAlg.Hom |
| HomMatrix | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| HomMultiplicative | OAlg.Hom.Multiplicative, OAlg.Hom |
| HomMultiplicativeDisjunctive | OAlg.Hom.Multiplicative, OAlg.Hom |
| Homomorphous | OAlg.Category.Definition, OAlg.Prelude |
| homomorphous | OAlg.Category.Definition, OAlg.Prelude |
| HomOriented | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| HomOrientedDisjunctive | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| HomOrientedSlicedFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| HomSlicedDistributive | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| HomSlicedMultiplicative | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| HomSlicedOriented | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| HomSymbol | |
| 1 (Type/Class) | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| 2 (Data Constructor) | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| HomVectorial | OAlg.Hom.Vectorial, OAlg.Hom |
| I | OAlg.Data.Symbol |
| Id | |
| 1 (Type/Class) | OAlg.Data.Identity, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Identity, OAlg.Prelude |
| id | OAlg.Category.Definition, OAlg.Prelude |
| Id2 | |
| 1 (Type/Class) | OAlg.Data.Identity, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Identity, OAlg.Prelude |
| IdPath | OAlg.Category.Path |
| idPnt | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| idRt | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| iFinList | OAlg.Entity.FinList |
| iFinList' | OAlg.Entity.FinList |
| iFinList0 | OAlg.Entity.FinList |
| image | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| Impl | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| implementation | OAlg.Control.Exception, OAlg.Prelude |
| ImplementationError | OAlg.Control.Exception, OAlg.Prelude |
| indent0 | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| IndexOutOfSupport | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| induction | OAlg.Entity.Natural |
| inductionS | OAlg.Entity.FinList |
| InitialCone | OAlg.Limes.TerminalAndInitialPoint |
| InitialConic | OAlg.Limes.TerminalAndInitialPoint |
| InitialDiagram | OAlg.Limes.TerminalAndInitialPoint |
| InitialDiagrammatic | OAlg.Limes.TerminalAndInitialPoint |
| InitialPoint | OAlg.Limes.TerminalAndInitialPoint |
| InitialPointG | OAlg.Limes.TerminalAndInitialPoint |
| initialPointOrnt | OAlg.Limes.TerminalAndInitialPoint |
| Initials | OAlg.Limes.TerminalAndInitialPoint |
| InitialsG | OAlg.Limes.TerminalAndInitialPoint |
| inj | OAlg.Data.Canonical |
| Injective | OAlg.Limes.Perspective, OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| Int | OAlg.Data.Number, OAlg.Prelude |
| intCone | OAlg.Limes.TerminalAndInitialPoint |
| intDiagram | OAlg.Limes.TerminalAndInitialPoint |
| Integer | OAlg.Data.Number, OAlg.Prelude |
| Integral | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| intsOrnt | OAlg.Limes.TerminalAndInitialPoint |
| Inv | |
| 1 (Type/Class) | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| 2 (Data Constructor) | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| Inv2 | |
| 1 (Type/Class) | OAlg.Category.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Definition, OAlg.Prelude |
| inv2 | OAlg.Category.Definition, OAlg.Prelude |
| inv2Forget | OAlg.Category.Definition, OAlg.Prelude |
| Invalid | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| InvalidData | OAlg.Control.Exception, OAlg.Prelude |
| invert | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| invert2 | OAlg.Category.Definition, OAlg.Prelude |
| Invertible | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| IO | OAlg.Prelude |
| iProxy | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| isDefaultValue | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| IsEmpty | OAlg.Data.X, OAlg.Prelude |
| isEmpty | |
| 1 (Function) | OAlg.Structure.PartiallyOrdered.Definition, OAlg.Structure.PartiallyOrdered |
| 2 (Function) | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| isEndo | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| isEndoAt | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| isExact | OAlg.Limes.Exact.Deviation |
| isExactVariance | OAlg.Limes.Exact.Deviation |
| isFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| isFull | OAlg.Structure.PartiallyOrdered.Definition, OAlg.Structure.PartiallyOrdered |
| isInvertible | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| isJust | OAlg.Data.Maybe, OAlg.Prelude |
| isMinusOne | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| isNothing | OAlg.Data.Maybe, OAlg.Prelude |
| IsoCo | OAlg.Data.HomCo |
| isoCo | OAlg.Data.HomCo |
| isoCoMatrixOp | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| IsoHomDisj | OAlg.Hom.Definition, OAlg.Hom |
| isoHomDisj | OAlg.Hom.Definition, OAlg.Hom |
| isoHomDisj' | OAlg.Hom.Definition, OAlg.Hom |
| isOne | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| IsoO | OAlg.Hom.Definition, OAlg.Hom |
| isSubGraph | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| isSubSet | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| isZero | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| isZeroPoint | OAlg.Limes.Exact.ZeroPoint |
| It | OAlg.Data.Ord, OAlg.Prelude |
| itfW | OAlg.Entity.Natural |
| J | OAlg.Data.Symbol |
| jtween | OAlg.Data.Show, OAlg.Prelude |
| Just | OAlg.Data.Maybe, OAlg.Prelude |
| just | OAlg.Data.Maybe, OAlg.Prelude |
| K | OAlg.Data.Symbol |
| Kernel | OAlg.Limes.KernelsAndCokernels |
| KernelCone | OAlg.Limes.KernelsAndCokernels |
| KernelConic | OAlg.Limes.KernelsAndCokernels |
| KernelDiagram | OAlg.Limes.KernelsAndCokernels |
| kernelDiagram | OAlg.Limes.KernelsAndCokernels |
| KernelDiagrammatic | OAlg.Limes.KernelsAndCokernels |
| kernelFactor | OAlg.Limes.KernelsAndCokernels |
| KernelG | OAlg.Limes.KernelsAndCokernels |
| Kernels | OAlg.Limes.KernelsAndCokernels |
| kernels | OAlg.Limes.KernelsAndCokernels |
| kernels' | OAlg.Limes.KernelsAndCokernels |
| kernels0 | OAlg.Limes.KernelsAndCokernels |
| kernels1 | OAlg.Limes.KernelsAndCokernels |
| KernelsG | OAlg.Limes.KernelsAndCokernels |
| KernelSliceFromSomeFreeTip | |
| 1 (Type/Class) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| KernelSomeFreeFreeTip | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| kernelsOrnt | OAlg.Limes.KernelsAndCokernels |
| KernelsSomeFreeFreeTip | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| kernelZero | OAlg.Limes.KernelsAndCokernels |
| KnownChar | OAlg.Data.TypeLits |
| KnownNat | OAlg.Data.TypeLits |
| KnownSymbol | OAlg.Data.TypeLits |
| KProxy | |
| 1 (Type/Class) | OAlg.Data.Proxy |
| 2 (Data Constructor) | OAlg.Data.Proxy |
| krnEqls | OAlg.Limes.KernelsAndCokernels |
| L | OAlg.Data.Symbol |
| Label | |
| 1 (Type/Class) | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Lattice | OAlg.Structure.Lattice.Definition, OAlg.Structure.Lattice |
| Lazy | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| lcAggr | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| lcs | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| lcSclFilter | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| lcsmf | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| lcSort | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| LDst | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| LDstRoot | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| Leaf | OAlg.Data.Tree |
| Left | OAlg.Data.Either |
| Left1 | OAlg.Data.Either |
| Left2 | OAlg.Data.Either |
| LeftSide | OAlg.Data.Dualisable, OAlg.Prelude |
| LeftToRight | OAlg.Data.Dualisable, OAlg.Prelude |
| lemma1 | OAlg.Entity.Natural |
| lemmaAdd1 | OAlg.Entity.Natural |
| lemmaAdd2 | OAlg.Entity.Natural |
| lemmaMlt1 | OAlg.Entity.Natural |
| LengthN | OAlg.Data.Number, OAlg.Prelude |
| lengthN | OAlg.Data.Number, OAlg.Prelude |
| lftbBase | OAlg.Entity.Slice.Liftable |
| lftcLiftable | OAlg.Entity.Slice.Liftable |
| lftcMapCnt | OAlg.Entity.Slice.Liftable |
| lftcMapCov | OAlg.Entity.Slice.Liftable |
| lftcMapS | OAlg.Entity.Slice.Liftable |
| lftFrMapSDst | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| lftFrMapSMlt | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| lftlCokernel | OAlg.Entity.Slice.Liftable |
| lftlKernel | OAlg.Entity.Slice.Liftable |
| lftMapCnt | OAlg.Entity.Slice.Liftable |
| lftMapCov | OAlg.Entity.Slice.Liftable |
| lftMapS | OAlg.Entity.Slice.Liftable |
| lift | OAlg.Entity.Slice.Liftable |
| Liftable | OAlg.Entity.Slice.Liftable |
| LiftableCokernel | OAlg.Entity.Slice.Liftable |
| LiftableCokernelCone | OAlg.Entity.Slice.Liftable |
| LiftableCokernels | OAlg.Entity.Slice.Liftable |
| LiftableCone | OAlg.Entity.Slice.Liftable |
| LiftableException | OAlg.Entity.Slice.Liftable |
| LiftableFree | |
| 1 (Type/Class) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| LiftableInjective | OAlg.Entity.Slice.Liftable |
| LiftableKernel | OAlg.Entity.Slice.Liftable |
| LiftableKernelCone | OAlg.Entity.Slice.Liftable |
| LiftableKernels | OAlg.Entity.Slice.Liftable |
| LiftableProjective | OAlg.Entity.Slice.Liftable |
| liftFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| Limes | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| limes | OAlg.Limes.Limits.Core, OAlg.Limes.Limits |
| limesCone | OAlg.Limes.Limits.Core, OAlg.Limes.Limits |
| LimesG | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| LimesInjective | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| LimesProjective | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| LimesSlicedTip | |
| 1 (Type/Class) | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| Limits | OAlg.Limes.Limits.Core, OAlg.Limes.Limits |
| limitsCone | OAlg.Limes.Limits.Core, OAlg.Limes.Limits |
| LimitsG | |
| 1 (Type/Class) | OAlg.Limes.Limits.Core, OAlg.Limes.Limits |
| 2 (Data Constructor) | OAlg.Limes.Limits.Core, OAlg.Limes.Limits |
| LinearCombination | |
| 1 (Type/Class) | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| 2 (Data Constructor) | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| list | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| listN | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| listToMaybe | OAlg.Data.Maybe, OAlg.Prelude |
| lmDiagramTypeRefl | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| lmInjMap | OAlg.Adjunction.Limes, OAlg.Adjunction |
| lmInjMapDst | OAlg.Adjunction.Limes, OAlg.Adjunction |
| lmMapCnt | OAlg.Limes.Definition.Duality, OAlg.Limes.Definition |
| lmMapCov | OAlg.Limes.Definition.Duality, OAlg.Limes.Definition |
| lmMapS | OAlg.Limes.Definition.Duality, OAlg.Limes.Definition |
| lmMltInjOrnt | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| lmMltPrjOrnt | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| lmPrjMap | OAlg.Adjunction.Limes, OAlg.Adjunction |
| lmPrjMapDst | OAlg.Adjunction.Limes, OAlg.Adjunction |
| lmsMapCnt | OAlg.Limes.Limits.Duality, OAlg.Limes.Limits |
| lmsMapCov | OAlg.Limes.Limits.Duality, OAlg.Limes.Limits |
| lmsMapS | OAlg.Limes.Limits.Duality, OAlg.Limes.Limits |
| lmsMltInjOrnt | OAlg.Limes.Limits.Core, OAlg.Limes.Limits |
| lmsMltPrjOrnt | OAlg.Limes.Limits.Core, OAlg.Limes.Limits |
| Log2 | OAlg.Data.TypeLits |
| Logical | OAlg.Data.Logical, OAlg.Prelude |
| Low | OAlg.Control.Verbose |
| lstLimes | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| LT | OAlg.Data.Ord, OAlg.Prelude |
| LTI | OAlg.Data.TypeLits |
| M | OAlg.Data.Symbol |
| make | OAlg.Data.Constructable |
| Map | |
| 1 (Type/Class) | OAlg.Category.Map |
| 2 (Data Constructor) | OAlg.Category.Map |
| mapDl1 | OAlg.Data.Dualisable, OAlg.Prelude |
| mapMaybe | OAlg.Data.Maybe, OAlg.Prelude |
| Massive | OAlg.Control.Validate, OAlg.Prelude |
| Matrix | |
| 1 (Type/Class) | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| 2 (Data Constructor) | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| matrix | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| matrixBlc | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| matrixTtl | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| max | OAlg.Data.Ord, OAlg.Prelude |
| maxBound | OAlg.Prelude |
| Maxima | OAlg.Limes.MinimaAndMaxima |
| maximaFrom | OAlg.Limes.MinimaAndMaxima |
| maximaFrom' | OAlg.Limes.MinimaAndMaxima |
| MaximaG | OAlg.Limes.MinimaAndMaxima |
| maximaTo | OAlg.Limes.MinimaAndMaxima |
| maximaTo' | OAlg.Limes.MinimaAndMaxima |
| Maximum | OAlg.Limes.MinimaAndMaxima |
| MaximumCone | OAlg.Limes.MinimaAndMaxima |
| MaximumConic | OAlg.Limes.MinimaAndMaxima |
| MaximumDiagram | OAlg.Limes.MinimaAndMaxima |
| MaximumDiagrammatic | OAlg.Limes.MinimaAndMaxima |
| MaximumG | OAlg.Limes.MinimaAndMaxima |
| Maybe | OAlg.Data.Maybe, OAlg.Prelude |
| maybe | OAlg.Data.Maybe, OAlg.Prelude |
| maybeFinList | OAlg.Entity.FinList |
| maybeToList | OAlg.Data.Maybe, OAlg.Prelude |
| mcoStruct | OAlg.Data.HomCo |
| meanValue | OAlg.Data.X, OAlg.Prelude |
| Measurable | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Message | |
| 1 (Type/Class) | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Middle | OAlg.Control.Verbose |
| min | OAlg.Data.Ord, OAlg.Prelude |
| minBound | OAlg.Prelude |
| Minima | OAlg.Limes.MinimaAndMaxima |
| minimaFrom | OAlg.Limes.MinimaAndMaxima |
| MinimaG | OAlg.Limes.MinimaAndMaxima |
| minimaGFrom | OAlg.Limes.MinimaAndMaxima |
| minimaGTo | OAlg.Limes.MinimaAndMaxima |
| minimaTo | OAlg.Limes.MinimaAndMaxima |
| Minimum | OAlg.Limes.MinimaAndMaxima |
| MinimumCone | OAlg.Limes.MinimaAndMaxima |
| MinimumConic | OAlg.Limes.MinimaAndMaxima |
| MinimumDiagram | OAlg.Limes.MinimaAndMaxima |
| MinimumDiagrammatic | OAlg.Limes.MinimaAndMaxima |
| MinimumG | OAlg.Limes.MinimaAndMaxima |
| minusOne | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| MInvalid | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| mkOmega | OAlg.Data.X, OAlg.Prelude |
| mkStatistic | OAlg.Data.Statistics |
| mkStatisticW | OAlg.Data.Statistics |
| Mlt | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| Mltp2 | |
| 1 (Type/Class) | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| 2 (Data Constructor) | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| Mltp3 | |
| 1 (Type/Class) | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| 2 (Data Constructor) | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| MltX | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| mnList | OAlg.Control.Verbose |
| mnString | OAlg.Control.Verbose |
| Mod | OAlg.Data.TypeLits |
| mod | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| modInt | OAlg.Data.Number, OAlg.Prelude |
| Monotone | |
| 1 (Type/Class) | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| 2 (Data Constructor) | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| MorCo | OAlg.Data.HomCo |
| Morphism | OAlg.Category.Definition, OAlg.Prelude |
| mPath | OAlg.Category.Path |
| mtxColRow | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| mtxDensity | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| mtxGroupDim | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| mtxGroupRow | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| mtxHomSymbol | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| mtxJoin | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| mtxJoinDim | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| mtxMap | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| mtxMapCnt | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| mtxMapCov | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| mtxMapS | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| mtxProducts | OAlg.Entity.Matrix.ProductsAndSums, OAlg.Entity.Matrix |
| mtxRepresentable | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| mtxRowCol | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| mtxSums | OAlg.Entity.Matrix.ProductsAndSums, OAlg.Entity.Matrix |
| mtxxs | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| Multiplicative | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| N | |
| 1 (Type/Class) | OAlg.Data.Number, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Symbol |
| N' | OAlg.Entity.Natural |
| N0 | |
| 1 (Type/Class) | OAlg.Entity.Natural |
| 2 (Data Constructor) | OAlg.Entity.Natural |
| N1 | OAlg.Entity.Natural |
| N10 | OAlg.Entity.Natural |
| N2 | OAlg.Entity.Natural |
| N3 | OAlg.Entity.Natural |
| N4 | OAlg.Entity.Natural |
| N5 | OAlg.Entity.Natural |
| N6 | OAlg.Entity.Natural |
| N7 | OAlg.Entity.Natural |
| N8 | OAlg.Entity.Natural |
| N9 | OAlg.Entity.Natural |
| Nat | OAlg.Data.TypeLits |
| natSing | OAlg.Data.TypeLits |
| NatToChar | OAlg.Data.TypeLits |
| Natural | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Type/Class) | OAlg.Category.NaturalTransformable |
| NaturalConic | OAlg.Limes.Cone.Conic.Core, OAlg.Limes.Cone.Conic, OAlg.Limes.Cone |
| NaturalConicBi | OAlg.Limes.Cone.Conic.Duality, OAlg.Limes.Cone.Conic, OAlg.Limes.Cone |
| NaturalDiagrammatic | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| NaturalDiagrammaticBi | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| NaturalDiagrammaticFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| NaturalDiagrammaticW | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| NaturalFunctorial | OAlg.Category.NaturalTransformable |
| NaturalKernelCokernel | OAlg.Limes.Exact.Deviation |
| naturals | OAlg.Entity.Natural |
| NaturalTransformable | OAlg.Category.NaturalTransformable |
| NaturalTransformableDual1 | OAlg.Category.NaturalTransformable |
| NaturalTransformation | |
| 1 (Type/Class) | OAlg.Category.NaturalTransformable |
| 2 (Data Constructor) | OAlg.Category.NaturalTransformable |
| natVal | OAlg.Data.TypeLits |
| natVal' | OAlg.Data.TypeLits |
| negate | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| NegInf | OAlg.Data.Ord, OAlg.Prelude |
| nFactorize | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| nFactorize' | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| ngt | OAlg.Data.Equal, OAlg.Prelude |
| Nil | OAlg.Entity.FinList |
| nodAnyFst | OAlg.Entity.Natural |
| nodAnySnd | OAlg.Entity.Natural |
| Node | OAlg.Data.Tree |
| nodPred | OAlg.Entity.Natural |
| nodRefl | OAlg.Entity.Natural |
| NoMinusOne | OAlg.Structure.Exception |
| NonDeterministic | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| NoPredecor | OAlg.Control.Exception, OAlg.Prelude |
| Not | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| not | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| NotAddable | OAlg.Structure.Exception |
| NotApplicable | OAlg.Structure.Exception |
| NotEndo | OAlg.Structure.Exception |
| NotExponential | OAlg.Structure.Exception |
| Nothing | OAlg.Data.Maybe, OAlg.Prelude |
| NotInvertible | OAlg.Structure.Exception |
| NotLiftable | OAlg.Entity.Slice.Liftable |
| NotMultiplicable | OAlg.Structure.Exception |
| NotTransformable | OAlg.Structure.Exception |
| npower | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| nProduct | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| nProductForm | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| nProxy | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| nSum | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| ntimes | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| Number | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| numerator | OAlg.Data.Number, OAlg.Prelude |
| nValue | OAlg.Entity.Natural |
| O | OAlg.Data.Symbol |
| oalgExceptionFromException | OAlg.Control.Exception, OAlg.Prelude |
| oalgExceptionToException | OAlg.Control.Exception, OAlg.Prelude |
| Object | OAlg.Entity.Definition, OAlg.Prelude |
| ObjectClass | OAlg.Category.Definition, OAlg.Prelude, OAlg.Prelude |
| ObjectKernelCokernel | OAlg.Limes.Exact.Deviation |
| omap | OAlg.Structure.Oriented.Orientation, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| omapDisj | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| Omega | OAlg.Data.X, OAlg.Prelude |
| One | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| one | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| one' | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| Op | |
| 1 (Type/Class) | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| 2 (Data Constructor) | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| Op2 | |
| 1 (Type/Class) | OAlg.Category.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Definition, OAlg.Prelude |
| Opl | OAlg.Structure.Operational |
| opower | OAlg.Structure.Exponential |
| opposite | OAlg.Structure.Oriented.Orientation, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| Opr | OAlg.Structure.Operational |
| Or | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| or | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| Ord | OAlg.Data.Ord, OAlg.Prelude |
| Ord' | OAlg.Structure.Definition, OAlg.Prelude |
| Ordering | OAlg.Data.Ord, OAlg.Prelude |
| OrderingI | OAlg.Data.TypeLits |
| OrdPoint | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| OrdRoot | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| Orientation | OAlg.Structure.Oriented.Orientation, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| orientation | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| Oriented | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| OrientedOpl | OAlg.Structure.Operational |
| OrientedOpr | OAlg.Structure.Operational |
| Ornt | |
| 1 (Type/Class) | OAlg.Data.Ornt |
| 2 (Data Constructor) | OAlg.Data.Ornt |
| orntAppl | OAlg.Data.Ornt |
| OrntMap | OAlg.Data.Ornt |
| Ort | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| OrtSiteX | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| OrtX | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| OS | OAlg.Structure.Oriented.Orientation, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| otherwise | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| P | |
| 1 (Data Constructor) | OAlg.Data.Symbol |
| 2 (Data Constructor) | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| Parallel | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| Parameter | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Params | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| PartiallyOrdered | OAlg.Structure.PartiallyOrdered.Definition, OAlg.Structure.PartiallyOrdered |
| Path | |
| 1 (Type/Class) | OAlg.Category.Path |
| 2 (Type/Class) | OAlg.Structure.Oriented.Path, OAlg.Structure.Oriented |
| 3 (Data Constructor) | OAlg.Structure.Oriented.Path, OAlg.Structure.Oriented |
| PathCo | |
| 1 (Type/Class) | OAlg.Data.HomCo |
| 2 (Data Constructor) | OAlg.Data.HomCo |
| PathSMorphism | OAlg.Category.SDuality |
| Percent | |
| 1 (Type/Class) | OAlg.Control.Verbose |
| 2 (Data Constructor) | OAlg.Control.Verbose |
| PermutableSequence | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| Permutation | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| PermutationForm | |
| 1 (Type/Class) | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| 2 (Data Constructor) | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| Permute | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| permute | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| permuteBy | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| permuteByN | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| permuteFT | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| Perspective | OAlg.Limes.Perspective, OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| plbPrdEql2 | OAlg.Limes.PullbacksAndPushouts |
| pmap | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| pmapf | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| pmf | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| pmt | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| pmtSign | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| Pnt | |
| 1 (Type/Class) | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| 2 (Data Constructor) | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| Point | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| PosInf | OAlg.Data.Ord, OAlg.Prelude |
| power | OAlg.Structure.Exponential |
| prdCone | OAlg.Limes.ProductsAndSums |
| prdConeOrnt | OAlg.Limes.ProductsAndSums |
| prdDiagram | OAlg.Limes.ProductsAndSums |
| prdMapTotal | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| pred | OAlg.Data.Number, OAlg.Prelude |
| Pretty | OAlg.Control.Verbose |
| prFactor | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prFactors | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfDepth | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfFactors | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfFromOp | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfInverse | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfLength | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfMapTotal | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfopl | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfopl' | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfopr | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfopr' | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfReduce | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfReduceWith | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfReductionWith | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prFromOp | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| prfwrd | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| primes | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| prj | OAlg.Data.Canonical |
| prLength | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| ProbablyEmpty | OAlg.Data.X, OAlg.Prelude |
| ProbablyInvalid | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| ProbablyValid | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Product | |
| 1 (Type/Class) | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| 2 (Type/Class) | OAlg.Limes.ProductsAndSums |
| ProductCone | OAlg.Limes.ProductsAndSums |
| ProductConic | OAlg.Limes.ProductsAndSums |
| ProductDiagram | OAlg.Limes.ProductsAndSums |
| ProductDiagrammatic | OAlg.Limes.ProductsAndSums |
| productDim | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| ProductForm | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| ProductG | OAlg.Limes.ProductsAndSums |
| productOrnt | OAlg.Limes.ProductsAndSums |
| Products | OAlg.Limes.ProductsAndSums |
| products | OAlg.Limes.ProductsAndSums |
| products0 | OAlg.Limes.ProductsAndSums |
| products1 | OAlg.Limes.ProductsAndSums |
| products2 | OAlg.Limes.ProductsAndSums |
| ProductsG | OAlg.Limes.ProductsAndSums |
| productsOrnt | OAlg.Limes.ProductsAndSums |
| ProductSymbol | |
| 1 (Type/Class) | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| 2 (Data Constructor) | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| productSymbol | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| Projectible | OAlg.Data.Canonical |
| Projective | OAlg.Limes.Perspective, OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| Proxy | |
| 1 (Type/Class) | OAlg.Data.Proxy |
| 2 (Data Constructor) | OAlg.Data.Proxy |
| Proxy2 | |
| 1 (Type/Class) | OAlg.Data.Proxy |
| 2 (Data Constructor) | OAlg.Data.Proxy |
| Proxy3 | |
| 1 (Type/Class) | OAlg.Data.Proxy |
| 2 (Data Constructor) | OAlg.Data.Proxy |
| Prp | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| prpAbl | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAbl1 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAbl2 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAbl3 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAbl3_1 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAbl3_2 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAbl4 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAbl5 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAdd | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAdd0 | OAlg.Entity.Natural |
| prpAdd1 | |
| 1 (Function) | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| 2 (Function) | OAlg.Entity.Natural |
| prpAdd2 | |
| 1 (Function) | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| 2 (Function) | OAlg.Entity.Natural |
| prpAdd2_1 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAdd2_2 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAdd3 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAdd4 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAdd5 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAdd6 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| prpAddAssoc | OAlg.Entity.Natural |
| prpAddComm | OAlg.Entity.Natural |
| prpAddNtrlL | OAlg.Entity.Natural |
| prpAddNtrlR | OAlg.Entity.Natural |
| prpAdjunction | OAlg.Adjunction.Definition, OAlg.Adjunction |
| prpAdjunctionLeft | OAlg.Adjunction.Definition, OAlg.Adjunction |
| prpAdjunctionRight | OAlg.Adjunction.Definition, OAlg.Adjunction |
| prpAlg | OAlg.Structure.Algebraic.Proposition, OAlg.Structure.Algebraic |
| prpAlg1 | OAlg.Structure.Algebraic.Proposition, OAlg.Structure.Algebraic |
| prpAnd0 | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpAndAssoc | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpAndOr | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpAnds | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpAndTrue | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpBool | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpBoolTautologies | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpCatch | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| prpCategory | OAlg.Category.Proposition, OAlg.Prelude |
| prpCategory1 | OAlg.Category.Proposition, OAlg.Prelude |
| prpCategory2 | OAlg.Category.Proposition, OAlg.Prelude |
| prpCategoryDisjunctive | OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| prpCategoryDualisable | OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| prpCayleyan2 | OAlg.Category.Proposition, OAlg.Prelude |
| prpCheckFalse | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| prpCheckTrue | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| prpConsecutiveZeroFree | OAlg.Limes.Exact.Free |
| prpDeviationOrntSymbol | OAlg.Limes.Exact.Deviation |
| prpDiagram | OAlg.Entity.Diagram.Proposition, OAlg.Entity.Diagram |
| prpDiagramOrntSymbol | OAlg.Entity.Diagram.Proposition, OAlg.Entity.Diagram |
| prpDst | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| prpDst1 | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| prpDst2 | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| prpDst3 | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| prpDst4 | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| prpDstrL | OAlg.Entity.Natural |
| prpDstrR | OAlg.Entity.Natural |
| prpDualisableAdditiveAdd1 | OAlg.Hom.Additive, OAlg.Hom |
| prpDualisableAdditiveAdd2 | OAlg.Hom.Additive, OAlg.Hom |
| prpDualisableFibredOrientedRt | OAlg.Hom.FibredOriented |
| prpDualisableFibredOrientedStk | OAlg.Hom.FibredOriented |
| prpDualisableG | OAlg.Category.Dualisable |
| prpDualisableMultiplicativeMlt | OAlg.Hom.Multiplicative, OAlg.Hom |
| prpDualisableMultiplicativeOne | OAlg.Hom.Multiplicative, OAlg.Hom |
| prpDualisableOriented | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom |
| prpDualisableVectorial | OAlg.Hom.Vectorial, OAlg.Hom |
| prpEqlAny | OAlg.Entity.Natural |
| prpEqlAny' | OAlg.Entity.Natural |
| prpEqualExt | OAlg.Data.EqualExtensional, OAlg.Prelude |
| prpEqvlAnd | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpErasable | OAlg.Structure.PartiallyOrdered.Proposition, OAlg.Structure.PartiallyOrdered |
| prpFbr | OAlg.Structure.Fibred.Proposition, OAlg.Structure.Fibred |
| prpFbrOrt | OAlg.Structure.FibredOriented |
| prpFSequence | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| prpFSequenceSpan | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| prpFunctorial | OAlg.Category.Proposition, OAlg.Prelude |
| prpFunctorial1 | OAlg.Category.Proposition, OAlg.Prelude |
| prpFunctorial2 | OAlg.Category.Proposition, OAlg.Prelude |
| prpFunctorialG | OAlg.Category.Proposition, OAlg.Prelude |
| prpFunctorialGType | OAlg.Category.Proposition, OAlg.Prelude |
| prpFunctorialHomCo | OAlg.Data.HomCo |
| prpHomAdd1 | OAlg.Hom.Additive, OAlg.Hom |
| prpHomAdd2 | OAlg.Hom.Additive, OAlg.Hom |
| prpHomAdditive | OAlg.Hom.Additive, OAlg.Hom |
| prpHomCoMatrixOp | OAlg.Entity.Matrix.Proposition, OAlg.Entity.Matrix |
| prpHomDisjMultiplicative | OAlg.Hom.Multiplicative, OAlg.Hom |
| prpHomDisjOp | OAlg.Hom.Proposition |
| prpHomDisjOpAdd | OAlg.Hom.Additive, OAlg.Hom |
| prpHomDisjOpFbr | OAlg.Hom.Fibred, OAlg.Hom |
| prpHomDisjOpFbrOrt | OAlg.Hom.FibredOriented |
| prpHomDisjOpMlt | OAlg.Hom.Multiplicative, OAlg.Hom |
| prpHomDisjOpOrt | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom |
| prpHomDisjOpVecZ | OAlg.Hom.Vectorial, OAlg.Hom |
| prpHomFbr | OAlg.Hom.Fibred, OAlg.Hom |
| prpHomFbrOrt | OAlg.Hom.FibredOriented |
| prpHomFbrOrtDisj | OAlg.Hom.FibredOriented |
| prpHomFibred | OAlg.Hom.Fibred, OAlg.Hom |
| prpHomMltSliceAdjunction | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| prpHomMultiplicative | OAlg.Hom.Multiplicative, OAlg.Hom |
| prpHomMultiplicativeDisjunctive | OAlg.Hom.Multiplicative, OAlg.Hom |
| prpHomOriented | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom |
| prpHomOrientedDisjunctive | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom |
| prpHomOrientedSlicedFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| prpHomOrtSliceAdjunction | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| prpHomSlicedOriented | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| prpHomVectorial | OAlg.Hom.Vectorial, OAlg.Hom |
| prpImplCurry | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpImplFalseEverything | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpImplRefl | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpImplTransitive | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpIsCokernel | OAlg.Limes.KernelsAndCokernels |
| prpIsKernel | OAlg.Limes.KernelsAndCokernels |
| prpLattice | OAlg.Structure.Lattice.Proposition, OAlg.Structure.Lattice |
| prpLatticeBool | OAlg.Structure.Lattice.Proposition, OAlg.Structure.Lattice |
| prpLatticeConjunction | OAlg.Structure.Lattice.Proposition, OAlg.Structure.Lattice |
| prpLatticeDisjunction | OAlg.Structure.Lattice.Proposition, OAlg.Structure.Lattice |
| prpLazy | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpLazyAnd | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpLazyImpl | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpLazyOr | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpLimes | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| prpLimesFactorExist | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| prpLimesFactorUnique | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| prpLimitsG | OAlg.Limes.Limits.Proposition, OAlg.Limes.Limits |
| prpLimitsOrntSymbol | OAlg.Limes.Proposition |
| prpMatrix | OAlg.Entity.Matrix.Proposition, OAlg.Entity.Matrix |
| prpMatrixZ | OAlg.Entity.Matrix.Proposition, OAlg.Entity.Matrix |
| prpMlt | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| prpMlt1 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| prpMlt2 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| prpMlt2_1 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| prpMlt2_2 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| prpMlt3 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| prpMlt4 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| prpMlt5 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| prpMltAssoc | OAlg.Entity.Natural |
| prpMltComm | OAlg.Entity.Natural |
| prpMltNtrlL | OAlg.Entity.Natural |
| prpMltNtrlR | OAlg.Entity.Natural |
| prpMltProductNOrntSymbol | OAlg.Entity.Product.Proposition, OAlg.Entity.Product |
| prpMltProductZOrntSymbol | OAlg.Entity.Product.Proposition, OAlg.Entity.Product |
| prpNaturalDiagrammatic | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| prpNaturalTransformable | OAlg.Category.NaturalTransformable |
| prpNotNot | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpOAlgBase | OAlg.Proposition |
| prpOprPermutation | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| prpOr0 | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpOrAnd | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpOrAssoc | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpOrs | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpOrt | OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented |
| prpOrt0 | OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented |
| prpOrt1 | OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented |
| prpOrtProductNOrntSymbol | OAlg.Entity.Product.Proposition, OAlg.Entity.Product |
| prpOrtProductZOrntSymbol | OAlg.Entity.Product.Proposition, OAlg.Entity.Product |
| prpPermutableSequence | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| prpPermutation | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| prpPrjHom | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| prpProduct | OAlg.Entity.Product.Proposition, OAlg.Entity.Product |
| prpPSequence | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| prpPTreeFilter | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| prpRepMatrix | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| prpRepMatrixZ | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| prpSetUnion | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| prpSomePartiallyOrdered | OAlg.Structure.PartiallyOrdered.Proposition, OAlg.Structure.PartiallyOrdered |
| prpStatement | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| prpStatementTautologies | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| prpStructure | OAlg.Structure.Proposition |
| prpStructureN | OAlg.Structure.Proposition |
| prpStructureOS | OAlg.Structure.Proposition |
| prpStructureQ | OAlg.Structure.Proposition |
| prpStructureZ | OAlg.Structure.Proposition |
| prpSuccInjective | OAlg.Entity.Natural |
| prpTautologies | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpTerminalAndInitialPoint | OAlg.Limes.TerminalAndInitialPoint |
| prpValidTautologies | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| prpVarianceG | OAlg.Limes.Exact.Deviation |
| prpVarianceGHom | OAlg.Limes.Exact.Deviation |
| prpVec | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| prpVec1 | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| prpVec2 | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| prpVec3 | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| prpVec4 | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| prpVec5 | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| prpVec6 | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| prpVec7 | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| prwrd | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| PSequence | |
| 1 (Type/Class) | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| 2 (Data Constructor) | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psequence | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| pshSumCoeql2 | OAlg.Limes.PullbacksAndPushouts |
| psqAppend | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqCompose | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqEmpty | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqFilter | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqFromTree | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqHead | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqInterlace | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqIsEmpty | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqMap | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqMapShift | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqMapWithIndex | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqShear | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqSpan | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqSplitWhile | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqSwap | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqTail | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqTree | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psqxs | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| psyFactor | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| psyJoin | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| psyLength | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| psyMap | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| psyShow | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| psywrd | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| psyxs | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| pthFoldr | OAlg.Category.Path |
| pthLength | |
| 1 (Function) | OAlg.Category.Path |
| 2 (Function) | OAlg.Structure.Oriented.Path, OAlg.Structure.Oriented |
| pthMlt | OAlg.Structure.Oriented.Path, OAlg.Structure.Oriented |
| pthOne | OAlg.Structure.Oriented.Path, OAlg.Structure.Oriented |
| PTree | |
| 1 (Type/Class) | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| 2 (Data Constructor) | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrEmpty | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrFilter | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrFilterWithIndex | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrMap | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrMapShift | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrMapWithIndex | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrMax | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrMin | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrSpan | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrx | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| ptrxs | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| Pullback | OAlg.Limes.PullbacksAndPushouts |
| PullbackCone | OAlg.Limes.PullbacksAndPushouts |
| PullbackConic | OAlg.Limes.PullbacksAndPushouts |
| PullbackDiagram | OAlg.Limes.PullbacksAndPushouts |
| PullbackDiagrammatic | OAlg.Limes.PullbacksAndPushouts |
| PullbackG | OAlg.Limes.PullbacksAndPushouts |
| Pullbacks | OAlg.Limes.PullbacksAndPushouts |
| pullbacks | OAlg.Limes.PullbacksAndPushouts |
| pullbacks0 | OAlg.Limes.PullbacksAndPushouts |
| pullbacks1 | OAlg.Limes.PullbacksAndPushouts |
| PullbacksG | OAlg.Limes.PullbacksAndPushouts |
| pullbacksOrnt | OAlg.Limes.PullbacksAndPushouts |
| Pushout | OAlg.Limes.PullbacksAndPushouts |
| PushoutCone | OAlg.Limes.PullbacksAndPushouts |
| PushoutConic | OAlg.Limes.PullbacksAndPushouts |
| PushoutDiagram | OAlg.Limes.PullbacksAndPushouts |
| PushoutDiagrammatic | OAlg.Limes.PullbacksAndPushouts |
| PushoutG | OAlg.Limes.PullbacksAndPushouts |
| Pushouts | OAlg.Limes.PullbacksAndPushouts |
| pushouts | OAlg.Limes.PullbacksAndPushouts |
| pushouts' | OAlg.Limes.PullbacksAndPushouts |
| PushoutsG | OAlg.Limes.PullbacksAndPushouts |
| pushoutsOrnt | OAlg.Limes.PullbacksAndPushouts |
| putDistribution | OAlg.Data.X, OAlg.Prelude |
| putDistribution' | OAlg.Data.X, OAlg.Prelude |
| putDistributionIO | OAlg.Data.X, OAlg.Prelude |
| putDstr | OAlg.Data.X, OAlg.Prelude |
| putStatistic | OAlg.Data.Statistics |
| putStatisticW | OAlg.Data.Statistics |
| putStrLn | OAlg.Prelude |
| Q | |
| 1 (Type/Class) | OAlg.Data.Number, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Symbol |
| qtimes | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Quiver | |
| 1 (Type/Class) | OAlg.Entity.Diagram.Quiver, OAlg.Entity.Diagram |
| 2 (Data Constructor) | OAlg.Entity.Diagram.Quiver, OAlg.Entity.Diagram |
| qvOrientations | OAlg.Entity.Diagram.Quiver, OAlg.Entity.Diagram |
| R | |
| 1 (Data Constructor) | OAlg.Data.Symbol |
| 2 (Type/Class) | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred, OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| 3 (Data Constructor) | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred, OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| range | OAlg.Category.Definition, OAlg.Prelude |
| rcets | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| Rdc | OAlg.Data.Reducible |
| rdcCoToFromCo | OAlg.Data.HomCo |
| rdcCoToFromDual | OAlg.Data.HomCo |
| rdcDndPrms | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| rdcFailed | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| rdcFalse | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| rdcFSequenceForm | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| rdcGLTForm | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| rdcPathCo | OAlg.Data.HomCo |
| rdcPathSMorphism | OAlg.Category.SDuality |
| RdcState | OAlg.Data.Reducible |
| rdcTrue | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| RDst | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| RDstRoot | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| Read | OAlg.Data.Show, OAlg.Prelude |
| read | OAlg.Data.Show, OAlg.Prelude |
| Real | OAlg.Structure.Exponential |
| reduce | OAlg.Data.Reducible |
| reducesTo | OAlg.Data.Reducible |
| reduceWith | OAlg.Data.Reducible |
| Reducible | OAlg.Data.Reducible |
| refl | OAlg.Entity.Natural |
| Reflexive | OAlg.Data.Dualisable, OAlg.Prelude |
| ReflexiveG | OAlg.Category.Dualisable |
| reflG | OAlg.Category.Dualisable |
| reflG' | OAlg.Category.Dualisable |
| ReflO | OAlg.Hom.Definition, OAlg.Hom |
| reflO | OAlg.Hom.Definition, OAlg.Hom |
| relHomogenRoot | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| relInvEq2 | OAlg.Category.Proposition, OAlg.Prelude |
| relIsZero | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| relLiftable | OAlg.Entity.Slice.Liftable |
| relMapMltCnt | OAlg.Hom.Multiplicative, OAlg.Hom |
| relMapMltCov | OAlg.Hom.Multiplicative, OAlg.Hom |
| relMapMltOne | OAlg.Hom.Multiplicative, OAlg.Hom |
| relNaturalTransformable | OAlg.Category.NaturalTransformable |
| relXStandard | OAlg.Data.Validable, OAlg.Prelude |
| repeat | OAlg.Entity.FinList |
| repMatrix | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| Representable | |
| 1 (Type/Class) | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| 2 (Data Constructor) | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| restrict | OAlg.Data.Constructable |
| Result | |
| 1 (Type/Class) | OAlg.Control.Validate, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Control.Validate, OAlg.Prelude |
| reverse | OAlg.Category.Path |
| rhnf | OAlg.Control.HNFData |
| Right | OAlg.Data.Either |
| Right1 | OAlg.Data.Either |
| Right2 | OAlg.Data.Either |
| RightSide | OAlg.Data.Dualisable, OAlg.Prelude |
| RightToLeft | OAlg.Data.Dualisable, OAlg.Prelude |
| Ring | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| rmap | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| rnfValid | OAlg.Data.Validable, OAlg.Prelude |
| roh | OAlg.Category.NaturalTransformable |
| roh' | OAlg.Category.NaturalTransformable |
| rOne | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| Root | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| root | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| Row | |
| 1 (Type/Class) | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| 2 (Data Constructor) | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowAdd | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowAppend | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowElimZeros | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowEmpty | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowFilter | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowHead | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowInterlace | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowIsEmpty | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowMapShift | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowMltl | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rows | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| rowScale | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowShear | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowSwap | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rowTail | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| RowTrafo | |
| 1 (Type/Class) | OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix |
| 2 (Data Constructor) | OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix |
| rowxs | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| rsTests | OAlg.Control.Validate, OAlg.Prelude |
| rsTestsFalse | OAlg.Control.Validate, OAlg.Prelude |
| rsTestsRdcDndPrms | OAlg.Control.Validate, OAlg.Prelude |
| rsValid | OAlg.Control.Validate, OAlg.Prelude |
| rsValidatedSamples | OAlg.Control.Validate, OAlg.Prelude |
| Rt | |
| 1 (Type/Class) | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| 2 (Data Constructor) | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| rt' | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| run | OAlg.Control.Action |
| rZero | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| S | |
| 1 (Data Constructor) | OAlg.Data.Symbol |
| 2 (Data Constructor) | OAlg.Entity.Natural |
| 3 (Data Constructor) | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| sameChar | OAlg.Data.TypeLits |
| sameNat | OAlg.Data.TypeLits |
| sameSymbol | OAlg.Data.TypeLits |
| sample | OAlg.Data.X, OAlg.Prelude |
| samples | OAlg.Data.X, OAlg.Prelude |
| sbstAdd | OAlg.Entity.Natural |
| Scalar | OAlg.Structure.Vectorial.Definition, OAlg.Structure.Vectorial, OAlg.Structure.Vectorial |
| Scale | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| scale | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| SChar | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Data Constructor) | OAlg.Data.TypeLits |
| SCov | OAlg.Category.SDuality |
| sCov | OAlg.Category.SDuality |
| sdbFromCncObj | OAlg.Limes.Cone.Conic.Duality, OAlg.Limes.Cone.Conic, OAlg.Limes.Cone |
| sdbFromDgmObj | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| sdbToCncObj | OAlg.Limes.Cone.Conic.Duality, OAlg.Limes.Cone.Conic, OAlg.Limes.Cone |
| sdbToDgmObj | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| sdgMap | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| sdgMapCnt | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| sdgMapCov | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| sdgMapS | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| SDualBi | |
| 1 (Type/Class) | OAlg.Category.SDuality |
| 2 (Data Constructor) | OAlg.Category.SDuality |
| Semiring | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| seq | OAlg.Prelude |
| Sequence | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| sequence | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| SequenceException | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| Set | |
| 1 (Type/Class) | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| 2 (Data Constructor) | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| set | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setDifference | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setEmpty | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setFilter | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setgph | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| setIndex | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setIntersection | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setIsEmpty | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setMap | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setPower | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setSpan | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setSqc | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setState | OAlg.Control.Action |
| setTakeN | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setUnion | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setxs | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| sForget | OAlg.Category.SDuality |
| sfrMap | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| SFromDual | OAlg.Category.SDuality |
| sFromDual | OAlg.Category.SDuality |
| sFromDual' | OAlg.Category.SDuality |
| sfrPoint | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| sfsdMapCnt | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| sfsdMapCov | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| sfsdMapS | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| Sheaf | |
| 1 (Type/Class) | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| 2 (Data Constructor) | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| Shear | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| shear | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| shell | OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| SHom | OAlg.Category.SDuality |
| sHomCo | OAlg.Data.HomCo |
| Show | OAlg.Data.Show, OAlg.Prelude |
| show | OAlg.Data.Show, OAlg.Prelude |
| Show1 | OAlg.Data.Show, OAlg.Prelude |
| show1 | OAlg.Data.Show, OAlg.Prelude |
| Show2 | OAlg.Data.Show, OAlg.Prelude |
| show2 | OAlg.Data.Show, OAlg.Prelude |
| ShowDual1 | OAlg.Data.Dualisable, OAlg.Prelude, OAlg.Category.SDuality |
| showList | OAlg.Data.Show, OAlg.Prelude |
| showPercent | OAlg.Control.Verbose |
| ShowPoint | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| ShowRoot | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| showsPrec | OAlg.Data.Show, OAlg.Prelude |
| ShowType | OAlg.Data.TypeLits |
| showV | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| showVStatement | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Side | OAlg.Data.Dualisable, OAlg.Prelude |
| signum | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Singleton | OAlg.Data.Singleton |
| singleton | OAlg.Data.Singleton |
| Singleton1 | OAlg.Data.Singleton |
| singleton1 | OAlg.Data.Singleton |
| SingletonPoint | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| SingletonRoot | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| Singular | OAlg.Data.Singular |
| SInvalid | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Site | OAlg.Data.Dualisable, OAlg.Prelude |
| slcAdjunction | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| slcCokerKer | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| slcCokernelsCone | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| slcKerCoker | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| slcKernelsCone | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| Sld | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| SldFr | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| sldHom | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| slfFactor | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slfIndex | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slfLimitsInjective | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slfMap | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slfMapCnt | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slfMapCov | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slfPullback | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slfTerminalPoint | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| Slice | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slice | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| SliceAdjunction | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| SliceCokernel | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| sliceCokernel | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| SliceCokernels | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| Sliced | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| SlicedFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| slicedFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| slicedFree' | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| SliceDiagram | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| SliceDiagramCokernel | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| SliceDiagramKernel | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| SliceFactor | |
| 1 (Type/Class) | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| SliceFactorDrop | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| SliceFactorFromDrop | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| SliceFactorToDrop | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| SliceFrom | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| sliceIndex | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| sliceIndexDomain | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| sliceIndexRange | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| SliceKernel | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| sliceKernel | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| SliceKernels | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| slicePoint | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| SliceTo | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slMap | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slMapCnt | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slMapCov | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slSiteType | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| smap | OAlg.Category.SDuality |
| smapBi | OAlg.Category.SDuality |
| smCmpb2 | OAlg.Category.Unify |
| smfJoin | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| smflc | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| smfLength | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| smfMap | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| smfReduce | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| smJoin | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| smlc | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| smMap | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| SMorphism | OAlg.Category.SDuality |
| SNat | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Data Constructor) | OAlg.Data.TypeLits |
| snd | OAlg.Category.Definition, OAlg.Prelude |
| solvable | OAlg.Control.Solver |
| solve | OAlg.Control.Solver |
| Solver | OAlg.Control.Solver |
| Some | OAlg.Entity.Natural |
| SomeApplication | |
| 1 (Type/Class) | OAlg.Category.Unify |
| 2 (Data Constructor) | OAlg.Category.Unify |
| SomeChar | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Data Constructor) | OAlg.Data.TypeLits |
| someCharVal | OAlg.Data.TypeLits |
| SomeCmpb2 | |
| 1 (Type/Class) | OAlg.Category.Unify |
| 2 (Data Constructor) | OAlg.Category.Unify |
| SomeCmpb2G | |
| 1 (Type/Class) | OAlg.Category.Proposition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Proposition, OAlg.Prelude |
| SomeCmpb3 | |
| 1 (Type/Class) | OAlg.Category.Unify |
| 2 (Data Constructor) | OAlg.Category.Unify |
| SomeCmpbAppl | |
| 1 (Type/Class) | OAlg.Category.Proposition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Proposition, OAlg.Prelude |
| SomeConsecutiveZeroHom | |
| 1 (Type/Class) | OAlg.Limes.Exact.ConsecutiveZero |
| 2 (Data Constructor) | OAlg.Limes.Exact.ConsecutiveZero |
| SomeDiagram | |
| 1 (Type/Class) | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| 2 (Data Constructor) | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| SomeEntity | |
| 1 (Type/Class) | OAlg.Category.Unify |
| 2 (Data Constructor) | OAlg.Category.Unify |
| SomeEntityG | |
| 1 (Type/Class) | OAlg.Category.Proposition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Proposition, OAlg.Prelude |
| someException | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| SomeFinList | |
| 1 (Type/Class) | OAlg.Entity.FinList |
| 2 (Data Constructor) | OAlg.Entity.FinList |
| someFinList | OAlg.Entity.FinList |
| SomeFree | |
| 1 (Type/Class) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| SomeFreeSlice | |
| 1 (Type/Class) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| SomeFreeSliceCokernel | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| SomeFreeSliceDiagram | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| SomeFreeSliceKernel | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| SomeMorphism | |
| 1 (Type/Class) | OAlg.Category.Unify |
| 2 (Data Constructor) | OAlg.Category.Unify |
| SomeMorphismDomain | OAlg.Category.Unify |
| SomeMorphismRange | OAlg.Category.Unify |
| SomeMorphismSite | OAlg.Category.Unify |
| SomeNat | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Data Constructor) | OAlg.Data.TypeLits |
| SomeNatural | |
| 1 (Type/Class) | OAlg.Entity.Natural |
| 2 (Data Constructor) | OAlg.Entity.Natural |
| someNatural | OAlg.Entity.Natural |
| SomeNaturalApplication | |
| 1 (Type/Class) | OAlg.Category.NaturalTransformable |
| 2 (Data Constructor) | OAlg.Category.NaturalTransformable |
| someNatVal | OAlg.Data.TypeLits |
| SomeOAlgException | |
| 1 (Type/Class) | OAlg.Control.Exception, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Control.Exception, OAlg.Prelude |
| SomeObjectClass | |
| 1 (Type/Class) | OAlg.Category.Unify |
| 2 (Data Constructor) | OAlg.Category.Unify |
| someOne | OAlg.Category.Unify |
| SomePath | |
| 1 (Type/Class) | OAlg.Category.Unify |
| 2 (Data Constructor) | OAlg.Category.Unify |
| somePath | OAlg.Category.Unify |
| SomePathDomain | OAlg.Category.Unify |
| SomePathRange | OAlg.Category.Unify |
| SomePathSite | OAlg.Category.Unify |
| SomeSliceN | |
| 1 (Type/Class) | OAlg.Data.FinitelyPresentable |
| 2 (Data Constructor) | OAlg.Data.FinitelyPresentable |
| SomeSymbol | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Data Constructor) | OAlg.Data.TypeLits |
| someSymbolVal | OAlg.Data.TypeLits |
| sortFst | OAlg.Data.Ord, OAlg.Prelude |
| sortFstBy | OAlg.Data.Ord, OAlg.Prelude |
| sortSnd | OAlg.Data.Ord, OAlg.Prelude |
| sortSndBy | OAlg.Data.Ord, OAlg.Prelude |
| Span | OAlg.Data.Ord, OAlg.Prelude |
| span | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| Sparse | OAlg.Control.Validate, OAlg.Prelude |
| SPath | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| split | OAlg.Data.FinitelyPresentable |
| Splitable | |
| 1 (Type/Class) | OAlg.Data.FinitelyPresentable |
| 2 (Data Constructor) | OAlg.Data.FinitelyPresentable |
| splitAtN | OAlg.Data.Number, OAlg.Prelude |
| splitCycle | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| splitCycles | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| sqcIndexMap | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| Ssy | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| ssycfs | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| ssyJoin | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| ssylc | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| ssyMap | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| SSymbol | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Data Constructor) | OAlg.Data.TypeLits |
| ssyprj | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| ssypsq | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| ssySum | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| Standard | OAlg.Control.Validate, OAlg.Prelude |
| Star | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| start | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| Statement | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| stdCnf | OAlg.Control.Validate, OAlg.Prelude |
| stdStc | OAlg.Control.Validate, OAlg.Prelude |
| Stochastic | OAlg.Control.Validate, OAlg.Prelude |
| SToDual | OAlg.Category.SDuality |
| sToDual | OAlg.Category.SDuality |
| sToDual' | OAlg.Category.SDuality |
| Strict | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| String | OAlg.Data.Show, OAlg.Prelude |
| Struct | |
| 1 (Type/Class) | OAlg.Structure.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Structure.Definition, OAlg.Prelude |
| Struct2 | |
| 1 (Type/Class) | OAlg.Structure.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Structure.Definition, OAlg.Prelude |
| structOrtOp | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| Structure | OAlg.Structure.Definition, OAlg.Prelude |
| Structure2 | OAlg.Structure.Definition, OAlg.Prelude |
| Sub | |
| 1 (Type/Class) | OAlg.Category.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Definition, OAlg.Prelude |
| sub | OAlg.Category.Definition, OAlg.Prelude |
| sub' | OAlg.Category.Definition, OAlg.Prelude |
| subG | OAlg.Category.Definition, OAlg.Prelude |
| SubStruct | OAlg.Structure.Definition, OAlg.Prelude |
| succ | OAlg.Data.Number, OAlg.Prelude |
| succSomeNatural | OAlg.Entity.Natural |
| Sum | |
| 1 (Type/Class) | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| 2 (Type/Class) | OAlg.Limes.ProductsAndSums |
| sum' | OAlg.Data.X, OAlg.Prelude |
| SumCone | OAlg.Limes.ProductsAndSums |
| sumCone | OAlg.Limes.ProductsAndSums |
| sumConeOrnt | OAlg.Limes.ProductsAndSums |
| SumConic | OAlg.Limes.ProductsAndSums |
| SumDiagram | OAlg.Limes.ProductsAndSums |
| sumDiagram | OAlg.Limes.ProductsAndSums |
| SumDiagrammatic | OAlg.Limes.ProductsAndSums |
| SumForm | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| SumG | OAlg.Limes.ProductsAndSums |
| sumOrnt | OAlg.Limes.ProductsAndSums |
| Sums | OAlg.Limes.ProductsAndSums |
| sums | OAlg.Limes.ProductsAndSums |
| sums' | OAlg.Limes.ProductsAndSums |
| sums0 | OAlg.Limes.ProductsAndSums |
| sums1 | OAlg.Limes.ProductsAndSums |
| sums2 | OAlg.Limes.ProductsAndSums |
| SumsG | OAlg.Limes.ProductsAndSums |
| sumsOrnt | OAlg.Limes.ProductsAndSums |
| SumSymbol | |
| 1 (Type/Class) | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| 2 (Data Constructor) | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| sumSymbol | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| support | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| SVal | |
| 1 (Type/Class) | OAlg.Category.SDuality |
| 2 (Data Constructor) | OAlg.Category.SDuality |
| SValid | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| SW | OAlg.Entity.Natural |
| swap | |
| 1 (Function) | OAlg.Data.Relation |
| 2 (Function) | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| sy | |
| 1 (Function) | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| 2 (Function) | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| Symbol | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Type/Class) | OAlg.Data.Symbol |
| symbolSing | OAlg.Data.TypeLits |
| symbolVal | OAlg.Data.TypeLits |
| symbolVal' | OAlg.Data.TypeLits |
| Symmetric | OAlg.Data.Relation |
| T | |
| 1 (Type/Class) | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Symbol |
| tail | OAlg.Entity.FinList |
| takeN | OAlg.Data.Number, OAlg.Prelude |
| tau | OAlg.Structure.Definition, OAlg.Prelude |
| tau1 | OAlg.Structure.Definition, OAlg.Prelude |
| tau1Hom | OAlg.Category.Definition, OAlg.Prelude |
| tauAdd | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| tauDst | OAlg.Structure.Distributive.Definition, OAlg.Structure.Distributive |
| tauFbr | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| tauFbrOrt | OAlg.Structure.FibredOriented |
| tauFst | OAlg.Structure.Definition, OAlg.Prelude |
| tauG | OAlg.Structure.Definition, OAlg.Prelude |
| tauG' | OAlg.Structure.Definition, OAlg.Prelude |
| tauGSubStruct | OAlg.Structure.Definition, OAlg.Prelude |
| tauHom | OAlg.Category.Definition, OAlg.Prelude |
| tauHomG | OAlg.Category.Definition, OAlg.Prelude |
| tauMlt | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| tauO | OAlg.Category.Dualisable |
| tauOp | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| tauOrt | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| tauSnd | OAlg.Structure.Definition, OAlg.Prelude |
| tauSubStruct | OAlg.Structure.Definition, OAlg.Prelude |
| tauTuple | OAlg.Structure.Definition, OAlg.Prelude |
| tauTyp | OAlg.Structure.Definition, OAlg.Prelude |
| tauType | OAlg.Structure.Definition, OAlg.Prelude |
| TerminalCone | OAlg.Limes.TerminalAndInitialPoint |
| TerminalConic | OAlg.Limes.TerminalAndInitialPoint |
| TerminalDiagram | OAlg.Limes.TerminalAndInitialPoint |
| TerminalDiagrammatic | OAlg.Limes.TerminalAndInitialPoint |
| TerminalPoint | OAlg.Limes.TerminalAndInitialPoint |
| TerminalPointG | OAlg.Limes.TerminalAndInitialPoint |
| terminalPointOrnt | OAlg.Limes.TerminalAndInitialPoint |
| Terminals | OAlg.Limes.TerminalAndInitialPoint |
| TerminalsG | OAlg.Limes.TerminalAndInitialPoint |
| tests | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Text | OAlg.Data.TypeLits |
| throw | OAlg.Control.Exception, OAlg.Prelude |
| tip | OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| To | OAlg.Data.Dualisable, OAlg.Prelude |
| toArray | OAlg.Entity.FinList |
| toBidual | OAlg.Data.Dualisable, OAlg.Prelude |
| ToCo | OAlg.Data.HomCo |
| toCo | OAlg.Data.HomCo |
| toDigits | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| toDigitsFinite | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| toDual | OAlg.Data.Dualisable, OAlg.Prelude |
| toDualArw | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| toDualG | OAlg.Category.Dualisable |
| toDualG' | OAlg.Category.Dualisable |
| toDualGLft | OAlg.Category.Dualisable |
| toDualGRgt | OAlg.Category.Dualisable |
| toDualO | OAlg.Hom.Definition, OAlg.Hom |
| toDualO' | OAlg.Hom.Definition, OAlg.Hom |
| toDualOpDst | OAlg.Hom.Distributive, OAlg.Hom |
| toDualOpDstSld | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| toDualOpDstSld' | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| toDualOpFbrOrt | OAlg.Hom.FibredOriented |
| toDualOpFreeDst | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| toDualOpMlt | OAlg.Hom.Multiplicative, OAlg.Hom |
| toDualOpMltSld | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| toDualOpMltSld' | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| toDualOpOrt | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| toDualOpOrtSld | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| toDualOpOrtSld' | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| toDualOrt | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| toDualPnt | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| toDualRt | OAlg.Hom.Fibred, OAlg.Hom |
| toDualStk | OAlg.Hom.Fibred, OAlg.Hom |
| toEnum | OAlg.Data.Number, OAlg.Prelude |
| toException | OAlg.Control.Exception, OAlg.Prelude |
| ToId | OAlg.Hom.Definition, OAlg.Hom |
| toIdG | OAlg.Data.Identity, OAlg.Prelude |
| toN' | OAlg.Entity.Natural |
| toOp2Path | OAlg.Category.Path |
| toOpG | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| ToPerspective | OAlg.Limes.Perspective, OAlg.Limes.Cone |
| toPntG | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| ToSite | OAlg.Data.Dualisable, OAlg.Prelude |
| Total | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| TotalOpl | OAlg.Structure.Operational |
| TotalOpr | OAlg.Structure.Operational |
| TotalRoot | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| toVariant2 | OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| toW | OAlg.Entity.FinList |
| toW' | OAlg.Entity.Natural |
| trafoFromId | OAlg.Data.Identity, OAlg.Prelude |
| trafoToId | OAlg.Data.Identity, OAlg.Prelude |
| Transformable | OAlg.Structure.Definition, OAlg.Prelude |
| Transformable1 | OAlg.Structure.Definition, OAlg.Prelude |
| TransformableAbl | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| TransformableAdd | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| TransformableAlg | OAlg.Structure.Algebraic.Definition, OAlg.Structure.Algebraic |
| TransformableDst | OAlg.Structure.Distributive.Definition, OAlg.Structure.Distributive |
| TransformableFbr | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| TransformableFbrOrt | OAlg.Structure.FibredOriented |
| TransformableG | OAlg.Structure.Definition, OAlg.Prelude |
| TransformableGObjectClass | OAlg.Category.Definition, OAlg.Prelude |
| TransformableGObjectClassDomain | OAlg.Category.Definition, OAlg.Prelude |
| TransformableGObjectClassRange | OAlg.Category.Definition, OAlg.Prelude |
| TransformableGRefl | OAlg.Structure.Definition, OAlg.Prelude |
| TransformableGReflOp | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| TransformableMlt | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| TransformableObjectClass | OAlg.Category.Definition, OAlg.Prelude |
| TransformableObjectClassTyp | OAlg.Category.Definition, OAlg.Prelude |
| TransformableOp | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| TransformableOrt | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| TransformableTyp | OAlg.Structure.Definition, OAlg.Prelude |
| TransformableType | OAlg.Structure.Definition, OAlg.Prelude |
| TransformableVec | OAlg.Structure.Vectorial.Definition, OAlg.Structure.Vectorial |
| Transformation | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| Transposable | OAlg.Data.Dualisable, OAlg.Prelude |
| TransposableDistributive | OAlg.Structure.Distributive.Definition, OAlg.Structure.Distributive |
| TransposableMultiplicative | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| TransposableOriented | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| transpose | OAlg.Data.Dualisable, OAlg.Prelude |
| TrApp | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| Tree | OAlg.Data.Tree |
| trFilter | OAlg.Data.Tree |
| TrFT | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| TrGL | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| TrGLT | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| trGLT | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| trLookup | OAlg.Data.Tree |
| trmCone | OAlg.Limes.TerminalAndInitialPoint |
| trmConeG | OAlg.Limes.TerminalAndInitialPoint |
| trmDiagram | OAlg.Limes.TerminalAndInitialPoint |
| trmsOrnt | OAlg.Limes.TerminalAndInitialPoint |
| True | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| true | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| tryToInvert | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| tween | OAlg.Data.Show, OAlg.Prelude |
| Typ | OAlg.Structure.Definition, OAlg.Prelude |
| TypeablePoint | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| TypeableRoot | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| TypeError | OAlg.Data.TypeLits |
| U | |
| 1 (Data Constructor) | OAlg.Data.Symbol |
| 2 (Type/Class) | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| 3 (Data Constructor) | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| Unchanged | OAlg.Data.Reducible |
| UnconsSymbol | OAlg.Data.TypeLits |
| uncurry | OAlg.Category.Definition, OAlg.Prelude |
| uncurry3 | OAlg.Category.Definition, OAlg.Prelude |
| Undefined | OAlg.Control.Exception, OAlg.Prelude |
| undefined | OAlg.Prelude |
| UndefinedScalarproduct | OAlg.Structure.Exception |
| unit | OAlg.Data.Singleton |
| unit1 | OAlg.Data.Singleton |
| unitl | OAlg.Adjunction.Definition, OAlg.Adjunction |
| unitr | OAlg.Adjunction.Definition, OAlg.Adjunction |
| universalCone | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| universalDiagram | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| universalFactor | OAlg.Limes.Definition.Core, OAlg.Limes.Definition |
| V | |
| 1 (Type/Class) | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Symbol |
| valDeterministic | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Valid | |
| 1 (Type/Class) | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| valid | OAlg.Data.Validable, OAlg.Prelude |
| valid1 | OAlg.Data.Validable, OAlg.Prelude |
| valid2 | OAlg.Data.Validable, OAlg.Prelude |
| Validable | OAlg.Data.Validable, OAlg.Prelude |
| Validable1 | OAlg.Data.Validable, OAlg.Prelude |
| Validable2 | OAlg.Data.Validable, OAlg.Prelude |
| ValidableDual1 | OAlg.Data.Validable, OAlg.Prelude, OAlg.Category.SDuality |
| ValidablePoint | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| ValidableRoot | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| validate | OAlg.Control.Validate, OAlg.Prelude |
| validate' | OAlg.Control.Validate, OAlg.Prelude |
| validateDet | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| ValidateingException | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| validateStatistics | OAlg.Control.Validate, OAlg.Prelude |
| validateStoch | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| validateStochastic | OAlg.Control.Validate, OAlg.Prelude |
| validateWith | OAlg.Control.Validate, OAlg.Prelude |
| valT | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| value | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Variable | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Variance | OAlg.Limes.Exact.Deviation |
| variance | OAlg.Limes.Exact.Deviation |
| VarianceFreeLiftable | OAlg.Limes.Exact.Free |
| varianceFreeTo | OAlg.Limes.Exact.Free |
| VarianceG | |
| 1 (Type/Class) | OAlg.Limes.Exact.Deviation |
| 2 (Data Constructor) | OAlg.Limes.Exact.Deviation |
| VarianceGHom | |
| 1 (Type/Class) | OAlg.Limes.Exact.Deviation |
| 2 (Data Constructor) | OAlg.Limes.Exact.Deviation |
| VarianceHom | OAlg.Limes.Exact.Deviation |
| varianceHom | OAlg.Limes.Exact.Deviation |
| Variant | OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| variant | OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| Variant2 | OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| variant2 | OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| Vec | OAlg.Structure.Vectorial.Definition, OAlg.Structure.Vectorial |
| vecAppl | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| vecpsq | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| vecrc | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| Vector | |
| 1 (Type/Class) | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| 2 (Data Constructor) | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| Vectorial | OAlg.Structure.Vectorial.Definition, OAlg.Structure.Vectorial |
| VectorSheaf | |
| 1 (Type/Class) | OAlg.Structure.Vectorial.Definition, OAlg.Structure.Vectorial |
| 2 (Data Constructor) | OAlg.Structure.Vectorial.Definition, OAlg.Structure.Vectorial |
| Verbose | OAlg.Control.Verbose |
| Verbosity | OAlg.Control.Verbose |
| vInv2 | OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| vmap2 | OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| vmapBi | OAlg.Category.SDuality |
| vrcConsZeroHom | OAlg.Limes.Exact.Deviation |
| vrcHead | OAlg.Limes.Exact.Deviation |
| vrcHomConsZeroHom | OAlg.Limes.Exact.Deviation |
| vrcHomMapCnt | OAlg.Limes.Exact.Deviation |
| vrcHomMapCov | OAlg.Limes.Exact.Deviation |
| vrcHomMapS | OAlg.Limes.Exact.Deviation |
| vrcHomSite | OAlg.Limes.Exact.Deviation |
| vrcMapCnt | OAlg.Limes.Exact.Deviation |
| vrcMapCov | OAlg.Limes.Exact.Deviation |
| vrcMapS | OAlg.Limes.Exact.Deviation |
| vrcSite | OAlg.Limes.Exact.Deviation |
| vrcTail | OAlg.Limes.Exact.Deviation |
| vshow | OAlg.Control.Verbose |
| vshowList | OAlg.Control.Verbose |
| vshowStr | OAlg.Control.Verbose |
| W | |
| 1 (Data Constructor) | OAlg.Data.Symbol |
| 2 (Type/Class) | OAlg.Entity.Natural |
| W' | |
| 1 (Type/Class) | OAlg.Entity.Natural |
| 2 (Data Constructor) | OAlg.Entity.Natural |
| W0 | OAlg.Entity.Natural |
| wcompare | OAlg.Data.Ord, OAlg.Prelude |
| Wide | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| withKnownChar | OAlg.Data.TypeLits |
| withKnownNat | OAlg.Data.TypeLits |
| withKnownSymbol | OAlg.Data.TypeLits |
| withSomeSChar | OAlg.Data.TypeLits |
| withSomeSNat | OAlg.Data.TypeLits |
| withSomeSSymbol | OAlg.Data.TypeLits |
| Word | |
| 1 (Type/Class) | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| 2 (Data Constructor) | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| wrdprf | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| wrdPrfGroup | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| wrdpsy | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| X | |
| 1 (Type/Class) | OAlg.Data.X, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Symbol |
| XAbl | |
| 1 (Type/Class) | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| 2 (Data Constructor) | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| XAdd | |
| 1 (Type/Class) | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| 2 (Data Constructor) | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| xAddOrnt | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| xAddStalk | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| xAddTtl | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| XAlg | |
| 1 (Type/Class) | OAlg.Structure.Algebraic.Proposition, OAlg.Structure.Algebraic |
| 2 (Data Constructor) | OAlg.Structure.Algebraic.Proposition, OAlg.Structure.Algebraic |
| XAppl | OAlg.Category.Proposition, OAlg.Prelude |
| xBool | OAlg.Data.X, OAlg.Prelude |
| XCat | |
| 1 (Type/Class) | OAlg.Category.Proposition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Proposition, OAlg.Prelude |
| xCat | OAlg.Category.Proposition, OAlg.Prelude |
| xChar | OAlg.Data.X, OAlg.Prelude |
| xCharB | OAlg.Data.X, OAlg.Prelude |
| xCnInjDstOrnt | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| xCnInjOrnt | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| xCnPrjDstOrnt | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| xCnPrjOrnt | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| xCSequence | OAlg.Entity.Sequence.CSequence, OAlg.Entity.Sequence |
| xcSomeCmpb3 | OAlg.Category.Proposition, OAlg.Prelude |
| xcSomeMrph | OAlg.Category.Proposition, OAlg.Prelude |
| XDiagram | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| xDiagram | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| xDiagramChain | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| XDiagramChainFrom | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| XDiagramChainTo | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| XDiagramDiscrete | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| XDiagramEmpty | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| XDiagramParallelLR | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| XDiagramParallelRL | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| XDiagramSink | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| XDiagramSource | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| XDomain | OAlg.Category.Proposition, OAlg.Prelude |
| xDouble | OAlg.Data.X, OAlg.Prelude |
| xDoubleB | OAlg.Data.X, OAlg.Prelude |
| XDst | |
| 1 (Type/Class) | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| 2 (Data Constructor) | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| xDstOrnt | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| xDstStalkStartEnd | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| xDstTtl | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| xec | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| xecDiscrete | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| xecf | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| xecfEligibleCone | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| xecfMapCnt | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| xecfMapCov | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| xecfMapS | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| xecfOrtSite | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| xecMapCnt | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| xecMapCov | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| xecMapS | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| XEligibleConeFactorG | |
| 1 (Type/Class) | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| 2 (Data Constructor) | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| xEligibleConeFactorGOrnt | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| XEligibleConeG | |
| 1 (Type/Class) | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| 2 (Data Constructor) | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| xEligibleConeGOrnt | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| XEmpty | OAlg.Data.X, OAlg.Prelude |
| XEnd | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xEndOrnt | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xEnum | OAlg.Data.X, OAlg.Prelude |
| xEnumB | OAlg.Data.X, OAlg.Prelude |
| XException | OAlg.Data.X, OAlg.Prelude |
| XFbr | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| xFbrOrnt | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| XFbrOrt | OAlg.Structure.FibredOriented |
| xFbrOrtOrnt | OAlg.Structure.FibredOriented |
| XFnct | |
| 1 (Type/Class) | OAlg.Category.Proposition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Proposition, OAlg.Prelude |
| xFnct | OAlg.Category.Proposition, OAlg.Prelude |
| XFnctMrphSite | |
| 1 (Type/Class) | OAlg.Category.Proposition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Proposition, OAlg.Prelude |
| XHomMlt | OAlg.Hom.Multiplicative, OAlg.Hom |
| xInt | OAlg.Data.X, OAlg.Prelude |
| xIntB | OAlg.Data.X, OAlg.Prelude |
| xInteger | OAlg.Data.X, OAlg.Prelude |
| xIntegerB | OAlg.Data.X, OAlg.Prelude |
| xList | OAlg.Data.X, OAlg.Prelude |
| xListF | OAlg.Entity.FinList |
| xMatrix | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| xMatrixTtl | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| XMlt | |
| 1 (Type/Class) | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| 2 (Data Constructor) | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| xMlt | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| xMltEndo | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| xMltFactor | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| xMltHomMlt | OAlg.Hom.Multiplicative, OAlg.Hom |
| xMltMltp2 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| xMltMltp3 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| xMltN | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| xMltOrnt | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| xMltp2 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| xMltp3 | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| xMltPermutation | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| xMltPoint | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| xMltTtl | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| XMrphSite | OAlg.Category.Proposition, OAlg.Prelude |
| xMrphSite | OAlg.Category.Proposition, OAlg.Prelude |
| xN | OAlg.Data.X, OAlg.Prelude |
| xNB | OAlg.Data.X, OAlg.Prelude |
| xoAbl | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| xoAdbl2 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| xoAdbl3 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| xoAdd | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| xoAlg | OAlg.Structure.Algebraic.Proposition, OAlg.Structure.Algebraic |
| xoArrow | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xoDst | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| xodZ | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| xodZZ | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| xoFbr | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred, OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| xoFbrOrt | OAlg.Structure.FibredOriented |
| xoFrom | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xOmega | OAlg.Data.X, OAlg.Prelude |
| xoMlt | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| xOneOf | OAlg.Data.X, OAlg.Prelude |
| xOneOfW | OAlg.Data.X, OAlg.Prelude |
| xOneOfX | OAlg.Data.X, OAlg.Prelude |
| xOneOfXW | OAlg.Data.X, OAlg.Prelude |
| xoOrientation | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xoOrnt | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xoOrt | OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented |
| xoPoint | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xoRoot | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| XOrt | OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented |
| XOrtOrientation | |
| 1 (Type/Class) | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| 2 (Data Constructor) | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xOrtOrnt | OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented |
| XOrtSite | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xosAdjTerminal | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| xosEnd | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xosFromOpOp | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xosHomMlt | OAlg.Hom.Multiplicative, OAlg.Hom |
| xosOrt | OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented |
| xosPath | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| xosPathAt | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| xosPathMax | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xosPathMaxAt | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xosPoint | OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented |
| xosStart | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xosXOrtSiteFromSliceFactorFrom | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| xosXOrtSitePath | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| xosXOrtSiteToSliceFactorTo | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| xoTo | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xoTtl | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xoVec | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| xPermutation | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| xPermutationB | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| xPermutationN | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| xPrdSymMlt | OAlg.Entity.Product.Proposition, OAlg.Entity.Product |
| xPrdSymStart | OAlg.Entity.Product.Proposition, OAlg.Entity.Product |
| xProductSymbol | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| xPSequence | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| xQ | OAlg.Data.X, OAlg.Prelude |
| XRange | OAlg.Category.Proposition, OAlg.Prelude |
| xRoot | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| xscHomCo | OAlg.Data.HomCo |
| xscmHomDisj | OAlg.Hom.Definition, OAlg.Hom |
| xSctSomeCmpb2 | OAlg.Category.SDuality |
| xSctSomeMrph | OAlg.Category.SDuality |
| xSDualBi | OAlg.Category.SDuality |
| xSet | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| xsfsfl | OAlg.Data.FinitelyPresentable |
| xSheaf | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| xSheafMax | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| xSheafRoot | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| xSheafRootMax | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| xSliceFactorFrom | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| xSliceFrom | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| xSliceTo | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| xsoFbrOrtX | OAlg.Hom.Fibred, OAlg.Hom |
| xSomeAppl | OAlg.Category.Unify |
| xSomeConsecutiveZeroHomOrnt | OAlg.Limes.Exact.ConsecutiveZero |
| xSomeDiagram | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| xSomeDiagramOrnt | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| XSomeFreeSliceFromLiftable | |
| 1 (Type/Class) | OAlg.Data.FinitelyPresentable |
| 2 (Data Constructor) | OAlg.Data.FinitelyPresentable |
| xSomeNatural | OAlg.Entity.Natural |
| xSomePath | OAlg.Category.Proposition, OAlg.Prelude |
| xSomePathMax | OAlg.Category.Proposition, OAlg.Prelude |
| xSomePathSite | OAlg.Category.Proposition, OAlg.Prelude |
| xSomePathSiteMax | OAlg.Category.Proposition, OAlg.Prelude |
| XStalk | |
| 1 (Type/Class) | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| 2 (Data Constructor) | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| xStalkAdbl2 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| xStalkAdbl3 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| xStalkOrnt | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| XStandard | OAlg.Data.Validable, OAlg.Prelude |
| xStandard | OAlg.Data.Validable, OAlg.Prelude |
| XStandardAdd | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| xStandardAdd | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| XStandardDst | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| xStandardDst | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| XStandardDual1 | OAlg.Data.Validable, OAlg.Prelude |
| XStandardEligibleCone | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| XStandardEligibleConeCokernel | OAlg.Limes.KernelsAndCokernels |
| XStandardEligibleConeCokernel1 | OAlg.Limes.KernelsAndCokernels |
| XStandardEligibleConeFactor | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| XStandardEligibleConeFactorCokernel | OAlg.Limes.KernelsAndCokernels |
| XStandardEligibleConeFactorCokernel1 | OAlg.Limes.KernelsAndCokernels |
| XStandardEligibleConeFactorG | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| xStandardEligibleConeFactorG | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| XStandardEligibleConeFactorKernel | OAlg.Limes.KernelsAndCokernels |
| XStandardEligibleConeFactorKernel1 | OAlg.Limes.KernelsAndCokernels |
| XStandardEligibleConeG | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| xStandardEligibleConeG | OAlg.Limes.Definition.Proposition, OAlg.Limes.Definition |
| XStandardEligibleConeKernel | OAlg.Limes.KernelsAndCokernels |
| XStandardEligibleConeKernel1 | OAlg.Limes.KernelsAndCokernels |
| XStandardMlt | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| xStandardMlt | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| XStandardOrtOrientation | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xStandardOrtOrientation | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| XStandardOrtSite | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xStandardOrtSite | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| XStandardOrtSiteFrom | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| XStandardOrtSiteTo | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| XStandardPoint | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| XStandardRoot | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| XStandardSomeFreeSliceFromLiftable | OAlg.Data.FinitelyPresentable |
| xStandardSomeFreeSliceFromLiftable | OAlg.Data.FinitelyPresentable |
| XStart | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xStartOrnt | OAlg.Structure.Oriented.X, OAlg.Structure.Oriented |
| xStartProduct | OAlg.Entity.Product.Proposition, OAlg.Entity.Product |
| xStartProductForm | OAlg.Entity.Product.Proposition, OAlg.Entity.Product |
| xStatement | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| XStd | OAlg.Data.Validable, OAlg.Prelude |
| xStd | OAlg.Data.Validable, OAlg.Prelude |
| xStdStruct | OAlg.Data.Validable, OAlg.Prelude |
| xSymbol | OAlg.Data.Symbol |
| xT | OAlg.Entity.Product.Proposition, OAlg.Entity.Product |
| xTakeB | OAlg.Data.X, OAlg.Prelude |
| xTakeN | OAlg.Data.X, OAlg.Prelude |
| xTupple2 | OAlg.Data.X, OAlg.Prelude |
| xTupple3 | OAlg.Data.X, OAlg.Prelude |
| xValid | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| xValue | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| XVec | |
| 1 (Type/Class) | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| 2 (Data Constructor) | OAlg.Structure.Vectorial.Proposition, OAlg.Structure.Vectorial |
| xVecN | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| xWO | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| xWord | OAlg.Data.X, OAlg.Prelude |
| xWordB | OAlg.Data.X, OAlg.Prelude |
| xZ | OAlg.Data.X, OAlg.Prelude |
| xZB | OAlg.Data.X, OAlg.Prelude |
| Y | OAlg.Data.Symbol |
| Z | |
| 1 (Type/Class) | OAlg.Data.Number, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Symbol |
| Zero | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| zero | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| zero' | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| ZeroPoint | |
| 1 (Type/Class) | OAlg.Limes.Exact.ZeroPoint |
| 2 (Data Constructor) | OAlg.Limes.Exact.ZeroPoint |
| zFloor | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| zFloorFraction | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| zip | OAlg.Entity.FinList |
| zip3 | OAlg.Entity.FinList |
| zpower | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| zProduct | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| zProductForm | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| zrPointInitial | OAlg.Limes.Exact.ZeroPoint |
| zrPointInitials | OAlg.Limes.Exact.ZeroPoint |
| zrPointTerminal | OAlg.Limes.Exact.ZeroPoint |
| zrPointTerminals | OAlg.Limes.Exact.ZeroPoint |
| zSum | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| ztimes | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| ^ | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Function) | OAlg.Structure.Exponential |
| |: | OAlg.Entity.FinList |
| || | OAlg.Data.Logical, OAlg.Prelude |
| |~> | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| ~ | OAlg.Prelude |
| ~> | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |