singletons-2.7: A framework for generating singleton types

Index - C

casesData.Singletons.TH, Data.Singletons.CustomStar
CatMaybesData.Singletons.Prelude.Maybe
CatMaybesSym0Data.Singletons.Prelude.Maybe
CatMaybesSym1Data.Singletons.Prelude.Maybe
CompareData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
CompareSym0Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
CompareSym1Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
CompareSym2Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ComparingData.Singletons.Prelude.Ord
ComparingSym0Data.Singletons.Prelude.Ord
ComparingSym1Data.Singletons.Prelude.Ord
ComparingSym2Data.Singletons.Prelude.Ord
ComparingSym3Data.Singletons.Prelude.Ord
ConcatData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatMapData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatMapSym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatMapSym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatMapSym2Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatSym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatSym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConsData.Singletons.Prelude.List.NonEmpty
ConsSym0Data.Singletons.Prelude.List.NonEmpty
ConsSym1Data.Singletons.Prelude.List.NonEmpty
ConsSym2Data.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
ConstSym2Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
ConvertPErrorMessageData.Singletons.TypeError
CurryData.Singletons.Prelude.Tuple, Data.Singletons.Prelude
currySigmaData.Singletons.Sigma
CurrySym0Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
CurrySym1Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
CurrySym2Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
CurrySym3Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude