| R | Generics.RepLib.R, Generics.RepLib |
| R1 | Generics.RepLib.R1, Generics.RepLib |
| rAnnot | |
| 1 (Function) | Generics.RepLib.Bind.Nominal |
| 2 (Function) | Generics.RepLib.Bind.LocallyNameless |
| Rational | Generics.RepLib.R, Generics.RepLib |
| Rational1 | Generics.RepLib.R1, Generics.RepLib |
| rBind | |
| 1 (Function) | Generics.RepLib.Bind.Nominal |
| 2 (Function) | Generics.RepLib.Bind.LocallyNameless |
| rBool | Generics.RepLib.PreludeReps, Generics.RepLib |
| rBool1 | Generics.RepLib.PreludeReps, Generics.RepLib |
| rConsEmb | Generics.RepLib.R, Generics.RepLib |
| Rebind | |
| 1 (Type/Class) | Generics.RepLib.Bind.Nominal |
| 2 (Type/Class) | Generics.RepLib.Bind.LocallyNameless |
| rebind | |
| 1 (Function) | Generics.RepLib.Bind.Nominal |
| 2 (Function) | Generics.RepLib.Bind.LocallyNameless |
| recoverMp | Generics.RepLib.SYB.Aliases, Generics.RepLib |
| recoverQ | Generics.RepLib.SYB.Aliases, Generics.RepLib |
| rEither | Generics.RepLib.PreludeReps, Generics.RepLib |
| rEither1 | Generics.RepLib.PreludeReps, Generics.RepLib |
| reopen | |
| 1 (Function) | Generics.RepLib.Bind.Nominal |
| 2 (Function) | Generics.RepLib.Bind.LocallyNameless |
| Rep | Generics.RepLib.R, Generics.RepLib |
| rep | Generics.RepLib.R, Generics.RepLib |
| Rep1 | Generics.RepLib.R1, Generics.RepLib |
| rep1 | Generics.RepLib.R1, Generics.RepLib |
| resetNext | |
| 1 (Function) | Generics.RepLib.Bind.Nominal |
| 2 (Function) | Generics.RepLib.Bind.LocallyNameless |
| restrict | Generics.RepLib.Bind.PermM |
| rList | Generics.RepLib.R, Generics.RepLib |
| rList1 | Generics.RepLib.R1, Generics.RepLib |
| rMaybe | Generics.RepLib.PreludeReps, Generics.RepLib |
| rMaybe1 | Generics.RepLib.PreludeReps, Generics.RepLib |
| rName | |
| 1 (Function) | Generics.RepLib.Bind.Nominal |
| 2 (Function) | Generics.RepLib.Bind.LocallyNameless |
| rnf | Generics.RepLib.Lib, Generics.RepLib |
| rnfR | Generics.RepLib.Lib, Generics.RepLib |
| rNilEmb | Generics.RepLib.R, Generics.RepLib |
| rOrdering | Generics.RepLib.PreludeReps, Generics.RepLib |
| rOrdering1 | Generics.RepLib.PreludeReps, Generics.RepLib |
| rPairEmb | Generics.RepLib.R, Generics.RepLib |
| rRebind | |
| 1 (Function) | Generics.RepLib.Bind.Nominal |
| 2 (Function) | Generics.RepLib.Bind.LocallyNameless |
| Rreduce | Generics.RepLib.Lib, Generics.RepLib |
| rreduce | Generics.RepLib.Lib, Generics.RepLib |
| RreduceD | |
| 1 (Type/Class) | Generics.RepLib.Lib, Generics.RepLib |
| 2 (Data Constructor) | Generics.RepLib.Lib, Generics.RepLib |
| rreduceD | Generics.RepLib.Lib, Generics.RepLib |
| rreduceR1 | Generics.RepLib.Lib, Generics.RepLib |
| rTup2 | Generics.RepLib.R, Generics.RepLib |
| rTup2_1 | Generics.RepLib.R1, Generics.RepLib |
| rTup3 | Generics.RepLib.PreludeReps, Generics.RepLib |
| rTup3_1 | Generics.RepLib.PreludeReps, Generics.RepLib |
| rTup4 | Generics.RepLib.PreludeReps, Generics.RepLib |
| rTup4_1 | Generics.RepLib.PreludeReps, Generics.RepLib |
| rTup5 | Generics.RepLib.PreludeReps, Generics.RepLib |
| rTup5_1 | Generics.RepLib.PreludeReps, Generics.RepLib |
| rTup6 | Generics.RepLib.PreludeReps, Generics.RepLib |
| rTup6_1 | Generics.RepLib.PreludeReps, Generics.RepLib |
| rTup7 | Generics.RepLib.PreludeReps, Generics.RepLib |
| rTup7_1 | Generics.RepLib.PreludeReps, Generics.RepLib |
| rUnit | Generics.RepLib.R, Generics.RepLib |
| rUnitEmb | Generics.RepLib.R, Generics.RepLib |