Index
| %~ | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.Decide |
| :%&: | Data.Singletons.Sigma |
| :&: | Data.Singletons.Sigma |
| :~: | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.Decide |
| @@ | |
| 1 (Type/Class) | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| 2 (Function) | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| @@@#@$ | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| @@@#@$$ | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| @@@#@$$$ | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| Apply | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| applySing | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| applySing2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| applySing3 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| applySing4 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| applySing5 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| applySing6 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| applySing7 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| applySing8 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| ApplySym0 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| ApplySym1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| ApplySym2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| ApplyTyCon | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| ApplyTyConAux1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| ApplyTyConAux2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| cases | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| currySigma | Data.Singletons.Sigma |
| decideCoercion | Data.Singletons.Decide |
| decideEquality | Data.Singletons.Decide |
| Decision | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.Decide |
| defaultOptions | Data.Singletons.TH.Options |
| defunctionalizedName | Data.Singletons.TH.Options |
| defunctionalizedName0 | Data.Singletons.TH.Options |
| Demote | Data.Singletons.TH, Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.TH.CustomStar, Data.Singletons |
| demote | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| demote1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| demote2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| DemoteSym0 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| DemoteSym1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| Disproved | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.Decide |
| FromSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| fromSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| FstSigma | Data.Singletons.Sigma |
| fstSigma | Data.Singletons.Sigma |
| genDefunSymbols | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| genPromotions | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| genQuotedDecs | Data.Singletons.TH.Options |
| genSingKindInsts | Data.Singletons.TH.Options |
| genSingletons | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| getOptions | Data.Singletons.TH.Options |
| KindOf | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| KindOfSym0 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| KindOfSym1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| liftSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| liftSing2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| mapSigma | Data.Singletons.Sigma |
| Options | Data.Singletons.TH.Options |
| OptionsM | Data.Singletons.TH.Options |
| OptionsMonad | Data.Singletons.TH.Options |
| projSigma1 | Data.Singletons.Sigma |
| projSigma2 | Data.Singletons.Sigma |
| promote | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| promoteBoundedInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| promoteBoundedInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| promotedClassName | Data.Singletons.TH.Options |
| promotedDataTypeOrConName | Data.Singletons.TH.Options |
| promotedLetBoundValueName | Data.Singletons.TH.Options |
| promotedTopLevelValueName | Data.Singletons.TH.Options |
| promotedValueName | Data.Singletons.TH.Options |
| promoteEnumInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| promoteEnumInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| promoteEqInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| promoteEqInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| promoteOnly | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| promoteOrdInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| promoteOrdInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| promoteShowInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| promoteShowInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| Proved | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.Decide |
| Proxy | |
| 1 (Type/Class) | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| 2 (Data Constructor) | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| Refl | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.Decide |
| Refuted | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.Decide |
| SameKind | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SameKindSym0 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SameKindSym1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SameKindSym2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| sCases | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| SDecide | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.Decide |
| ShowApply | Data.Singletons.Sigma |
| ShowApply' | Data.Singletons.Sigma |
| ShowSing | Data.Singletons.ShowSing |
| ShowSing' | Data.Singletons.ShowSing |
| ShowSingApply | Data.Singletons.Sigma |
| ShowSingApply' | Data.Singletons.Sigma |
| showSingInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| showSingInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| Sigma | Data.Singletons.Sigma |
| Sing | |
| 1 (Type/Class) | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons, Data.Singletons.Sigma |
| 2 (Data Constructor) | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| sing | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| sing1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| sing2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singBoundedInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| singBoundedInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| singByProxy | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singByProxy# | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singByProxy1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singByProxy1# | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singByProxy2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singByProxy2# | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singDecideInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| singDecideInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| singEnumInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| singEnumInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| singEqInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| singEqInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| singFun1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singFun2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singFun3 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singFun4 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singFun5 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singFun6 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singFun7 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singFun8 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SingFunction1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SingFunction2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SingFunction3 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SingFunction4 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SingFunction5 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SingFunction6 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SingFunction7 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SingFunction8 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SingI | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SingI1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SingI2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SingInstance | |
| 1 (Type/Class) | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| 2 (Data Constructor) | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singITyConInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| singITyConInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| SingKind | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singledClassName | Data.Singletons.TH.Options |
| singledDataConName | Data.Singletons.TH.Options |
| singledDataTypeName | Data.Singletons.TH.Options |
| singledValueName | Data.Singletons.TH.Options |
| singletons | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| singletonsOnly | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| singletonStar | Data.Singletons.TH.CustomStar |
| singOrdInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| singOrdInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| singShowInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| singShowInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| singThat | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singThat1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| singThat2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SLambda | |
| 1 (Type/Class) | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| 2 (Data Constructor) | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SLambda2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SLambda3 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SLambda4 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SLambda5 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SLambda6 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SLambda7 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SLambda8 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SndSigma | Data.Singletons.Sigma |
| sndSigma | Data.Singletons.Sigma |
| SomeSing | |
| 1 (Type/Class) | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| 2 (Data Constructor) | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SSigma | Data.Singletons.Sigma |
| sUnwrapSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SuppressUnusedWarnings | Data.Singletons.TH.SuppressUnusedWarnings, Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| suppressUnusedWarnings | Data.Singletons.TH.SuppressUnusedWarnings, Data.Singletons.TH, Data.Singletons.TH.CustomStar |
| SWrappedSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SWrapSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| SΣ | Data.Singletons.Sigma |
| toSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| TyCon | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| TyCon1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| TyCon2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| TyCon3 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| TyCon4 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| TyCon5 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| TyCon6 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| TyCon7 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| TyCon8 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| TyFun | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| uncurrySigma | Data.Singletons.Sigma |
| unSingFun1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| unSingFun2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| unSingFun3 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| unSingFun4 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| unSingFun5 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| unSingFun6 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| unSingFun7 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| unSingFun8 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| UnwrapSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| unwrapSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| usingSingI1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| usingSingI2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| Void | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.Decide |
| withOptions | Data.Singletons.TH.Options |
| withSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| withSing1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| withSing2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| withSingI | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| withSomeSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| WrappedSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| WrapSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| zipSigma | Data.Singletons.Sigma |
| ~> | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| ~>@#@$ | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| ~>@#@$$ | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| ~>@#@$$$ | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
| Σ | Data.Singletons.Sigma |