/usr/share/doc/libmelt-ocaml-dev/html/latex/Latex.Verbatim.html is in libmelt-ocaml-dev 1.4.0-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 | <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<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 rel="previous" href="Latex.Beamer.html">
<link rel="Up" href="Latex.html">
<link title="Index of types" rel=Appendix href="index_types.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="Latex" rel="Chapter" href="Latex.html"><link title="Tools to Build Modes" rel="Section" href="#2_ToolstoBuildModes">
<title>Latex.Verbatim</title>
</head>
<body>
<div class="navbar"><a href="Latex.Beamer.html">Previous</a>
<a href="Latex.html">Up</a>
</div>
<center><h1>Module <a href="type_Latex.Verbatim.html">Latex.Verbatim</a></h1></center>
<br>
<pre><span class="keyword">module</span> Verbatim: <code class="code">sig</code> <a href="Latex.Verbatim.html">..</a> <code class="code">end</code></pre><hr width="100%">
<pre><span id="VALverbatim"><span class="keyword">val</span> verbatim</span> : <code class="type">string -> <a href="Latex.html#TYPEt">Latex.t</a></code></pre><div class="info">
Replace all non-alphanumerical characters by an application of the
<code class="code">symbol</code> command, all spaces by escaped spaces, and all new lines
by actual new lines.<br>
</div>
<pre><span id="VALregexps"><span class="keyword">val</span> regexps</span> : <code class="type">(Str.regexp * (string -> <a href="Latex.html#TYPEt">Latex.t</a>)) list -><br> (string -> <a href="Latex.html#TYPEt">Latex.t</a>) -> string -> <a href="Latex.html#TYPEt">Latex.t</a></code></pre><div class="info">
<code class="code">regexps [r1, a1; r2, a2; ...] f s</code>: apply <code class="code">a1</code> on all matches of <code class="code">r1</code>
in <code class="code">s</code>, then <code class="code">a2</code> on all matches of <code class="code">r2</code>, and so on.
Note that <code class="code">r2</code> is only tested on the parts of <code class="code">s</code> which do not match <code class="code">r1</code>.
<code class="code">f</code> is applied on the parts of <code class="code">s</code> which are not matched by any of the
regular expressions.<br>
</div>
<pre><span id="VALkeywords"><span class="keyword">val</span> keywords</span> : <code class="type">?apply:(<a href="Latex.html#TYPEt">Latex.t</a> -> <a href="Latex.html#TYPEt">Latex.t</a>) -> string list -> string -> <a href="Latex.html#TYPEt">Latex.t</a></code></pre><div class="info">
<code class="code">keywords k s</code>: apply <code class="code">verbatim</code> on <code class="code">s</code> but also apply <code class="code">~apply</code> on all
keywords given in <code class="code">k</code>. The default value of <code class="code">~apply</code> is <code class="code">textbf</code> (bold
font).
<p>
<code class="code">keywords ["let"; "in"]</code> is the same as
<code class="code">regexps [Str.regexp "let\\|in", fun x -> textbf (verbatim x)] verbatim</code>.<br>
</div>
<pre><span id="VALpseudocode"><span class="keyword">val</span> pseudocode</span> : <code class="type">?trim:(string -> string) -><br> ?id_regexp:Str.regexp -><br> ?kw_apply:(<a href="Latex.html#TYPEt">Latex.t</a> -> <a href="Latex.html#TYPEt">Latex.t</a>) -><br> ?id_apply:(<a href="Latex.html#TYPEt">Latex.t</a> -> <a href="Latex.html#TYPEt">Latex.t</a>) -><br> ?rem_apply:(string -> <a href="Latex.html#TYPEt">Latex.t</a>) -><br> ?keywords:string list -><br> ?symbols:(string * <a href="Latex.html#TYPEt">Latex.t</a>) list -><br> ?keyword_symbols:(string * <a href="Latex.html#TYPEt">Latex.t</a>) list -><br> ?underscore:Str.regexp -> string -> <a href="Latex.html#TYPEt">Latex.t</a></code></pre><div class="info">
Pseudocode parsing.<br>
</div>
<div class="param_info"><code class="code">trim</code> : apply this function first (default is <code class="code">trim ['\n']</code>)</div>
<div class="param_info"><code class="code">id_regexp</code> : the regular expression used to parse identifiers,
including keywords (default is words starting with a letter or an underscore
followed by any number of letter or digit, followed by any number
of groups of underscore followed by at least one letter or digit:
<code class="code">Str.regexp "[_a-zA-Z][a-zA-Z0-9]*\\(_[a-zA-Z0-9]+\\)*"</code>)</div>
<div class="param_info"><code class="code">kw_apply</code> : applied to keywords (default is <code class="code">textbf</code>)</div>
<div class="param_info"><code class="code">id_apply</code> : applied to identifiers (default is <code class="code">mathit</code>)</div>
<div class="param_info"><code class="code">rem_apply</code> : applied to remaining parts (default is <code class="code">verbatim</code>)</div>
<div class="param_info"><code class="code">keywords</code> : keyword list</div>
<div class="param_info"><code class="code">symbols</code> : symbol list and the way they are printed</div>
<div class="param_info"><code class="code">keyword_symbols</code> : keyword list that should be printed in a special
way, as symbols, but parsed as identifiers</div>
<div class="param_info"><code class="code">underscore</code> : delimiter used to split identifiers
(default is underscore (<code class="code">'_'</code>))
<p>
Keywords, keyword symbols and identifiers are split using
<code class="code">underscore</code> as delimiter.
The first part is replaced by the corresponding <code class="code">Latex.t</code>.
The other parts are displayed as indexes separated by commas (<code class="code">','</code>).
They are also treated as identifiers, potentiel keywords or keyword symbols.</div>
<br>
<span id="2_ToolstoBuildModes"><h2>Tools to Build Modes</h2></span><br>
<pre><span id="VALtrim"><span class="keyword">val</span> trim</span> : <code class="type">char list -> string -> string</code></pre><div class="info">
Delete characters at the beginning and at the end of a string.
<code class="code">trim [' '; '\n'] s</code> will return a copy of s without spaces and
new lines at the beginning and at the end.<br>
</div>
<pre><span id="VALtrim_begin"><span class="keyword">val</span> trim_begin</span> : <code class="type">char list -> string -> string</code></pre><div class="info">
Delete characters at the beginning of a string.
<code class="code">trim [' '; '\n'] s</code> will return a copy of s without spaces and
new lines at the beginning.<br>
</div>
<pre><span id="VALtrim_end"><span class="keyword">val</span> trim_end</span> : <code class="type">char list -> string -> string</code></pre><div class="info">
Delete characters at the end of a string.
<code class="code">trim [' '; '\n'] s</code> will return a copy of s without spaces and
new lines at the end.<br>
</div>
<pre><span id="VALsplit_lines"><span class="keyword">val</span> split_lines</span> : <code class="type">string -> string list</code></pre><div class="info">
Split a string according to the <code class="code">'\n'</code> delimiter, which is not kept.<br>
</div>
</body></html>
|