| Refl | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar |
| Refuted | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar |
| Rem | Data.Singletons.TypeLits |
| RemSym0 | Data.Singletons.TypeLits |
| RemSym1 | Data.Singletons.TypeLits |
| RemSym2 | Data.Singletons.TypeLits |
| Replicate | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ReplicateSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ReplicateSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ReplicateSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Reverse | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ReverseSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ReverseSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Rights | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| RightsSym0 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| RightsSym1 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| RightSym0 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Promotion.Prelude, Data.Singletons.Prelude |
| RightSym1 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Promotion.Prelude, Data.Singletons.Prelude |