| ropes.pl |
|---|
| rope_codes/2 | True when Rope represents the accumulated list of codes in Codes. | |
| rope_concat/3 | True when Rope is the concatenation of Left and Right. | |
| rope_edit/5 | Unify RopeOut with a rope obtained by replacing Content with the portion of RopeIn starting from offset Offset and spanning Length characters. | |
| rope_report/4 | True when String is unified with the sub string in offset Offset and length Length of the underlying string of rope Rope. | |
| rope_split/4 | True when spliting Rope at underlying offset At yields ropes Left and Right. | |
| rope_string/2 | True when Rope represents the accumulated string String. | |
| string_rope/2 | True when Rope is a rope leaf holding the string String. | |