singletons-0.10.0: A framework for generating singleton types

Index - S

SBoolData.Singletons.Bool, Data.Singletons.Prelude
sBool_Data.Singletons.Bool
sCatMaybesData.Singletons.Maybe
SConsData.Singletons.List, Data.Singletons.Prelude
sCurryData.Singletons.Tuple, Data.Singletons.Prelude
SDecideData.Singletons.Decide, Data.Singletons.TH
SEitherData.Singletons.Either, Data.Singletons.Prelude
sEither_Data.Singletons.Either, Data.Singletons.Prelude
SEQData.Singletons.Prelude
SEqData.Singletons.Eq, Data.Singletons.TH, Data.Singletons.Prelude
sErrorData.Singletons.TypeLits, Data.Singletons.Prelude
SFalseData.Singletons.Bool, Data.Singletons.TH, Data.Singletons.Prelude
sFromJustData.Singletons.Maybe
sFromMaybeData.Singletons.Maybe
sFstData.Singletons.Tuple, Data.Singletons.Prelude
SGTData.Singletons.Prelude
sHeadData.Singletons.List
sIfData.Singletons.Bool, Data.Singletons.TH, Data.Singletons.Prelude
SingData.Singletons, Data.Singletons.Bool, Data.Singletons.TypeRepStar, Data.Singletons.List, Data.Singletons.TH, Data.Singletons.Maybe, Data.Singletons.Either, Data.Singletons.Tuple, Data.Singletons.Prelude
singData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
singByProxyData.Singletons, Data.Singletons.Prelude
singByProxy#Data.Singletons, Data.Singletons.Prelude
singDecideInstanceData.Singletons.TH
singDecideInstancesData.Singletons.TH
singEqInstanceData.Singletons.TH
singEqInstanceOnlyData.Singletons.TH
singEqInstancesData.Singletons.TH
singEqInstancesOnlyData.Singletons.TH
SingIData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
SingInstance 
1 (Type/Class)Data.Singletons, Data.Singletons.Prelude
2 (Data Constructor)Data.Singletons, Data.Singletons.Prelude
singInstanceData.Singletons, Data.Singletons.Prelude
SingKindData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
singletonsData.Singletons.TH
singletonsOnlyData.Singletons.TH
singletonStarData.Singletons.CustomStar
singThatData.Singletons, Data.Singletons.Prelude
sIsJustData.Singletons.Maybe
sIsLeftData.Singletons.Either
sIsNothingData.Singletons.Maybe
sIsRightData.Singletons.Either
SJustData.Singletons.Maybe, Data.Singletons.Prelude
SLeftData.Singletons.Either, Data.Singletons.Prelude
sLeftsData.Singletons.Either
SListData.Singletons.List, Data.Singletons.Prelude
sListToMaybeData.Singletons.Maybe
SLTData.Singletons.Prelude
sMapMaybeData.Singletons.Maybe
SMaybeData.Singletons.Maybe, Data.Singletons.Prelude
sMaybeToListData.Singletons.Maybe
sMaybe_Data.Singletons.Maybe, Data.Singletons.Prelude
SNatData.Singletons.TypeLits
SndData.Singletons.Tuple, Data.Singletons.Prelude
SNilData.Singletons.List, Data.Singletons.Prelude
sNotData.Singletons.Bool, Data.Singletons.Prelude
SNothingData.Singletons.Maybe, Data.Singletons.Prelude
SomeSing 
1 (Type/Class)Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
2 (Data Constructor)Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
SOrderingData.Singletons.Prelude
sOtherwiseData.Singletons.Bool
sPartitionEithersData.Singletons.Either
sReverseData.Singletons.List
SRightData.Singletons.Either, Data.Singletons.Prelude
sRightsData.Singletons.Either
sSndData.Singletons.Tuple, Data.Singletons.Prelude
sSwapData.Singletons.Tuple
SSymbolData.Singletons.TypeLits
sTailData.Singletons.List
STrueData.Singletons.Bool, Data.Singletons.TH, Data.Singletons.Prelude
STuple0 
1 (Type/Class)Data.Singletons.Tuple, Data.Singletons.Prelude
2 (Data Constructor)Data.Singletons.Tuple, Data.Singletons.Prelude
STuple2 
1 (Type/Class)Data.Singletons.Tuple, Data.Singletons.Prelude
2 (Data Constructor)Data.Singletons.Tuple, Data.Singletons.Prelude
STuple3 
1 (Type/Class)Data.Singletons.Tuple, Data.Singletons.Prelude
2 (Data Constructor)Data.Singletons.Tuple, Data.Singletons.Prelude
STuple4 
1 (Type/Class)Data.Singletons.Tuple, Data.Singletons.Prelude
2 (Data Constructor)Data.Singletons.Tuple, Data.Singletons.Prelude
STuple5 
1 (Type/Class)Data.Singletons.Tuple, Data.Singletons.Prelude
2 (Data Constructor)Data.Singletons.Tuple, Data.Singletons.Prelude
STuple6 
1 (Type/Class)Data.Singletons.Tuple, Data.Singletons.Prelude
2 (Data Constructor)Data.Singletons.Tuple, Data.Singletons.Prelude
STuple7 
1 (Type/Class)Data.Singletons.Tuple, Data.Singletons.Prelude
2 (Data Constructor)Data.Singletons.Tuple, Data.Singletons.Prelude
STypeRepData.Singletons.TypeRepStar
sUncurryData.Singletons.Tuple, Data.Singletons.Prelude
SwapData.Singletons.Tuple
SymbolData.Singletons.TypeLits
symbolValData.Singletons.TypeLits