singletons-3.0.4: Basic singleton types and definitions

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 (Type/Class) | Data.Singletons
2 (Data Constructor) | 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