singletons-2.6: A framework for generating singleton types

- A
- B
- C
- D
- E
- F
- G
- H
- I
- J
- K
- L
- M
- N
- O
- P
- Q
- R
- S
- T
- U
- V
- W
- X
- Z
- :
- !
- $
- %
- &
- *
- +
- .
- /
- <
- =
- >
- @
- \
- ^
- |
- -
- ~
- All

Index - D

decideCoercion | Data.Singletons.Decide
decideEquality | Data.Singletons.Decide
Decision | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
DefaultEq | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
DefaultEqSym0 | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
DefaultEqSym1 | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
DefaultEqSym2 | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
Delete | Data.Singletons.Prelude.List
DeleteBy | Data.Singletons.Prelude.List
DeleteBySym0 | Data.Singletons.Prelude.List
DeleteBySym1 | Data.Singletons.Prelude.List
DeleteBySym2 | Data.Singletons.Prelude.List
DeleteBySym3 | Data.Singletons.Prelude.List
DeleteFirstsBy | Data.Singletons.Prelude.List
DeleteFirstsBySym0 | Data.Singletons.Prelude.List
DeleteFirstsBySym1 | Data.Singletons.Prelude.List
DeleteFirstsBySym2 | Data.Singletons.Prelude.List
DeleteFirstsBySym3 | Data.Singletons.Prelude.List
DeleteSym0 | Data.Singletons.Prelude.List
DeleteSym1 | Data.Singletons.Prelude.List
DeleteSym2 | Data.Singletons.Prelude.List
Demote | Data.Singletons, Data.Singletons.TH, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
demote | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
DemoteSym0 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
DemoteSym1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Disproved | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
Div | Data.Singletons.TypeLits
DivMod | Data.Singletons.TypeLits
DivModSym0 | Data.Singletons.TypeLits
DivModSym1 | Data.Singletons.TypeLits
DivModSym2 | Data.Singletons.TypeLits
DivSym0 | Data.Singletons.TypeLits
DivSym1 | Data.Singletons.TypeLits
DivSym2 | Data.Singletons.TypeLits
DownSym0 | Data.Singletons.Prelude.Ord
DownSym1 | Data.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
DropWhileEnd | Data.Singletons.Prelude.List
DropWhileEndSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
DropWhileEndSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
DropWhileEndSym2 | Data.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
DualSym0 | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
DualSym1 | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup