%~ | 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 |