Index
| ! | OAlg.Structure.Vectorial.Definition, OAlg.Structure.Vectorial |
| $ | OAlg.Category.Applicative, OAlg.Category.Definition, OAlg.Prelude |
| % | OAlg.Data.Number, OAlg.Prelude |
| && | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, 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.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| / | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| /= | 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.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.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.Data.Ord, OAlg.Prelude |
| <= | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Function) | OAlg.Data.Ord, OAlg.Prelude |
| <==> | 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 | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| Additive | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| adjHomMlt | OAlg.Adjunction.Definition, OAlg.Adjunction |
| adjl | 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 |
| amap | OAlg.Category.Applicative, OAlg.Category.Definition, OAlg.Prelude |
| amap1 | OAlg.Category.Applicative, OAlg.Category.Definition, OAlg.Prelude |
| 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 |
| Applicative | OAlg.Category.Applicative, OAlg.Category.Definition, OAlg.Prelude |
| Applicative1 | OAlg.Category.Applicative, OAlg.Category.Definition, OAlg.Prelude |
| ArithmeticException | OAlg.Structure.Exception |
| aspCnstr | OAlg.Data.X, OAlg.Prelude |
| Ats | |
| 1 (Type/Class) | OAlg.Entity.Natural |
| 2 (Data Constructor) | OAlg.Entity.Natural |
| attest | OAlg.Entity.Natural |
| Attestable | OAlg.Entity.Natural |
| B | OAlg.Data.Symbol |
| Bol | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, 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 |
| 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 |
| 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 |
| 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 |
| Closer | 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.Definition, OAlg.Limes.Cone |
| cnCokernel | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnDiagram | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnDiagramTypeRefl | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnDiffHead | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnEligibleFactor | OAlg.Limes.Cone.EligibleFactor, 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 |
| cnFromOp | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnFromOpOp | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnfSamples | OAlg.Control.Validate, OAlg.Prelude |
| cnfStatistics | OAlg.Control.Validate, OAlg.Prelude |
| cnfStcPathLength | OAlg.Control.Validate, OAlg.Prelude |
| cnfWide | OAlg.Control.Validate, OAlg.Prelude |
| cnInjOrnt | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnKernel | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnMap | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnMapDst | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnMapMlt | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnPoints | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnPrjChainFrom | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnPrjChainFromInv | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnPrjChainTo | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnPrjChainToInv | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnPrjOrnt | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnStruct | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnStructMlt | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnStructOp | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| cnToOp | OAlg.Limes.Cone.Definition, 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 |
| cnZeroHead | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| coAdjunction | OAlg.Adjunction.Definition, OAlg.Adjunction |
| coCompare | OAlg.Data.Ord, OAlg.Prelude |
| coCone | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| coConeInv | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| coConeZeroHead | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| coConeZeroHeadInv | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| codeW | OAlg.Entity.Natural |
| coDiagram | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| coDiagramInv | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| coEligibleFactor | OAlg.Limes.Cone.EligibleFactor, OAlg.Limes.Cone |
| coEligibleFactorInv | OAlg.Limes.Cone.EligibleFactor, OAlg.Limes.Cone |
| coEntries | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| coEntriesInv | OAlg.Entity.Matrix.Entries, OAlg.Entity.Matrix |
| coeqlLimitsDuality | OAlg.Limes.EqualizersAndCoequalizers |
| Coequalizer | OAlg.Limes.EqualizersAndCoequalizers |
| CoequalizerCone | OAlg.Limes.EqualizersAndCoequalizers |
| CoequalizerDiagram | OAlg.Limes.EqualizersAndCoequalizers |
| Coequalizers | OAlg.Limes.EqualizersAndCoequalizers |
| coequalizers | OAlg.Limes.EqualizersAndCoequalizers |
| coequalizers' | OAlg.Limes.EqualizersAndCoequalizers |
| coequalizersOrnt | OAlg.Limes.EqualizersAndCoequalizers |
| Cokernel | OAlg.Limes.KernelsAndCokernels |
| CokernelCone | OAlg.Limes.KernelsAndCokernels |
| CokernelDiagram | OAlg.Limes.KernelsAndCokernels |
| cokernelDiagram | OAlg.Limes.KernelsAndCokernels |
| CokernelDiagramFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| cokernelFactor | OAlg.Limes.KernelsAndCokernels |
| Cokernels | OAlg.Limes.KernelsAndCokernels |
| cokernels | OAlg.Limes.KernelsAndCokernels |
| cokernels' | OAlg.Limes.KernelsAndCokernels |
| cokernelsOrnt | OAlg.Limes.KernelsAndCokernels |
| cokrnLimesDuality | 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 |
| coLimes | OAlg.Limes.Definition |
| coLimesInv | OAlg.Limes.Definition |
| coLimits | OAlg.Limes.Limits |
| coLimitsInv | OAlg.Limes.Limits |
| 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 |
| coMatrix | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| coMatrixInv | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| 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.Definition, OAlg.Limes.Cone |
| cOne | OAlg.Category.Definition, OAlg.Prelude |
| cOne' | OAlg.Category.Definition, OAlg.Prelude |
| ConeCokernel | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| ConeDuality | |
| 1 (Type/Class) | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| 2 (Data Constructor) | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| ConeInjective | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| ConeKernel | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| ConeNotEligible | OAlg.Limes.Definition |
| ConeProjective | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| ConeStruct | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| ConeStructDst | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| ConeStructMlt | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| ConeZeroHead | |
| 1 (Type/Class) | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| 2 (Data Constructor) | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| ConsSymbol | OAlg.Data.TypeLits |
| const | OAlg.Category.Definition, OAlg.Prelude |
| Constructable | OAlg.Data.Constructable |
| ConstructableSequence | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| coQuiver | OAlg.Entity.Diagram.Quiver, OAlg.Entity.Diagram |
| coQuiverInv | OAlg.Entity.Diagram.Quiver, OAlg.Entity.Diagram |
| coSomeApplMltp2 | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| coSomeApplMltp2Inv | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| coSomeApplPnt | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| coSomeApplPntInv | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| coSomeDiagram | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| coSomeDiagramInv | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| coTransformation | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| coXHomMlt | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| coXHomMltInv | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| coXOrtOrientation | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| coXOrtSite | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| coXOrtSiteInv | OAlg.Structure.Oriented.Definition, 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 |
| 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 |
| curry | OAlg.Category.Definition, OAlg.Prelude |
| curry3 | OAlg.Category.Definition, OAlg.Prelude |
| czFromOpOp | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| D | OAlg.Data.Symbol |
| denominator | OAlg.Data.Number, OAlg.Prelude |
| dgArrows | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgCenter | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgfDiagram | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| dgfMatrix | OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix |
| dgFromOp | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgFromOpOp | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgMap | 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 |
| dgToOp | OAlg.Entity.Diagram.Definition, 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.Limes.Definition |
| DiagramChainFrom | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramChainTo | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramDiscrete | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramDuality | |
| 1 (Type/Class) | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| 2 (Data Constructor) | 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 |
| DiagramGeneral | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| 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 |
| 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 |
| 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 |
| domain | OAlg.Category.Definition, OAlg.Prelude |
| Down | |
| 1 (Data Constructor) | OAlg.Data.Ord, OAlg.Prelude |
| 2 (Type/Class) | OAlg.Data.Ord, OAlg.Prelude |
| 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 |
| Dual | OAlg.Data.Dualisable, OAlg.Prelude |
| Dualisable | OAlg.Data.Dualisable, OAlg.Prelude |
| E | OAlg.Data.Symbol |
| Either | OAlg.Data.Either |
| Either2 | OAlg.Data.Either |
| elfFactorCone | OAlg.Limes.Cone.EligibleFactor, OAlg.Limes.Cone |
| elfFromOpOp | OAlg.Limes.Cone.EligibleFactor, OAlg.Limes.Cone |
| elfMap | OAlg.Limes.Cone.EligibleFactor, OAlg.Limes.Cone |
| eligibleCone | OAlg.Limes.Definition |
| EligibleFactor | OAlg.Limes.Cone.EligibleFactor, OAlg.Limes.Cone |
| eligibleFactor | OAlg.Limes.Definition |
| EligibleFactorFrom | OAlg.Limes.Cone.EligibleFactor, OAlg.Limes.Cone |
| EligibleFactorTo | OAlg.Limes.Cone.EligibleFactor, OAlg.Limes.Cone |
| Embeddable | OAlg.Data.Canonical |
| EmbeddableMorphism | OAlg.Category.Definition, OAlg.Prelude |
| EmbeddableMorphismTyp | OAlg.Category.Definition, OAlg.Prelude |
| Empty | |
| 1 (Type/Class) | OAlg.Entity.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| empty | OAlg.Entity.Definition, OAlg.Prelude |
| Empty2 | OAlg.Entity.Definition, OAlg.Prelude |
| empty2 | OAlg.Entity.Definition, OAlg.Prelude |
| 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 |
| Entity | OAlg.Entity.Definition, OAlg.Prelude |
| Entity1 | OAlg.Entity.Definition, OAlg.Prelude |
| Entity2 | OAlg.Entity.Definition, OAlg.Prelude |
| EntityPoint | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| 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 |
| EQI | OAlg.Data.TypeLits |
| eql | OAlg.Data.Equal, OAlg.Prelude |
| eqlDomain | OAlg.Category.Definition, OAlg.Prelude |
| eqlKrns | OAlg.Limes.KernelsAndCokernels |
| eqlMorphism | OAlg.Category.Definition, OAlg.Prelude |
| eqlRange | OAlg.Category.Definition, OAlg.Prelude |
| Equalizer | OAlg.Limes.EqualizersAndCoequalizers |
| EqualizerCone | OAlg.Limes.EqualizersAndCoequalizers |
| EqualizerDiagram | OAlg.Limes.EqualizersAndCoequalizers |
| Equalizers | OAlg.Limes.EqualizersAndCoequalizers |
| equalizers | OAlg.Limes.EqualizersAndCoequalizers |
| equalizers0 | OAlg.Limes.EqualizersAndCoequalizers |
| equalizers1 | OAlg.Limes.EqualizersAndCoequalizers |
| equalizers2 | 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 |
| 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 |
| 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.Definition, OAlg.Limes.Cone |
| 2 (Data Constructor) | OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| 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.Fibred.Definition, OAlg.Structure.Fibred |
| fcompare | OAlg.Data.Ord, OAlg.Prelude |
| Fibred | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| FibredOriented | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| Field | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| 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 |
| Forget | |
| 1 (Type/Class) | OAlg.Category.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Definition, OAlg.Prelude |
| ForgetfulAbl | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| ForgetfulAdd | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| ForgetfulAlg | OAlg.Structure.Algebraic.Definition, OAlg.Structure.Algebraic |
| ForgetfulDst | OAlg.Structure.Distributive.Definition, OAlg.Structure.Distributive |
| ForgetfulFbr | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| ForgetfulFbrOrt | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| ForgetfulMlt | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| ForgetfulOrt | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| ForgetfulTyp | OAlg.Structure.Definition, OAlg.Prelude |
| ForgetfulVec | OAlg.Structure.Vectorial.Definition, OAlg.Structure.Vectorial |
| 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 |
| 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 |
| fromDigits | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| fromDim | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| fromDual | OAlg.Data.Dualisable, OAlg.Prelude |
| fromDual' | OAlg.Data.Dualisable, OAlg.Prelude |
| fromEnum | OAlg.Data.Number, OAlg.Prelude |
| fromException | OAlg.Control.Exception, OAlg.Prelude |
| fromHNFValue | OAlg.Control.HNFData |
| fromId | OAlg.Data.Identity |
| fromJust | OAlg.Data.Maybe, OAlg.Prelude |
| fromMaybe | OAlg.Data.Maybe, OAlg.Prelude |
| fromOp | OAlg.Data.Opposite, OAlg.Prelude |
| FromOp1 | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| fromOp1Struct | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| fromOp2Path | OAlg.Category.Path |
| FromOpOp | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| fromOpOp | OAlg.Data.Opposite, OAlg.Prelude |
| fromU | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| fromWord | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| 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 | OAlg.Control.Verbose |
| Functorial | OAlg.Category.Definition, OAlg.Prelude |
| FunctorialHomFibred | OAlg.Hom.Fibred, OAlg.Hom |
| FunctorialHomOriented | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| G | OAlg.Data.Symbol |
| Galoisian | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| General | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| Generator | OAlg.Data.Generator |
| GeneratorTo | OAlg.Data.Generator |
| 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 |
| gphLength | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| gphLookup | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| gphSqc | 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 |
| HomDistributive | OAlg.Hom.Distributive, OAlg.Hom |
| HomFibred | OAlg.Hom.Fibred, OAlg.Hom |
| HomFibredOriented | OAlg.Hom.Fibred, OAlg.Hom |
| HomMatrix | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| HomMultiplicative | OAlg.Hom.Multiplicative.Definition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| Homomorphous | OAlg.Category.Definition, OAlg.Prelude |
| homomorphous | OAlg.Category.Definition, OAlg.Prelude |
| HomOp | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| HomOriented | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| 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 |
| 2 (Data Constructor) | OAlg.Data.Identity |
| id | OAlg.Category.Definition, OAlg.Prelude |
| IdHom | |
| 1 (Type/Class) | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| 2 (Data Constructor) | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| IdPath | OAlg.Category.Path |
| 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 |
| InitialDiagram | OAlg.Limes.TerminalAndInitialPoint |
| InitialPoint | OAlg.Limes.TerminalAndInitialPoint |
| initialPointOrnt | OAlg.Limes.TerminalAndInitialPoint |
| Initials | OAlg.Limes.TerminalAndInitialPoint |
| inj | OAlg.Data.Canonical |
| Injective | OAlg.Limes.Perspective, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| Int | OAlg.Data.Number, OAlg.Prelude |
| intCone | OAlg.Limes.TerminalAndInitialPoint |
| intConeDuality | OAlg.Limes.TerminalAndInitialPoint |
| intDiagram | OAlg.Limes.TerminalAndInitialPoint |
| intDiagramDuality | OAlg.Limes.TerminalAndInitialPoint |
| Integer | OAlg.Data.Number, OAlg.Prelude |
| Integral | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| intLimesDuality | OAlg.Limes.TerminalAndInitialPoint |
| intLimitsDuality | OAlg.Limes.TerminalAndInitialPoint |
| 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 |
| 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 |
| IsEmpty | OAlg.Data.X, OAlg.Prelude |
| isEmpty | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| isEndo | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| isEndoAt | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| isFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 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 |
| isoCoMatrixDst | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| isoCoPath | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| IsoDistributive | OAlg.Hom.Distributive, OAlg.Hom |
| isoFromOpOpDst | OAlg.Hom.Distributive, OAlg.Hom |
| isoFromOpOpMlt | OAlg.Hom.Multiplicative.Definition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| isoFromOpOpOrt | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| IsoMultiplicative | OAlg.Hom.Multiplicative.Definition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| isOne | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| IsoOp | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| IsoOpMap | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| isoOppositeMlt | OAlg.Hom.Multiplicative.Definition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| IsoOriented | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| IsoOrt | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| isSubSet | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| isZero | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| 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 |
| KernelDiagram | OAlg.Limes.KernelsAndCokernels |
| kernelDiagram | OAlg.Limes.KernelsAndCokernels |
| KernelDiagramFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| kernelFactor | OAlg.Limes.KernelsAndCokernels |
| KernelFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| Kernels | OAlg.Limes.KernelsAndCokernels |
| kernels | OAlg.Limes.KernelsAndCokernels |
| kernels0 | OAlg.Limes.KernelsAndCokernels |
| kernels1 | OAlg.Limes.KernelsAndCokernels |
| KernelSliceFromSomeFreeTip | |
| 1 (Type/Class) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| kernelsOrnt | OAlg.Limes.KernelsAndCokernels |
| kernelZero | OAlg.Limes.KernelsAndCokernels |
| KnownChar | OAlg.Data.TypeLits |
| KnownNat | OAlg.Data.TypeLits |
| KnownSymbol | OAlg.Data.TypeLits |
| krnEqls | OAlg.Limes.KernelsAndCokernels |
| krnLimesDuality | OAlg.Limes.KernelsAndCokernels |
| ksfKernel | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 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 |
| 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 |
| 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 |
| Limes | OAlg.Limes.Definition |
| limes | OAlg.Limes.Limits |
| LimesDuality | |
| 1 (Type/Class) | OAlg.Limes.Definition |
| 2 (Data Constructor) | OAlg.Limes.Definition |
| LimesException | OAlg.Limes.Definition |
| LimesFree | |
| 1 (Type/Class) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| limesFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| LimesInjective | OAlg.Limes.Definition |
| LimesProjective | 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 | |
| 1 (Type/Class) | OAlg.Limes.Limits |
| 2 (Data Constructor) | OAlg.Limes.Limits |
| LimitsDuality | |
| 1 (Type/Class) | OAlg.Limes.Limits |
| 2 (Data Constructor) | 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 |
| lmFromInjOrnt | OAlg.Limes.Definition |
| lmFromOp | OAlg.Limes.Definition |
| lmFromOpOp | OAlg.Limes.Definition |
| lmInjMap | OAlg.Adjunction.Limes, OAlg.Adjunction |
| lmInjMapDst | OAlg.Adjunction.Limes, OAlg.Adjunction |
| lmMap | OAlg.Limes.Definition |
| lmPrjMap | OAlg.Adjunction.Limes, OAlg.Adjunction |
| lmPrjMapDst | OAlg.Adjunction.Limes, OAlg.Adjunction |
| lmsFromInjOrnt | OAlg.Limes.Limits |
| lmsFromOp | OAlg.Limes.Limits |
| lmsFromOpOp | OAlg.Limes.Limits |
| lmsMap | OAlg.Limes.Limits |
| lmsToOp | OAlg.Limes.Limits |
| lmsToPrjOrnt | OAlg.Limes.Limits |
| lmToOp | OAlg.Limes.Definition |
| lmToPrjOrnt | OAlg.Limes.Definition |
| Log2 | OAlg.Data.TypeLits |
| lookup | OAlg.Data.Tree |
| 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 |
| 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 |
| maximaTo | OAlg.Limes.MinimaAndMaxima |
| maximaTo' | OAlg.Limes.MinimaAndMaxima |
| Maximum | OAlg.Limes.MinimaAndMaxima |
| MaximumCone | OAlg.Limes.MinimaAndMaxima |
| MaximumDiagram | OAlg.Limes.MinimaAndMaxima |
| maxLimitsDualityFrom | OAlg.Limes.MinimaAndMaxima |
| maxLimitsDualityTo | OAlg.Limes.MinimaAndMaxima |
| Maybe | OAlg.Data.Maybe, OAlg.Prelude |
| maybe | OAlg.Data.Maybe, OAlg.Prelude |
| maybeToList | OAlg.Data.Maybe, OAlg.Prelude |
| 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 |
| minimaTo | OAlg.Limes.MinimaAndMaxima |
| Minimum | OAlg.Limes.MinimaAndMaxima |
| MinimumCone | OAlg.Limes.MinimaAndMaxima |
| MinimumDiagram | 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 |
| 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 |
| Morphism | OAlg.Category.Definition, OAlg.Prelude |
| mPath | OAlg.Category.Path |
| mtxColRow | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| mtxFromOpOp | 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 |
| 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 |
| NatToChar | OAlg.Data.TypeLits |
| Natural | OAlg.Data.TypeLits |
| naturals | OAlg.Entity.Natural |
| 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 |
| Node | OAlg.Data.Tree |
| 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 |
| 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 |
| ObjectClass | OAlg.Category.Definition, OAlg.Prelude, OAlg.Prelude |
| omap | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, 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.Data.Opposite, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Opposite, OAlg.Prelude |
| Op2 | |
| 1 (Type/Class) | OAlg.Data.Opposite, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Opposite, OAlg.Prelude |
| OpHom | |
| 1 (Type/Class) | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| 2 (Data Constructor) | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| Opl | OAlg.Structure.Operational |
| OpMap | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| opower | OAlg.Structure.Exponential |
| OpPath | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| OpPathInv | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| opPathOrt | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| Opposite | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| opposite | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| OppositeInv | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| 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.Definition, OAlg.Structure.Oriented |
| OrdRoot | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| 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 |
| Ort | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| OS | 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 |
| Path | |
| 1 (Type/Class) | OAlg.Category.Path |
| 2 (Type/Class) | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| 3 (Data Constructor) | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| PathHomOp | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| PathOpMap | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| 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.Definition, OAlg.Limes.Cone |
| plbPrdEql2 | OAlg.Limes.PullbacksAndPushouts |
| pmap | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| pmf | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| pmt | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| Point | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented, OAlg.Structure.Oriented |
| POrd | OAlg.Data.Ord, OAlg.Prelude |
| 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 |
| 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 |
| ProductDiagram | OAlg.Limes.ProductsAndSums |
| productDim | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| ProductForm | OAlg.Entity.Product.Definition, OAlg.Entity.Product |
| productOrnt | OAlg.Limes.ProductsAndSums |
| Products | OAlg.Limes.ProductsAndSums |
| products | OAlg.Limes.ProductsAndSums |
| products0 | OAlg.Limes.ProductsAndSums |
| products1 | OAlg.Limes.ProductsAndSums |
| products2 | 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.Definition, OAlg.Limes.Cone |
| 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 |
| 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 |
| prpCoDiagram | 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 |
| prpEqlAny | OAlg.Entity.Natural |
| prpEqlAny' | OAlg.Entity.Natural |
| prpEqvlAnd | OAlg.Data.Boolean.Proposition, OAlg.Data.Boolean, OAlg.Prelude |
| prpFbr | OAlg.Structure.Fibred.Proposition, OAlg.Structure.Fibred |
| prpFbrOrt | OAlg.Structure.Fibred.Proposition, OAlg.Structure.Fibred |
| prpFunctorial | OAlg.Category.Proposition, OAlg.Prelude |
| prpFunctorial1 | OAlg.Category.Proposition, OAlg.Prelude |
| prpFunctorial2 | OAlg.Category.Proposition, OAlg.Prelude |
| prpHomAdd1 | OAlg.Hom.Additive, OAlg.Hom |
| prpHomAdd2 | OAlg.Hom.Additive, OAlg.Hom |
| prpHomFbrOrt | OAlg.Hom.Fibred, OAlg.Hom |
| prpHomMlt | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| prpHomMlt1 | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| prpHomMlt2 | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| prpHomMltSliceCokernelKernel | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| prpHomOp | OAlg.Hom.Proposition |
| prpHomOpMlt | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| prpHomOpOrt | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| prpHomOrt | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| prpHomOrt' | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| prpHomOrt1 | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| prpIdHom | OAlg.Hom.Proposition |
| prpIdHomOrt | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, 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 |
| prpIsoOpOrt | OAlg.Hom.Proposition |
| prpIsoOpOrtCategory | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| prpIsoOpOrtFunctorial | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| 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 |
| prpLimits | OAlg.Limes.Limits |
| prpLimitsDiagram | 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 |
| 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 |
| prpRepMatrix | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| prpRepMatrixZ | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| prpSetUnion | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| prpStatement | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| prpStatementTautologies | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| 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 |
| prpValidTautologies | OAlg.Data.Statement.Proposition, OAlg.Data.Statement, OAlg.Prelude |
| 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 |
| pshLimitsDuality | OAlg.Limes.PullbacksAndPushouts |
| 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 |
| 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 |
| 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 |
| 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.Definition, OAlg.Structure.Oriented |
| pthMlt | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| pthOne | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| Pullback | OAlg.Limes.PullbacksAndPushouts |
| PullbackCone | OAlg.Limes.PullbacksAndPushouts |
| PullbackDiagram | OAlg.Limes.PullbacksAndPushouts |
| PullbackDiagramFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| PullbackFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| Pullbacks | OAlg.Limes.PullbacksAndPushouts |
| pullbacks | OAlg.Limes.PullbacksAndPushouts |
| pullbacks0 | OAlg.Limes.PullbacksAndPushouts |
| pullbacks1 | OAlg.Limes.PullbacksAndPushouts |
| pullbacksOrnt | OAlg.Limes.PullbacksAndPushouts |
| Pushout | OAlg.Limes.PullbacksAndPushouts |
| PushoutCone | OAlg.Limes.PullbacksAndPushouts |
| PushoutDiagram | OAlg.Limes.PullbacksAndPushouts |
| Pushouts | OAlg.Limes.PullbacksAndPushouts |
| pushouts | OAlg.Limes.PullbacksAndPushouts |
| pushouts' | 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.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| 3 (Data Constructor) | 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 |
| 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 |
| rdcGLTForm | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| 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 |
| relHomOrtHomomorphous | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| relIsZero | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| relLimes | OAlg.Limes.Definition |
| 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 |
| 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.Hom.Fibred, OAlg.Hom |
| rnfValid | OAlg.Data.Validable, OAlg.Prelude |
| rOne | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| Root | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred, 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' | 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 |
| sdgFromOpOp | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| sdgMap | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| 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 |
| setEmpty | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setIndex | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setMap | 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 |
| setUnion | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setxs | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| 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.Definition, OAlg.Limes.Cone |
| 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 |
| showList | OAlg.Data.Show, OAlg.Prelude |
| showPercent | OAlg.Control.Verbose |
| 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 |
| Singleton1 | OAlg.Data.Singleton |
| 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 |
| slcKerCoker | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| slfDrop | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slfLimitsInjective | 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 |
| SliceCokernel | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| SliceCokernelKernel | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| SliceCokernelTo | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| sliceCokernelTo | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| Sliced | OAlg.Entity.Slice.Definition, 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 |
| SliceKernel | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| SliceKernelFrom | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| sliceKernelFrom | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| slicePoint | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| SliceTo | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| 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 |
| 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 |
| SomeApplMltp2 | |
| 1 (Type/Class) | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| 2 (Data Constructor) | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| SomeApplPnt | |
| 1 (Type/Class) | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| 2 (Data Constructor) | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| SomeChar | |
| 1 (Data Constructor) | OAlg.Data.TypeLits |
| 2 (Type/Class) | OAlg.Data.TypeLits |
| someCharVal | OAlg.Data.TypeLits |
| SomeCmpb3 | |
| 1 (Type/Class) | OAlg.Category.Proposition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Proposition, OAlg.Prelude |
| SomeCmpbAppl | |
| 1 (Type/Class) | OAlg.Category.Proposition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Proposition, OAlg.Prelude |
| 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 |
| 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 |
| 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 (Data Constructor) | OAlg.Data.TypeLits |
| 2 (Type/Class) | OAlg.Data.TypeLits |
| SomeNatural | |
| 1 (Type/Class) | OAlg.Entity.Natural |
| 2 (Data Constructor) | OAlg.Entity.Natural |
| someNatural | OAlg.Entity.Natural |
| 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 |
| 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 |
| SomeSymbol | |
| 1 (Data Constructor) | OAlg.Data.TypeLits |
| 2 (Type/Class) | 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 |
| splitAtN | OAlg.Data.Number, OAlg.Prelude |
| 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 |
| 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 |
| String | OAlg.Data.Show, OAlg.Prelude |
| Struct | |
| 1 (Type/Class) | OAlg.Structure.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Structure.Definition, OAlg.Prelude |
| structOrtOp | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| Structure | 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 |
| SumDiagram | OAlg.Limes.ProductsAndSums |
| sumDiagram | OAlg.Limes.ProductsAndSums |
| SumForm | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| sumLimitsDuality | 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 |
| 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 |
| SValid | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| SW | OAlg.Entity.Natural |
| swap | 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 |
| symbolVal | OAlg.Data.TypeLits |
| symbolVal' | OAlg.Data.TypeLits |
| 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 |
| tauHom | OAlg.Category.Definition, OAlg.Prelude |
| TerminalCone | OAlg.Limes.TerminalAndInitialPoint |
| TerminalDiagram | OAlg.Limes.TerminalAndInitialPoint |
| TerminalPoint | OAlg.Limes.TerminalAndInitialPoint |
| terminalPointOrnt | OAlg.Limes.TerminalAndInitialPoint |
| Terminals | 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.Definition, OAlg.Limes.Cone |
| To | OAlg.Data.Dualisable, OAlg.Prelude |
| toArray | OAlg.Entity.FinList |
| toBidual | OAlg.Data.Dualisable, OAlg.Prelude |
| toDigits | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| toDigitsFinite | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| toDual | OAlg.Data.Dualisable, OAlg.Prelude |
| toEnum | OAlg.Data.Number, OAlg.Prelude |
| toException | OAlg.Control.Exception, OAlg.Prelude |
| toN' | OAlg.Entity.Natural |
| ToOp1 | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| toOp1Struct | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| toOp2Path | OAlg.Category.Path |
| ToOpOp | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| Total | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| TotalOpl | OAlg.Structure.Operational |
| TotalOpr | OAlg.Structure.Operational |
| TotalRoot | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| toW | OAlg.Entity.FinList |
| toW' | OAlg.Entity.Natural |
| trafoFromId | OAlg.Data.Identity |
| trafoToId | OAlg.Data.Identity |
| Transformable | OAlg.Structure.Definition, OAlg.Prelude |
| Transformable1 | OAlg.Structure.Definition, OAlg.Prelude |
| TransformableOp | OAlg.Structure.Definition, OAlg.Prelude |
| Transformation | |
| 1 (Type/Class) | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| 2 (Type/Class) | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| 3 (Data Constructor) | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| 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 |
| trfs | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| 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 |
| trmCone | OAlg.Limes.TerminalAndInitialPoint |
| trmConeDuality | OAlg.Limes.TerminalAndInitialPoint |
| trmDiagram | OAlg.Limes.TerminalAndInitialPoint |
| trmDiagramDuality | OAlg.Limes.TerminalAndInitialPoint |
| trmLimesDuality | OAlg.Limes.TerminalAndInitialPoint |
| trmLimitsDuality | 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 |
| TypeError | OAlg.Data.TypeLits |
| U | |
| 1 (Data Constructor) | OAlg.Data.Symbol |
| 2 (Type/Class) | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| 3 (Data Constructor) | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| 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 |
| universalFactor | OAlg.Limes.Definition |
| universalPoint | OAlg.Limes.Definition |
| universalShell | 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 |
| 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 |
| 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 |
| Verbose | OAlg.Control.Verbose |
| Verbosity | OAlg.Control.Verbose |
| 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 |
| 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 |
| 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 |
| 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 |
| XEmpty | OAlg.Data.X, OAlg.Prelude |
| XEnd | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| xEndOrnt | OAlg.Structure.Oriented.Definition, 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.Proposition, OAlg.Structure.Fibred |
| xFbrOrnt | OAlg.Structure.Fibred.Proposition, OAlg.Structure.Fibred |
| XFbrOrt | OAlg.Structure.Fibred.Proposition, OAlg.Structure.Fibred |
| xFbrOrtOrnt | OAlg.Structure.Fibred.Proposition, OAlg.Structure.Fibred |
| 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 | |
| 1 (Type/Class) | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| 2 (Data Constructor) | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| xHomMlt | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| xHomMlt' | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| XHomOrt | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, 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 |
| xIsoOpOrtFrom | OAlg.Hom.Oriented.Proposition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| xList | OAlg.Data.X, OAlg.Prelude |
| 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 |
| 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.Definition, 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.Proposition, OAlg.Structure.Fibred, OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| xoFbrOrt | OAlg.Structure.Fibred.Proposition, OAlg.Structure.Fibred |
| xoFrom | OAlg.Structure.Oriented.Definition, 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.Definition, OAlg.Structure.Oriented |
| xoOrnt | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| xoOrt | OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented |
| xopEligibleFactor | OAlg.Limes.Cone.EligibleFactor, OAlg.Limes.Cone |
| xoPoint | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| xoRoot | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| XOrt | OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented |
| XOrtInjective | OAlg.Limes.Cone.EligibleFactor, OAlg.Limes.Cone |
| XOrtOrientation | |
| 1 (Type/Class) | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| 2 (Data Constructor) | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| xOrtOrnt | OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented |
| XOrtPerspective | OAlg.Limes.Cone.EligibleFactor, OAlg.Limes.Cone |
| XOrtProjective | OAlg.Limes.Cone.EligibleFactor, OAlg.Limes.Cone |
| XOrtSite | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| xosEligibleFactorInj | OAlg.Limes.Cone.EligibleFactor, OAlg.Limes.Cone |
| xosEligibleFactorPrj | OAlg.Limes.Cone.EligibleFactor, OAlg.Limes.Cone |
| xosEnd | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| xosFromOpOp | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| 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.Definition, OAlg.Structure.Oriented |
| xosPathMaxAt | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| xosPoint | OAlg.Structure.Oriented.Proposition, OAlg.Structure.Oriented |
| xosStart | OAlg.Structure.Oriented.Definition, 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.Definition, OAlg.Structure.Oriented |
| xoTtl | OAlg.Structure.Oriented.Definition, 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.Proposition, OAlg.Structure.Fibred |
| xSet | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| xsfsfl | OAlg.Data.Generator |
| xSheaf | OAlg.Structure.Fibred.Proposition, OAlg.Structure.Fibred |
| xSheafMax | OAlg.Structure.Fibred.Proposition, OAlg.Structure.Fibred |
| xSheafRoot | OAlg.Structure.Fibred.Proposition, OAlg.Structure.Fibred |
| xSheafRootMax | OAlg.Structure.Fibred.Proposition, OAlg.Structure.Fibred |
| xSliceFactorFrom | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| xSliceFactorTo | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| xSliceFrom | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| xSliceTo | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| xSomeApplMltp2 | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| xSomeApplPnt | OAlg.Hom.Multiplicative.Proposition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| xSomeDiagram | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| xSomeDiagramOrnt | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| XSomeFreeSliceFromLiftable | |
| 1 (Type/Class) | OAlg.Data.Generator |
| 2 (Data Constructor) | OAlg.Data.Generator |
| 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.Proposition, OAlg.Structure.Fibred |
| 2 (Data Constructor) | OAlg.Structure.Fibred.Proposition, OAlg.Structure.Fibred |
| xStalkAdbl2 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| xStalkAdbl3 | OAlg.Structure.Additive.Proposition, OAlg.Structure.Additive |
| xStalkOrnt | OAlg.Structure.Fibred.Proposition, 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 |
| XStandardMlt | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| xStandardMlt | OAlg.Structure.Multiplicative.Proposition, OAlg.Structure.Multiplicative |
| XStandardOrientationMatrix | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| xStandardOrientationMatrix | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| XStandardOrtOrientation | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| xStandardOrtOrientation | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| XStandardOrtPerspective | OAlg.Limes.Cone.EligibleFactor, OAlg.Limes.Cone |
| xStandardOrtPerspective | OAlg.Limes.Cone.EligibleFactor, OAlg.Limes.Cone |
| XStandardOrtSite | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| xStandardOrtSite | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| XStandardOrtSiteFrom | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| XStandardOrtSiteTo | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| XStandardPoint | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| XStandardSomeFreeSliceFromLiftable | OAlg.Data.Generator |
| xStandardSomeFreeSliceFromLiftable | OAlg.Data.Generator |
| XStart | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| xStartOrnt | OAlg.Structure.Oriented.Definition, 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 |
| 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 |
| 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 |
| 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.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |
| |~> | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| ~> | OAlg.Data.Boolean.Definition, OAlg.Data.Boolean, OAlg.Prelude |