<!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"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="Start" href="index.html"> <link rel="previous" href="Stream.html"> <link rel="next" href="StringLabels.html"> <link rel="Up" 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="Arg" rel="Chapter" href="Arg.html"> <link title="Arg_helper" rel="Chapter" href="Arg_helper.html"> <link title="Array" rel="Chapter" href="Array.html"> <link title="ArrayLabels" rel="Chapter" href="ArrayLabels.html"> <link title="Ast_helper" rel="Chapter" href="Ast_helper.html"> <link title="Ast_invariants" rel="Chapter" href="Ast_invariants.html"> <link title="Ast_iterator" rel="Chapter" href="Ast_iterator.html"> <link title="Ast_mapper" rel="Chapter" href="Ast_mapper.html"> <link title="Asttypes" rel="Chapter" href="Asttypes.html"> <link title="Attr_helper" rel="Chapter" href="Attr_helper.html"> <link title="Bigarray" rel="Chapter" href="Bigarray.html"> <link title="Buffer" rel="Chapter" href="Buffer.html"> <link title="Build_path_prefix_map" rel="Chapter" href="Build_path_prefix_map.html"> <link title="Builtin_attributes" rel="Chapter" href="Builtin_attributes.html"> <link title="Bytes" rel="Chapter" href="Bytes.html"> <link title="BytesLabels" rel="Chapter" href="BytesLabels.html"> <link title="Callback" rel="Chapter" href="Callback.html"> <link title="CamlinternalFormat" rel="Chapter" href="CamlinternalFormat.html"> <link title="CamlinternalFormatBasics" rel="Chapter" href="CamlinternalFormatBasics.html"> <link title="CamlinternalLazy" rel="Chapter" href="CamlinternalLazy.html"> <link title="CamlinternalMod" rel="Chapter" href="CamlinternalMod.html"> <link title="CamlinternalOO" rel="Chapter" href="CamlinternalOO.html"> <link title="Ccomp" rel="Chapter" href="Ccomp.html"> <link title="Char" rel="Chapter" href="Char.html"> <link title="Clflags" rel="Chapter" href="Clflags.html"> <link title="Complex" rel="Chapter" href="Complex.html"> <link title="Condition" rel="Chapter" href="Condition.html"> <link title="Config" rel="Chapter" href="Config.html"> <link title="Consistbl" rel="Chapter" href="Consistbl.html"> <link title="Depend" rel="Chapter" href="Depend.html"> <link title="Digest" rel="Chapter" href="Digest.html"> <link title="Docstrings" rel="Chapter" href="Docstrings.html"> <link title="Dynlink" rel="Chapter" href="Dynlink.html"> <link title="Ephemeron" rel="Chapter" href="Ephemeron.html"> <link title="Event" rel="Chapter" href="Event.html"> <link title="Filename" rel="Chapter" href="Filename.html"> <link title="Float" rel="Chapter" href="Float.html"> <link title="Format" rel="Chapter" href="Format.html"> <link title="Gc" rel="Chapter" href="Gc.html"> <link title="Genlex" rel="Chapter" href="Genlex.html"> <link title="Graphics" rel="Chapter" href="Graphics.html"> <link title="GraphicsX11" rel="Chapter" href="GraphicsX11.html"> <link title="Hashtbl" rel="Chapter" href="Hashtbl.html"> <link title="Identifiable" rel="Chapter" href="Identifiable.html"> <link title="Int32" rel="Chapter" href="Int32.html"> <link title="Int64" rel="Chapter" href="Int64.html"> <link title="Lazy" rel="Chapter" href="Lazy.html"> <link title="Lexer" rel="Chapter" href="Lexer.html"> <link title="Lexing" rel="Chapter" href="Lexing.html"> <link title="List" rel="Chapter" href="List.html"> <link title="ListLabels" rel="Chapter" href="ListLabels.html"> <link title="Location" rel="Chapter" href="Location.html"> <link title="Longident" rel="Chapter" href="Longident.html"> <link title="Map" rel="Chapter" href="Map.html"> <link title="Marshal" rel="Chapter" href="Marshal.html"> <link title="Misc" rel="Chapter" href="Misc.html"> <link title="MoreLabels" rel="Chapter" href="MoreLabels.html"> <link title="Mutex" rel="Chapter" href="Mutex.html"> <link title="Nativeint" rel="Chapter" href="Nativeint.html"> <link title="Numbers" rel="Chapter" href="Numbers.html"> <link title="Obj" rel="Chapter" href="Obj.html"> <link title="Oo" rel="Chapter" href="Oo.html"> <link title="Parse" rel="Chapter" href="Parse.html"> <link title="Parser" rel="Chapter" href="Parser.html"> <link title="Parsetree" rel="Chapter" href="Parsetree.html"> <link title="Parsing" rel="Chapter" href="Parsing.html"> <link title="Pervasives" rel="Chapter" href="Pervasives.html"> <link title="Pparse" rel="Chapter" href="Pparse.html"> <link title="Pprintast" rel="Chapter" href="Pprintast.html"> <link title="Printast" rel="Chapter" href="Printast.html"> <link title="Printexc" rel="Chapter" href="Printexc.html"> <link title="Printf" rel="Chapter" href="Printf.html"> <link title="Profile" rel="Chapter" href="Profile.html"> <link title="Queue" rel="Chapter" href="Queue.html"> <link title="Random" rel="Chapter" href="Random.html"> <link title="Scanf" rel="Chapter" href="Scanf.html"> <link title="Seq" rel="Chapter" href="Seq.html"> <link title="Set" rel="Chapter" href="Set.html"> <link title="Simplif" rel="Chapter" href="Simplif.html"> <link title="Sort" rel="Chapter" href="Sort.html"> <link title="Spacetime" rel="Chapter" href="Spacetime.html"> <link title="Stack" rel="Chapter" href="Stack.html"> <link title="StdLabels" rel="Chapter" href="StdLabels.html"> <link title="Str" rel="Chapter" href="Str.html"> <link title="Stream" rel="Chapter" href="Stream.html"> <link title="String" rel="Chapter" href="String.html"> <link title="StringLabels" rel="Chapter" href="StringLabels.html"> <link title="Strongly_connected_components" rel="Chapter" href="Strongly_connected_components.html"> <link title="Syntaxerr" rel="Chapter" href="Syntaxerr.html"> <link title="Sys" rel="Chapter" href="Sys.html"> <link title="Targetint" rel="Chapter" href="Targetint.html"> <link title="Tbl" rel="Chapter" href="Tbl.html"> <link title="Terminfo" rel="Chapter" href="Terminfo.html"> <link title="Thread" rel="Chapter" href="Thread.html"> <link title="ThreadUnix" rel="Chapter" href="ThreadUnix.html"> <link title="Typemod" rel="Chapter" href="Typemod.html"> <link title="Uchar" rel="Chapter" href="Uchar.html"> <link title="Unix" rel="Chapter" href="Unix.html"> <link title="UnixLabels" rel="Chapter" href="UnixLabels.html"> <link title="Warnings" rel="Chapter" href="Warnings.html"> <link title="Weak" rel="Chapter" href="Weak.html"><link title="Iterators" rel="Section" href="#6_Iterators"> <title>String</title> </head> <body> <div class="navbar"><a class="pre" href="Stream.html" title="Stream">Previous</a> <a class="up" href="index.html" title="Index">Up</a> <a class="post" href="StringLabels.html" title="StringLabels">Next</a> </div> <h1>Module <a href="type_String.html">String</a></h1> <pre><span id="MODULEString"><span class="keyword">module</span> String</span>: <code class="code"><span class="keyword">sig</span></code> <a href="String.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><div class="info module top"> <div class="info-desc"> <p>String operations.</p> <p>A string is an immutable data structure that contains a fixed-length sequence of (single-byte) characters. Each character can be accessed in constant time through its index.</p> <p>Given a string <code class="code">s</code> of length <code class="code">l</code>, we can access each of the <code class="code">l</code> characters of <code class="code">s</code> via its index in the sequence. Indexes start at <code class="code">0</code>, and we will call an index valid in <code class="code">s</code> if it falls within the range <code class="code">[0...l-1]</code> (inclusive). A position is the point between two characters or at the beginning or end of the string. We call a position valid in <code class="code">s</code> if it falls within the range <code class="code">[0...l]</code> (inclusive). Note that the character at index <code class="code">n</code> is between positions <code class="code">n</code> and <code class="code">n+1</code>.</p> <p>Two parameters <code class="code">start</code> and <code class="code">len</code> are said to designate a valid substring of <code class="code">s</code> if <code class="code">len >= 0</code> and <code class="code">start</code> and <code class="code">start+len</code> are valid positions in <code class="code">s</code>.</p> <p>OCaml strings used to be modifiable in place, for instance via the <a href="String.html#VALset"><code class="code"><span class="constructor">String</span>.set</code></a> and <a href="String.html#VALblit"><code class="code"><span class="constructor">String</span>.blit</code></a> functions described below. This usage is deprecated and only possible when the compiler is put in "unsafe-string" mode by giving the <code class="code">-unsafe-string</code> command-line option (which is currently the default for reasons of backward compatibility). This is done by making the types <code class="code">string</code> and <code class="code">bytes</code> (see module <a href="Bytes.html"><code class="code"><span class="constructor">Bytes</span></code></a>) interchangeable so that functions expecting byte sequences can also accept strings as arguments and modify them.</p> <p>All new code should avoid this feature and be compiled with the <code class="code">-safe-string</code> command-line option to enforce the separation between the types <code class="code">string</code> and <code class="code">bytes</code>.</p> </div> </div> <hr width="100%"> <pre><span id="VALlength"><span class="keyword">val</span> length</span> : <code class="type">string -> int</code></pre><div class="info "> <div class="info-desc"> <p>Return the length (number of characters) of the given string.</p> </div> </div> <pre><span id="VALget"><span class="keyword">val</span> get</span> : <code class="type">string -> int -> char</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.get s n</code> returns the character at index <code class="code">n</code> in string <code class="code">s</code>. You can also write <code class="code">s.[n]</code> instead of <code class="code"><span class="constructor">String</span>.get s n</code>.</p> <p>Raise <code class="code"><span class="constructor">Invalid_argument</span></code> if <code class="code">n</code> not a valid index in <code class="code">s</code>.</p> </div> </div> <pre><span id="VALset"><span class="keyword">val</span> set</span> : <code class="type">bytes -> int -> char -> unit</code></pre><div class="info "> <div class="info-deprecated"> <span class="warning">Deprecated.</span>This is a deprecated alias of <a href="Bytes.html#VALset"><code class="code"><span class="constructor">Bytes</span>.set</code></a>.<code class="code"> </code></div> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.set s n c</code> modifies byte sequence <code class="code">s</code> in place, replacing the byte at index <code class="code">n</code> with <code class="code">c</code>. You can also write <code class="code">s.[n] <- c</code> instead of <code class="code"><span class="constructor">String</span>.set s n c</code>.</p> <p>Raise <code class="code"><span class="constructor">Invalid_argument</span></code> if <code class="code">n</code> is not a valid index in <code class="code">s</code>.</p> </div> </div> <pre><span id="VALcreate"><span class="keyword">val</span> create</span> : <code class="type">int -> bytes</code></pre><div class="info "> <div class="info-deprecated"> <span class="warning">Deprecated.</span>This is a deprecated alias of <a href="Bytes.html#VALcreate"><code class="code"><span class="constructor">Bytes</span>.create</code></a>.<code class="code"> </code></div> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.create n</code> returns a fresh byte sequence of length <code class="code">n</code>. The sequence is uninitialized and contains arbitrary bytes.</p> <p>Raise <code class="code"><span class="constructor">Invalid_argument</span></code> if <code class="code">n < 0</code> or <code class="code">n > </code><a href="Sys.html#VALmax_string_length"><code class="code"><span class="constructor">Sys</span>.max_string_length</code></a>.</p> </div> </div> <pre><span id="VALmake"><span class="keyword">val</span> make</span> : <code class="type">int -> char -> string</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.make n c</code> returns a fresh string of length <code class="code">n</code>, filled with the character <code class="code">c</code>.</p> <p>Raise <code class="code"><span class="constructor">Invalid_argument</span></code> if <code class="code">n < 0</code> or <code class="code">n > </code><a href="Sys.html#VALmax_string_length"><code class="code"><span class="constructor">Sys</span>.max_string_length</code></a>.</p> </div> </div> <pre><span id="VALinit"><span class="keyword">val</span> init</span> : <code class="type">int -> (int -> char) -> string</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.init n f</code> returns a string of length <code class="code">n</code>, with character <code class="code">i</code> initialized to the result of <code class="code">f i</code> (called in increasing index order).</p> <p>Raise <code class="code"><span class="constructor">Invalid_argument</span></code> if <code class="code">n < 0</code> or <code class="code">n > </code><a href="Sys.html#VALmax_string_length"><code class="code"><span class="constructor">Sys</span>.max_string_length</code></a>.</p> </div> <ul class="info-attributes"> <li><b>Since</b> 4.02.0</li> </ul> </div> <pre><span id="VALcopy"><span class="keyword">val</span> copy</span> : <code class="type">string -> string</code></pre><div class="info "> <div class="info-deprecated"> <span class="warning">Deprecated.</span>Because strings are immutable, it doesn't make much sense to make identical copies of them.</div> <div class="info-desc"> <p>Return a copy of the given string.</p> </div> </div> <pre><span id="VALsub"><span class="keyword">val</span> sub</span> : <code class="type">string -> int -> int -> string</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.sub s start len</code> returns a fresh string of length <code class="code">len</code>, containing the substring of <code class="code">s</code> that starts at position <code class="code">start</code> and has length <code class="code">len</code>.</p> <p>Raise <code class="code"><span class="constructor">Invalid_argument</span></code> if <code class="code">start</code> and <code class="code">len</code> do not designate a valid substring of <code class="code">s</code>.</p> </div> </div> <pre><span id="VALfill"><span class="keyword">val</span> fill</span> : <code class="type">bytes -> int -> int -> char -> unit</code></pre><div class="info "> <div class="info-deprecated"> <span class="warning">Deprecated.</span>This is a deprecated alias of <a href="Bytes.html#VALfill"><code class="code"><span class="constructor">Bytes</span>.fill</code></a>.<code class="code"> </code></div> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.fill s start len c</code> modifies byte sequence <code class="code">s</code> in place, replacing <code class="code">len</code> bytes with <code class="code">c</code>, starting at <code class="code">start</code>.</p> <p>Raise <code class="code"><span class="constructor">Invalid_argument</span></code> if <code class="code">start</code> and <code class="code">len</code> do not designate a valid range of <code class="code">s</code>.</p> </div> </div> <pre><span id="VALblit"><span class="keyword">val</span> blit</span> : <code class="type">string -> int -> bytes -> int -> int -> unit</code></pre><div class="info "> <div class="info-desc"> <p>Same as <a href="Bytes.html#VALblit_string"><code class="code"><span class="constructor">Bytes</span>.blit_string</code></a>.</p> </div> </div> <pre><span id="VALconcat"><span class="keyword">val</span> concat</span> : <code class="type">string -> string list -> string</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.concat sep sl</code> concatenates the list of strings <code class="code">sl</code>, inserting the separator string <code class="code">sep</code> between each.</p> <p>Raise <code class="code"><span class="constructor">Invalid_argument</span></code> if the result is longer than <a href="Sys.html#VALmax_string_length"><code class="code"><span class="constructor">Sys</span>.max_string_length</code></a> bytes.</p> </div> </div> <pre><span id="VALiter"><span class="keyword">val</span> iter</span> : <code class="type">(char -> unit) -> string -> unit</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.iter f s</code> applies function <code class="code">f</code> in turn to all the characters of <code class="code">s</code>. It is equivalent to <code class="code">f s.[0]; f s.[1]; ...; f s.[<span class="constructor">String</span>.length s - 1]; ()</code>.</p> </div> </div> <pre><span id="VALiteri"><span class="keyword">val</span> iteri</span> : <code class="type">(int -> char -> unit) -> string -> unit</code></pre><div class="info "> <div class="info-desc"> <p>Same as <a href="String.html#VALiter"><code class="code"><span class="constructor">String</span>.iter</code></a>, but the function is applied to the index of the element as first argument (counting from 0), and the character itself as second argument.</p> </div> <ul class="info-attributes"> <li><b>Since</b> 4.00.0</li> </ul> </div> <pre><span id="VALmap"><span class="keyword">val</span> map</span> : <code class="type">(char -> char) -> string -> string</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.map f s</code> applies function <code class="code">f</code> in turn to all the characters of <code class="code">s</code> (in increasing index order) and stores the results in a new string that is returned.</p> </div> <ul class="info-attributes"> <li><b>Since</b> 4.00.0</li> </ul> </div> <pre><span id="VALmapi"><span class="keyword">val</span> mapi</span> : <code class="type">(int -> char -> char) -> string -> string</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.mapi f s</code> calls <code class="code">f</code> with each character of <code class="code">s</code> and its index (in increasing index order) and stores the results in a new string that is returned.</p> </div> <ul class="info-attributes"> <li><b>Since</b> 4.02.0</li> </ul> </div> <pre><span id="VALtrim"><span class="keyword">val</span> trim</span> : <code class="type">string -> string</code></pre><div class="info "> <div class="info-desc"> <p>Return a copy of the argument, without leading and trailing whitespace. The characters regarded as whitespace are: <code class="code"><span class="string">' '</span></code>, <code class="code"><span class="string">'\012'</span></code>, <code class="code"><span class="string">'\n'</span></code>, <code class="code"><span class="string">'\r'</span></code>, and <code class="code"><span class="string">'\t'</span></code>. If there is neither leading nor trailing whitespace character in the argument, return the original string itself, not a copy.</p> </div> <ul class="info-attributes"> <li><b>Since</b> 4.00.0</li> </ul> </div> <pre><span id="VALescaped"><span class="keyword">val</span> escaped</span> : <code class="type">string -> string</code></pre><div class="info "> <div class="info-desc"> <p>Return a copy of the argument, with special characters represented by escape sequences, following the lexical conventions of OCaml. All characters outside the ASCII printable range (32..126) are escaped, as well as backslash and double-quote.</p> <p>If there is no special character in the argument that needs escaping, return the original string itself, not a copy.</p> <p>Raise <code class="code"><span class="constructor">Invalid_argument</span></code> if the result is longer than <a href="Sys.html#VALmax_string_length"><code class="code"><span class="constructor">Sys</span>.max_string_length</code></a> bytes.</p> <p>The function <a href="Scanf.html#VALunescaped"><code class="code"><span class="constructor">Scanf</span>.unescaped</code></a> is a left inverse of <code class="code">escaped</code>, i.e. <code class="code"><span class="constructor">Scanf</span>.unescaped (escaped s) = s</code> for any string <code class="code">s</code> (unless <code class="code">escape s</code> fails).</p> </div> </div> <pre><span id="VALindex"><span class="keyword">val</span> index</span> : <code class="type">string -> char -> int</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.index s c</code> returns the index of the first occurrence of character <code class="code">c</code> in string <code class="code">s</code>.</p> <p>Raise <code class="code"><span class="constructor">Not_found</span></code> if <code class="code">c</code> does not occur in <code class="code">s</code>.</p> </div> </div> <pre><span id="VALindex_opt"><span class="keyword">val</span> index_opt</span> : <code class="type">string -> char -> int option</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.index_opt s c</code> returns the index of the first occurrence of character <code class="code">c</code> in string <code class="code">s</code>, or <code class="code"><span class="constructor">None</span></code> if <code class="code">c</code> does not occur in <code class="code">s</code>.</p> </div> <ul class="info-attributes"> <li><b>Since</b> 4.05</li> </ul> </div> <pre><span id="VALrindex"><span class="keyword">val</span> rindex</span> : <code class="type">string -> char -> int</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.rindex s c</code> returns the index of the last occurrence of character <code class="code">c</code> in string <code class="code">s</code>.</p> <p>Raise <code class="code"><span class="constructor">Not_found</span></code> if <code class="code">c</code> does not occur in <code class="code">s</code>.</p> </div> </div> <pre><span id="VALrindex_opt"><span class="keyword">val</span> rindex_opt</span> : <code class="type">string -> char -> int option</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.rindex_opt s c</code> returns the index of the last occurrence of character <code class="code">c</code> in string <code class="code">s</code>, or <code class="code"><span class="constructor">None</span></code> if <code class="code">c</code> does not occur in <code class="code">s</code>.</p> </div> <ul class="info-attributes"> <li><b>Since</b> 4.05</li> </ul> </div> <pre><span id="VALindex_from"><span class="keyword">val</span> index_from</span> : <code class="type">string -> int -> char -> int</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.index_from s i c</code> returns the index of the first occurrence of character <code class="code">c</code> in string <code class="code">s</code> after position <code class="code">i</code>. <code class="code"><span class="constructor">String</span>.index s c</code> is equivalent to <code class="code"><span class="constructor">String</span>.index_from s 0 c</code>.</p> <p>Raise <code class="code"><span class="constructor">Invalid_argument</span></code> if <code class="code">i</code> is not a valid position in <code class="code">s</code>. Raise <code class="code"><span class="constructor">Not_found</span></code> if <code class="code">c</code> does not occur in <code class="code">s</code> after position <code class="code">i</code>.</p> </div> </div> <pre><span id="VALindex_from_opt"><span class="keyword">val</span> index_from_opt</span> : <code class="type">string -> int -> char -> int option</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.index_from_opt s i c</code> returns the index of the first occurrence of character <code class="code">c</code> in string <code class="code">s</code> after position <code class="code">i</code> or <code class="code"><span class="constructor">None</span></code> if <code class="code">c</code> does not occur in <code class="code">s</code> after position <code class="code">i</code>.</p> <p><code class="code"><span class="constructor">String</span>.index_opt s c</code> is equivalent to <code class="code"><span class="constructor">String</span>.index_from_opt s 0 c</code>. Raise <code class="code"><span class="constructor">Invalid_argument</span></code> if <code class="code">i</code> is not a valid position in <code class="code">s</code>.</p> </div> <ul class="info-attributes"> <li><b>Since</b> 4.05</li> </ul> </div> <pre><span id="VALrindex_from"><span class="keyword">val</span> rindex_from</span> : <code class="type">string -> int -> char -> int</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.rindex_from s i c</code> returns the index of the last occurrence of character <code class="code">c</code> in string <code class="code">s</code> before position <code class="code">i+1</code>. <code class="code"><span class="constructor">String</span>.rindex s c</code> is equivalent to <code class="code"><span class="constructor">String</span>.rindex_from s (<span class="constructor">String</span>.length s - 1) c</code>.</p> <p>Raise <code class="code"><span class="constructor">Invalid_argument</span></code> if <code class="code">i+1</code> is not a valid position in <code class="code">s</code>. Raise <code class="code"><span class="constructor">Not_found</span></code> if <code class="code">c</code> does not occur in <code class="code">s</code> before position <code class="code">i+1</code>.</p> </div> </div> <pre><span id="VALrindex_from_opt"><span class="keyword">val</span> rindex_from_opt</span> : <code class="type">string -> int -> char -> int option</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.rindex_from_opt s i c</code> returns the index of the last occurrence of character <code class="code">c</code> in string <code class="code">s</code> before position <code class="code">i+1</code> or <code class="code"><span class="constructor">None</span></code> if <code class="code">c</code> does not occur in <code class="code">s</code> before position <code class="code">i+1</code>.</p> <p><code class="code"><span class="constructor">String</span>.rindex_opt s c</code> is equivalent to <code class="code"><span class="constructor">String</span>.rindex_from_opt s (<span class="constructor">String</span>.length s - 1) c</code>.</p> <p>Raise <code class="code"><span class="constructor">Invalid_argument</span></code> if <code class="code">i+1</code> is not a valid position in <code class="code">s</code>.</p> </div> <ul class="info-attributes"> <li><b>Since</b> 4.05</li> </ul> </div> <pre><span id="VALcontains"><span class="keyword">val</span> contains</span> : <code class="type">string -> char -> bool</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.contains s c</code> tests if character <code class="code">c</code> appears in the string <code class="code">s</code>.</p> </div> </div> <pre><span id="VALcontains_from"><span class="keyword">val</span> contains_from</span> : <code class="type">string -> int -> char -> bool</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.contains_from s start c</code> tests if character <code class="code">c</code> appears in <code class="code">s</code> after position <code class="code">start</code>. <code class="code"><span class="constructor">String</span>.contains s c</code> is equivalent to <code class="code"><span class="constructor">String</span>.contains_from s 0 c</code>.</p> <p>Raise <code class="code"><span class="constructor">Invalid_argument</span></code> if <code class="code">start</code> is not a valid position in <code class="code">s</code>.</p> </div> </div> <pre><span id="VALrcontains_from"><span class="keyword">val</span> rcontains_from</span> : <code class="type">string -> int -> char -> bool</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.rcontains_from s stop c</code> tests if character <code class="code">c</code> appears in <code class="code">s</code> before position <code class="code">stop+1</code>.</p> <p>Raise <code class="code"><span class="constructor">Invalid_argument</span></code> if <code class="code">stop < 0</code> or <code class="code">stop+1</code> is not a valid position in <code class="code">s</code>.</p> </div> </div> <pre><span id="VALuppercase"><span class="keyword">val</span> uppercase</span> : <code class="type">string -> string</code></pre><div class="info "> <div class="info-deprecated"> <span class="warning">Deprecated.</span>Functions operating on Latin-1 character set are deprecated.</div> <div class="info-desc"> <p>Return a copy of the argument, with all lowercase letters translated to uppercase, including accented letters of the ISO Latin-1 (8859-1) character set.</p> </div> </div> <pre><span id="VALlowercase"><span class="keyword">val</span> lowercase</span> : <code class="type">string -> string</code></pre><div class="info "> <div class="info-deprecated"> <span class="warning">Deprecated.</span>Functions operating on Latin-1 character set are deprecated.</div> <div class="info-desc"> <p>Return a copy of the argument, with all uppercase letters translated to lowercase, including accented letters of the ISO Latin-1 (8859-1) character set.</p> </div> </div> <pre><span id="VALcapitalize"><span class="keyword">val</span> capitalize</span> : <code class="type">string -> string</code></pre><div class="info "> <div class="info-deprecated"> <span class="warning">Deprecated.</span>Functions operating on Latin-1 character set are deprecated.</div> <div class="info-desc"> <p>Return a copy of the argument, with the first character set to uppercase, using the ISO Latin-1 (8859-1) character set..</p> </div> </div> <pre><span id="VALuncapitalize"><span class="keyword">val</span> uncapitalize</span> : <code class="type">string -> string</code></pre><div class="info "> <div class="info-deprecated"> <span class="warning">Deprecated.</span>Functions operating on Latin-1 character set are deprecated.</div> <div class="info-desc"> <p>Return a copy of the argument, with the first character set to lowercase, using the ISO Latin-1 (8859-1) character set..</p> </div> </div> <pre><span id="VALuppercase_ascii"><span class="keyword">val</span> uppercase_ascii</span> : <code class="type">string -> string</code></pre><div class="info "> <div class="info-desc"> <p>Return a copy of the argument, with all lowercase letters translated to uppercase, using the US-ASCII character set.</p> </div> <ul class="info-attributes"> <li><b>Since</b> 4.03.0</li> </ul> </div> <pre><span id="VALlowercase_ascii"><span class="keyword">val</span> lowercase_ascii</span> : <code class="type">string -> string</code></pre><div class="info "> <div class="info-desc"> <p>Return a copy of the argument, with all uppercase letters translated to lowercase, using the US-ASCII character set.</p> </div> <ul class="info-attributes"> <li><b>Since</b> 4.03.0</li> </ul> </div> <pre><span id="VALcapitalize_ascii"><span class="keyword">val</span> capitalize_ascii</span> : <code class="type">string -> string</code></pre><div class="info "> <div class="info-desc"> <p>Return a copy of the argument, with the first character set to uppercase, using the US-ASCII character set.</p> </div> <ul class="info-attributes"> <li><b>Since</b> 4.03.0</li> </ul> </div> <pre><span id="VALuncapitalize_ascii"><span class="keyword">val</span> uncapitalize_ascii</span> : <code class="type">string -> string</code></pre><div class="info "> <div class="info-desc"> <p>Return a copy of the argument, with the first character set to lowercase, using the US-ASCII character set.</p> </div> <ul class="info-attributes"> <li><b>Since</b> 4.03.0</li> </ul> </div> <pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> = <code class="type">string</code> </pre> <div class="info "> <div class="info-desc"> <p>An alias for the type of strings.</p> </div> </div> <pre><span id="VALcompare"><span class="keyword">val</span> compare</span> : <code class="type"><a href="String.html#TYPEt">t</a> -> <a href="String.html#TYPEt">t</a> -> int</code></pre><div class="info "> <div class="info-desc"> <p>The comparison function for strings, with the same specification as <a href="Pervasives.html#VALcompare"><code class="code">compare</code></a>. Along with the type <code class="code">t</code>, this function <code class="code">compare</code> allows the module <code class="code"><span class="constructor">String</span></code> to be passed as argument to the functors <a href="Set.Make.html"><code class="code"><span class="constructor">Set</span>.<span class="constructor">Make</span></code></a> and <a href="Map.Make.html"><code class="code"><span class="constructor">Map</span>.<span class="constructor">Make</span></code></a>.</p> </div> </div> <pre><span id="VALequal"><span class="keyword">val</span> equal</span> : <code class="type"><a href="String.html#TYPEt">t</a> -> <a href="String.html#TYPEt">t</a> -> bool</code></pre><div class="info "> <div class="info-desc"> <p>The equal function for strings.</p> </div> <ul class="info-attributes"> <li><b>Since</b> 4.03.0</li> </ul> </div> <pre><span id="VALsplit_on_char"><span class="keyword">val</span> split_on_char</span> : <code class="type">char -> string -> string list</code></pre><div class="info "> <div class="info-desc"> <p><code class="code"><span class="constructor">String</span>.split_on_char sep s</code> returns the list of all (possibly empty) substrings of <code class="code">s</code> that are delimited by the <code class="code">sep</code> character.</p> <p>The function's output is specified by the following invariants:</p> <ul> <li>The list is not empty.</li> <li>Concatenating its elements using <code class="code">sep</code> as a separator returns a string equal to the input (<code class="code"><span class="constructor">String</span>.concat (<span class="constructor">String</span>.make 1 sep)<br> (<span class="constructor">String</span>.split_on_char sep s) = s</code>).</li> <li>No string in the result contains the <code class="code">sep</code> character.</li> </ul> </div> <ul class="info-attributes"> <li><b>Since</b> 4.04.0</li> </ul> </div> <h7 id="6_Iterators">Iterators</h7> <pre><span id="VALto_seq"><span class="keyword">val</span> to_seq</span> : <code class="type"><a href="String.html#TYPEt">t</a> -> char <a href="Seq.html#TYPEt">Seq.t</a></code></pre><div class="info "> <div class="info-desc"> <p>Iterate on the string, in increasing index order. Modifications of the string during iteration will be reflected in the iterator.</p> </div> <ul class="info-attributes"> <li><b>Since</b> 4.07</li> </ul> </div> <pre><span id="VALto_seqi"><span class="keyword">val</span> to_seqi</span> : <code class="type"><a href="String.html#TYPEt">t</a> -> (int * char) <a href="Seq.html#TYPEt">Seq.t</a></code></pre><div class="info "> <div class="info-desc"> <p>Iterate on the string, in increasing order, yielding indices along chars</p> </div> <ul class="info-attributes"> <li><b>Since</b> 4.07</li> </ul> </div> <pre><span id="VALof_seq"><span class="keyword">val</span> of_seq</span> : <code class="type">char <a href="Seq.html#TYPEt">Seq.t</a> -> <a href="String.html#TYPEt">t</a></code></pre><div class="info "> <div class="info-desc"> <p>Create a string from the generator</p> </div> <ul class="info-attributes"> <li><b>Since</b> 4.07</li> </ul> </div> </body></html>