Index - R
| RAmount | |
| 1 (Type/Class) | Gini.Math.AmountGen |
| 2 (Data Constructor) | Gini.Math.AmountGen |
| reason | Gini.Math.TestImport |
| recursivelyShrink | Gini.Math.TestImport |
| reflexiveOnElem | Gini.Math.TestImport |
| reflexivity | Gini.Math.TestImport |
| reflexivityOnArbitrary | Gini.Math.TestImport |
| reflexivityOnGen | Gini.Math.TestImport |
| reflexivityOnValid | Gini.Math.TestImport |
| relativeValidityImpliesValidA | Gini.Math.TestImport |
| relativeValidityImpliesValidB | Gini.Math.TestImport |
| relativeValiditySpec | Gini.Math.TestImport |
| replay | Gini.Math.TestImport |
| resize | Gini.Math.TestImport |
| Result | Gini.Math.TestImport |
| resultIfSucceeded | Gini.Math.TestImport |
| rightIdentity | Gini.Math.TestImport |
| rightIdentityOnArbitrary | Gini.Math.TestImport |
| rightIdentityOnElemWithEquality | Gini.Math.TestImport |
| rightIdentityOnGen | Gini.Math.TestImport |
| rightIdentityOnGenWithEquality | Gini.Math.TestImport |
| rightIdentityOnValid | Gini.Math.TestImport |
| runIO | Gini.Math.TestImport |
