Index - D
| D | OAlg.Data.Symbol |
| decideChar | OAlg.Data.TypeLits |
| decideNat | OAlg.Data.TypeLits |
| decideSymbol | OAlg.Data.TypeLits |
| DefaultValue | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| defaultValue | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| denominator | OAlg.Data.Number, OAlg.Prelude |
| Deviation | OAlg.Limes.Exact.Deviation |
| deviation | OAlg.Limes.Exact.Deviation |
| DeviationHom | OAlg.Limes.Exact.Deviation |
| deviationHom | OAlg.Limes.Exact.Deviation |
| deviations | OAlg.Limes.Exact.Deviation |
| dgArrows | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgCenter | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgfDiagram | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| dgfMapCnt | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| dgfMapCov | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| dgfMapS | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| dgfMatrix | OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix |
| dgMap | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgMapCnt | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgMapCov | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgMapS | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgPoints | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgPrlAdjZero | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgPrlDiffHead | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgPrlDiffTail | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgPrlTail | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgQuiver | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgsBase | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| dgsFlr | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| dgsFrc | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| dgsFrcTake | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| dgsProxy | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| dgsSig | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| dgtMapCnt | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| dgtMapCov | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| dgtMapS | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| dgts | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| dgtTypeRefl | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| dgType | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dgTypeRefl | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| diagonal | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| diagonal' | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| DiagonalForm | |
| 1 (Type/Class) | OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix |
| 2 (Data Constructor) | OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix |
| DiagonalFormStrictPositive | |
| 1 (Type/Class) | OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix |
| 2 (Data Constructor) | OAlg.Entity.Matrix.Transformation, OAlg.Entity.Matrix |
| Diagram | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| diagram | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| DiagramChainFrom | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramChainTo | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramDiscrete | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramEmpty | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramFree | |
| 1 (Type/Class) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| DiagramG | |
| 1 (Type/Class) | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| 2 (Data Constructor) | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| DiagramGeneral | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| Diagrammatic | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| diagrammaticObject | OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| DiagramParallelLR | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramParallelRL | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramSink | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramSlicedCenter | |
| 1 (Type/Class) | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| DiagramSource | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| DiagramTrafo | |
| 1 (Type/Class) | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| 2 (Data Constructor) | OAlg.Entity.Diagram.Transformation, OAlg.Entity.Diagram |
| DiagramType | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| Digits | |
| 1 (Type/Class) | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| 2 (Data Constructor) | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Dim | |
| 1 (Type/Class) | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| 2 (Data Constructor) | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| dim | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| Dim' | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| dimMap | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| dimwrd | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| dimxs | OAlg.Entity.Matrix.Dim, OAlg.Entity.Matrix |
| Direction | OAlg.Data.Dualisable, OAlg.Prelude |
| Discrete | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| Disjunctive | OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| Disjunctive2 | OAlg.Data.Variant, OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| displayException | OAlg.Control.Exception, OAlg.Prelude |
| dist | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Distributive | OAlg.Structure.Distributive.Definition, OAlg.Structure.Distributive |
| Div | OAlg.Data.TypeLits |
| div | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| divInt | OAlg.Data.Number, OAlg.Prelude |
| divMod | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Dl1 | |
| 1 (Type/Class) | OAlg.Data.Dualisable, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Dualisable, OAlg.Prelude |
| dmap | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| domain | OAlg.Category.Definition, OAlg.Prelude |
| Down | |
| 1 (Type/Class) | OAlg.Data.Ord, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Ord, OAlg.Prelude |
| drohS | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| Dst | OAlg.Structure.Distributive.Definition, OAlg.Structure.Distributive |
| dstDst | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| DstRootSide | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| DstSide | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| dstSomeDiagram | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| dstT | OAlg.Entity.Product.Proposition, OAlg.Entity.Product |
| DstX | OAlg.Structure.Distributive.Proposition, OAlg.Structure.Distributive |
| Dual | OAlg.Data.Dualisable, OAlg.Prelude |
| Dual1 | OAlg.Data.Dualisable, OAlg.Prelude |
| Dualisable | OAlg.Data.Dualisable, OAlg.Prelude |
| DualisableAdditive | OAlg.Hom.Additive, OAlg.Hom |
| DualisableDistributive | OAlg.Hom.Distributive, OAlg.Hom |
| DualisableFibred | OAlg.Hom.Fibred, OAlg.Hom |
| DualisableFibredOriented | OAlg.Hom.FibredOriented |
| DualisableG | OAlg.Category.Dualisable |
| DualisableGBi | OAlg.Category.Dualisable |
| DualisableGChain | OAlg.Limes.MinimaAndMaxima |
| DualisableGDiscrete | OAlg.Limes.ProductsAndSums |
| DualisableGId | OAlg.Category.Dualisable |
| DualisableGPair | OAlg.Category.Dualisable |
| DualisableGPnt | OAlg.Category.Dualisable |
| DualisableMultiplicative | OAlg.Hom.Multiplicative, OAlg.Hom |
| DualisableOriented | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom |
| DualisableVectorial | OAlg.Hom.Vectorial, OAlg.Hom |
| DualityG | |
| 1 (Type/Class) | OAlg.Category.Dualisable |
| 2 (Data Constructor) | OAlg.Category.Dualisable |
| DualsiableGEmpty | OAlg.Limes.TerminalAndInitialPoint |
| dvZeroPoint | OAlg.Limes.Exact.Deviation |
| dvZeroPoint' | OAlg.Limes.Exact.Deviation |