---

2 rope API

The rope API is named ‘(data rope)’ and should be included with ‘use-modules’ (or a similar mechanism). Aside from providing the balancing algorithm, this library provides some other niceties for the programmer to make common textual manipulations easier.

• Rope constructor
• Getters
• Predicates
• Conversion procedures
• Balancing
• Concatenation
• Subropes
• Insertions and deletions
• Searching
• Eager comprehensions
• Setting the leaf size
• rope transpose API