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