| 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 |
| ScopedOpArgTyping | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Syntax.Abs |
| 3 (Data Constructor) | Language.SOAS.Impl.Generated |
| ScopedOpArgTyping' | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| ScopedOpArgTyping'Sig | Language.SOAS.Impl.Generated |
| ScopedOpArgTypingSig | Language.SOAS.Impl.Generated |
| ScopedTerm | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 3 (Type/Class) | Language.SOAS.Syntax.Abs |
| ScopedTerm' | |
| 1 (Type/Class) | Language.LambdaPi.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Syntax.Abs |
| 3 (Type/Class) | Language.SOAS.Impl.Generated |
| ScopedType | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Syntax.Abs |
| ScopedType' | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| Second | |
| 1 (Data Constructor) | Language.LambdaPi.Syntax.Abs |
| 2 (Data Constructor) | Language.LambdaPi.Impl.FreeFoilTH |
| 3 (Data Constructor) | Language.LambdaPi.Impl.FreeFoil |
| SecondE | Language.LambdaPi.Impl.Foil |
| SecondF | Language.LambdaPi.Impl.FreeFoil |
| SecondSig | Language.LambdaPi.Impl.FreeFoilTH |
| 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 |
| sinkabilityProof | Control.Monad.Foil.Internal, Control.Monad.Foil |
| sinkabilityProof1 | Control.Monad.Foil.Internal |
| 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 |
| soasConfig | Language.SOAS.FreeFoilConfig |
| SomeBinders | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Impl.Generated |
| SomeTypeBinders | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Data Constructor) | Language.SOAS.Impl.Generated |
| Status | Language.LambdaPi.Syntax.Layout |
| sToken | Language.LambdaPi.Syntax.Layout |
| Subst | |
| 1 (Data Constructor) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Syntax.Abs |
| 3 (Data Constructor) | Language.SOAS.Impl.Generated |
| 4 (Type/Class) | Language.SOAS.Impl |
| Subst' | |
| 1 (Type/Class) | Language.SOAS.Syntax.Abs |
| 2 (Type/Class) | Language.SOAS.Impl.Generated |
| 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 |
| 3 (Function) | Language.LambdaPi.Impl.FoilTH |
| 4 (Function) | Language.LambdaPi.Impl.Foil |
| substitutePattern | Control.Monad.Free.Foil |
| substituteRefresh | Language.LambdaPi.Impl.Foil |
| substituteRefreshed | Control.Monad.Free.Foil |
| Substitution | Control.Monad.Foil.Internal, Control.Monad.Foil |