Index

%~	Data.Singletons.Decide
:%&:	Data.Singletons.Sigma
:&:	Data.Singletons.Sigma
:~:	Data.Singletons.Decide
@@
1 (Type/Class)	Data.Singletons
2 (Function)	Data.Singletons
@@@#@$	Data.Singletons
@@@#@$$	Data.Singletons
@@@#@$$$	Data.Singletons
Apply	Data.Singletons
applySing	Data.Singletons
applySing2	Data.Singletons
applySing3	Data.Singletons
applySing4	Data.Singletons
applySing5	Data.Singletons
applySing6	Data.Singletons
applySing7	Data.Singletons
applySing8	Data.Singletons
ApplySym0	Data.Singletons
ApplySym1	Data.Singletons
ApplySym2	Data.Singletons
ApplyTyCon	Data.Singletons
ApplyTyConAux1	Data.Singletons
ApplyTyConAux2	Data.Singletons
currySigma	Data.Singletons.Sigma
decideCoercion	Data.Singletons.Decide
decideEquality	Data.Singletons.Decide
Decision	Data.Singletons.Decide
Demote	Data.Singletons
demote	Data.Singletons
demote1	Data.Singletons
demote2	Data.Singletons
DemoteSym0	Data.Singletons
DemoteSym1	Data.Singletons
Disproved	Data.Singletons.Decide
FromSing	Data.Singletons
fromSing	Data.Singletons
FstSigma	Data.Singletons.Sigma
fstSigma	Data.Singletons.Sigma
KindOf	Data.Singletons
KindOfSym0	Data.Singletons
KindOfSym1	Data.Singletons
liftSing	Data.Singletons
liftSing2	Data.Singletons
mapSigma	Data.Singletons.Sigma
projSigma1	Data.Singletons.Sigma
projSigma2	Data.Singletons.Sigma
Proved	Data.Singletons.Decide
Proxy
1 (Data Constructor)	Data.Singletons
2 (Type/Class)	Data.Singletons
Refl	Data.Singletons.Decide
Refuted	Data.Singletons.Decide
SameKind	Data.Singletons
SameKindSym0	Data.Singletons
SameKindSym1	Data.Singletons
SameKindSym2	Data.Singletons
SDecide	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
Sigma	Data.Singletons.Sigma
Sing
1 (Type/Class)	Data.Singletons, Data.Singletons.Sigma
2 (Data Constructor)	Data.Singletons
sing	Data.Singletons
sing1	Data.Singletons
sing2	Data.Singletons
singByProxy	Data.Singletons
singByProxy#	Data.Singletons
singByProxy1	Data.Singletons
singByProxy1#	Data.Singletons
singByProxy2	Data.Singletons
singByProxy2#	Data.Singletons
singFun1	Data.Singletons
singFun2	Data.Singletons
singFun3	Data.Singletons
singFun4	Data.Singletons
singFun5	Data.Singletons
singFun6	Data.Singletons
singFun7	Data.Singletons
singFun8	Data.Singletons
SingFunction1	Data.Singletons
SingFunction2	Data.Singletons
SingFunction3	Data.Singletons
SingFunction4	Data.Singletons
SingFunction5	Data.Singletons
SingFunction6	Data.Singletons
SingFunction7	Data.Singletons
SingFunction8	Data.Singletons
SingI	Data.Singletons
SingI1	Data.Singletons
SingI2	Data.Singletons
SingInstance
1 (Type/Class)	Data.Singletons
2 (Data Constructor)	Data.Singletons
singInstance	Data.Singletons
SingKind	Data.Singletons
singThat	Data.Singletons
singThat1	Data.Singletons
singThat2	Data.Singletons
SLambda
1 (Type/Class)	Data.Singletons
2 (Data Constructor)	Data.Singletons
SLambda2	Data.Singletons
SLambda3	Data.Singletons
SLambda4	Data.Singletons
SLambda5	Data.Singletons
SLambda6	Data.Singletons
SLambda7	Data.Singletons
SLambda8	Data.Singletons
SndSigma	Data.Singletons.Sigma
sndSigma	Data.Singletons.Sigma
SomeSing
1 (Type/Class)	Data.Singletons
2 (Data Constructor)	Data.Singletons
SSigma	Data.Singletons.Sigma
sUnwrapSing	Data.Singletons
SWrappedSing	Data.Singletons
SWrapSing	Data.Singletons
SΣ	Data.Singletons.Sigma
toSing	Data.Singletons
TyCon	Data.Singletons
TyCon1	Data.Singletons
TyCon2	Data.Singletons
TyCon3	Data.Singletons
TyCon4	Data.Singletons
TyCon5	Data.Singletons
TyCon6	Data.Singletons
TyCon7	Data.Singletons
TyCon8	Data.Singletons
TyFun	Data.Singletons
uncurrySigma	Data.Singletons.Sigma
unSingFun1	Data.Singletons
unSingFun2	Data.Singletons
unSingFun3	Data.Singletons
unSingFun4	Data.Singletons
unSingFun5	Data.Singletons
unSingFun6	Data.Singletons
unSingFun7	Data.Singletons
unSingFun8	Data.Singletons
UnwrapSing	Data.Singletons
unwrapSing	Data.Singletons
usingSingI1	Data.Singletons
usingSingI2	Data.Singletons
Void	Data.Singletons.Decide
withSing	Data.Singletons
withSing1	Data.Singletons
withSing2	Data.Singletons
withSingI	Data.Singletons
withSomeSing	Data.Singletons
WrappedSing	Data.Singletons
WrapSing	Data.Singletons
zipSigma	Data.Singletons.Sigma
~>	Data.Singletons
~>@#@$	Data.Singletons
~>@#@$$	Data.Singletons
~>@#@$$$	Data.Singletons
Σ	Data.Singletons.Sigma