Index - S
| S1 | Lemmata |
| sameMutableArray# | Noether.Lemmata.TypeFu |
| sameMutableArrayArray# | Noether.Lemmata.TypeFu |
| sameMutableByteArray# | Noether.Lemmata.TypeFu |
| sameMutVar# | Noether.Lemmata.TypeFu |
| sameMVar# | Noether.Lemmata.TypeFu |
| sameNat | Noether.Lemmata.TypeFu |
| sameSmallMutableArray# | Noether.Lemmata.TypeFu |
| sameSymbol | Noether.Lemmata.TypeFu |
| sameTVar# | Noether.Lemmata.TypeFu |
| scaleFloat | Noether.Lemmata.Prelude |
| scanl | Noether.Lemmata.Prelude, Lemmata |
| scanl1 | Noether.Lemmata.Prelude |
| scanr | Noether.Lemmata.Prelude, Lemmata |
| scanr1 | Noether.Lemmata.Prelude |
| sconcat | Lemmata |
| second | |
| 1 (Function) | Lemmata |
| 2 (Function) | Lemmata.Bifunctor |
| selDecidedStrictness | Lemmata |
| Selector | Lemmata |
| selName | Lemmata |
| selSourceStrictness | Lemmata |
| selSourceUnpackedness | Lemmata |
| Semigroup | |
| 1 (Type/Class) | Lemmata |
| 2 (Type/Class) | Noether.Algebra.Single.Strategies, Noether.Algebra.Single |
| SemigroupC | Noether.Algebra.Single.Semigroup, Noether.Algebra.Single |
| SemigroupE | Noether.Algebra.Single.Semigroup, Noether.Algebra.Single |
| SemigroupK | Noether.Algebra.Single.Semigroup, Noether.Algebra.Single |
| SemigroupNamed | Noether.Algebra.Single.Semigroup, Noether.Algebra.Single |
| SemigroupS | Noether.Algebra.Single.Semigroup, Noether.Algebra.Single |
| Semigroup_Magma | Noether.Algebra.Single.Semigroup, Noether.Algebra.Single |
| Semiring | |
| 1 (Type/Class) | Noether.Algebra.Multiple.Strategies, Noether.Algebra.Multiple |
| 2 (Type/Class) | Lemmata.Semiring, Lemmata |
| SemiringC | Noether.Algebra.Multiple.Semiring, Noether.Algebra.Multiple |
| SemiringE | Noether.Algebra.Multiple.Semiring, Noether.Algebra.Multiple |
| SemiringK | Noether.Algebra.Multiple.Semiring, Noether.Algebra.Multiple |
| SemiringNamed | Noether.Algebra.Multiple.Semiring, Noether.Algebra.Multiple |
| SemiringS | Noether.Algebra.Multiple.Semiring, Noether.Algebra.Multiple |
| semiring_additive_monoid | Noether.Algebra.Multiple.Semiring, Noether.Algebra.Multiple |
| semiring_commutative | Noether.Algebra.Multiple.Semiring, Noether.Algebra.Multiple |
| Semiring_Commutative_Monoid_Monoid | Noether.Algebra.Multiple.Semiring, Noether.Algebra.Multiple |
| semiring_multiplicative_monoid | Noether.Algebra.Multiple.Semiring, Noether.Algebra.Multiple |
| Seq | Lemmata |
| seq | Noether.Lemmata.TypeFu, Noether.Lemmata.Prelude, Lemmata.Base, Lemmata |
| seq# | Noether.Lemmata.TypeFu |
| sequence | Noether.Lemmata.Prelude, Lemmata |
| sequenceA | Noether.Lemmata.Prelude, Lemmata |
| sequenceA_ | Lemmata |
| sequence_ | Noether.Lemmata.Prelude, Lemmata |
| Set | Lemmata |
| setBit | Lemmata |
| setByteArray# | Noether.Lemmata.TypeFu |
| setNumCapabilities | Lemmata |
| shift | Lemmata |
| shiftL | Lemmata |
| shiftL# | Noether.Lemmata.TypeFu |
| shiftR | Lemmata |
| shiftRL# | Noether.Lemmata.TypeFu |
| Show | Noether.Lemmata.Prelude, Lemmata.Base, Lemmata |
| show | |
| 1 (Function) | Noether.Lemmata.Prelude, Lemmata.Base |
| 2 (Function) | Lemmata |
| showChar | Noether.Lemmata.Prelude |
| showFloat | Lemmata.Base |
| showList | Noether.Lemmata.Prelude, Lemmata.Base |
| showParen | Noether.Lemmata.Prelude |
| ShowS | Noether.Lemmata.Prelude |
| shows | Noether.Lemmata.Prelude |
| showSigned | Lemmata.Base |
| showSignedFloat | Lemmata.Base |
| showsPrec | Noether.Lemmata.Prelude, Lemmata.Base |
| showStackTrace | Lemmata.Base, Lemmata |
| showString | Noether.Lemmata.Prelude |
| ShowType | Noether.Lemmata.TypeFu |
| shrinkMutableByteArray# | Noether.Lemmata.TypeFu |
| Side | Noether.Algebra.Tags |
| signalQSem | Lemmata |
| signalQSemN | Lemmata |
| significand | Noether.Lemmata.Prelude |
| signum | Noether.Lemmata.Prelude, Lemmata.Base, Lemmata |
| sin | Noether.Lemmata.Prelude, Lemmata.Base, Lemmata |
| sinDouble# | Noether.Lemmata.TypeFu |
| sinFloat# | Noether.Lemmata.TypeFu |
| sinh | Noether.Lemmata.Prelude, Lemmata.Base, Lemmata |
| sinhDouble# | Noether.Lemmata.TypeFu |
| sinhFloat# | Noether.Lemmata.TypeFu |
| sizeofArray# | Noether.Lemmata.TypeFu |
| sizeofArrayArray# | Noether.Lemmata.TypeFu |
| sizeofByteArray# | Noether.Lemmata.TypeFu |
| sizeofMutableArray# | Noether.Lemmata.TypeFu |
| sizeofMutableArrayArray# | Noether.Lemmata.TypeFu |
| sizeofMutableByteArray# | Noether.Lemmata.TypeFu |
| sizeofSmallArray# | Noether.Lemmata.TypeFu |
| sizeofSmallMutableArray# | Noether.Lemmata.TypeFu |
| SmallArray# | Noether.Lemmata.TypeFu |
| SmallMutableArray# | Noether.Lemmata.TypeFu |
| SMVectorLift | Noether.Algebra.Vector.Tags |
| snd | Noether.Lemmata.Prelude, Lemmata |
| some | Lemmata |
| SomeAsyncException | |
| 1 (Data Constructor) | Lemmata |
| 2 (Type/Class) | Lemmata |
| SomeException | |
| 1 (Data Constructor) | Lemmata |
| 2 (Type/Class) | Lemmata |
| SomeNat | |
| 1 (Data Constructor) | Noether.Lemmata.TypeFu, Lemmata.Base, Lemmata |
| 2 (Type/Class) | Noether.Lemmata.TypeFu, Lemmata.Base, Lemmata |
| someNatVal | Noether.Lemmata.TypeFu, Lemmata.Base, Lemmata |
| SomeSymbol | |
| 1 (Data Constructor) | Noether.Lemmata.TypeFu, Lemmata.Base, Lemmata |
| 2 (Type/Class) | Noether.Lemmata.TypeFu, Lemmata.Base, Lemmata |
| someSymbolVal | Noether.Lemmata.TypeFu, Lemmata.Base, Lemmata |
| Sort | Noether.Lemmata.TypeFu.Set, Noether.Lemmata.TypeFu.Map, Noether.Algebra.Inference |
| sort | Lemmata |
| sortBy | Lemmata |
| sortOn | Lemmata.List, Lemmata |
| sortWith | Noether.Lemmata.TypeFu |
| sourceColumn | Lemmata.Base, Lemmata |
| sourceFile | Lemmata.Base, Lemmata |
| sourceLine | Lemmata.Base, Lemmata |
| span | Noether.Lemmata.Prelude |
| spark# | Noether.Lemmata.TypeFu |
| SpecConstrAnnotation | Noether.Lemmata.TypeFu |
| splitAt | Noether.Lemmata.Prelude, Lemmata |
| sqrt | Noether.Lemmata.Prelude, Lemmata.Base, Lemmata |
| sqrtDouble# | Noether.Lemmata.TypeFu |
| sqrtFloat# | Noether.Lemmata.TypeFu |
| SrcLoc | |
| 1 (Data Constructor) | Lemmata.Base, Lemmata |
| 2 (Type/Class) | Lemmata.Base, Lemmata |
| srcLoc | Lemmata.Base, Lemmata |
| ST | Lemmata |
| StableName# | Noether.Lemmata.TypeFu |
| stableNameToInt# | Noether.Lemmata.TypeFu |
| StablePtr# | Noether.Lemmata.TypeFu |
| StackOverflow | Lemmata |
| State | Lemmata |
| state | Lemmata |
| State# | Noether.Lemmata.TypeFu |
| StateT | |
| 1 (Type/Class) | Lemmata |
| 2 (Data Constructor) | Lemmata |
| StaticPtr | Lemmata.Base, Lemmata |
| stderr | Lemmata |
| stdin | Lemmata |
| stdout | Lemmata |
| stimes | Lemmata |
| stimesIdempotent | Lemmata |
| stimesIdempotentMonoid | Lemmata |
| stimesMonoid | Lemmata |
| STM | Lemmata |
| Storable | Lemmata |
| Strategy | Noether.Algebra.Inference |
| strConv | Lemmata.Conv, Lemmata |
| Strict | Lemmata.Conv, Lemmata |
| strictDecode | Lemmata |
| String | Noether.Lemmata.Prelude |
| StringConv | Lemmata.Conv, Lemmata |
| subIntC# | Noether.Lemmata.TypeFu |
| subsequences | Lemmata |
| subtract | Noether.Lemmata.Prelude, Lemmata.Base, Lemmata |
| Subtype | Noether.Algebra.Subtyping |
| subWordC# | Noether.Lemmata.TypeFu |
| succ | Noether.Lemmata.Prelude, Lemmata.Base, Lemmata |
| Sum | |
| 1 (Data Constructor) | Lemmata |
| 2 (Type/Class) | Lemmata |
| sum | |
| 1 (Function) | Noether.Lemmata.Prelude |
| 2 (Function) | Lemmata.List, Lemmata |
| SVectorLift | Noether.Algebra.Vector.Tags |
| swap | Lemmata |
| swapMVar | Lemmata |
| sym | Noether.Lemmata.TypeFu, Lemmata |
| Symbol | Noether.Lemmata.TypeFu, Lemmata.Base, Lemmata |
| symbolVal | Noether.Lemmata.TypeFu, Lemmata.Base, Lemmata |
| symbolVal' | Noether.Lemmata.TypeFu |
| Synergise | Noether.Algebra.Inference |