Index - X
| 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 |