| readShare | Data.Ref.Linear.Borrow |
| reborrow | Control.Monad.Borrow.Pure.BO |
| Reborrowable | Control.Monad.Borrow.Pure.Experimental.Reborrowable |
| reborrowing | Control.Monad.Borrow.Pure.BO, Control.Monad.Borrow.Pure |
| reborrowing' | Control.Monad.Borrow.Pure.BO, Control.Monad.Borrow.Pure |
| reborrowing_ | Control.Monad.Borrow.Pure.BO, Control.Monad.Borrow.Pure |
| RecLab | Data.Record.Linear.Borrow.Experimental.PatternMatch |
| reclaim | Control.Monad.Borrow.Pure.BO, Control.Monad.Borrow.Pure |
| reclaim' | Control.Monad.Borrow.Pure.BO, Control.Monad.Borrow.Pure |
| RecordEliminator | Data.Record.Linear.Borrow.Experimental.PatternMatch |
| RecordLabel | |
| 1 (Type/Class) | Data.Record.Linear.Borrow.Experimental.PatternMatch |
| 2 (Type/Class) | Data.Record.Linear.Borrow.Experimental.Split |
| RecordLabel' | Data.Record.Linear.Borrow.Experimental.PatternMatch |
| RecordLabels | Data.Record.Linear.Borrow.Experimental.PatternMatch |
| Ref | Data.Ref.Linear, Data.Ref.Linear.Borrow |
| Ref# | Data.Ref.Linear.Unlifted |
| return | Control.Syntax.DataFlow |
| RNil | Data.Record.Linear.Borrow.Experimental.PatternMatch |
| runAsCoercible | Data.Coerce.Directed, Data.Coerce.Directed.Unsafe, Control.Monad.Borrow.Pure.BO |
| runBO | Control.Monad.Borrow.Pure.BO, Control.Monad.Borrow.Pure |
| runBOLend | Control.Monad.Borrow.Pure.BO, Control.Monad.Borrow.Pure |
| runBO_ | Control.Monad.Borrow.Pure.BO, Control.Monad.Borrow.Pure |