<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Zed_utf8" rel="Chapter" href="Zed_utf8.html">
<link title="Zed_rope" rel="Chapter" href="Zed_rope.html">
<link title="Zed_edit" rel="Chapter" href="Zed_edit.html">
<link title="Zed_cursor" rel="Chapter" href="Zed_cursor.html">
<link title="Zed_lines" rel="Chapter" href="Zed_lines.html">
<link title="Zed_re" rel="Chapter" href="Zed_re.html">
<link title="Zed_input" rel="Chapter" href="Zed_input.html">
<link title="Zed_macro" rel="Chapter" href="Zed_macro.html"><title>Index of values</title>
</head>
<body>
<div class="navbar"> <a class="up" href="index.html" title="Index">Up</a>
</div>
<h1>Index of values</h1>
<table>
<tr><td align="left"><br>A</td></tr>
<tr><td><a href="Zed_edit.html#VALaction_of_name">action_of_name</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">action_of_name str</code> converts the given action name into an
action.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALactions">actions</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
List of actions with their names, except <code class="code">Insert</code>.
</div>
</td></tr>
<tr><td><a href="Zed_macro.html#VALadd">add</a> [<a href="Zed_macro.html">Zed_macro</a>]</td>
<td><div class="info">
<code class="code">add recorder x</code> adds <code class="code">x</code> to the recorder if it is recording a
macro.
</div>
</td></tr>
<tr><td><a href="Zed_input.S.html#VALadd">add</a> [<a href="Zed_input.S.html">Zed_input.S</a>]</td>
<td><div class="info">
<code class="code">add events x bindings</code> binds <code class="code">events</code> to <code class="code">x</code>.
</div>
</td></tr>
<tr><td><a href="Zed_rope.Buffer.html#VALadd">add</a> [<a href="Zed_rope.Buffer.html">Zed_rope.Buffer</a>]</td>
<td><div class="info">
<code class="code">add buffer x</code> add <code class="code">x</code> at the end of <code class="code">buffer</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALadd">add</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">add buf ch</code> is the same as <code class="code">Buffer.add_string buf (singleton
ch)</code> but is more efficient.
</div>
</td></tr>
<tr><td><a href="Zed_macro.html#VALadd_counter">add_counter</a> [<a href="Zed_macro.html">Zed_macro</a>]</td>
<td><div class="info">
Adds the given value to the macro counter.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALadd_escaped">add_escaped</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">add_escaped_char buf text</code> is the same as <code class="code">Buffer.add_string
buf (escaped text)</code> but a bit more efficient.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALadd_escaped_char">add_escaped_char</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">add_escaped_char buf ch</code> is the same as <code class="code">Buffer.add_string buf
(escaped_char ch)</code> but a bit more efficient.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALadd_escaped_string">add_escaped_string</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">add_escaped_char buf enc text</code> is the same as
<code class="code">Buffer.add_string buf (escaped_string enc text)</code> but a bit more
efficient.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALafter">after</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">after rope pos</code> returns the sub-string after <code class="code">pos</code> in <code class="code">rope</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALafter">after</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">after str pos</code> returns the sub-string after <code class="code">pos</code> in <code class="code">str</code>
</div>
</td></tr>
<tr><td><a href="Zed_lines.html#VALappend">append</a> [<a href="Zed_lines.html">Zed_lines</a>]</td>
<td><div class="info">
<code class="code">append s1 s2</code> concatenates two sets of line positions.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALappend">append</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
Concatenates the two given ropes.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALat_bol">at_bol</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">at_bol ctx</code> returns <code class="code">true</code> iff the cursor is at the beginning
of the current line.
</div>
</td></tr>
<tr><td><a href="Zed_rope.Zip.html#VALat_bos">at_bos</a> [<a href="Zed_rope.Zip.html">Zed_rope.Zip</a>]</td>
<td><div class="info">
<code class="code">at_bos zipper</code> returns <code class="code">true</code> iff <code class="code">zipper</code> points to the
beginning of the rope.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALat_bot">at_bot</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">at_bot ctx</code> returns <code class="code">true</code> iff the cursor is at the beginning
of the text.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALat_eol">at_eol</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">at_eol ctx</code> returns <code class="code">true</code> iff the cursor is at the end of the
current line.
</div>
</td></tr>
<tr><td><a href="Zed_rope.Zip.html#VALat_eos">at_eos</a> [<a href="Zed_rope.Zip.html">Zed_rope.Zip</a>]</td>
<td><div class="info">
<code class="code">at_eos zipper</code> returns <code class="code">true</code> iff <code class="code">zipper</code> points to the
end of the rope.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALat_eot">at_eot</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">at_eot ctx</code> returns <code class="code">true</code> iff the cursor is at the end of the
text.
</div>
</td></tr>
<tr><td align="left"><br>B</td></tr>
<tr><td><a href="Zed_rope.html#VALbefore">before</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">before rope pos</code> returns the sub-rope before <code class="code">pos</code> in <code class="code">rope</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALbefore">before</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">before str pos</code> returns the sub-string before <code class="code">pos</code> in <code class="code">str</code>
</div>
</td></tr>
<tr><td><a href="Zed_input.S.html#VALbindings">bindings</a> [<a href="Zed_input.S.html">Zed_input.S</a>]</td>
<td><div class="info">
<code class="code">bindings set</code> returns all bindings of <code class="code">set</code>.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALbreak">break</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">break rope pos</code> returns the sub-ropes before and after <code class="code">pos</code> in
<code class="code">rope</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALbreak">break</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">break str pos</code> returns the sub-strings before and after <code class="code">pos</code>
in <code class="code">str</code>.
</div>
</td></tr>
<tr><td align="left"><br>C</td></tr>
<tr><td><a href="Zed_macro.html#VALcancel">cancel</a> [<a href="Zed_macro.html">Zed_macro</a>]</td>
<td><div class="info">
Cancels the current macro if recording one.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALcapitalize_word">capitalize_word</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">capitalize_word ctx</code> capitalizes the first word after the
cursor.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALchanges">changes</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">changes edit</code> returns an event which occurs with values of the
form <code class="code">(start, added, removed)</code> when the contents of the engine
changes.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALcheck">check</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">check ctx</code> returns whether the context has been created with
the <code class="code">check</code> flag.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALcheck">check</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">check str</code> checks that <code class="code">str</code> is a valid UTF-8 encoded
string.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALclear_data">clear_data</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">clear_data edit</code> removes the custom data of engine.
</div>
</td></tr>
<tr><td><a href="Zed_cursor.html#VALcolumn">column</a> [<a href="Zed_cursor.html">Zed_cursor</a>]</td>
<td><div class="info">
<code class="code">column cursor</code> returns the signal holding the current column of
the cursor.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALcolumn">column</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">column ctx</code> returns the column of the cursor.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALcompare">compare</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
Compares two ropes (in code point order).
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALcompare">compare</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
Compares two strings (in code point order).
</div>
</td></tr>
<tr><td><a href="Zed_re.html#VALcompile">compile</a> [<a href="Zed_re.html">Zed_re</a>]</td>
<td><div class="info">
<code class="code">compile regexp</code> compiles the given regular expression.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALconcat">concat</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">concat sep l</code> concatenates all strings of <code class="code">l</code> separating them
by <code class="code">sep</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALconcat">concat</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">concat sep l</code> returns the concatenation of all strings of <code class="code">l</code>
separated by <code class="code">sep</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALcontains">contains</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">contains text sub</code> returns whether <code class="code">sub</code> appears in <code class="code">text</code>
</div>
</td></tr>
<tr><td><a href="Zed_macro.html#VALcontents">contents</a> [<a href="Zed_macro.html">Zed_macro</a>]</td>
<td><div class="info">
Returns the currently recorded macro.
</div>
</td></tr>
<tr><td><a href="Zed_rope.Buffer.html#VALcontents">contents</a> [<a href="Zed_rope.Buffer.html">Zed_rope.Buffer</a>]</td>
<td><div class="info">
<code class="code">contents buffer</code> returns the contents of <code class="code">buffer</code> as a
rope.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALcontext">context</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">context ?check edit cursor</code> creates a new context with given
parameters.
</div>
</td></tr>
<tr><td><a href="Zed_cursor.html#VALcopy">copy</a> [<a href="Zed_cursor.html">Zed_cursor</a>]</td>
<td><div class="info">
<code class="code">copy cursor</code> creates a copy of the given cursor.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALcopy">copy</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">copy ctx</code> copies the current selectionned region to the
clipboard.
</div>
</td></tr>
<tr><td><a href="Zed_macro.html#VALcount">count</a> [<a href="Zed_macro.html">Zed_macro</a>]</td>
<td><div class="info">
The number of actions in the macro recorder.
</div>
</td></tr>
<tr><td><a href="Zed_lines.html#VALcount">count</a> [<a href="Zed_lines.html">Zed_lines</a>]</td>
<td><div class="info">
Returns the number of newlines in the set.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALcount">count</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">count f text</code> returhs the number of characters of <code class="code">text</code>
verifying <code class="code">f</code>.
</div>
</td></tr>
<tr><td><a href="Zed_macro.html#VALcounter">counter</a> [<a href="Zed_macro.html">Zed_macro</a>]</td>
<td><div class="info">
The contents of the macro counter.
</div>
</td></tr>
<tr><td><a href="Zed_macro.html#VALcreate">create</a> [<a href="Zed_macro.html">Zed_macro</a>]</td>
<td><div class="info">
<code class="code">create macro</code> create a new macro recorder, with initial
contents <code class="code">macro</code>.
</div>
</td></tr>
<tr><td><a href="Zed_cursor.html#VALcreate">create</a> [<a href="Zed_cursor.html">Zed_cursor</a>]</td>
<td><div class="info">
<code class="code">create length changes get_lines position wanted_column</code> creates
a new cursor pointing to position <code class="code">position</code>.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALcreate">create</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">create ?editable ?move ?clipboard ()</code> creates a new edition
engine in the initial state.
</div>
</td></tr>
<tr><td><a href="Zed_rope.Buffer.html#VALcreate">create</a> [<a href="Zed_rope.Buffer.html">Zed_rope.Buffer</a>]</td>
<td><div class="info">
Create a new empty buffer.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALcursor">cursor</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">cursor ctx</code> returns the cursor used by this context.
</div>
</td></tr>
<tr><td align="left"><br>D</td></tr>
<tr><td><a href="Zed_edit.html#VALdelete_next_char">delete_next_char</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">delete_next_char ctx</code> deletes the character after the cursor,
if any.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALdelete_next_line">delete_next_line</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">delete_next_line ctx</code> delete everything until the end of the
current line.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALdelete_next_word">delete_next_word</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">delete_next_word ctx</code> deletes the word after the cursor.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALdelete_prev_char">delete_prev_char</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">delete_prev_char ctx</code> delete the character before the
cursor.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALdelete_prev_line">delete_prev_line</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">delete_next_line ctx</code> delete everything until the beginning of
the current line.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALdelete_prev_word">delete_prev_word</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">delete_prev_word ctx</code> deletes the word before the cursor.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALdoc_of_action">doc_of_action</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">doc_of_action action</code> returns a short description of the
action.
</div>
</td></tr>
<tr><td align="left"><br>E</td></tr>
<tr><td><a href="Zed_edit.html#VALedit">edit</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">edit ctx</code> returns the edition engine used by the given
context.
</div>
</td></tr>
<tr><td><a href="Zed_input.S.html#VALempty">empty</a> [<a href="Zed_input.S.html">Zed_input.S</a>]</td>
<td><div class="info">
The empty set of bindings.
</div>
</td></tr>
<tr><td><a href="Zed_lines.html#VALempty">empty</a> [<a href="Zed_lines.html">Zed_lines</a>]</td>
<td><div class="info">
The empty set.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALempty">empty</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
The empty rope.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALends_with">ends_with</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">ends_with text suffix</code> returns <code class="code">true</code> iff <code class="code">s</code> ends with
<code class="code">suffix</code>.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALequal">equal</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">equal r1 r2</code> retuns <code class="code">true</code> iff <code class="code">r1</code> is equal to <code class="code">r2</code>.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALerase_mode">erase_mode</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">erase_mode edit</code> returns the ``erase'' mode of the buffer.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALescaped">escaped</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">escaped text</code> escape all characters of <code class="code">text</code> as with
<code class="code">escape_char</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALescaped_char">escaped_char</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">escaped_char ch</code> returns a string containg <code class="code">ch</code> or an escaped
version of <code class="code">ch</code> if: <code class="code">ch</code> is a control character (code < 32), <code class="code">ch</code> is the character with code 127, <code class="code">ch</code> is a non-ascii, non-alphabetic character
It uses the syntax <code class="code">\xXX</code>, <code class="code">\uXXXX</code>, <code class="code">\UXXXXXX</code> or a specific
escape sequence <code class="code">\n, \r, ...</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALescaped_string">escaped_string</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">escaped_string enc str</code> escape the string <code class="code">str</code> which is
encoded with encoding <code class="code">enc</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALexists">exists</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">exists f text</code> returns whether at least one character of <code class="code">text</code>
verify <code class="code">f</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALexplode">explode</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">explode str</code> returns the list of all characters of <code class="code">str</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALextract">extract</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">extract str ofs</code> returns the code-point at offset <code class="code">ofs</code> in
<code class="code">str</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALextract_next">extract_next</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">extract_next str ofs</code> returns the code-point at offset <code class="code">ofs</code> in
<code class="code">str</code> and the offset the next character.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALextract_prev">extract_prev</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">extract_prev str ofs</code> returns the code-point at the previous
offset in <code class="code">str</code> and this offset.
</div>
</td></tr>
<tr><td align="left"><br>F</td></tr>
<tr><td><a href="Zed_utf8.html#VALfilter">filter</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">filter f str</code> filters characters of <code class="code">str</code> with <code class="code">f</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALfilter_map">filter_map</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">filter_map f str</code> filters and maps characters of <code class="code">str</code> with
<code class="code">f</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALfilter_map_concat">filter_map_concat</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">filter_map f str</code> filters and maps characters of <code class="code">str</code> with <code class="code">f</code>
and concatenate the result.
</div>
</td></tr>
<tr><td><a href="Zed_rope.Zip.html#VALfind_b">find_b</a> [<a href="Zed_rope.Zip.html">Zed_rope.Zip</a>]</td>
<td><div class="info">
<code class="code">find_b f zip</code> search backward for a character to satisfy
<code class="code">f</code>.
</div>
</td></tr>
<tr><td><a href="Zed_rope.Zip.html#VALfind_f">find_f</a> [<a href="Zed_rope.Zip.html">Zed_rope.Zip</a>]</td>
<td><div class="info">
<code class="code">find_f f zip</code> search forward for a character to satisfy
<code class="code">f</code>.
</div>
</td></tr>
<tr><td><a href="Zed_input.S.html#VALfold">fold</a> [<a href="Zed_input.S.html">Zed_input.S</a>]</td>
<td><div class="info">
<code class="code">fold f set acc</code> executes <code class="code">f</code> on all sequence of <code class="code">set</code>,
accumulating a value.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALfold">fold</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">fold f rope acc</code> applies <code class="code">f</code> on all characters of <code class="code">rope</code>
starting from the left, accumulating a value.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALfold">fold</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">fold f str acc</code> applies <code class="code">f</code> on all characters of <code class="code">str</code>
starting from the left, accumulating a value.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALfold_leaf">fold_leaf</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">fold f rope acc</code> applies <code class="code">f</code> on all leaves of <code class="code">rope</code> starting
from the left, accumulating a value.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALfor_all">for_all</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">for_all f text</code> returns whether all characters of <code class="code">text</code> verify
the predicate <code class="code">f</code>.
</div>
</td></tr>
<tr><td align="left"><br>G</td></tr>
<tr><td><a href="Zed_rope.html#VALget">get</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">get str rope</code> returns the character at index <code class="code">idx</code> in
<code class="code">rope</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALget">get</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">get str idx</code> returns the character at index <code class="code">idx</code> in
<code class="code">str</code>.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALget_action">get_action</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">get_action action</code> returns the function associated to the given
action.
</div>
</td></tr>
<tr><td><a href="Zed_cursor.html#VALget_column">get_column</a> [<a href="Zed_cursor.html">Zed_cursor</a>]</td>
<td><div class="info">
<code class="code">get_column cursor</code> returns the current column of the cursor.
</div>
</td></tr>
<tr><td><a href="Zed_macro.html#VALget_count">get_count</a> [<a href="Zed_macro.html">Zed_macro</a>]</td>
<td><div class="info">
Returns the current number of actions in the macro recorder.
</div>
</td></tr>
<tr><td><a href="Zed_macro.html#VALget_counter">get_counter</a> [<a href="Zed_macro.html">Zed_macro</a>]</td>
<td><div class="info">
Gets the contents of the macro counter.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALget_data">get_data</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">get_data edit</code> returns the custom data attached to the
engine.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALget_erase_mode">get_erase_mode</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">erase_mode edit</code> returns the current erase mode of the
buffer.
</div>
</td></tr>
<tr><td><a href="Zed_cursor.html#VALget_line">get_line</a> [<a href="Zed_cursor.html">Zed_cursor</a>]</td>
<td><div class="info">
<code class="code">get_line cursor</code> returns the current line of the cursor.
</div>
</td></tr>
<tr><td><a href="Zed_cursor.html#VALget_position">get_position</a> [<a href="Zed_cursor.html">Zed_cursor</a>]</td>
<td><div class="info">
<code class="code">get_position cursor</code> returns the current position of
<code class="code">cursor</code>.
</div>
</td></tr>
<tr><td><a href="Zed_macro.html#VALget_recording">get_recording</a> [<a href="Zed_macro.html">Zed_macro</a>]</td>
<td><div class="info">
Returns the current state of the recorder.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALget_selection">get_selection</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">selection edit</code> returns the current selection state.
</div>
</td></tr>
<tr><td><a href="Zed_cursor.html#VALget_wanted_column">get_wanted_column</a> [<a href="Zed_cursor.html">Zed_cursor</a>]</td>
<td><div class="info">
<code class="code">get_wanted_column cursor</code> returns the column on which the
cursor wants to be.
</div>
</td></tr>
<tr><td><a href="Zed_cursor.html#VALgoto">goto</a> [<a href="Zed_cursor.html">Zed_cursor</a>]</td>
<td><div class="info">
<code class="code">goto cursor position</code> moves the given cursor to the given
position.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALgoto">goto</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">goto ctx ?set_column position</code> moves the cursor to the given
position.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALgoto_bol">goto_bol</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">goto_bol ctx</code> moves the cursor to the beginning of the current
line.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALgoto_bot">goto_bot</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">goto_bot ctx</code> moves the cursor to the beginning of the text.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALgoto_eol">goto_eol</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">goto_eol ctx</code> moves the cursor to the end of the current
line.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALgoto_eot">goto_eot</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">goto_eot ctx</code> moves the cursor to the end of the text.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALgoto_mark">goto_mark</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">goto_mark ctx</code> moves the cursor to the mark.
</div>
</td></tr>
<tr><td align="left"><br>I</td></tr>
<tr><td><a href="Zed_utf8.html#VALimplode">implode</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">implode l</code> returns the concatenation of all characters of <code class="code">l</code>.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALinit">init</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">init n f</code> returns the contenation of <code class="code">singleton (f 0)</code>,
<code class="code">singleton (f 1)</code>, ..., <code class="code">singleton (f (n - 1))</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALinit">init</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">init n f</code> returns the contenation of <code class="code">singleton (f 0)</code>,
<code class="code">singleton (f 1)</code>, ..., <code class="code">singleton (f (n - 1))</code>.
</div>
</td></tr>
<tr><td><a href="Zed_lines.html#VALinsert">insert</a> [<a href="Zed_lines.html">Zed_lines</a>]</td>
<td><div class="info">
<code class="code">insert set offset set'</code> inserts <code class="code">set</code> at given positon in
<code class="code">set'</code>.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALinsert">insert</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">insert ctx rope</code> inserts the given rope at current position.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALinsert">insert</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">insert rope pos sub</code> inserts <code class="code">sub</code> in <code class="code">rope</code> at position
<code class="code">pos</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALinsert">insert</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">insert str pos sub</code> inserts <code class="code">sub</code> in <code class="code">str</code> at position
<code class="code">pos</code>.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALinsert_no_erase">insert_no_erase</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">insert ctx rope</code> inserts the given rope at current position but
do not erase text if the buffer is currently in erase mode.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALis_empty">is_empty</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">is_empty rope</code> returns whether <code class="code">str</code> is the empty rope or
not.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALiter">iter</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">iter f rope</code> applies <code class="code">f</code> on all characters of <code class="code">rope</code> starting
from the left.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALiter">iter</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">iter f str</code> applies <code class="code">f</code> an all characters of <code class="code">str</code> starting
from the left.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALiter_leaf">iter_leaf</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">iter_leaf f rope</code> applies <code class="code">f</code> on all leaves of <code class="code">rope</code> starting
from the left.
</div>
</td></tr>
<tr><td align="left"><br>K</td></tr>
<tr><td><a href="Zed_edit.html#VALkill">kill</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">kill ctx</code> copies the current selectionned region to the
clipboard and remove it.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALkill_next_line">kill_next_line</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">kill_next_line ctx</code> delete everything until the end of the
current line and save it to the clipboard.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALkill_next_word">kill_next_word</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">kill_next_word ctx</code> deletes the word after the cursor and save
it to the clipboard.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALkill_prev_line">kill_prev_line</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">kill_next_line ctx</code> delete everything until the beginning of
the current line and save it to the clipboard.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALkill_prev_word">kill_prev_word</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">kill_prev_word ctx</code> deletes the word before the cursor and save
it to the clipboard.
</div>
</td></tr>
<tr><td align="left"><br>L</td></tr>
<tr><td><a href="Zed_rope.html#VALlchop">lchop</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">lchop rope</code> returns <code class="code">rope</code> without is first character.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALlchop">lchop</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">lchop t</code> returns <code class="code">t</code> without is first character.
</div>
</td></tr>
<tr><td><a href="Zed_lines.html#VALlength">length</a> [<a href="Zed_lines.html">Zed_lines</a>]</td>
<td><div class="info">
Returns the length of the set, i.e.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALlength">length</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
Returns the length of the given rope.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALlength">length</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
Returns the length of the given string.
</div>
</td></tr>
<tr><td><a href="Zed_cursor.html#VALline">line</a> [<a href="Zed_cursor.html">Zed_cursor</a>]</td>
<td><div class="info">
<code class="code">line cursor</code> returns the signal holding the current line on
which the cursor is.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALline">line</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">line ctx</code> returns the line of the cursor.
</div>
</td></tr>
<tr><td><a href="Zed_lines.html#VALline_index">line_index</a> [<a href="Zed_lines.html">Zed_lines</a>]</td>
<td><div class="info">
<code class="code">line_index set ofs</code> returns the line number of the line
containing <code class="code">ofs</code>.
</div>
</td></tr>
<tr><td><a href="Zed_lines.html#VALline_start">line_start</a> [<a href="Zed_lines.html">Zed_lines</a>]</td>
<td><div class="info">
<code class="code">line_start set idx</code> returns the offset of the beginning of the
<code class="code">idx</code>th line of <code class="code">set</code> .
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALlines">lines</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">lines edit</code> returns the set of line position of <code class="code">text edit</code>.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALlowercase_word">lowercase_word</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">lowercase_word ctx</code> converts the first word after the cursor to
lowercase.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALlstrip">lstrip</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">lstrip ?predicate text</code> is the same as <a href="Zed_utf8.html#VALstrip"><code class="code">Zed_utf8.strip</code></a> but it only
removes characters at the left of <code class="code">text</code>.
</div>
</td></tr>
<tr><td align="left"><br>M</td></tr>
<tr><td><a href="Zed_rope.html#VALmake">make</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">make length char</code> creates a rope of length <code class="code">length</code> containing
only <code class="code">char</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALmake">make</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">make n ch</code> creates a string of length <code class="code">n</code> filled with <code class="code">ch</code>.
</div>
</td></tr>
<tr><td><a href="Zed_rope.Zip.html#VALmake_b">make_b</a> [<a href="Zed_rope.Zip.html">Zed_rope.Zip</a>]</td>
<td><div class="info">
<code class="code">make_f rope pos</code> creates a new zipper pointing to positon
<code class="code">length rope - pos</code> of <code class="code">rope</code>.
</div>
</td></tr>
<tr><td><a href="Zed_rope.Zip.html#VALmake_f">make_f</a> [<a href="Zed_rope.Zip.html">Zed_rope.Zip</a>]</td>
<td><div class="info">
<code class="code">make_f rope pos</code> creates a new zipper pointing to positon
<code class="code">pos</code> of <code class="code">rope</code>.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALmap">map</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">map f rope</code> maps all characters of <code class="code">rope</code> with <code class="code">f</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALmap">map</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">map f str</code> maps all characters of <code class="code">str</code> with <code class="code">f</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALmap_concat">map_concat</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">map f str</code> maps all characters of <code class="code">str</code> with <code class="code">f</code> and
concatenate the result.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALmark">mark</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">mark edit</code> returns the cursor used to for the mark in the given
engine.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALmatch_by_regexp">match_by_regexp</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">match_by_regexp re</code> creates a word-matching function using a
regular expression.
</div>
</td></tr>
<tr><td><a href="Zed_cursor.html#VALmove">move</a> [<a href="Zed_cursor.html">Zed_cursor</a>]</td>
<td><div class="info">
<code class="code">move cursor delta</code> moves the given cursor by the given number
of characters.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALmove">move</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">move ctx ?set_wanted_column delta</code> moves the cursor by the
given number of characters.
</div>
</td></tr>
<tr><td><a href="Zed_rope.Zip.html#VALmove">move</a> [<a href="Zed_rope.Zip.html">Zed_rope.Zip</a>]</td>
<td><div class="info">
<code class="code">move n zip</code> moves the zipper by <code class="code">n</code> characters.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALmove_line">move_line</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">move_line ctx ?set_wanted_column delta</code> moves the cursor by the
given number of lines.
</div>
</td></tr>
<tr><td align="left"><br>N</td></tr>
<tr><td><a href="Zed_edit.html#VALname_of_action">name_of_action</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">name_of_action act</code> returns the name of the given action.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALnew_clipboard">new_clipboard</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">new_clipboard ()</code> creates a new clipboard using a reference.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALnew_cursor">new_cursor</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">new_cursor edit</code> creates a new cursor for the given edition
engine.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALnewline">newline</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
Insert a newline character.
</div>
</td></tr>
<tr><td><a href="Zed_rope.Zip.html#VALnext">next</a> [<a href="Zed_rope.Zip.html">Zed_rope.Zip</a>]</td>
<td><div class="info">
<code class="code">next zipper</code> returns the code point at the right of the
zipper and a zipper to the next position.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALnext">next</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">next str ofs</code> returns the offset of the next character in
<code class="code">str</code>.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALnext_char">next_char</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">next_char ctx</code> moves the cursor to the next character.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALnext_error">next_error</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">next_error str ofs</code> returns <code class="code">(ofs', count, msg)</code> where <code class="code">ofs'</code>
is the offset of the start of the first invalid sequence after
<code class="code">ofs</code> (inclusive) in <code class="code">str</code>, <code class="code">count</code> is the number of unicode
character between <code class="code">ofs</code> and <code class="code">ofs'</code> (exclusive) and <code class="code">msg</code> is an
error message.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALnext_line">next_line</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">next_line ctx</code> moves the cursor to the next line.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALnext_word">next_word</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">next_word ctx</code> moves the cursor to the end of the next word.
</div>
</td></tr>
<tr><td align="left"><br>O</td></tr>
<tr><td><a href="Zed_lines.html#VALof_rope">of_rope</a> [<a href="Zed_lines.html">Zed_lines</a>]</td>
<td><div class="info">
<code class="code">of_rope rope</code> returns the set of newline positions in <code class="code">rope</code>.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALof_string">of_string</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">of_string str</code> creates a rope from a string.
</div>
</td></tr>
<tr><td><a href="Zed_rope.Zip.html#VALoffset">offset</a> [<a href="Zed_rope.Zip.html">Zed_rope.Zip</a>]</td>
<td><div class="info">
Returns the position of the zipper in the rope.
</div>
</td></tr>
<tr><td align="left"><br>P</td></tr>
<tr><td><a href="Zed_input.S.html#VALpack">pack</a> [<a href="Zed_input.S.html">Zed_input.S</a>]</td>
<td><div class="info">
<code class="code">pack f set</code> creates a pack.
</div>
</td></tr>
<tr><td><a href="Zed_cursor.html#VALposition">position</a> [<a href="Zed_cursor.html">Zed_cursor</a>]</td>
<td><div class="info">
<code class="code">position cursor</code> returns the signal holding the current
position of the given cursor.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALposition">position</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">position ctx</code> returns the position of the cursor.
</div>
</td></tr>
<tr><td><a href="Zed_rope.Zip.html#VALprev">prev</a> [<a href="Zed_rope.Zip.html">Zed_rope.Zip</a>]</td>
<td><div class="info">
<code class="code">prev zipper</code> returns the code point at the left of the
zipper and a zipper to the previous position.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALprev">prev</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">prev str ofs</code> returns the offset of the previous character in
<code class="code">str</code>.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALprev_char">prev_char</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">prev_char ctx</code> moves the cursor to the previous character.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALprev_line">prev_line</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">prev_line ctx</code> moves the cursor to the previous line.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALprev_word">prev_word</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">prev_word ctx</code> moves the cursor to the beginning of the
previous word.
</div>
</td></tr>
<tr><td align="left"><br>R</td></tr>
<tr><td><a href="Zed_rope.html#VALrchop">rchop</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">rchop rope</code> returns <code class="code">rope</code> without is last character.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALrchop">rchop</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">rchop t</code> returns <code class="code">t</code> without is last character.
</div>
</td></tr>
<tr><td><a href="Zed_macro.html#VALrecording">recording</a> [<a href="Zed_macro.html">Zed_macro</a>]</td>
<td><div class="info">
Whether the recorder is recording a macro.
</div>
</td></tr>
<tr><td><a href="Zed_re.html#VALregexp_match">regexp_match</a> [<a href="Zed_re.html">Zed_re</a>]</td>
<td><div class="info">
<code class="code">regexp_match ?sem regexp rope pos</code> tries to match <code class="code">regexp</code> on
given rope, starting at <code class="code">pos</code>.
</div>
</td></tr>
<tr><td><a href="Zed_input.S.html#VALremove">remove</a> [<a href="Zed_input.S.html">Zed_input.S</a>]</td>
<td><div class="info">
<code class="code">remove events bindings</code> unbinds <code class="code">events</code>.
</div>
</td></tr>
<tr><td><a href="Zed_lines.html#VALremove">remove</a> [<a href="Zed_lines.html">Zed_lines</a>]</td>
<td><div class="info">
<code class="code">remove set offet length</code> removes <code class="code">length</code> characters at
<code class="code">offset</code> in set.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALremove">remove</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
Alias for <a href="Zed_edit.html#VALremove_next"><code class="code">Zed_edit.remove_next</code></a>
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALremove">remove</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">remove rope pos len</code> removes the <code class="code">len</code> characters at position
<code class="code">pos</code> in <code class="code">rope</code>
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALremove">remove</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">remove str pos len</code> removes the <code class="code">len</code> characters at position
<code class="code">pos</code> in <code class="code">str</code>
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALremove_next">remove_next</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">remove_next ctx n</code> removes <code class="code">n</code> characters at current
position.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALremove_prev">remove_prev</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">remove_prev ctx n</code> removes <code class="code">n</code> characters before current
position.
</div>
</td></tr>
<tr><td><a href="Zed_lines.html#VALreplace">replace</a> [<a href="Zed_lines.html">Zed_lines</a>]</td>
<td><div class="info">
<code class="code">replace set offset length repl</code> replaces the subset at offset
<code class="code">offset</code> and length <code class="code">length</code> by <code class="code">repl</code> in <code class="code">set</code>.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALreplace">replace</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">replace ctx n rope</code> does the same as:
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALreplace">replace</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">replace rope pos len repl</code> replaces the <code class="code">len</code> characters at
position <code class="code">pos</code> in <code class="code">rope</code> by <code class="code">repl</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALreplace">replace</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">replace str pos len repl</code> replaces the <code class="code">len</code> characters at
position <code class="code">pos</code> in <code class="code">str</code> by <code class="code">repl</code>.
</div>
</td></tr>
<tr><td><a href="Zed_rope.Buffer.html#VALreset">reset</a> [<a href="Zed_rope.Buffer.html">Zed_rope.Buffer</a>]</td>
<td><div class="info">
<code class="code">reset buffer</code> resets <code class="code">buffer</code> to its initial state.
</div>
</td></tr>
<tr><td><a href="Zed_input.S.html#VALresolve">resolve</a> [<a href="Zed_input.S.html">Zed_input.S</a>]</td>
<td><div class="info">
<code class="code">resolve event resolver</code> tries to resolve <code class="code">event</code> using
<code class="code">resolver</code>.
</div>
</td></tr>
<tr><td><a href="Zed_input.S.html#VALresolver">resolver</a> [<a href="Zed_input.S.html">Zed_input.S</a>]</td>
<td><div class="info">
<code class="code">resolver packs</code> creates a resolver from a list of pack.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALrev">rev</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">rev str</code> reverses all characters of <code class="code">str</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALrev_concat">rev_concat</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">concat sep l</code> returns the concatenation of all strings of <code class="code">l</code>
in reverse order separated by <code class="code">sep</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALrev_explode">rev_explode</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">rev_explode str</code> returns the list of all characters of <code class="code">str</code> in
reverse order.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALrev_filter">rev_filter</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">rev_filter f str</code> filters characters of <code class="code">str</code> with <code class="code">f</code> in
reverse order.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALrev_filter_map">rev_filter_map</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">rev_filter_map f str</code> filters and maps characters of <code class="code">str</code> with
<code class="code">f</code> in reverse order.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALrev_filter_map_concat">rev_filter_map_concat</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">rev_filter_map f str</code> filters and maps characters of <code class="code">str</code> with
<code class="code">f</code> in reverse order and concatenate the result.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALrev_fold">rev_fold</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">rev_fold f rope acc</code> applies <code class="code">f</code> on all characters of <code class="code">rope</code>
starting from the right, accumulating a value.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALrev_fold">rev_fold</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">rev_fold f str acc</code> applies <code class="code">f</code> on all characters of <code class="code">str</code>
starting from the right, accumulating a value.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALrev_fold_leaf">rev_fold_leaf</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">rev_fold f rope acc</code> applies <code class="code">f</code> on all leaves of <code class="code">rope</code>
starting from the right, accumulating a value.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALrev_implode">rev_implode</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">rev_implode l</code> is the same as <code class="code">implode (List.rev l)</code> but more
efficient.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALrev_init">rev_init</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">rev_init n f</code> returns the contenation of <code class="code">singleton (f (n -
1))</code>, ..., <code class="code">singleton (f 1)</code>, <code class="code">singleton (f 0)</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALrev_init">rev_init</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">rev_init n f</code> returns the contenation of <code class="code">singleton (f (n -
1))</code>, ..., <code class="code">singleton (f 1)</code>, <code class="code">singleton (f 0)</code>.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALrev_iter">rev_iter</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">rev_iter f rope</code> applies <code class="code">f</code> an all characters of <code class="code">rope</code>
starting from the right.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALrev_iter">rev_iter</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">rev_iter f str</code> applies <code class="code">f</code> an all characters of <code class="code">str</code> starting
from the right.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALrev_iter_leaf">rev_iter_leaf</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">iter_leaf f rope</code> applies <code class="code">f</code> on all leaves of <code class="code">rope</code> starting
from the right.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALrev_map">rev_map</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">rev_map f str</code> maps all characters of <code class="code">rope</code> with <code class="code">f</code> in
reverse order.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALrev_map">rev_map</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">rev_map f str</code> maps all characters of <code class="code">str</code> with <code class="code">f</code> in reverse
order.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALrev_map_concat">rev_map_concat</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">rev_map f str</code> maps all characters of <code class="code">str</code> with <code class="code">f</code> in reverse
order and concatenate the result.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALrstrip">rstrip</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">lstrip ?predicate text</code> is the same as <a href="Zed_utf8.html#VALstrip"><code class="code">Zed_utf8.strip</code></a> but it only
removes characters at the right of <code class="code">text</code>.
</div>
</td></tr>
<tr><td align="left"><br>S</td></tr>
<tr><td><a href="Zed_re.html#VALsearch_backward">search_backward</a> [<a href="Zed_re.html">Zed_re</a>]</td>
<td><div class="info">
<code class="code">search_backward ?sem regexp rope pos</code> searches the given
regular expression in <code class="code">rope</code> starting at <code class="code">pos</code>, in reverse
order.
</div>
</td></tr>
<tr><td><a href="Zed_re.html#VALsearch_forward">search_forward</a> [<a href="Zed_re.html">Zed_re</a>]</td>
<td><div class="info">
<code class="code">search_forward ?sem regexp rope pos</code> searches the given regular
expression in <code class="code">rope</code> starting at <code class="code">pos</code>.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALselection">selection</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">selection edit</code> returns the signal holding the current
selection state.
</div>
</td></tr>
<tr><td><a href="Zed_macro.html#VALset_counter">set_counter</a> [<a href="Zed_macro.html">Zed_macro</a>]</td>
<td><div class="info">
Sets the macro counter to the given value.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALset_data">set_data</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">set_data edit data</code> attach <code class="code">data</code> to the engine.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALset_erase_mode">set_erase_mode</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">set_erase_mode edit state</code> sets the status of the erase mode
for the given engine.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALset_mark">set_mark</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">set_mark ctx</code> sets the mark at current position.
</div>
</td></tr>
<tr><td><a href="Zed_macro.html#VALset_recording">set_recording</a> [<a href="Zed_macro.html">Zed_macro</a>]</td>
<td><div class="info">
Starts or stops the macro recorder.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALset_selection">set_selection</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">set_selection edit state</code> sets the selection state.
</div>
</td></tr>
<tr><td><a href="Zed_cursor.html#VALset_wanted_column">set_wanted_column</a> [<a href="Zed_cursor.html">Zed_cursor</a>]</td>
<td><div class="info">
<code class="code">set_wanted_column cursor</code> sets the column on which the cursor
want to be.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALsingleton">singleton</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">singleton ch</code> creates a rope of length 1 containing only
<code class="code">ch</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALsingleton">singleton</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">singleton ch</code> creates a string of length 1 containing only the
given character.
</div>
</td></tr>
<tr><td><a href="Zed_rope.Zip.html#VALslice">slice</a> [<a href="Zed_rope.Zip.html">Zed_rope.Zip</a>]</td>
<td><div class="info">
<code class="code">slice zipper1 zipper2</code> returns the rope between <code class="code">zipper1</code>
and <code class="code">zipper2</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALstarts_with">starts_with</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">starts_with text prefix</code> returns <code class="code">true</code> iff <code class="code">s</code> starts with
<code class="code">prefix</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALstrip">strip</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">strip ?predicate text</code> returns <code class="code">text</code> without its firsts and
lasts characters that match <code class="code">predicate</code>.
</div>
</td></tr>
<tr><td><a href="Zed_rope.Zip.html#VALsub">sub</a> [<a href="Zed_rope.Zip.html">Zed_rope.Zip</a>]</td>
<td><div class="info">
<code class="code">sub zipper len</code> returns the sub-rope of length <code class="code">len</code> pointed
by <code class="code">zipper</code>.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALsub">sub</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">sub rope ofs len</code> Returns the sub-rope of <code class="code">rope</code> starting at
<code class="code">ofs</code> and of length <code class="code">len</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALsub">sub</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">sub str ofs len</code> Returns the sub-string of <code class="code">str</code> starting at
<code class="code">ofs</code> and of length <code class="code">len</code>.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALswitch_erase_mode">switch_erase_mode</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">switch_erase_mode ctx</code> switch the current erase mode.
</div>
</td></tr>
<tr><td align="left"><br>T</td></tr>
<tr><td><a href="Zed_edit.html#VALtext">text</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">text edit</code> returns the signal holding the current contents of
the buffer.
</div>
</td></tr>
<tr><td><a href="Zed_rope.html#VALto_string">to_string</a> [<a href="Zed_rope.html">Zed_rope</a>]</td>
<td><div class="info">
<code class="code">to_string rope</code> flatten a rope into a string encoded in
UTF-8.
</div>
</td></tr>
<tr><td align="left"><br>U</td></tr>
<tr><td><a href="Zed_edit.html#VALundo">undo</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">undo ctx</code> reverts the last performed action.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALunsafe_extract">unsafe_extract</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">unsafe_extract str ofs</code> returns the code-point at offset <code class="code">ofs</code>
in <code class="code">str</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALunsafe_extract_next">unsafe_extract_next</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">unsafe_extract_next str ofs</code> returns the code-point at offset
<code class="code">ofs</code> in <code class="code">str</code> and the offset the next character.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALunsafe_extract_prev">unsafe_extract_prev</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">unsafe_extract_prev str ofs</code> returns the code-point at the
previous offset in <code class="code">str</code> and this offset.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALunsafe_next">unsafe_next</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">unsafe_next str ofs</code> returns the offset of the next character
in <code class="code">str</code>.
</div>
</td></tr>
<tr><td><a href="Zed_utf8.html#VALunsafe_prev">unsafe_prev</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
<code class="code">unsafe_prev str ofs</code> returns the offset of the previous
character in <code class="code">str</code>.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALupdate">update</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">update edit cursors</code> returns an event which occurs each the
rendering of the engine should be updated.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALuppercase_word">uppercase_word</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">uppercase_word ctx</code> converts the first word after the cursor to
uppercase.
</div>
</td></tr>
<tr><td align="left"><br>V</td></tr>
<tr><td><a href="Zed_utf8.html#VALvalidate">validate</a> [<a href="Zed_utf8.html">Zed_utf8</a>]</td>
<td><div class="info">
Same as check but raises an exception in case the argument is
not a valid text, otherwise returns the length of the string.
</div>
</td></tr>
<tr><td align="left"><br>W</td></tr>
<tr><td><a href="Zed_cursor.html#VALwanted_column">wanted_column</a> [<a href="Zed_cursor.html">Zed_cursor</a>]</td>
<td><div class="info">
<code class="code">wanted_column cursor</code> returns the signal holding the column on
which the cursor wants to be.
</div>
</td></tr>
<tr><td><a href="Zed_edit.html#VALwith_check">with_check</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">with_check check ctx</code> retuns <code class="code">ctx</code> with the check flag set to
<code class="code">check</code>.
</div>
</td></tr>
<tr><td align="left"><br>Y</td></tr>
<tr><td><a href="Zed_edit.html#VALyank">yank</a> [<a href="Zed_edit.html">Zed_edit</a>]</td>
<td><div class="info">
<code class="code">yank ctx</code> inserts the contents of the clipboard at current
position.
</div>
</td></tr>
</table>
</body>
</html>
