| 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.Singletons.Prelude |
| ReplicateM | Data.Singletons.Prelude.Monad |
| ReplicateMSym0 | Data.Singletons.Prelude.Monad |
| ReplicateMSym1 | Data.Singletons.Prelude.Monad |
| ReplicateMSym2 | Data.Singletons.Prelude.Monad |
| ReplicateM_ | Data.Singletons.Prelude.Monad |
| ReplicateM_Sym0 | Data.Singletons.Prelude.Monad |
| ReplicateM_Sym1 | Data.Singletons.Prelude.Monad |
| ReplicateM_Sym2 | Data.Singletons.Prelude.Monad |
| ReplicateSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| ReplicateSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| ReplicateSym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| Return | Data.Singletons.Prelude.Monad, Data.Singletons.Prelude |
| ReturnSym0 | Data.Singletons.Prelude.Monad, Data.Singletons.Prelude |
| ReturnSym1 | Data.Singletons.Prelude.Monad, Data.Singletons.Prelude |
| Reverse | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| ReverseSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| ReverseSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| Rights | Data.Singletons.Prelude.Either |
| RightsSym0 | Data.Singletons.Prelude.Either |
| RightsSym1 | Data.Singletons.Prelude.Either |
| RightSym0 | Data.Singletons.Prelude.Either, Data.Singletons.Prelude |
| RightSym1 | Data.Singletons.Prelude.Either, Data.Singletons.Prelude |
| RunIdentity | Data.Singletons.Prelude.Identity |
| RunIdentitySym0 | Data.Singletons.Prelude.Identity |
| RunIdentitySym1 | Data.Singletons.Prelude.Identity |