Index - R
| ReadBit | Covenant.Prim |
| Ref | Covenant.ASG |
| refTo | Control.Monad.HashCons |
| RemainderInteger | Covenant.Prim |
| RenameArgumentFailed | Covenant.ASG |
| renameCompT | Covenant.Test |
| Renamed | Covenant.Type |
| renameDataDecl | Covenant.Test |
| RenameError | Covenant.Test, Covenant.ASG |
| RenameFunctionFailed | Covenant.ASG |
| RenameM | Covenant.Test |
| renameValT | Covenant.Test |
| ReplicateByte | Covenant.Prim |
| request | Control.Monad.Action |
| ret | Covenant.ASG |
| Return | Covenant.ASG |
| ReturnCompType | Covenant.ASG |
| ReturnT | Covenant.Type |
| ReturnWrapsCompType | Covenant.ASG |
| ReturnWrapsError | Covenant.ASG |
| Rigid | Covenant.Type |
| Ripemd_160 | Covenant.Prim |
| RotateByteString | Covenant.Prim |
| runASGBuilder | Covenant.ASG |
| runHashConsT | Control.Monad.HashCons |
| runRenameM | Covenant.Test |
| runUpdateT | Control.Monad.Action |