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 - C

cases | Data.Singletons.TH, Data.Singletons.CustomStar
CatMaybes | Data.Singletons.Prelude.Maybe
CatMaybesSym0 | Data.Singletons.Prelude.Maybe
CatMaybesSym1 | Data.Singletons.Prelude.Maybe
Compare | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
CompareSym0 | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
CompareSym1 | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
CompareSym2 | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Comparing | Data.Singletons.Prelude.Ord
ComparingSym0 | Data.Singletons.Prelude.Ord
ComparingSym1 | Data.Singletons.Prelude.Ord
ComparingSym2 | Data.Singletons.Prelude.Ord
ComparingSym3 | Data.Singletons.Prelude.Ord
Concat | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatMap | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatMapSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatMapSym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatMapSym2 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatSym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
Cons | Data.Singletons.Prelude.List.NonEmpty
ConsSym0 | Data.Singletons.Prelude.List.NonEmpty
ConsSym1 | Data.Singletons.Prelude.List.NonEmpty
ConsSym2 | Data.Singletons.Prelude.List.NonEmpty
Const |
1 (Type/Class) | Data.Singletons.Prelude.Applicative
2 (Type/Class) | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
ConstSym0 |
1 (Type/Class) | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.Const, Data.Singletons.Prelude.Applicative
ConstSym1 |
1 (Type/Class) | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.Const, Data.Singletons.Prelude.Applicative
ConstSym2 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
ConvertPErrorMessage | Data.Singletons.TypeError
Curry | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
currySigma | Data.Singletons.Sigma
CurrySym0 | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
CurrySym1 | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
CurrySym2 | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
CurrySym3 | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude