singletons-2.1: A framework for generating singleton types

Index - S

sAbsData.Singletons.Prelude.Num, Data.Singletons.Prelude
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
SBoundedData.Singletons.Prelude.Enum, Data.Singletons.Prelude
sBreakData.Singletons.Prelude.List
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
sCasesData.Singletons.TH
sCatMaybesData.Singletons.Prelude.Maybe
sCompareData.Singletons.Prelude.Ord, Data.Singletons.TH, 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
sDropData.Singletons.Prelude.List
sDropWhileData.Singletons.Prelude.List
sDropWhileEndData.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
sElemIndexData.Singletons.Prelude.List
sElemIndicesData.Singletons.Prelude.List
SEnumData.Singletons.Prelude.Enum, Data.Singletons.Prelude
sEnumFromThenToData.Singletons.Prelude.Enum, Data.Singletons.Prelude
sEnumFromToData.Singletons.Prelude.Enum, 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
sFilterData.Singletons.Prelude.List
sFindData.Singletons.Prelude.List
sFindIndexData.Singletons.Prelude.List
sFindIndicesData.Singletons.Prelude.List
sFlipData.Singletons.Prelude.Base, Data.Singletons.Prelude
sFoldlData.Singletons.TH, Data.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
sFromEnumData.Singletons.Prelude.Enum, Data.Singletons.Prelude
sFromIntegerData.Singletons.Prelude.Num, Data.Singletons.Prelude
sFromJustData.Singletons.Prelude.Maybe
sFromMaybeData.Singletons.Prelude.Maybe
sFstData.Singletons.Prelude.Tuple, Data.Singletons.Prelude
sGenericLengthData.Singletons.Prelude.List
sGroupData.Singletons.Prelude.List
sGroupByData.Singletons.Prelude.List
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
SignumData.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
SignumSym0Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
SignumSym1Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
SingData.Singletons, Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.TypeRepStar, Data.Singletons.Prelude.Ord, Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude.Either, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude.List, Data.Singletons.Prelude
singData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
singBoundedInstanceData.Singletons.TH
singBoundedInstancesData.Singletons.TH
singByProxyData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
singByProxy#Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
singDecideInstanceData.Singletons.TH
singDecideInstancesData.Singletons.TH
singEnumInstanceData.Singletons.TH
singEnumInstancesData.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
singFun8Data.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
SingFunction8Data.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
singOrdInstanceData.Singletons.TH
singOrdInstancesData.Singletons.TH
singThatData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
sInitData.Singletons.Prelude.List, Data.Singletons.Prelude
sInitsData.Singletons.Prelude.List
sInsertData.Singletons.Prelude.List
sInsertByData.Singletons.Prelude.List
sIntercalateData.Singletons.Prelude.List
sIntersectData.Singletons.Prelude.List
sIntersectByData.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
sLengthData.Singletons.Prelude.List
SListData.Singletons.Prelude.List, Data.Singletons.Prelude
sListToMaybeData.Singletons.Prelude.Maybe
sLookupData.Singletons.Prelude.List, Data.Singletons.Prelude
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.TH, Data.Singletons.Prelude
sMaxBoundData.Singletons.Prelude.Enum, Data.Singletons.Prelude
sMaximumData.Singletons.Prelude.List
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.TH, Data.Singletons.Prelude
sMinBoundData.Singletons.Prelude.Enum, Data.Singletons.Prelude
sMinimumData.Singletons.Prelude.List
sMinimumByData.Singletons.Prelude.List
SNat 
1 (Type/Class)Data.Singletons.TypeLits
2 (Data Constructor)Data.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
sNegateData.Singletons.Prelude.Num, Data.Singletons.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
sNubData.Singletons.Prelude.List
sNubByData.Singletons.Prelude.List
sNullData.Singletons.Prelude.List, Data.Singletons.Prelude
SNumData.Singletons.Prelude.Num, 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.TH, Data.Singletons.Prelude
SOrderingData.Singletons.Prelude
SortData.Singletons.Prelude.List, Data.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.Singletons.Prelude.List, Data.Promotion.Prelude.List
SortSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
sOtherwiseData.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.Prelude.Base, Data.Singletons.Prelude
SpanData.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
SpanSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
SpanSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
SpanSym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
sPartitionData.Singletons.Prelude.List
sPartitionEithersData.Singletons.Prelude.Either
sPermutationsData.Singletons.Prelude.List
SplitAtData.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
SplitAtSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
SplitAtSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
SplitAtSym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
sPredData.Singletons.Prelude.Enum
sProductData.Singletons.Prelude.List
sReplicateData.Singletons.Prelude.List
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
sSignumData.Singletons.Prelude.Num, Data.Singletons.Prelude
sSndData.Singletons.Prelude.Tuple, Data.Singletons.Prelude
sSortData.Singletons.Prelude.List
sSortByData.Singletons.Prelude.List
sSpanData.Singletons.Prelude.List
sSplitAtData.Singletons.Prelude.List
sSubsequencesData.Singletons.Prelude.List
sSubtractData.Singletons.Prelude.Num, Data.Singletons.Prelude
sSuccData.Singletons.Prelude.Enum
sSumData.Singletons.Prelude.List
sSwapData.Singletons.Prelude.Tuple
SSymData.Singletons.TypeLits
SSymbolData.Singletons.TypeLits
sTailData.Singletons.Prelude.List, Data.Singletons.Prelude
sTailsData.Singletons.Prelude.List
sTakeData.Singletons.Prelude.List
sTakeWhileData.Singletons.Prelude.List
sThenCmpData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude
sToEnumData.Singletons.Prelude.Enum, Data.Singletons.Prelude
sTransposeData.Singletons.Prelude.List
StripPrefixData.Promotion.Prelude.List
StripPrefixSym0Data.Promotion.Prelude.List
StripPrefixSym1Data.Promotion.Prelude.List
StripPrefixSym2Data.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
SubtractData.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
SubtractSym0Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
SubtractSym1Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
SubtractSym2Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
SuccData.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum
SuccSym0Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum
SuccSym1Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum
SumData.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
SumSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
SumSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
sUncurryData.Singletons.Prelude.Tuple, Data.Singletons.Prelude
sUnfoldrData.Singletons.Prelude.List
sUnionData.Singletons.Prelude.List
sUnionByData.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