%~ | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
:~: | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
@@ | |
1 (Function) | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
2 (Type/Class) | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
@@@#@$ | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
@@@#@$$ | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
@@@#@$$$ | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
Apply | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
applySing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
applySing2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
applySing3 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
applySing4 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
applySing5 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
applySing6 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
applySing7 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
applySing8 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
ApplySym0 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
ApplySym1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
ApplySym2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
ApplyTyCon | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
ApplyTyConAux1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
ApplyTyConAux2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
cases | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
Decision | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
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 |
demote | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
demote1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
demote2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
DemoteSym0 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
DemoteSym1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
Disproved | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
FromSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
fromSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
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 |
KindOfSym0 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
KindOfSym1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
liftSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
liftSing2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
Options | Data.Singletons.TH.Options |
OptionsM | Data.Singletons.TH.Options |
OptionsMonad | Data.Singletons.TH.Options |
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 |
Proxy | |
1 (Type/Class) | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
2 (Data Constructor) | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
Refl | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
Refuted | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SameKind | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SameKindSym0 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SameKindSym1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SameKindSym2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
sCases | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SDecide | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
showSingInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
showSingInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
Sing | |
1 (Data Constructor) | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
2 (Type/Class) | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
sing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
sing1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
sing2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singBoundedInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singBoundedInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singByProxy | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singByProxy# | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singByProxy1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singByProxy1# | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singByProxy2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singByProxy2# | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
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 |
singFun2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singFun3 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singFun4 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singFun5 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singFun6 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singFun7 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singFun8 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SingFunction1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SingFunction2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SingFunction3 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SingFunction4 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SingFunction5 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SingFunction6 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SingFunction7 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SingFunction8 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SingI | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SingI1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SingI2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SingInstance | |
1 (Type/Class) | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
2 (Data Constructor) | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singITyConInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singITyConInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SingKind | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
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 |
singThat1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
singThat2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SLambda | |
1 (Type/Class) | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
2 (Data Constructor) | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SLambda2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SLambda3 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SLambda4 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SLambda5 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SLambda6 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SLambda7 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SLambda8 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
SomeSing | |
1 (Type/Class) | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
2 (Data Constructor) | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
sUnwrapSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
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 |
SWrapSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
toSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
TyCon | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
TyCon1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
TyCon2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
TyCon3 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
TyCon4 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
TyCon5 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
TyCon6 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
TyCon7 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
TyCon8 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
TyFun | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
unSingFun1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
unSingFun2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
unSingFun3 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
unSingFun4 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
unSingFun5 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
unSingFun6 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
unSingFun7 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
unSingFun8 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
UnwrapSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
unwrapSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
usingSingI1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
usingSingI2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
Void | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
withOptions | Data.Singletons.TH.Options |
withSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
withSing1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
withSing2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
withSingI | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
withSomeSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
WrappedSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
WrapSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
~> | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
~>@#@$ | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
~>@#@$$ | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
~>@#@$$$ | Data.Singletons.TH, Data.Singletons.TH.CustomStar |