| SBool | Data.Singletons.Bool, Data.Singletons.Prelude |
| sBool_ | Data.Singletons.Bool |
| sCatMaybes | Data.Singletons.Maybe |
| SCons | Data.Singletons.List, Data.Singletons.Prelude |
| sCurry | Data.Singletons.Tuple, Data.Singletons.Prelude |
| SDecide | Data.Singletons.Decide, Data.Singletons.TH |
| SEither | Data.Singletons.Either, Data.Singletons.Prelude |
| sEither_ | Data.Singletons.Either, Data.Singletons.Prelude |
| SEQ | Data.Singletons.Prelude |
| SEq | Data.Singletons.Eq, Data.Singletons.TH, Data.Singletons.Prelude |
| sError | Data.Singletons.TypeLits, Data.Singletons.Prelude |
| SFalse | Data.Singletons.Bool, Data.Singletons.TH, Data.Singletons.Prelude |
| sFromJust | Data.Singletons.Maybe |
| sFromMaybe | Data.Singletons.Maybe |
| sFst | Data.Singletons.Tuple, Data.Singletons.Prelude |
| SGT | Data.Singletons.Prelude |
| sHead | Data.Singletons.List |
| sIf | Data.Singletons.Bool, Data.Singletons.TH, Data.Singletons.Prelude |
| Sing | Data.Singletons, Data.Singletons.Bool, Data.Singletons.TypeRepStar, Data.Singletons.List, Data.Singletons.TH, Data.Singletons.Maybe, Data.Singletons.Either, Data.Singletons.Tuple, Data.Singletons.Prelude |
| sing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| singByProxy | Data.Singletons, Data.Singletons.Prelude |
| singByProxy# | Data.Singletons, Data.Singletons.Prelude |
| singDecideInstance | Data.Singletons.TH |
| singDecideInstances | Data.Singletons.TH |
| singEqInstance | Data.Singletons.TH |
| singEqInstanceOnly | Data.Singletons.TH |
| singEqInstances | Data.Singletons.TH |
| singEqInstancesOnly | Data.Singletons.TH |
| SingI | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| SingInstance | |
| 1 (Type/Class) | Data.Singletons, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons, Data.Singletons.Prelude |
| singInstance | Data.Singletons, Data.Singletons.Prelude |
| SingKind | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| singletons | Data.Singletons.TH |
| singletonsOnly | Data.Singletons.TH |
| singletonStar | Data.Singletons.CustomStar |
| singThat | Data.Singletons, Data.Singletons.Prelude |
| sIsJust | Data.Singletons.Maybe |
| sIsLeft | Data.Singletons.Either |
| sIsNothing | Data.Singletons.Maybe |
| sIsRight | Data.Singletons.Either |
| SJust | Data.Singletons.Maybe, Data.Singletons.Prelude |
| SLeft | Data.Singletons.Either, Data.Singletons.Prelude |
| sLefts | Data.Singletons.Either |
| SList | Data.Singletons.List, Data.Singletons.Prelude |
| sListToMaybe | Data.Singletons.Maybe |
| SLT | Data.Singletons.Prelude |
| sMapMaybe | Data.Singletons.Maybe |
| SMaybe | Data.Singletons.Maybe, Data.Singletons.Prelude |
| sMaybeToList | Data.Singletons.Maybe |
| sMaybe_ | Data.Singletons.Maybe, Data.Singletons.Prelude |
| SNat | Data.Singletons.TypeLits |
| Snd | Data.Singletons.Tuple, Data.Singletons.Prelude |
| SNil | Data.Singletons.List, Data.Singletons.Prelude |
| sNot | Data.Singletons.Bool, Data.Singletons.Prelude |
| SNothing | Data.Singletons.Maybe, Data.Singletons.Prelude |
| SomeSing | |
| 1 (Type/Class) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| SOrdering | Data.Singletons.Prelude |
| sOtherwise | Data.Singletons.Bool |
| sPartitionEithers | Data.Singletons.Either |
| sReverse | Data.Singletons.List |
| SRight | Data.Singletons.Either, Data.Singletons.Prelude |
| sRights | Data.Singletons.Either |
| sSnd | Data.Singletons.Tuple, Data.Singletons.Prelude |
| sSwap | Data.Singletons.Tuple |
| SSymbol | Data.Singletons.TypeLits |
| sTail | Data.Singletons.List |
| STrue | Data.Singletons.Bool, Data.Singletons.TH, Data.Singletons.Prelude |
| STuple0 | |
| 1 (Type/Class) | Data.Singletons.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.Tuple, Data.Singletons.Prelude |
| STuple2 | |
| 1 (Type/Class) | Data.Singletons.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.Tuple, Data.Singletons.Prelude |
| STuple3 | |
| 1 (Type/Class) | Data.Singletons.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.Tuple, Data.Singletons.Prelude |
| STuple4 | |
| 1 (Type/Class) | Data.Singletons.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.Tuple, Data.Singletons.Prelude |
| STuple5 | |
| 1 (Type/Class) | Data.Singletons.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.Tuple, Data.Singletons.Prelude |
| STuple6 | |
| 1 (Type/Class) | Data.Singletons.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.Tuple, Data.Singletons.Prelude |
| STuple7 | |
| 1 (Type/Class) | Data.Singletons.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.Tuple, Data.Singletons.Prelude |
| STypeRep | Data.Singletons.TypeRepStar |
| sUncurry | Data.Singletons.Tuple, Data.Singletons.Prelude |
| Swap | Data.Singletons.Tuple |
| Symbol | Data.Singletons.TypeLits |
| symbolVal | Data.Singletons.TypeLits |