singletons-2.3: A framework for generating singleton types (Index - D)

singletons-2.3: A framework for generating singleton types

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
X
Z
:
$
%
@
~
All

Index - D

Decision	Data.Singletons.Decide, Data.Singletons.TH
Delete	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteBy	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteBySym0	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteBySym1	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteBySym2	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteBySym3	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteFirstsBy	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteFirstsBySym0	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteFirstsBySym1	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteFirstsBySym2	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteFirstsBySym3	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteSym0	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteSym1	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DeleteSym2	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
Demote	Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
Disproved	Data.Singletons.Decide, Data.Singletons.TH
Drop
1 (Type/Class)	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
2 (Type/Class)	Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
DropSym0
1 (Type/Class)	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
2 (Type/Class)	Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
DropSym1
1 (Type/Class)	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
2 (Type/Class)	Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
DropSym2
1 (Type/Class)	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
2 (Type/Class)	Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
DropWhile
1 (Type/Class)	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
2 (Type/Class)	Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
DropWhileEnd	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DropWhileEndSym0	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DropWhileEndSym1	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DropWhileEndSym2	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
DropWhileSym0
1 (Type/Class)	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
2 (Type/Class)	Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
DropWhileSym1
1 (Type/Class)	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
2 (Type/Class)	Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
DropWhileSym2
1 (Type/Class)	Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
2 (Type/Class)	Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty