| S | Control.Monad.Foil.Internal, Control.Monad.Foil |
| SameInnerScope | Control.Monad.Foil.Internal.ValidNameBinders |
| SameNameBinders | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Scope | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ScopedAST | |
| 1 (Type/Class) | Control.Monad.Free.Foil |
| 2 (Data Constructor) | Control.Monad.Free.Foil |
| scopeToNameSet | Control.Monad.Foil.Internal, Control.Monad.Foil |
| ScopeUnion | Control.Monad.Foil.Blocks |
| ShowKindedScope | Control.Monad.Foil.Internal.ValidNameBinders |
| ShowLocalizeError | Control.Monad.Foil.Internal.ValidNameBinders |
| ShowSaturatedPatternType | Control.Monad.Foil.Internal.ValidNameBinders |
| ShowScope | Control.Monad.Foil.Internal.ValidNameBinders |
| ShowScopeN | Control.Monad.Foil.Internal.ValidNameBinders |
| signatureNameModifier | Control.Monad.Free.Foil.TH.MkFreeFoil |
| sink | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sink1 | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sink2 | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkabilityProof | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkabilityProof1 | Control.Monad.Foil.Internal |
| sinkabilityProof2 | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkabilityProofK | Control.Monad.Foil.Internal, Control.Monad.Foil |
| Sinkable | Control.Monad.Foil.Internal, Control.Monad.Foil |
| SinkableK | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkContainer | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkK | Control.Monad.Foil.Internal |
| snocNameBinderList | Control.Monad.Foil.Internal, Control.Monad.Foil |
| spanOfNames | Control.Monad.Free.Foil.Artifact |
| SpellingForLocal | Control.Monad.Free.Foil.Artifact |
| storedBytes | Control.Monad.Free.Foil.Artifact |
| storedConstants | Control.Monad.Free.Foil.Artifact |
| StoredLayout | |
| 1 (Type/Class) | Control.Monad.Free.Foil.Artifact |
| 2 (Data Constructor) | Control.Monad.Free.Foil.Artifact |
| storedLocals | Control.Monad.Free.Foil.Artifact |
| StoredTerm | |
| 1 (Type/Class) | Control.Monad.Free.Foil.Artifact |
| 2 (Data Constructor) | Control.Monad.Free.Foil.Artifact |
| storeTerm | Control.Monad.Free.Foil.Artifact |
| StripeIndex | |
| 1 (Type/Class) | Control.Monad.Foil.Registry |
| 2 (Data Constructor) | Control.Monad.Foil.Registry |
| StripeLayout | |
| 1 (Type/Class) | Control.Monad.Foil.Registry |
| 2 (Data Constructor) | Control.Monad.Foil.Registry |
| stripeRange | Control.Monad.Foil.Registry |
| stripesAbove | Control.Monad.Foil.Registry |
| stripesBelowZero | Control.Monad.Foil.Registry |
| StripeSize | |
| 1 (Type/Class) | Control.Monad.Foil.Registry |
| 2 (Data Constructor) | Control.Monad.Foil.Registry |
| SubstInAtom | Control.Monad.Foil.Internal.ValidNameBinders |
| SubstInRepK | Control.Monad.Foil.Internal.ValidNameBinders |
| substitute | |
| 1 (Function) | Control.Monad.Foil.Example |
| 2 (Function) | Control.Monad.Free.Foil |
| substitutePattern | Control.Monad.Free.Foil |
| substituteRefreshed | Control.Monad.Free.Foil |
| Substitution | Control.Monad.Foil.Internal, Control.Monad.Foil |
| supportOf | Control.Monad.Free.Foil |
| supportOfScopedAST | Control.Monad.Free.Foil |