singletons-1.0: A framework for generating singleton types

Index

$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
$!Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
$!$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
$!$$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
$!$$$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
$$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
$$$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
$$$$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
%$Data.Singletons.Prelude.Base, Data.Singletons.Prelude
%$!Data.Singletons.Prelude.Base, Data.Singletons.Prelude
%:&&Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.Prelude
%:++Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
%:.Data.Singletons.Prelude.Base, Data.Singletons.Prelude
%:/=Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Singletons.TH, Data.Singletons.Prelude
%:<Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
%:<=Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
%:==Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Singletons.TH, Data.Singletons.Prelude
%:>Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
%:>=Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
%:\\Data.Singletons.Prelude.List
%:||Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.Prelude
%~Data.Singletons.Decide, Data.Singletons.TH
:!!Data.Promotion.Prelude.List, Data.Promotion.Prelude
:!!$Data.Promotion.Prelude.List, Data.Promotion.Prelude
:!!$$Data.Promotion.Prelude.List, Data.Promotion.Prelude
:!!$$$Data.Promotion.Prelude.List, Data.Promotion.Prelude
:$Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
:$$Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
:$$$Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
:&&Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
:&&$Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude
:&&$$Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude
:&&$$$Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude
:*Data.Singletons.TypeLits, Data.Promotion.Prelude
:*$Data.Singletons.TypeLits, Data.Promotion.Prelude
:*$$Data.Singletons.TypeLits, Data.Promotion.Prelude
:+Data.Singletons.TypeLits, Data.Promotion.Prelude
:+$Data.Singletons.TypeLits, Data.Promotion.Prelude
:+$$Data.Singletons.TypeLits, Data.Promotion.Prelude
:++Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
:++$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
:++$$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
:-Data.Singletons.TypeLits, Data.Promotion.Prelude
:-$Data.Singletons.TypeLits, Data.Promotion.Prelude
:-$$Data.Singletons.TypeLits, Data.Promotion.Prelude
:.Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
:.$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
:.$$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
:.$$$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
:/=Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
:/=$Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude
:/=$$Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude
:/=$$$Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude
:<Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
:<$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:<$$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:<$$$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:<=Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
:<=$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:<=$$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:<=$$$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:==Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
:==$Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude
:==$$Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude
:==$$$Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude
:>Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
:>$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:>$$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:>$$$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:>=Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
:>=$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:>=$$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:>=$$$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:\\Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
:\\$Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
:\\$$Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
:\\$$$Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
:^Data.Singletons.TypeLits, Data.Promotion.Prelude
:^$Data.Singletons.TypeLits, Data.Promotion.Prelude
:^$$Data.Singletons.TypeLits, Data.Promotion.Prelude
:||Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude
:||$Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude
:||$$Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude
:||$$$Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude
:~:Data.Singletons.Types, Data.Singletons.Decide, Data.Singletons.TH
@@Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH
absurdData.Singletons.Void
AllData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
AllSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
AllSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
AllSym2Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
AndData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
AndSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
AndSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
AnyData.Singletons.TH, Data.Promotion.TH
Any_Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
any_Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Any_Sym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Any_Sym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Any_Sym2Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ApplyData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH
applySingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
AsTypeOfData.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
AsTypeOfSym0Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
AsTypeOfSym1Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
AsTypeOfSym2Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
Bool_Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool
bool_Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude
Bool_Sym0Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool
Bool_Sym1Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool
Bool_Sym2Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool
Bool_Sym3Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool
BreakData.Promotion.Prelude.List, Data.Promotion.Prelude
BreakSym0Data.Promotion.Prelude.List, Data.Promotion.Prelude
BreakSym1Data.Promotion.Prelude.List, Data.Promotion.Prelude
BreakSym2Data.Promotion.Prelude.List, Data.Promotion.Prelude
bugInGHCData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
casesData.Singletons.TH
CatMaybesData.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
CatMaybesSym0Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
CatMaybesSym1Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
CompareData.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
CompareSym0Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
CompareSym1Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
CompareSym2Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
ConcatData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ConcatMapData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ConcatMapSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ConcatMapSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ConcatMapSym2Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ConcatSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ConcatSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ConsSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ConsSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ConsSym2Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ConstData.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
ConstSym0Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
ConstSym1Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
ConstSym2Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
CurryData.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude
CurrySym0Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude
CurrySym1Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude
CurrySym2Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude
CurrySym3Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude
DecisionData.Singletons.Decide, Data.Singletons.TH
DeleteData.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteByData.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteBySym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteBySym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteBySym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteBySym3Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteFirstsByData.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteFirstsBySym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteFirstsBySym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteFirstsBySym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteFirstsBySym3Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteSym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DemoteData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
DemoteRepData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
DisprovedData.Singletons.Decide, Data.Singletons.TH
DropData.Promotion.Prelude.List, Data.Promotion.Prelude
DropSym0Data.Promotion.Prelude.List, Data.Promotion.Prelude
DropSym1Data.Promotion.Prelude.List, Data.Promotion.Prelude
DropSym2Data.Promotion.Prelude.List, Data.Promotion.Prelude
DropWhileData.Promotion.Prelude.List, Data.Promotion.Prelude
DropWhileEndData.Promotion.Prelude.List
DropWhileEndSym0Data.Promotion.Prelude.List
DropWhileEndSym1Data.Promotion.Prelude.List
DropWhileEndSym2Data.Promotion.Prelude.List
DropWhileSym0Data.Promotion.Prelude.List, Data.Promotion.Prelude
DropWhileSym1Data.Promotion.Prelude.List, Data.Promotion.Prelude
DropWhileSym2Data.Promotion.Prelude.List, Data.Promotion.Prelude
Either_Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude
either_Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude
Either_Sym0Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude
Either_Sym1Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude
Either_Sym2Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude
Either_Sym3Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude
ElemData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ElemIndexData.Promotion.Prelude.List
ElemIndexSym0Data.Promotion.Prelude.List
ElemIndexSym1Data.Promotion.Prelude.List
ElemIndexSym2Data.Promotion.Prelude.List
ElemIndicesData.Promotion.Prelude.List
ElemIndicesSym0Data.Promotion.Prelude.List
ElemIndicesSym1Data.Promotion.Prelude.List
ElemIndicesSym2Data.Promotion.Prelude.List
ElemSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ElemSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ElemSym2Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
EQSym0Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
ErrorData.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
ErrorSym0Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
FalseSym0Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
FilterData.Promotion.Prelude.List, Data.Promotion.Prelude
FilterSym0Data.Promotion.Prelude.List, Data.Promotion.Prelude
FilterSym1Data.Promotion.Prelude.List, Data.Promotion.Prelude
FilterSym2Data.Promotion.Prelude.List, Data.Promotion.Prelude
FindData.Promotion.Prelude.List
FindIndexData.Promotion.Prelude.List
FindIndexSym0Data.Promotion.Prelude.List
FindIndexSym1Data.Promotion.Prelude.List
FindIndexSym2Data.Promotion.Prelude.List
FindIndicesData.Promotion.Prelude.List
FindIndicesSym0Data.Promotion.Prelude.List
FindIndicesSym1Data.Promotion.Prelude.List
FindIndicesSym2Data.Promotion.Prelude.List
FindSym0Data.Promotion.Prelude.List
FindSym1Data.Promotion.Prelude.List
FindSym2Data.Promotion.Prelude.List
FlipData.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
FlipSym0Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
FlipSym1Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
FlipSym2Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
FoldlData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Foldl'Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Foldl'Sym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Foldl'Sym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Foldl'Sym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Foldl'Sym3Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Foldl1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Foldl1'Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Foldl1'Sym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Foldl1'Sym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Foldl1'Sym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Foldl1Sym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Foldl1Sym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Foldl1Sym2Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
FoldlSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
FoldlSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
FoldlSym2Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
FoldlSym3Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
FoldrData.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Foldr1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Foldr1Sym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Foldr1Sym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Foldr1Sym2Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
FoldrSym0Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
FoldrSym1Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
FoldrSym2Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
FoldrSym3Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
FromJustData.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
FromJustSym0Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
FromJustSym1Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
FromMaybeData.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
FromMaybeSym0Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
FromMaybeSym1Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
FromMaybeSym2Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
fromSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
FstData.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude
FstSym0Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude
FstSym1Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude
gcastWithData.Singletons.Types
genDefunSymbolsData.Singletons.TH, Data.Promotion.TH
GenericDropData.Promotion.Prelude.List
GenericDropSym0Data.Promotion.Prelude.List
GenericDropSym1Data.Promotion.Prelude.List
GenericDropSym2Data.Promotion.Prelude.List
GenericIndexData.Promotion.Prelude.List
GenericIndexSym0Data.Promotion.Prelude.List
GenericIndexSym1Data.Promotion.Prelude.List
GenericIndexSym2Data.Promotion.Prelude.List
GenericLengthData.Promotion.Prelude.List
GenericLengthSym0Data.Promotion.Prelude.List
GenericLengthSym1Data.Promotion.Prelude.List
GenericReplicateData.Promotion.Prelude.List
GenericReplicateSym0Data.Promotion.Prelude.List
GenericReplicateSym1Data.Promotion.Prelude.List
GenericReplicateSym2Data.Promotion.Prelude.List
GenericSplitAtData.Promotion.Prelude.List
GenericSplitAtSym0Data.Promotion.Prelude.List
GenericSplitAtSym1Data.Promotion.Prelude.List
GenericSplitAtSym2Data.Promotion.Prelude.List
GenericTakeData.Promotion.Prelude.List
GenericTakeSym0Data.Promotion.Prelude.List
GenericTakeSym1Data.Promotion.Prelude.List
GenericTakeSym2Data.Promotion.Prelude.List
genPromotionsData.Singletons.TH, Data.Promotion.TH
genSingletonsData.Singletons.TH
GroupData.Promotion.Prelude.List
GroupByData.Promotion.Prelude.List
GroupBySym0Data.Promotion.Prelude.List
GroupBySym1Data.Promotion.Prelude.List
GroupBySym2Data.Promotion.Prelude.List
GroupSym0Data.Promotion.Prelude.List
GroupSym1Data.Promotion.Prelude.List
GTSym0Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
HeadData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
HeadSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
HeadSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
IdData.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
IdSym0Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
IdSym1Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
IfData.Singletons.Types, Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
InitData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
InitsData.Singletons.Prelude.List, Data.Promotion.Prelude.List
InitsSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
InitsSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
InitSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
InitSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
InsertData.Promotion.Prelude.List
InsertByData.Singletons.Prelude.List, Data.Promotion.Prelude.List
InsertBySym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
InsertBySym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
InsertBySym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
InsertBySym3Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
InsertSym0Data.Promotion.Prelude.List
InsertSym1Data.Promotion.Prelude.List
InsertSym2Data.Promotion.Prelude.List
IntercalateData.Singletons.Prelude.List, Data.Promotion.Prelude.List
IntercalateSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
IntercalateSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
IntercalateSym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
IntersectData.Promotion.Prelude.List
IntersectByData.Promotion.Prelude.List
IntersectBySym0Data.Promotion.Prelude.List
IntersectBySym1Data.Promotion.Prelude.List
IntersectBySym2Data.Promotion.Prelude.List
IntersectSym0Data.Promotion.Prelude.List
IntersectSym1Data.Promotion.Prelude.List
IntersectSym2Data.Promotion.Prelude.List
IntersperseData.Singletons.Prelude.List, Data.Promotion.Prelude.List
IntersperseSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
IntersperseSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
IntersperseSym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
IsInfixOfData.Singletons.Prelude.List, Data.Promotion.Prelude.List
IsInfixOfSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
IsInfixOfSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
IsInfixOfSym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
IsJustData.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
IsJustSym0Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
IsJustSym1Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
IsLeftData.Singletons.Prelude.Either, Data.Promotion.Prelude.Either
IsLeftSym0Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either
IsLeftSym1Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either
IsNothingData.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
IsNothingSym0Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
IsNothingSym1Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
IsPrefixOfData.Singletons.Prelude.List, Data.Promotion.Prelude.List
IsPrefixOfSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
IsPrefixOfSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
IsPrefixOfSym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
IsRightData.Singletons.Prelude.Either, Data.Promotion.Prelude.Either
IsRightSym0Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either
IsRightSym1Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either
IsSuffixOfData.Singletons.Prelude.List, Data.Promotion.Prelude.List
IsSuffixOfSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
IsSuffixOfSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
IsSuffixOfSym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
JustSym0Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude.Maybe, Data.Promotion.Prelude
JustSym1Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude.Maybe, Data.Promotion.Prelude
KindOfData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
KnownNatData.Singletons.TypeLits
KnownSymbolData.Singletons.TypeLits
KProxy 
1 (Data Constructor)Data.Singletons.Types, Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
2 (Type/Class)Data.Singletons.Types, Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
LastData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
LastSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
LastSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
LeftsData.Singletons.Prelude.Either, Data.Promotion.Prelude.Either
LeftsSym0Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either
LeftsSym1Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either
LeftSym0Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude
LeftSym1Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude
LengthData.Promotion.Prelude.List, Data.Promotion.Prelude
LengthSym0Data.Promotion.Prelude.List, Data.Promotion.Prelude
LengthSym1Data.Promotion.Prelude.List, Data.Promotion.Prelude
ListToMaybeData.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
ListToMaybeSym0Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
ListToMaybeSym1Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
LookupData.Promotion.Prelude.List, Data.Promotion.Prelude
LookupSym0Data.Promotion.Prelude.List, Data.Promotion.Prelude
LookupSym1Data.Promotion.Prelude.List, Data.Promotion.Prelude
LookupSym2Data.Promotion.Prelude.List, Data.Promotion.Prelude
LTSym0Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
MapData.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
MapAccumLData.Singletons.Prelude.List, Data.Promotion.Prelude.List
MapAccumLSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
MapAccumLSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
MapAccumLSym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
MapAccumLSym3Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
MapAccumRData.Singletons.Prelude.List, Data.Promotion.Prelude.List
MapAccumRSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
MapAccumRSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
MapAccumRSym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
MapAccumRSym3Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
MapMaybeData.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
MapMaybeSym0Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
MapMaybeSym1Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
MapMaybeSym2Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
MapSym0Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
MapSym1Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
MapSym2Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
MaxData.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
MaxBoundData.Promotion.Prelude.Bounded, Data.Promotion.Prelude
MaxBoundSym0Data.Promotion.Prelude.Bounded, Data.Promotion.Prelude
MaximumData.Promotion.Prelude.List, Data.Promotion.Prelude
MaximumByData.Singletons.Prelude.List, Data.Promotion.Prelude.List
MaximumBySym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
MaximumBySym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
MaximumBySym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
MaximumSym0Data.Promotion.Prelude.List
MaximumSym1Data.Promotion.Prelude.List
MaxSym0Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
MaxSym1Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
MaxSym2Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
MaybeToListData.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
MaybeToListSym0Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
MaybeToListSym1Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe
Maybe_Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude.Maybe, Data.Promotion.Prelude
maybe_Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude.Maybe, Data.Promotion.Prelude
Maybe_Sym0Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude.Maybe, Data.Promotion.Prelude
Maybe_Sym1Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude.Maybe, Data.Promotion.Prelude
Maybe_Sym2Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude.Maybe, Data.Promotion.Prelude
Maybe_Sym3Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude.Maybe, Data.Promotion.Prelude
MinData.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
MinBoundData.Promotion.Prelude.Bounded, Data.Promotion.Prelude
MinBoundSym0Data.Promotion.Prelude.Bounded, Data.Promotion.Prelude
MinimumData.Promotion.Prelude.List, Data.Promotion.Prelude
MinimumByData.Singletons.Prelude.List, Data.Promotion.Prelude.List
MinimumBySym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
MinimumBySym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
MinimumBySym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
MinimumSym0Data.Promotion.Prelude.List
MinimumSym1Data.Promotion.Prelude.List
MinSym0Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
MinSym1Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
MinSym2Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
NatData.Singletons.TypeLits, Data.Promotion.Prelude
natValData.Singletons.TypeLits
NilSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
NotData.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude
NotElemData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
NotElemSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
NotElemSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
NotElemSym2Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
NothingSym0Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude.Maybe, Data.Promotion.Prelude
NotSym0Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude
NotSym1Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude
NubData.Promotion.Prelude.List
NubByData.Promotion.Prelude.List
NubBySym0Data.Promotion.Prelude.List
NubBySym1Data.Promotion.Prelude.List
NubBySym2Data.Promotion.Prelude.List
NubSym0Data.Promotion.Prelude.List
NubSym1Data.Promotion.Prelude.List
NullData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
NullSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
NullSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
OrData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
OrSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
OrSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
OtherwiseData.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
OtherwiseSym0Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
PartitionData.Promotion.Prelude.List
PartitionEithersData.Singletons.Prelude.Either, Data.Promotion.Prelude.Either
PartitionSym0Data.Promotion.Prelude.List
PartitionSym1Data.Promotion.Prelude.List
PartitionSym2Data.Promotion.Prelude.List
PBoundedData.Promotion.Prelude.Bounded, Data.Promotion.Prelude
PEqData.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
PermutationsData.Singletons.Prelude.List, Data.Promotion.Prelude.List
PermutationsSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
PermutationsSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
POrdData.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
ProductData.Promotion.Prelude.List, Data.Promotion.Prelude
ProductSym0Data.Promotion.Prelude.List, Data.Promotion.Prelude
ProductSym1Data.Promotion.Prelude.List, Data.Promotion.Prelude
promoteData.Singletons.TH, Data.Promotion.TH
promoteBoundedInstanceData.Singletons.TH, Data.Promotion.TH
promoteBoundedInstancesData.Singletons.TH, Data.Promotion.TH
promoteEqInstanceData.Singletons.TH, Data.Promotion.TH
promoteEqInstancesData.Singletons.TH, Data.Promotion.TH
promoteOnlyData.Singletons.TH, Data.Promotion.TH
promoteOrdInstanceData.Singletons.TH, Data.Promotion.TH
promoteOrdInstancesData.Singletons.TH, Data.Promotion.TH
ProvedData.Singletons.Decide, Data.Singletons.TH
Proxy 
1 (Data Constructor)Data.Singletons.Types, Data.Singletons.TH, Data.Promotion.TH
2 (Type/Class)Data.Singletons.Types, Data.Singletons.TH, Data.Promotion.TH
ReflData.Singletons.Types, Data.Singletons.Decide, Data.Singletons.TH
RefutedData.Singletons.Decide, Data.Singletons.TH
ReplicateData.Promotion.Prelude.List, Data.Promotion.Prelude
ReplicateSym0Data.Promotion.Prelude.List, Data.Promotion.Prelude
ReplicateSym1Data.Promotion.Prelude.List, Data.Promotion.Prelude
ReplicateSym2Data.Promotion.Prelude.List, Data.Promotion.Prelude
ReverseData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ReverseSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ReverseSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
RightsData.Singletons.Prelude.Either, Data.Promotion.Prelude.Either
RightsSym0Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either
RightsSym1Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either
RightSym0Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude
RightSym1Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.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
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
TailData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
TailsData.Singletons.Prelude.List, Data.Promotion.Prelude.List
TailsSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
TailsSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
TailSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
TailSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
TakeData.Promotion.Prelude.List, Data.Promotion.Prelude
TakeSym0Data.Promotion.Prelude.List, Data.Promotion.Prelude
TakeSym1Data.Promotion.Prelude.List, Data.Promotion.Prelude
TakeSym2Data.Promotion.Prelude.List, Data.Promotion.Prelude
TakeWhileData.Promotion.Prelude.List, Data.Promotion.Prelude
TakeWhileSym0Data.Promotion.Prelude.List, Data.Promotion.Prelude
TakeWhileSym1Data.Promotion.Prelude.List, Data.Promotion.Prelude
TakeWhileSym2Data.Promotion.Prelude.List, Data.Promotion.Prelude
TestEqualityData.Singletons.Types
testEqualityData.Singletons.Types
ThenCmpData.Singletons.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.TH
thenCmpData.Singletons.Prelude.Ord, Data.Singletons.Prelude
ThenCmpSym0Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
ThenCmpSym1Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
ThenCmpSym2Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
toSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
TransposeData.Promotion.Prelude.List
TransposeSym0Data.Promotion.Prelude.List
TransposeSym1Data.Promotion.Prelude.List
TrueSym0Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple0Sym0Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple2Sym0Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple2Sym1Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple2Sym2Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple3Sym0Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple3Sym1Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple3Sym2Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple3Sym3Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple4Sym0Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple4Sym1Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple4Sym2Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple4Sym3Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple4Sym4Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple5Sym0Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple5Sym1Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple5Sym2Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple5Sym3Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple5Sym4Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple5Sym5Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple6Sym0Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple6Sym1Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple6Sym2Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple6Sym3Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple6Sym4Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple6Sym5Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple6Sym6Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple7Sym0Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple7Sym1Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple7Sym2Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple7Sym3Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple7Sym4Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple7Sym5Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple7Sym6Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
Tuple7Sym7Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
TyCon1Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
TyCon2Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
TyCon3Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
TyCon4Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
TyCon5Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
TyCon6Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
TyCon7Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
TyFunData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH
UncurryData.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude
UncurrySym0Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude
UncurrySym1Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude
UncurrySym2Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude
UnfoldrData.Singletons.Prelude.List, Data.Promotion.Prelude.List
UnfoldrSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
UnfoldrSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
UnfoldrSym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
UnionData.Promotion.Prelude.List
UnionByData.Promotion.Prelude.List
UnionBySym0Data.Promotion.Prelude.List
UnionBySym1Data.Promotion.Prelude.List
UnionBySym2Data.Promotion.Prelude.List
UnionBySym3Data.Promotion.Prelude.List
UnionSym0Data.Promotion.Prelude.List
UnionSym1Data.Promotion.Prelude.List
UnionSym2Data.Promotion.Prelude.List
unSingFun1Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
unSingFun2Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
unSingFun3Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
unSingFun4Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
unSingFun5Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
unSingFun6Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
unSingFun7Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
UntilData.Promotion.Prelude.Base, Data.Promotion.Prelude
UntilSym0Data.Promotion.Prelude.Base, Data.Promotion.Prelude
UntilSym1Data.Promotion.Prelude.Base, Data.Promotion.Prelude
UntilSym2Data.Promotion.Prelude.Base, Data.Promotion.Prelude
UntilSym3Data.Promotion.Prelude.Base, Data.Promotion.Prelude
UnzipData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Unzip3Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Unzip3Sym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Unzip3Sym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Unzip4Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Unzip4Sym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Unzip4Sym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Unzip5Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Unzip5Sym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Unzip5Sym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Unzip6Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Unzip6Sym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Unzip6Sym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Unzip7Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Unzip7Sym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Unzip7Sym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
UnzipSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
UnzipSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
vacuousData.Singletons.Void
vacuousMData.Singletons.Void
VoidData.Singletons.Void, Data.Singletons.Decide, Data.Singletons.TH
withKnownNatData.Singletons.TypeLits
withKnownSymbolData.Singletons.TypeLits
withSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
withSingIData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
withSomeSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
ZipData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Zip3Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Zip3Sym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Zip3Sym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Zip3Sym2Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Zip3Sym3Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
Zip4Data.Promotion.Prelude.List
Zip4Sym0Data.Promotion.Prelude.List
Zip4Sym1Data.Promotion.Prelude.List
Zip4Sym2Data.Promotion.Prelude.List
Zip4Sym3Data.Promotion.Prelude.List
Zip4Sym4Data.Promotion.Prelude.List
Zip5Data.Promotion.Prelude.List
Zip5Sym0Data.Promotion.Prelude.List
Zip5Sym1Data.Promotion.Prelude.List
Zip5Sym2Data.Promotion.Prelude.List
Zip5Sym3Data.Promotion.Prelude.List
Zip5Sym4Data.Promotion.Prelude.List
Zip5Sym5Data.Promotion.Prelude.List
Zip6Data.Promotion.Prelude.List
Zip6Sym0Data.Promotion.Prelude.List
Zip6Sym1Data.Promotion.Prelude.List
Zip6Sym2Data.Promotion.Prelude.List
Zip6Sym3Data.Promotion.Prelude.List
Zip6Sym4Data.Promotion.Prelude.List
Zip6Sym5Data.Promotion.Prelude.List
Zip6Sym6Data.Promotion.Prelude.List
Zip7Data.Promotion.Prelude.List
Zip7Sym0Data.Promotion.Prelude.List
Zip7Sym1Data.Promotion.Prelude.List
Zip7Sym2Data.Promotion.Prelude.List
Zip7Sym3Data.Promotion.Prelude.List
Zip7Sym4Data.Promotion.Prelude.List
Zip7Sym5Data.Promotion.Prelude.List
Zip7Sym6Data.Promotion.Prelude.List
Zip7Sym7Data.Promotion.Prelude.List
ZipSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ZipSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ZipSym2Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ZipWithData.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ZipWith3Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ZipWith3Sym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ZipWith3Sym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ZipWith3Sym2Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ZipWith3Sym3Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ZipWith4Data.Promotion.Prelude.List
ZipWith4Sym0Data.Promotion.Prelude.List
ZipWith4Sym1Data.Promotion.Prelude.List
ZipWith4Sym2Data.Promotion.Prelude.List
ZipWith4Sym3Data.Promotion.Prelude.List
ZipWith4Sym4Data.Promotion.Prelude.List
ZipWith5Data.Promotion.Prelude.List
ZipWith5Sym0Data.Promotion.Prelude.List
ZipWith5Sym1Data.Promotion.Prelude.List
ZipWith5Sym2Data.Promotion.Prelude.List
ZipWith5Sym3Data.Promotion.Prelude.List
ZipWith5Sym4Data.Promotion.Prelude.List
ZipWith5Sym5Data.Promotion.Prelude.List
ZipWith6Data.Promotion.Prelude.List
ZipWith6Sym0Data.Promotion.Prelude.List
ZipWith6Sym1Data.Promotion.Prelude.List
ZipWith6Sym2Data.Promotion.Prelude.List
ZipWith6Sym3Data.Promotion.Prelude.List
ZipWith6Sym4Data.Promotion.Prelude.List
ZipWith6Sym5Data.Promotion.Prelude.List
ZipWith6Sym6Data.Promotion.Prelude.List
ZipWith7Data.Promotion.Prelude.List
ZipWith7Sym0Data.Promotion.Prelude.List
ZipWith7Sym1Data.Promotion.Prelude.List
ZipWith7Sym2Data.Promotion.Prelude.List
ZipWith7Sym3Data.Promotion.Prelude.List
ZipWith7Sym4Data.Promotion.Prelude.List
ZipWith7Sym5Data.Promotion.Prelude.List
ZipWith7Sym6Data.Promotion.Prelude.List
ZipWith7Sym7Data.Promotion.Prelude.List
ZipWithSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ZipWithSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ZipWithSym2Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ZipWithSym3Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude