singletons-1.0: A framework for generating singleton types

Index - S

sAllData.Singletons.Prelude.List, Data.Singletons.Prelude
sAndData.Singletons.Prelude.List, Data.Singletons.Prelude
sAny_Data.Singletons.Prelude.List, Data.Singletons.Prelude
sAsTypeOfData.Singletons.Prelude.Base, Data.Singletons.Prelude
SBoolData.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.Prelude
sBool_Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar
ScanlData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Scanl1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Scanl1Sym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Scanl1Sym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Scanl1Sym2Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ScanlSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ScanlSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ScanlSym2Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ScanlSym3Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ScanrData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Scanr1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Scanr1Sym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Scanr1Sym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Scanr1Sym2Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ScanrSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ScanrSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ScanrSym2Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ScanrSym3Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
sCatMaybesData.Singletons.Prelude.Maybe
sCompareData.Singletons.Prelude.Ord, Data.Singletons.Prelude
sConcatData.Singletons.Prelude.List, Data.Singletons.Prelude
sConcatMapData.Singletons.Prelude.List, Data.Singletons.Prelude
SConsData.Singletons.Prelude.List, Data.Singletons.Prelude
sConstData.Singletons.Prelude.Base, Data.Singletons.Prelude
sCurryData.Singletons.Prelude.Tuple, Data.Singletons.Prelude
SDecideData.Singletons.Decide, Data.Singletons.TH
sDeleteData.Singletons.Prelude.List
sDeleteByData.Singletons.Prelude.List
sDeleteFirstsByData.Singletons.Prelude.List
SEitherData.Singletons.Prelude.Either, Data.Singletons.Prelude
sEither_Data.Singletons.Prelude.Either, Data.Singletons.Prelude
sElemData.Singletons.Prelude.List, Data.Singletons.Prelude
SEQData.Singletons.Prelude.Ord, Data.Singletons.Prelude
SEqData.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Singletons.TH, Data.Singletons.Prelude
SeqData.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
SeqSym0Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
SeqSym1Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
SeqSym2Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
sErrorData.Singletons.TypeLits, Data.Singletons.Prelude
SFalseData.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.TH, Data.Singletons.Prelude
sFlipData.Singletons.Prelude.Base, Data.Singletons.Prelude
sFoldlData.Singletons.Prelude.List, Data.Singletons.Prelude
sFoldl'Data.Singletons.Prelude.List
sFoldl1Data.Singletons.Prelude.List, Data.Singletons.Prelude
sFoldl1'Data.Singletons.Prelude.List
sFoldrData.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
sFoldr1Data.Singletons.Prelude.List, Data.Singletons.Prelude
sFromJustData.Singletons.Prelude.Maybe
sFromMaybeData.Singletons.Prelude.Maybe
sFstData.Singletons.Prelude.Tuple, Data.Singletons.Prelude
SGTData.Singletons.Prelude.Ord, Data.Singletons.Prelude
sHeadData.Singletons.Prelude.List, Data.Singletons.Prelude
sIdData.Singletons.Prelude.Base, Data.Singletons.Prelude
sIfData.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.TH, Data.Singletons.Prelude
SingData.Singletons, Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.TypeRepStar, Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude.Either, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude.List, Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
singData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
singByProxyData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
singByProxy#Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
singDecideInstanceData.Singletons.TH
singDecideInstancesData.Singletons.TH
singEqInstanceData.Singletons.TH
singEqInstanceOnlyData.Singletons.TH
singEqInstancesData.Singletons.TH
singEqInstancesOnlyData.Singletons.TH
singFun1Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
singFun2Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
singFun3Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
singFun4Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
singFun5Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
singFun6Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
singFun7Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
SingFunction1Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
SingFunction2Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
SingFunction3Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
SingFunction4Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
SingFunction5Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
SingFunction6Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
SingFunction7Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
SingIData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
SingInstance 
1 (Type/Class)Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
2 (Data Constructor)Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
singInstanceData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
SingKindData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
singletonsData.Singletons.TH
singletonsOnlyData.Singletons.TH
singletonStarData.Singletons.CustomStar
singThatData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
sInitData.Singletons.Prelude.List, Data.Singletons.Prelude
sInitsData.Singletons.Prelude.List
sInsertByData.Singletons.Prelude.List
sIntercalateData.Singletons.Prelude.List
sIntersperseData.Singletons.Prelude.List
sIsInfixOfData.Singletons.Prelude.List
sIsJustData.Singletons.Prelude.Maybe
sIsLeftData.Singletons.Prelude.Either
sIsNothingData.Singletons.Prelude.Maybe
sIsPrefixOfData.Singletons.Prelude.List
sIsRightData.Singletons.Prelude.Either
sIsSuffixOfData.Singletons.Prelude.List
SJustData.Singletons.Prelude.Maybe, Data.Singletons.Prelude
SLambdaData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
sLastData.Singletons.Prelude.List, Data.Singletons.Prelude
SLeftData.Singletons.Prelude.Either, Data.Singletons.Prelude
sLeftsData.Singletons.Prelude.Either
SListData.Singletons.Prelude.List, Data.Singletons.Prelude
sListToMaybeData.Singletons.Prelude.Maybe
SLTData.Singletons.Prelude.Ord, Data.Singletons.Prelude
sMapData.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
sMapAccumLData.Singletons.Prelude.List
sMapAccumRData.Singletons.Prelude.List
sMapMaybeData.Singletons.Prelude.Maybe
sMaxData.Singletons.Prelude.Ord, Data.Singletons.Prelude
sMaximumByData.Singletons.Prelude.List
SMaybeData.Singletons.Prelude.Maybe, Data.Singletons.Prelude
sMaybeToListData.Singletons.Prelude.Maybe
sMaybe_Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
sMinData.Singletons.Prelude.Ord, Data.Singletons.Prelude
sMinimumByData.Singletons.Prelude.List
SNatData.Singletons.TypeLits
SndData.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude
SndSym0Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude
SndSym1Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude
SNilData.Singletons.Prelude.List, Data.Singletons.Prelude
sNotData.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.Prelude
sNotElemData.Singletons.Prelude.List, Data.Singletons.Prelude
SNothingData.Singletons.Prelude.Maybe, Data.Singletons.Prelude
sNullData.Singletons.Prelude.List, 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
sOrData.Singletons.Prelude.List, Data.Singletons.Prelude
SOrdData.Singletons.Prelude.Ord, Data.Singletons.Prelude
SOrderingData.Singletons.Prelude
SortData.Promotion.Prelude.List
SortByData.Singletons.Prelude.List, Data.Promotion.Prelude.List
SortBySym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
SortBySym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
SortBySym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
SortSym0Data.Promotion.Prelude.List
SortSym1Data.Promotion.Prelude.List
sOtherwiseData.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.Prelude.Base, Data.Singletons.Prelude
SpanData.Promotion.Prelude.List, Data.Promotion.Prelude
SpanSym0Data.Promotion.Prelude.List, Data.Promotion.Prelude
SpanSym1Data.Promotion.Prelude.List, Data.Promotion.Prelude
SpanSym2Data.Promotion.Prelude.List, Data.Promotion.Prelude
sPartitionEithersData.Singletons.Prelude.Either
sPermutationsData.Singletons.Prelude.List
SplitAtData.Promotion.Prelude.List, Data.Promotion.Prelude
SplitAtSym0Data.Promotion.Prelude.List, Data.Promotion.Prelude
SplitAtSym1Data.Promotion.Prelude.List, Data.Promotion.Prelude
SplitAtSym2Data.Promotion.Prelude.List, Data.Promotion.Prelude
sReverseData.Singletons.Prelude.List, Data.Singletons.Prelude
SRightData.Singletons.Prelude.Either, Data.Singletons.Prelude
sRightsData.Singletons.Prelude.Either
sScanlData.Singletons.Prelude.List, Data.Singletons.Prelude
sScanl1Data.Singletons.Prelude.List, Data.Singletons.Prelude
sScanrData.Singletons.Prelude.List, Data.Singletons.Prelude
sScanr1Data.Singletons.Prelude.List, Data.Singletons.Prelude
sSeqData.Singletons.Prelude.Base, Data.Singletons.Prelude
sSndData.Singletons.Prelude.Tuple, Data.Singletons.Prelude
sSortByData.Singletons.Prelude.List
sSubsequencesData.Singletons.Prelude.List
sSwapData.Singletons.Prelude.Tuple
SSymbolData.Singletons.TypeLits
sTailData.Singletons.Prelude.List, Data.Singletons.Prelude
sTailsData.Singletons.Prelude.List
sThenCmpData.Singletons.Prelude.Ord, Data.Singletons.Prelude
StripPrefixData.Promotion.Prelude.List
StripPrefixSym0Data.Promotion.Prelude.List
StripPrefixSym1Data.Promotion.Prelude.List
STrueData.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.TH, Data.Singletons.Prelude
STuple0 
1 (Type/Class)Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
2 (Data Constructor)Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
STuple2 
1 (Type/Class)Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
2 (Data Constructor)Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
STuple3 
1 (Type/Class)Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
2 (Data Constructor)Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
STuple4 
1 (Type/Class)Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
2 (Data Constructor)Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
STuple5 
1 (Type/Class)Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
2 (Data Constructor)Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
STuple6 
1 (Type/Class)Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
2 (Data Constructor)Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
STuple7 
1 (Type/Class)Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
2 (Data Constructor)Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
STypeRepData.Singletons.TypeRepStar
SubsequencesData.Singletons.Prelude.List, Data.Promotion.Prelude.List
SubsequencesSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
SubsequencesSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
SumData.Promotion.Prelude.List, Data.Promotion.Prelude
SumSym0Data.Promotion.Prelude.List, Data.Promotion.Prelude
SumSym1Data.Promotion.Prelude.List, Data.Promotion.Prelude
sUncurryData.Singletons.Prelude.Tuple, Data.Singletons.Prelude
sUnfoldrData.Singletons.Prelude.List
sUnzipData.Singletons.Prelude.List, Data.Singletons.Prelude
sUnzip3Data.Singletons.Prelude.List, Data.Singletons.Prelude
sUnzip4Data.Singletons.Prelude.List
sUnzip5Data.Singletons.Prelude.List
sUnzip6Data.Singletons.Prelude.List
sUnzip7Data.Singletons.Prelude.List
SuppressUnusedWarningsData.Singletons.SuppressUnusedWarnings, Data.Singletons.TH, Data.Promotion.TH
suppressUnusedWarningsData.Singletons.SuppressUnusedWarnings, Data.Singletons.TH, Data.Promotion.TH
SwapData.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple
SwapSym0Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple
SwapSym1Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple
SymbolData.Singletons.TypeLits, Data.Singletons.Prelude, Data.Promotion.Prelude
symbolValData.Singletons.TypeLits
sZipData.Singletons.Prelude.List, Data.Singletons.Prelude
sZip3Data.Singletons.Prelude.List, Data.Singletons.Prelude
sZipWithData.Singletons.Prelude.List, Data.Singletons.Prelude
sZipWith3Data.Singletons.Prelude.List, Data.Singletons.Prelude