Index - S
| S | |
| 1 (Data Constructor) | OAlg.Data.Symbol |
| 2 (Data Constructor) | OAlg.Entity.Natural |
| 3 (Data Constructor) | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| sameChar | OAlg.Data.TypeLits |
| sameNat | OAlg.Data.TypeLits |
| sameSymbol | OAlg.Data.TypeLits |
| sample | OAlg.Data.X, OAlg.Prelude |
| samples | OAlg.Data.X, OAlg.Prelude |
| sbstAdd | OAlg.Entity.Natural |
| Scalar | OAlg.Structure.Vectorial.Definition, OAlg.Structure.Vectorial, OAlg.Structure.Vectorial |
| Scale | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| scale | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| SChar | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Data Constructor) | OAlg.Data.TypeLits |
| SCov | OAlg.Category.SDuality |
| sCov | OAlg.Category.SDuality |
| sdbFromCncObj | OAlg.Limes.Cone.Conic.Duality, OAlg.Limes.Cone.Conic, OAlg.Limes.Cone |
| sdbFromDgmObj | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| sdbToCncObj | OAlg.Limes.Cone.Conic.Duality, OAlg.Limes.Cone.Conic, OAlg.Limes.Cone |
| sdbToDgmObj | OAlg.Entity.Diagram.Diagrammatic, OAlg.Entity.Diagram |
| sdgMap | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| sdgMapCnt | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| sdgMapCov | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| sdgMapS | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| SDualBi | |
| 1 (Type/Class) | OAlg.Category.SDuality |
| 2 (Data Constructor) | OAlg.Category.SDuality |
| Semiring | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| seq | OAlg.Prelude |
| Sequence | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| sequence | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| SequenceException | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| Set | |
| 1 (Type/Class) | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| 2 (Data Constructor) | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| set | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setDifference | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setEmpty | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setFilter | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setgph | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| setIndex | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setIntersection | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setIsEmpty | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setMap | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setPower | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setSpan | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setSqc | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setState | OAlg.Control.Action |
| setTakeN | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setUnion | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| setxs | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| sForget | OAlg.Category.SDuality |
| sfrMap | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| SFromDual | OAlg.Category.SDuality |
| sFromDual | OAlg.Category.SDuality |
| sFromDual' | OAlg.Category.SDuality |
| sfrPoint | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| sfsdMapCnt | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| sfsdMapCov | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| sfsdMapS | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| Sheaf | |
| 1 (Type/Class) | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| 2 (Data Constructor) | OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| Shear | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| shear | OAlg.Entity.Matrix.GeneralLinearGroup, OAlg.Entity.Matrix |
| shell | OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| SHom | OAlg.Category.SDuality |
| sHomCo | OAlg.Data.HomCo |
| Show | OAlg.Data.Show, OAlg.Prelude |
| show | OAlg.Data.Show, OAlg.Prelude |
| Show1 | OAlg.Data.Show, OAlg.Prelude |
| show1 | OAlg.Data.Show, OAlg.Prelude |
| Show2 | OAlg.Data.Show, OAlg.Prelude |
| show2 | OAlg.Data.Show, OAlg.Prelude |
| ShowDual1 | OAlg.Data.Dualisable, OAlg.Prelude, OAlg.Category.SDuality |
| showList | OAlg.Data.Show, OAlg.Prelude |
| showPercent | OAlg.Control.Verbose |
| ShowPoint | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| ShowRoot | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| showsPrec | OAlg.Data.Show, OAlg.Prelude |
| ShowType | OAlg.Data.TypeLits |
| showV | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| showVStatement | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Side | OAlg.Data.Dualisable, OAlg.Prelude |
| signum | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| Singleton | OAlg.Data.Singleton |
| singleton | OAlg.Data.Singleton |
| Singleton1 | OAlg.Data.Singleton |
| singleton1 | OAlg.Data.Singleton |
| SingletonPoint | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| SingletonRoot | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| Singular | OAlg.Data.Singular |
| SInvalid | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| Site | OAlg.Data.Dualisable, OAlg.Prelude |
| slcAdjunction | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| slcCokerKer | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| slcCokernelsCone | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| slcKerCoker | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| slcKernelsCone | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| Sld | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| SldFr | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| sldHom | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| slfFactor | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slfIndex | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slfLimitsInjective | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slfMap | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slfMapCnt | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slfMapCov | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slfPullback | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slfTerminalPoint | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| Slice | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slice | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| SliceAdjunction | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| SliceCokernel | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| sliceCokernel | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| SliceCokernels | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| Sliced | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| SlicedFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| slicedFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| slicedFree' | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| SliceDiagram | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| SliceDiagramCokernel | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| SliceDiagramKernel | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| SliceFactor | |
| 1 (Type/Class) | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| SliceFactorDrop | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| SliceFactorFromDrop | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| SliceFactorToDrop | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| SliceFrom | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| sliceIndex | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| sliceIndexDomain | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| sliceIndexRange | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| SliceKernel | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| sliceKernel | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| SliceKernels | OAlg.Entity.Slice.Adjunction, OAlg.Entity.Slice |
| slicePoint | OAlg.Entity.Slice.Sliced, OAlg.Entity.Slice |
| SliceTo | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slMap | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slMapCnt | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slMapCov | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| slSiteType | OAlg.Entity.Slice.Definition, OAlg.Entity.Slice |
| smap | OAlg.Category.SDuality |
| smapBi | OAlg.Category.SDuality |
| smCmpb2 | OAlg.Category.Unify |
| smfJoin | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| smflc | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| smfLength | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| smfMap | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| smfReduce | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| smJoin | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| smlc | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| smMap | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| SMorphism | OAlg.Category.SDuality |
| SNat | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Data Constructor) | OAlg.Data.TypeLits |
| snd | OAlg.Category.Definition, OAlg.Prelude |
| solvable | OAlg.Control.Solver |
| solve | OAlg.Control.Solver |
| Solver | OAlg.Control.Solver |
| Some | OAlg.Entity.Natural |
| SomeApplication | |
| 1 (Type/Class) | OAlg.Category.Unify |
| 2 (Data Constructor) | OAlg.Category.Unify |
| SomeChar | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Data Constructor) | OAlg.Data.TypeLits |
| someCharVal | OAlg.Data.TypeLits |
| SomeCmpb2 | |
| 1 (Type/Class) | OAlg.Category.Unify |
| 2 (Data Constructor) | OAlg.Category.Unify |
| SomeCmpb2G | |
| 1 (Type/Class) | OAlg.Category.Proposition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Proposition, OAlg.Prelude |
| SomeCmpb3 | |
| 1 (Type/Class) | OAlg.Category.Unify |
| 2 (Data Constructor) | OAlg.Category.Unify |
| SomeCmpbAppl | |
| 1 (Type/Class) | OAlg.Category.Proposition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Proposition, OAlg.Prelude |
| SomeConsecutiveZeroHom | |
| 1 (Type/Class) | OAlg.Limes.Exact.ConsecutiveZero |
| 2 (Data Constructor) | OAlg.Limes.Exact.ConsecutiveZero |
| SomeDiagram | |
| 1 (Type/Class) | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| 2 (Data Constructor) | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| SomeEntity | |
| 1 (Type/Class) | OAlg.Category.Unify |
| 2 (Data Constructor) | OAlg.Category.Unify |
| SomeEntityG | |
| 1 (Type/Class) | OAlg.Category.Proposition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Proposition, OAlg.Prelude |
| someException | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| SomeFinList | |
| 1 (Type/Class) | OAlg.Entity.FinList |
| 2 (Data Constructor) | OAlg.Entity.FinList |
| someFinList | OAlg.Entity.FinList |
| SomeFree | |
| 1 (Type/Class) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| SomeFreeSlice | |
| 1 (Type/Class) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 2 (Data Constructor) | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| SomeFreeSliceCokernel | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| SomeFreeSliceDiagram | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| SomeFreeSliceKernel | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| SomeMorphism | |
| 1 (Type/Class) | OAlg.Category.Unify |
| 2 (Data Constructor) | OAlg.Category.Unify |
| SomeMorphismDomain | OAlg.Category.Unify |
| SomeMorphismRange | OAlg.Category.Unify |
| SomeMorphismSite | OAlg.Category.Unify |
| SomeNat | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Data Constructor) | OAlg.Data.TypeLits |
| SomeNatural | |
| 1 (Type/Class) | OAlg.Entity.Natural |
| 2 (Data Constructor) | OAlg.Entity.Natural |
| someNatural | OAlg.Entity.Natural |
| SomeNaturalApplication | |
| 1 (Type/Class) | OAlg.Category.NaturalTransformable |
| 2 (Data Constructor) | OAlg.Category.NaturalTransformable |
| someNatVal | OAlg.Data.TypeLits |
| SomeOAlgException | |
| 1 (Type/Class) | OAlg.Control.Exception, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Control.Exception, OAlg.Prelude |
| SomeObjectClass | |
| 1 (Type/Class) | OAlg.Category.Unify |
| 2 (Data Constructor) | OAlg.Category.Unify |
| someOne | OAlg.Category.Unify |
| SomePath | |
| 1 (Type/Class) | OAlg.Category.Unify |
| 2 (Data Constructor) | OAlg.Category.Unify |
| somePath | OAlg.Category.Unify |
| SomePathDomain | OAlg.Category.Unify |
| SomePathRange | OAlg.Category.Unify |
| SomePathSite | OAlg.Category.Unify |
| SomeSliceN | |
| 1 (Type/Class) | OAlg.Data.FinitelyPresentable |
| 2 (Data Constructor) | OAlg.Data.FinitelyPresentable |
| SomeSymbol | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Data Constructor) | OAlg.Data.TypeLits |
| someSymbolVal | OAlg.Data.TypeLits |
| sortFst | OAlg.Data.Ord, OAlg.Prelude |
| sortFstBy | OAlg.Data.Ord, OAlg.Prelude |
| sortSnd | OAlg.Data.Ord, OAlg.Prelude |
| sortSndBy | OAlg.Data.Ord, OAlg.Prelude |
| Span | OAlg.Data.Ord, OAlg.Prelude |
| span | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| Sparse | OAlg.Control.Validate, OAlg.Prelude |
| SPath | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| split | OAlg.Data.FinitelyPresentable |
| Splitable | |
| 1 (Type/Class) | OAlg.Data.FinitelyPresentable |
| 2 (Data Constructor) | OAlg.Data.FinitelyPresentable |
| splitAtN | OAlg.Data.Number, OAlg.Prelude |
| splitCycle | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| splitCycles | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| sqcIndexMap | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| Ssy | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| ssycfs | OAlg.Entity.Matrix.Vector, OAlg.Entity.Matrix |
| ssyJoin | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| ssylc | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| ssyMap | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| SSymbol | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Data Constructor) | OAlg.Data.TypeLits |
| ssyprj | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| ssypsq | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| ssySum | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| Standard | OAlg.Control.Validate, OAlg.Prelude |
| Star | OAlg.Entity.Diagram.Definition, OAlg.Entity.Diagram |
| start | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| Statement | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| stdCnf | OAlg.Control.Validate, OAlg.Prelude |
| stdStc | OAlg.Control.Validate, OAlg.Prelude |
| Stochastic | OAlg.Control.Validate, OAlg.Prelude |
| SToDual | OAlg.Category.SDuality |
| sToDual | OAlg.Category.SDuality |
| sToDual' | OAlg.Category.SDuality |
| Strict | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| String | OAlg.Data.Show, OAlg.Prelude |
| Struct | |
| 1 (Type/Class) | OAlg.Structure.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Structure.Definition, OAlg.Prelude |
| Struct2 | |
| 1 (Type/Class) | OAlg.Structure.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Structure.Definition, OAlg.Prelude |
| structOrtOp | OAlg.Structure.Oriented.Opposite, OAlg.Structure.Oriented |
| Structure | OAlg.Structure.Definition, OAlg.Prelude |
| Structure2 | OAlg.Structure.Definition, OAlg.Prelude |
| Sub | |
| 1 (Type/Class) | OAlg.Category.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Definition, OAlg.Prelude |
| sub | OAlg.Category.Definition, OAlg.Prelude |
| sub' | OAlg.Category.Definition, OAlg.Prelude |
| subG | OAlg.Category.Definition, OAlg.Prelude |
| SubStruct | OAlg.Structure.Definition, OAlg.Prelude |
| succ | OAlg.Data.Number, OAlg.Prelude |
| succSomeNatural | OAlg.Entity.Natural |
| Sum | |
| 1 (Type/Class) | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| 2 (Type/Class) | OAlg.Limes.ProductsAndSums |
| sum' | OAlg.Data.X, OAlg.Prelude |
| SumCone | OAlg.Limes.ProductsAndSums |
| sumCone | OAlg.Limes.ProductsAndSums |
| sumConeOrnt | OAlg.Limes.ProductsAndSums |
| SumConic | OAlg.Limes.ProductsAndSums |
| SumDiagram | OAlg.Limes.ProductsAndSums |
| sumDiagram | OAlg.Limes.ProductsAndSums |
| SumDiagrammatic | OAlg.Limes.ProductsAndSums |
| SumForm | OAlg.Entity.Sum.Definition, OAlg.Entity.Sum |
| SumG | OAlg.Limes.ProductsAndSums |
| sumOrnt | OAlg.Limes.ProductsAndSums |
| Sums | OAlg.Limes.ProductsAndSums |
| sums | OAlg.Limes.ProductsAndSums |
| sums' | OAlg.Limes.ProductsAndSums |
| sums0 | OAlg.Limes.ProductsAndSums |
| sums1 | OAlg.Limes.ProductsAndSums |
| sums2 | OAlg.Limes.ProductsAndSums |
| SumsG | OAlg.Limes.ProductsAndSums |
| sumsOrnt | OAlg.Limes.ProductsAndSums |
| SumSymbol | |
| 1 (Type/Class) | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| 2 (Data Constructor) | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| sumSymbol | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| support | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| SVal | |
| 1 (Type/Class) | OAlg.Category.SDuality |
| 2 (Data Constructor) | OAlg.Category.SDuality |
| SValid | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| SW | OAlg.Entity.Natural |
| swap | |
| 1 (Function) | OAlg.Data.Relation |
| 2 (Function) | OAlg.Entity.Sequence.Permutation, OAlg.Entity.Sequence |
| sy | |
| 1 (Function) | OAlg.Entity.Product.ProductSymbol, OAlg.Entity.Sequence.CSequence, OAlg.Entity.Product, OAlg.Entity.Sequence |
| 2 (Function) | OAlg.Entity.Sum.SumSymbol, OAlg.Entity.Sum |
| Symbol | |
| 1 (Type/Class) | OAlg.Data.TypeLits |
| 2 (Type/Class) | OAlg.Data.Symbol |
| symbolSing | OAlg.Data.TypeLits |
| symbolVal | OAlg.Data.TypeLits |
| symbolVal' | OAlg.Data.TypeLits |
| Symmetric | OAlg.Data.Relation |