singletons-2.5: A framework for generating singleton types

Index - D

DecisionData.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
DefaultEqData.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
DefaultEqSym0Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
DefaultEqSym1Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
DefaultEqSym2Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
DeleteData.Singletons.Prelude.List
DeleteByData.Singletons.Prelude.List
DeleteBySym0Data.Singletons.Prelude.List
DeleteBySym1Data.Singletons.Prelude.List
DeleteBySym2Data.Singletons.Prelude.List
DeleteBySym3Data.Singletons.Prelude.List
DeleteFirstsByData.Singletons.Prelude.List
DeleteFirstsBySym0Data.Singletons.Prelude.List
DeleteFirstsBySym1Data.Singletons.Prelude.List
DeleteFirstsBySym2Data.Singletons.Prelude.List
DeleteFirstsBySym3Data.Singletons.Prelude.List
DeleteSym0Data.Singletons.Prelude.List
DeleteSym1Data.Singletons.Prelude.List
DeleteSym2Data.Singletons.Prelude.List
DemoteData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
demoteData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
DemoteSym0Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
DemoteSym1Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
DisprovedData.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
DivData.Singletons.TypeLits
DivModData.Singletons.TypeLits
DivModSym0Data.Singletons.TypeLits
DivModSym1Data.Singletons.TypeLits
DivModSym2Data.Singletons.TypeLits
DivSym0Data.Singletons.TypeLits
DivSym1Data.Singletons.TypeLits
DivSym2Data.Singletons.TypeLits
DownSym0Data.Singletons.Prelude.Ord
DownSym1Data.Singletons.Prelude.Ord
Drop 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
DropSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
DropSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
DropSym2 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
DropWhile 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
DropWhileEndData.Singletons.Prelude.List
DropWhileEndSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude
DropWhileEndSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude
DropWhileEndSym2Data.Singletons.Prelude.List, Data.Singletons.Prelude
DropWhileSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
DropWhileSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
DropWhileSym2 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
DualSym0Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
DualSym1Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup