Index - R
| R | Data.Type.Disjunction |
| R' | Data.Type.Disjunction |
| Read1 | Type.Class.Higher |
| Read2 | Type.Class.Higher |
| Read3 | Type.Class.Higher |
| readMaybe1 | Type.Class.Higher |
| readMaybe2 | Type.Class.Higher |
| readMaybe3 | Type.Class.Higher |
| reads1 | Type.Class.Higher |
| reads2 | Type.Class.Higher |
| reads3 | Type.Class.Higher |
| readsPrec1 | Type.Class.Higher |
| readsPrec2 | Type.Class.Higher |
| readsPrec3 | Type.Class.Higher |
| Refl | Type.Class.Witness |
| Refuted | Type.Class.Witness |
| Reverse | Type.Family.List |
| reverse' | Data.Type.Product |
| reverseCong | Type.Family.List |
| reverseF | Data.Type.Product.Lifted |
| rightCong | Type.Family.Either |