| ScopedIdent | Language.PureScript.AST.Traversals, Language.PureScript.AST |
| ScopedTypeVar | Language.PureScript.Environment |
| setAnnForType | Language.PureScript.Types |
| showAssoc | Language.PureScript.AST.Operators, Language.PureScript.AST |
| showDataDeclType | Language.PureScript.Environment |
| showIdent | Language.PureScript.Names |
| showOp | Language.PureScript.Names |
| showQualified | Language.PureScript.Names |
| Skolem | Language.PureScript.Types |
| SkolemScope | |
| 1 (Type/Class) | Language.PureScript.Types |
| 2 (Data Constructor) | Language.PureScript.Types |
| sndM | Language.PureScript.Traversals |
| SolverHint | Language.PureScript.AST.Declarations, Language.PureScript.AST |
| SourceAnn | Language.PureScript.AST.SourcePos, Language.PureScript.AST |
| SourceConstraint | Language.PureScript.Types |
| SourcePos | |
| 1 (Type/Class) | Language.PureScript.AST.SourcePos, Language.PureScript.AST |
| 2 (Data Constructor) | Language.PureScript.AST.SourcePos, Language.PureScript.AST |
| sourcePosColumn | Language.PureScript.AST.SourcePos, Language.PureScript.AST |
| sourcePosLine | Language.PureScript.AST.SourcePos, Language.PureScript.AST |
| SourceSpan | |
| 1 (Type/Class) | Language.PureScript.AST.SourcePos, Language.PureScript.AST |
| 2 (Data Constructor) | Language.PureScript.AST.SourcePos, Language.PureScript.AST |
| SourceType | Language.PureScript.Types |
| spanEnd | Language.PureScript.AST.SourcePos, Language.PureScript.AST |
| spanName | Language.PureScript.AST.SourcePos, Language.PureScript.AST |
| spanStart | Language.PureScript.AST.SourcePos, Language.PureScript.AST |
| srcBinaryNoParensType | Language.PureScript.Types |
| srcConstrainedType | Language.PureScript.Types |
| srcConstraint | Language.PureScript.Types |
| srcForAll | Language.PureScript.Types |
| srcKindApp | Language.PureScript.Types |
| srcKindedType | Language.PureScript.Types |
| srcParensInType | Language.PureScript.Types |
| srcRCons | Language.PureScript.Types |
| srcREmpty | Language.PureScript.Types |
| srcRowListItem | Language.PureScript.Types |
| srcTUnknown | Language.PureScript.Types |
| srcTypeApp | Language.PureScript.Types |
| srcTypeConstructor | Language.PureScript.Types |
| srcTypeLevelString | Language.PureScript.Types |
| srcTypeOp | Language.PureScript.Types |
| srcTypeVar | Language.PureScript.Types |
| srcTypeWildcard | Language.PureScript.Types |
| StringLiteral | Language.PureScript.AST.Literals, Language.PureScript.AST |
| superclassName | Language.PureScript.TypeClassDictionaries |
| Supply | Control.Monad.Supply |
| SupplyT | |
| 1 (Type/Class) | Control.Monad.Supply |
| 2 (Data Constructor) | Control.Monad.Supply |
| symbol | Language.PureScript.Constants.Prim |
| SymbolAppend | Language.PureScript.Constants.Prim |
| SymbolCompare | Language.PureScript.Constants.Prim |
| SymbolCons | Language.PureScript.Constants.Prim |