Index - S
| scan | Circuit.Process, Circuit |
| scanStream | Circuit.Process |
| Schedule | |
| 1 (Type/Class) | Circuit.Shared, Circuit |
| 2 (Data Constructor) | Circuit.Shared, Circuit |
| seedPair | Circuit.Tensor |
| Shared | Circuit.Shared, Circuit |
| sharedBy | Circuit.Shared, Circuit |
| sift | Circuit.Net |
| Sig | Circuit.Syntax |
| SigCompose | |
| 1 (Type/Class) | Circuit.Syntax |
| 2 (Data Constructor) | Circuit.Syntax |
| SigCopy | |
| 1 (Type/Class) | Circuit.Bimonoid |
| 2 (Data Constructor) | Circuit.Bimonoid |
| SigCopyDiscard | Circuit.Bimonoid |
| SigDiscard | |
| 1 (Type/Class) | Circuit.Bimonoid |
| 2 (Data Constructor) | Circuit.Bimonoid |
| SigMergeZero | Circuit.Bimonoid |
| SigPar | |
| 1 (Type/Class) | Circuit.SMC |
| 2 (Data Constructor) | Circuit.SMC |
| SigPlus | |
| 1 (Type/Class) | Circuit.Bimonoid |
| 2 (Data Constructor) | Circuit.Bimonoid |
| SigShared | |
| 1 (Type/Class) | Circuit.Shared |
| 2 (Data Constructor) | Circuit.Shared |
| SigSwap | |
| 1 (Type/Class) | Circuit.SMC |
| 2 (Data Constructor) | Circuit.SMC |
| SigYank | Circuit.Trace |
| SigZero | |
| 1 (Type/Class) | Circuit.Bimonoid |
| 2 (Data Constructor) | Circuit.Bimonoid |
| slide | Circuit.Channel |
| slideFinRel | Circuit.FinRel |
| SMC | Circuit.SMC, Circuit |
| Snd | Circuit.Poly, Circuit |
| Snoc | Circuit.Stream |
| snoc | Circuit.Stream |
| snocNil | Circuit.Stream |
| SomeBody | |
| 1 (Type/Class) | Circuit.Body, Circuit |
| 2 (Data Constructor) | Circuit.Body, Circuit |
| SomeOptic | |
| 1 (Type/Class) | Circuit.Optic |
| 2 (Data Constructor) | Circuit.Optic |
| someOpticUpdate | Circuit.Optic |
| SomePoles | |
| 1 (Type/Class) | Circuit.System |
| 2 (Data Constructor) | Circuit.System |
| Span | |
| 1 (Type/Class) | Circuit.Span |
| 2 (Data Constructor) | Circuit.Span |
| spanDistance | Circuit.Span |
| splay | Circuit.Poles, Circuit |
| splay0 | Circuit.Poles |
| Sq | |
| 1 (Type/Class) | Circuit.Circ, Circuit |
| 2 (Data Constructor) | Circuit.Circ, Circuit |
| sqSrc | Circuit.Circ, Circuit |
| sqTgt | Circuit.Circ, Circuit |
| stamp | Circuit.Stamped, Circuit |
| Stamped | |
| 1 (Type/Class) | Circuit.Stamped, Circuit |
| 2 (Data Constructor) | Circuit.Stamped, Circuit |
| stamped | Circuit.Stamped, Circuit |
| Step | Circuit.System |
| step | Circuit.System |
| Strength | Circuit.Channel, Circuit |
| strength | Circuit.Channel, Circuit |
| strengthFinRel | Circuit.FinRel |
| suffixOut | Circuit.Poles, Circuit |
| Sum | Circuit.Poly |
| SumStep | Circuit.System |
| SumStepL | Circuit.System |
| SumStepR | Circuit.System |
| superpose | Circuit.Tensor, Circuit |
| swapFinRel | Circuit.FinRel |
| Syntax | Circuit.Syntax |
| System | Circuit.System, Circuit |
| system | Circuit.System, Circuit |
| systemAsLens | Circuit.System |
| systemAsProcess | Circuit.Process |
| SystemEval | Circuit.System |
| SystemT | |
| 1 (Type/Class) | Circuit.System |
| 2 (Data Constructor) | Circuit.System |
| systemToCoalgebraMono | Circuit.System |
| systemToPolesWithProbe | Circuit.System |
| systemToProcess | Circuit.Process, Circuit |
| systemWithSeedToPoles | Circuit.System |