singletons-3.0.2: Basic singleton types and definitions

- A
- C
- D
- F
- K
- L
- M
- P
- R
- S
- T
- U
- V
- W
- Z
- :
- %
- @
- ~
- All

Index - S

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