Index - S
| second | Control.Functor |
| second' | Control.Functor |
| sequenceW | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply |
| shift | Control.Monad.Indexed.Cont |
| snd | Control.Category.Cartesian |
| Span | |
| 1 (Type/Class) | Control.Morphism.Span |
| 2 (Data Constructor) | Control.Morphism.Span |
| split | Control.Comonad.Supply |
| split2 | Control.Comonad.Supply |
| split3 | Control.Comonad.Supply |
| split4 | Control.Comonad.Supply |
| strength | Control.Functor.Strong |
| Supply | Control.Comonad.Supply |
| supplyLeft | Control.Comonad.Supply |
| supplyRight | Control.Comonad.Supply |
| supplyValue | Control.Comonad.Supply |
| swap | Control.Category.Braided, Control.Category.Monoidal, Control.Category.Cartesian |
| Symmetric | Control.Category.Braided, Control.Category.Monoidal, Control.Category.Cartesian |