| %:&& | Data.Singletons.Bool, Data.Singletons.Prelude |
| %:++ | Data.Singletons.List, Data.Singletons.Prelude |
| %:/= | Data.Singletons.Eq, Data.Singletons.TH, Data.Singletons.Prelude |
| %:== | Data.Singletons.Eq, Data.Singletons.TH, Data.Singletons.Prelude |
| %:|| | Data.Singletons.Bool, Data.Singletons.Prelude |
| %~ | Data.Singletons.Decide, Data.Singletons.TH |
| :&& | Data.Singletons.Bool, Data.Singletons.TH, Data.Singletons.Prelude |
| :++ | Data.Singletons.List, Data.Singletons.Prelude |
| :/= | Data.Singletons.Eq, Data.Singletons.Prelude |
| :== | Data.Singletons.Types, Data.Singletons.Eq, Data.Singletons.TH, Data.Singletons.Prelude |
| :|| | Data.Singletons.Bool, Data.Singletons.Prelude |
| :~: | Data.Singletons.Types, Data.Singletons.Decide, Data.Singletons.TH |
| == | Data.Singletons.Types, Data.Singletons.Eq, Data.Singletons.TH, Data.Singletons.Prelude |
| absurd | Data.Singletons.Void |
| Any | Data.Singletons.TH |
| Bool_ | Data.Singletons.Bool |
| bugInGHC | Data.Singletons, Data.Singletons.Prelude |
| cases | Data.Singletons.TH |
| CatMaybes | Data.Singletons.Maybe |
| Curry | Data.Singletons.Tuple, Data.Singletons.Prelude |
| Decision | Data.Singletons.Decide, Data.Singletons.TH |
| Demote | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| DemoteRep | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| Disproved | Data.Singletons.Decide, Data.Singletons.TH |
| Either_ | Data.Singletons.Either, Data.Singletons.Prelude |
| Error | Data.Singletons.TypeLits, Data.Singletons.Prelude |
| FromJust | Data.Singletons.Maybe |
| FromMaybe | Data.Singletons.Maybe |
| fromSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| Fst | Data.Singletons.Tuple, Data.Singletons.Prelude |
| gcastWith | Data.Singletons.Types |
| genSingletons | Data.Singletons.TH |
| Head | Data.Singletons.List, Data.Singletons.Prelude |
| If | Data.Singletons.Types, Data.Singletons.Bool, Data.Singletons.TH, Data.Singletons.Prelude |
| IsJust | Data.Singletons.Maybe |
| IsLeft | Data.Singletons.Either |
| IsNothing | Data.Singletons.Maybe |
| IsRight | Data.Singletons.Either |
| KindOf | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| KnownNat | Data.Singletons.TypeLits |
| KnownSymbol | Data.Singletons.TypeLits |
| KProxy | |
| 1 (Data Constructor) | Data.Singletons.Types, Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Types, Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| Lefts | Data.Singletons.Either |
| ListToMaybe | Data.Singletons.Maybe |
| MapMaybe | Data.Singletons.Maybe |
| MaybeToList | Data.Singletons.Maybe |
| Maybe_ | Data.Singletons.Maybe, Data.Singletons.Prelude |
| Nat | Data.Singletons.TypeLits |
| natVal | Data.Singletons.TypeLits |
| Not | Data.Singletons.Types, Data.Singletons.Bool, Data.Singletons.Prelude |
| Otherwise | Data.Singletons.Bool |
| PartitionEithers | Data.Singletons.Either |
| promote | Data.Singletons.TH |
| promoteEqInstance | Data.Singletons.TH |
| promoteEqInstances | Data.Singletons.TH |
| promoteOnly | Data.Singletons.TH |
| Proved | Data.Singletons.Decide, Data.Singletons.TH |
| Proxy | |
| 1 (Data Constructor) | Data.Singletons.Types, Data.Singletons, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Types, Data.Singletons, Data.Singletons.Prelude |
| Refl | Data.Singletons.Types, Data.Singletons.Decide, Data.Singletons.TH |
| Refuted | Data.Singletons.Decide, Data.Singletons.TH |
| Reverse | Data.Singletons.List |
| Rights | Data.Singletons.Either |
| 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 |
| Tail | Data.Singletons.List, Data.Singletons.Prelude |
| TestEquality | Data.Singletons.Types |
| testEquality | Data.Singletons.Types |
| toSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| Uncurry | Data.Singletons.Tuple, Data.Singletons.Prelude |
| vacuous | Data.Singletons.Void |
| vacuousM | Data.Singletons.Void |
| Void | Data.Singletons.Void, Data.Singletons.Decide, Data.Singletons.TH |
| withKnownNat | Data.Singletons.TypeLits |
| withKnownSymbol | Data.Singletons.TypeLits |
| withSing | Data.Singletons, Data.Singletons.Prelude |
| withSingI | Data.Singletons, Data.Singletons.Prelude |
| withSomeSing | Data.Singletons, Data.Singletons.Prelude |