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