mirror of
https://github.com/c-cube/ocaml-containers.git
synced 2025-12-06 03:05:28 -05:00
2 lines
No EOL
49 KiB
HTML
2 lines
No EOL
49 KiB
HTML
<!DOCTYPE html>
|
||
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>CCString (containers.CCString)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../index.html">containers</a> » CCString</nav><h1>Module <code>CCString</code></h1><h2 id="basic-string-utils"><a href="#basic-string-utils" class="anchor"></a>Basic String Utils</h2><nav class="toc"><ul><li><a href="#conversions">Conversions</a></li><li><a href="#operations-on-2-strings">Operations on 2 strings</a></li><li><a href="#ascii-functions">Ascii functions</a></li><li><a href="#finding">Finding</a></li><li><a href="#splitting">Splitting</a></li><li><a href="#utils">Utils</a></li><li><a href="#infix-operators">Infix operators</a></li></ul></nav></header><dl><dt class="spec type" id="type-iter"><a href="#type-iter" class="anchor"></a><code><span class="keyword">type</span> <span>'a iter</span></code><code> = <span>(<span class="type-var">'a</span> <span>-></span> unit)</span> <span>-></span> unit</code></dt><dd><p>Fast internal iterator.</p><dl><dt>since</dt><dd>2.8</dd></dl></dd></dl><dl><dt class="spec type" id="type-gen"><a href="#type-gen" class="anchor"></a><code><span class="keyword">type</span> <span>'a gen</span></code><code> = unit <span>-></span> <span><span class="type-var">'a</span> option</span></code></dt></dl><div><div class="spec include"><div class="doc"><p><a href="https://caml.inria.fr/pub/docs/manual-ocaml/libref/String.html">Documentation for the standard String module</a></p><details open="open"><summary><span class="def"><code><span class="keyword">include</span> <span class="keyword">module</span> <span class="keyword">type</span> <span class="keyword">of</span> <span class="keyword">sig</span> ... <span class="keyword">end</span></code></span></summary><dl><dt class="spec external" id="val-length"><a href="#val-length" class="anchor"></a><code><span class="keyword">val</span> length : string <span>-></span> int</code></dt><dt class="spec external" id="val-get"><a href="#val-get" class="anchor"></a><code><span class="keyword">val</span> get : string <span>-></span> int <span>-></span> char</code></dt><dt class="spec external" id="val-set"><a href="#val-set" class="anchor"></a><code><span class="keyword">val</span> set : bytes <span>-></span> int <span>-></span> char <span>-></span> unit</code></dt><dt class="spec external" id="val-create"><a href="#val-create" class="anchor"></a><code><span class="keyword">val</span> create : int <span>-></span> bytes</code></dt></dl><dl><dt class="spec value" id="val-make"><a href="#val-make" class="anchor"></a><code><span class="keyword">val</span> make : int <span>-></span> char <span>-></span> string</code></dt><dt class="spec value" id="val-init"><a href="#val-init" class="anchor"></a><code><span class="keyword">val</span> init : int <span>-></span> <span>(int <span>-></span> char)</span> <span>-></span> string</code></dt><dt class="spec value" id="val-copy"><a href="#val-copy" class="anchor"></a><code><span class="keyword">val</span> copy : string <span>-></span> string</code></dt><dt class="spec value" id="val-sub"><a href="#val-sub" class="anchor"></a><code><span class="keyword">val</span> sub : string <span>-></span> int <span>-></span> int <span>-></span> string</code></dt><dt class="spec value" id="val-fill"><a href="#val-fill" class="anchor"></a><code><span class="keyword">val</span> fill : bytes <span>-></span> int <span>-></span> int <span>-></span> char <span>-></span> unit</code></dt><dt class="spec value" id="val-blit"><a href="#val-blit" class="anchor"></a><code><span class="keyword">val</span> blit : string <span>-></span> int <span>-></span> bytes <span>-></span> int <span>-></span> int <span>-></span> unit</code></dt><dt class="spec value" id="val-concat"><a href="#val-concat" class="anchor"></a><code><span class="keyword">val</span> concat : string <span>-></span> <span>string list</span> <span>-></span> string</code></dt><dt class="spec value" id="val-iter"><a href="#val-iter" class="anchor"></a><code><span class="keyword">val</span> iter : <span>(char <span>-></span> unit)</span> <span>-></span> string <span>-></span> unit</code></dt><dt class="spec value" id="val-iteri"><a href="#val-iteri" class="anchor"></a><code><span class="keyword">val</span> iteri : <span>(int <span>-></span> char <span>-></span> unit)</span> <span>-></span> string <span>-></span> unit</code></dt><dt class="spec value" id="val-map"><a href="#val-map" class="anchor"></a><code><span class="keyword">val</span> map : <span>(char <span>-></span> char)</span> <span>-></span> string <span>-></span> string</code></dt><dt class="spec value" id="val-mapi"><a href="#val-mapi" class="anchor"></a><code><span class="keyword">val</span> mapi : <span>(int <span>-></span> char <span>-></span> char)</span> <span>-></span> string <span>-></span> string</code></dt><dt class="spec value" id="val-trim"><a href="#val-trim" class="anchor"></a><code><span class="keyword">val</span> trim : string <span>-></span> string</code></dt><dt class="spec value" id="val-escaped"><a href="#val-escaped" class="anchor"></a><code><span class="keyword">val</span> escaped : string <span>-></span> string</code></dt><dt class="spec value" id="val-index"><a href="#val-index" class="anchor"></a><code><span class="keyword">val</span> index : string <span>-></span> char <span>-></span> int</code></dt><dt class="spec value" id="val-index_opt"><a href="#val-index_opt" class="anchor"></a><code><span class="keyword">val</span> index_opt : string <span>-></span> char <span>-></span> <span>int option</span></code></dt><dt class="spec value" id="val-rindex"><a href="#val-rindex" class="anchor"></a><code><span class="keyword">val</span> rindex : string <span>-></span> char <span>-></span> int</code></dt><dt class="spec value" id="val-rindex_opt"><a href="#val-rindex_opt" class="anchor"></a><code><span class="keyword">val</span> rindex_opt : string <span>-></span> char <span>-></span> <span>int option</span></code></dt><dt class="spec value" id="val-index_from"><a href="#val-index_from" class="anchor"></a><code><span class="keyword">val</span> index_from : string <span>-></span> int <span>-></span> char <span>-></span> int</code></dt><dt class="spec value" id="val-index_from_opt"><a href="#val-index_from_opt" class="anchor"></a><code><span class="keyword">val</span> index_from_opt : string <span>-></span> int <span>-></span> char <span>-></span> <span>int option</span></code></dt><dt class="spec value" id="val-rindex_from"><a href="#val-rindex_from" class="anchor"></a><code><span class="keyword">val</span> rindex_from : string <span>-></span> int <span>-></span> char <span>-></span> int</code></dt><dt class="spec value" id="val-rindex_from_opt"><a href="#val-rindex_from_opt" class="anchor"></a><code><span class="keyword">val</span> rindex_from_opt : string <span>-></span> int <span>-></span> char <span>-></span> <span>int option</span></code></dt><dt class="spec value" id="val-contains"><a href="#val-contains" class="anchor"></a><code><span class="keyword">val</span> contains : string <span>-></span> char <span>-></span> bool</code></dt><dt class="spec value" id="val-contains_from"><a href="#val-contains_from" class="anchor"></a><code><span class="keyword">val</span> contains_from : string <span>-></span> int <span>-></span> char <span>-></span> bool</code></dt><dt class="spec value" id="val-rcontains_from"><a href="#val-rcontains_from" class="anchor"></a><code><span class="keyword">val</span> rcontains_from : string <span>-></span> int <span>-></span> char <span>-></span> bool</code></dt><dt class="spec value" id="val-uppercase"><a href="#val-uppercase" class="anchor"></a><code><span class="keyword">val</span> uppercase : string <span>-></span> string</code></dt><dt class="spec value" id="val-lowercase"><a href="#val-lowercase" class="anchor"></a><code><span class="keyword">val</span> lowercase : string <span>-></span> string</code></dt><dt class="spec value" id="val-capitalize"><a href="#val-capitalize" class="anchor"></a><code><span class="keyword">val</span> capitalize : string <span>-></span> string</code></dt><dt class="spec value" id="val-uncapitalize"><a href="#val-uncapitalize" class="anchor"></a><code><span class="keyword">val</span> uncapitalize : string <span>-></span> string</code></dt><dt class="spec value" id="val-uppercase_ascii"><a href="#val-uppercase_ascii" class="anchor"></a><code><span class="keyword">val</span> uppercase_ascii : string <span>-></span> string</code></dt><dt class="spec value" id="val-lowercase_ascii"><a href="#val-lowercase_ascii" class="anchor"></a><code><span class="keyword">val</span> lowercase_ascii : string <span>-></span> string</code></dt><dt class="spec value" id="val-capitalize_ascii"><a href="#val-capitalize_ascii" class="anchor"></a><code><span class="keyword">val</span> capitalize_ascii : string <span>-></span> string</code></dt><dt class="spec value" id="val-uncapitalize_ascii"><a href="#val-uncapitalize_ascii" class="anchor"></a><code><span class="keyword">val</span> uncapitalize_ascii : string <span>-></span> string</code></dt></dl><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = string</code></dt></dl><dl><dt class="spec value" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span class="keyword">val</span> compare : <a href="index.html#type-t">t</a> <span>-></span> <a href="index.html#type-t">t</a> <span>-></span> int</code></dt><dt class="spec value" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span class="keyword">val</span> equal : <a href="index.html#type-t">t</a> <span>-></span> <a href="index.html#type-t">t</a> <span>-></span> bool</code></dt><dt class="spec value" id="val-split_on_char"><a href="#val-split_on_char" class="anchor"></a><code><span class="keyword">val</span> split_on_char : char <span>-></span> string <span>-></span> <span>string list</span></code></dt><dt class="spec value" id="val-to_seq"><a href="#val-to_seq" class="anchor"></a><code><span class="keyword">val</span> to_seq : <a href="index.html#type-t">t</a> <span>-></span> <span>char Stdlib.Seq.t</span></code></dt><dt class="spec value" id="val-to_seqi"><a href="#val-to_seqi" class="anchor"></a><code><span class="keyword">val</span> to_seqi : <a href="index.html#type-t">t</a> <span>-></span> <span><span>(int * char)</span> Stdlib.Seq.t</span></code></dt><dt class="spec value" id="val-of_seq"><a href="#val-of_seq" class="anchor"></a><code><span class="keyword">val</span> of_seq : <span>char Stdlib.Seq.t</span> <span>-></span> <a href="index.html#type-t">t</a></code></dt></dl><dl><dt class="spec external" id="val-unsafe_get"><a href="#val-unsafe_get" class="anchor"></a><code><span class="keyword">val</span> unsafe_get : string <span>-></span> int <span>-></span> char</code></dt><dt class="spec external" id="val-unsafe_set"><a href="#val-unsafe_set" class="anchor"></a><code><span class="keyword">val</span> unsafe_set : bytes <span>-></span> int <span>-></span> char <span>-></span> unit</code></dt><dt class="spec external" id="val-unsafe_blit"><a href="#val-unsafe_blit" class="anchor"></a><code><span class="keyword">val</span> unsafe_blit : string <span>-></span> int <span>-></span> bytes <span>-></span> int <span>-></span> int <span>-></span> unit</code></dt><dt class="spec external" id="val-unsafe_fill"><a href="#val-unsafe_fill" class="anchor"></a><code><span class="keyword">val</span> unsafe_fill : bytes <span>-></span> int <span>-></span> int <span>-></span> char <span>-></span> unit</code></dt></dl></details></div></div></div><dl><dt class="spec value" id="val-length"><a href="#val-length" class="anchor"></a><code><span class="keyword">val</span> length : <a href="index.html#type-t">t</a> <span>-></span> int</code></dt><dd><p><code>length s</code> returns the length (number of characters) of the given string <code>s</code>.</p></dd></dl><dl><dt class="spec value" id="val-blit"><a href="#val-blit" class="anchor"></a><code><span class="keyword">val</span> blit : <a href="index.html#type-t">t</a> <span>-></span> int <span>-></span> Stdlib.Bytes.t <span>-></span> int <span>-></span> int <span>-></span> unit</code></dt><dd><p><code>blit src src_pos dst dst_pos len</code> copies <code>len</code> characters from string <code>src</code> starting at character indice <code>src_pos</code>, to the Bytes sequence <code>dst</code> starting at character indice <code>dst_pos</code>. Like <span class="xref-unresolved" title="unresolved reference to "String.blit""><code>String</code>.blit</span>. Compatible with the <code>-safe-string</code> option.</p><dl><dt>raises Invalid_argument</dt><dd><p>if indices are not valid.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-fold"><a href="#val-fold" class="anchor"></a><code><span class="keyword">val</span> fold : <span>(<span class="type-var">'a</span> <span>-></span> char <span>-></span> <span class="type-var">'a</span>)</span> <span>-></span> <span class="type-var">'a</span> <span>-></span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span></code></dt><dd><p><code>fold f init s</code> folds on chars by increasing index. Computes <code>f(… (f (f init s.[0]) s.[1]) …) s.[n-1]</code>.</p><dl><dt>since</dt><dd>0.7</dd></dl></dd></dl><dl><dt class="spec value" id="val-foldi"><a href="#val-foldi" class="anchor"></a><code><span class="keyword">val</span> foldi : <span>(<span class="type-var">'a</span> <span>-></span> int <span>-></span> char <span>-></span> <span class="type-var">'a</span>)</span> <span>-></span> <span class="type-var">'a</span> <span>-></span> <a href="index.html#type-t">t</a> <span>-></span> <span class="type-var">'a</span></code></dt><dd><p><code>foldi f init s</code> is just like <a href="index.html#val-fold"><code>fold</code></a>, but it also passes in the index of each chars as second argument to the folded function <code>f</code>.</p><dl><dt>since</dt><dd>NEXT_RELEASE</dd></dl></dd></dl><section><header><h3 id="conversions"><a href="#conversions" class="anchor"></a>Conversions</h3></header><dl><dt class="spec value" id="val-to_gen"><a href="#val-to_gen" class="anchor"></a><code><span class="keyword">val</span> to_gen : <a href="index.html#type-t">t</a> <span>-></span> <span>char <a href="index.html#type-gen">gen</a></span></code></dt><dd><p><code>to_gen s</code> returns the <code>gen</code> of characters contained in the string <code>s</code>.</p></dd></dl><dl><dt class="spec value" id="val-to_iter"><a href="#val-to_iter" class="anchor"></a><code><span class="keyword">val</span> to_iter : <a href="index.html#type-t">t</a> <span>-></span> <span>char <a href="index.html#type-iter">iter</a></span></code></dt><dd><p><code>to_iter s</code> returns the <code>iter</code> of characters contained in the string <code>s</code>.</p><dl><dt>since</dt><dd>2.8</dd></dl></dd></dl><dl><dt class="spec value" id="val-to_seq"><a href="#val-to_seq" class="anchor"></a><code><span class="keyword">val</span> to_seq : <a href="index.html#type-t">t</a> <span>-></span> <span>char Stdlib.Seq.t</span></code></dt><dd><p><code>to_seq s</code> returns the <code>Seq.t</code> of characters contained in the string <code>s</code>. Renamed from <code>to std_seq</code> since 3.0.</p><dl><dt>since</dt><dd>3.0</dd></dl></dd></dl><dl><dt class="spec value" id="val-to_list"><a href="#val-to_list" class="anchor"></a><code><span class="keyword">val</span> to_list : <a href="index.html#type-t">t</a> <span>-></span> <span>char list</span></code></dt><dd><p><code>to_list s</code> returns the <code>list</code> of characters contained in the string <code>s</code>.</p></dd></dl><dl><dt class="spec value" id="val-pp_buf"><a href="#val-pp_buf" class="anchor"></a><code><span class="keyword">val</span> pp_buf : Stdlib.Buffer.t <span>-></span> <a href="index.html#type-t">t</a> <span>-></span> unit</code></dt><dd><p><code>pp_buf buf s</code> prints <code>s</code> to the buffer <code>buf</code>. Renamed from <code>pp</code> since 2.0.</p></dd></dl><dl><dt class="spec value" id="val-pp"><a href="#val-pp" class="anchor"></a><code><span class="keyword">val</span> pp : Stdlib.Format.formatter <span>-></span> <a href="index.html#type-t">t</a> <span>-></span> unit</code></dt><dd><p><code>pp f s</code> prints the string <code>s</code> within quotes to the formatter <code>f</code>. Renamed from <code>print</code> since 2.0.</p></dd></dl><dl><dt class="spec value" id="val-compare"><a href="#val-compare" class="anchor"></a><code><span class="keyword">val</span> compare : string <span>-></span> string <span>-></span> int</code></dt><dd><p><code>compare s1 s2</code> compares the strings <code>s1</code> and <code>s2</code> and returns an integer that indicates their relative position in the sort order.</p></dd></dl><dl><dt class="spec value" id="val-is_empty"><a href="#val-is_empty" class="anchor"></a><code><span class="keyword">val</span> is_empty : string <span>-></span> bool</code></dt><dd><p><code>is_empty s</code> returns <code>true</code> iff <code>s</code> is empty (i.e. its length is 0).</p><dl><dt>since</dt><dd>1.5</dd></dl></dd></dl><dl><dt class="spec value" id="val-hash"><a href="#val-hash" class="anchor"></a><code><span class="keyword">val</span> hash : string <span>-></span> int</code></dt><dd><p><code>hash s</code> returns the hash value of <code>s</code>.</p></dd></dl><dl><dt class="spec value" id="val-rev"><a href="#val-rev" class="anchor"></a><code><span class="keyword">val</span> rev : string <span>-></span> string</code></dt><dd><p><code>rev s</code> returns the reverse of <code>s</code>.</p><dl><dt>since</dt><dd>0.17</dd></dl></dd></dl><dl><dt class="spec value" id="val-pad"><a href="#val-pad" class="anchor"></a><code><span class="keyword">val</span> pad : <span>?⁠side:<span>[ `Left <span>| `Right</span> ]</span></span> <span>-></span> <span>?⁠c:char</span> <span>-></span> int <span>-></span> string <span>-></span> string</code></dt><dd><p><code>pad ~side ~c n s</code> ensures that the string <code>s</code> is at least <code>n</code> bytes long, and pads it on the <code>side</code> with <code>c</code> if it's not the case.</p><dl><dt>parameter side</dt><dd><p>determines where padding occurs (default: <code>`Left</code>).</p></dd></dl><dl><dt>parameter c</dt><dd><p>the char used to pad (default: ' ').</p></dd></dl><dl><dt>since</dt><dd>0.17</dd></dl></dd></dl><dl><dt class="spec value" id="val-of_char"><a href="#val-of_char" class="anchor"></a><code><span class="keyword">val</span> of_char : char <span>-></span> string</code></dt><dd><p><code>of_char 'a'</code> is <code>"a"</code>.</p><dl><dt>since</dt><dd>0.19</dd></dl></dd></dl><dl><dt class="spec value" id="val-of_gen"><a href="#val-of_gen" class="anchor"></a><code><span class="keyword">val</span> of_gen : <span>char <a href="index.html#type-gen">gen</a></span> <span>-></span> string</code></dt><dd><p><code>of_gen gen</code> converts a <code>gen</code> of characters to a string.</p></dd></dl><dl><dt class="spec value" id="val-of_iter"><a href="#val-of_iter" class="anchor"></a><code><span class="keyword">val</span> of_iter : <span>char <a href="index.html#type-iter">iter</a></span> <span>-></span> string</code></dt><dd><p><code>of_iter iter</code> converts an <code>iter</code> of characters to a string.</p><dl><dt>since</dt><dd>2.8</dd></dl></dd></dl><dl><dt class="spec value" id="val-of_seq"><a href="#val-of_seq" class="anchor"></a><code><span class="keyword">val</span> of_seq : <span>char Stdlib.Seq.t</span> <span>-></span> string</code></dt><dd><p><code>of_seq seq</code> converts a <code>seq</code> of characters to a string. Renamed from <code>of_std_seq</code> since 3.0.</p><dl><dt>since</dt><dd>3.0</dd></dl></dd></dl><dl><dt class="spec value" id="val-of_list"><a href="#val-of_list" class="anchor"></a><code><span class="keyword">val</span> of_list : <span>char list</span> <span>-></span> string</code></dt><dd><p><code>of_list lc</code> converts a list of characters <code>lc</code> to a string.</p></dd></dl><dl><dt class="spec value" id="val-of_array"><a href="#val-of_array" class="anchor"></a><code><span class="keyword">val</span> of_array : <span>char array</span> <span>-></span> string</code></dt><dd><p><code>of_array ac</code> converts an array of characters <code>ac</code> to a string.</p></dd></dl><dl><dt class="spec value" id="val-to_array"><a href="#val-to_array" class="anchor"></a><code><span class="keyword">val</span> to_array : string <span>-></span> <span>char array</span></code></dt><dd><p><code>to_array s</code> returns the array of characters contained in the string <code>s</code>.</p></dd></dl><dl><dt class="spec value" id="val-find"><a href="#val-find" class="anchor"></a><code><span class="keyword">val</span> find : <span>?⁠start:int</span> <span>-></span> <span>sub:string</span> <span>-></span> string <span>-></span> int</code></dt><dd><p><code>find ~start ~sub s</code> returns the starting index of the first occurrence of <code>sub</code> within <code>s</code> or <code>-1</code>.</p><dl><dt>parameter start</dt><dd><p>starting position in <code>s</code>.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-find_all"><a href="#val-find_all" class="anchor"></a><code><span class="keyword">val</span> find_all : <span>?⁠start:int</span> <span>-></span> <span>sub:string</span> <span>-></span> string <span>-></span> <span>int <a href="index.html#type-gen">gen</a></span></code></dt><dd><p><code>find_all ~start ~sub s</code> finds all occurrences of <code>sub</code> in <code>s</code>, even overlapping instances and returns them in a generator <code>gen</code>.</p><dl><dt>parameter start</dt><dd><p>starting position in <code>s</code>.</p></dd></dl><dl><dt>since</dt><dd>0.17</dd></dl></dd></dl><dl><dt class="spec value" id="val-find_all_l"><a href="#val-find_all_l" class="anchor"></a><code><span class="keyword">val</span> find_all_l : <span>?⁠start:int</span> <span>-></span> <span>sub:string</span> <span>-></span> string <span>-></span> <span>int list</span></code></dt><dd><p><code>find_all_l ~sub s</code> finds all occurrences of <code>sub</code> in <code>s</code> and returns them in a list.</p><dl><dt>parameter start</dt><dd><p>starting position in <code>s</code>.</p></dd></dl><dl><dt>since</dt><dd>0.17</dd></dl></dd></dl><dl><dt class="spec value" id="val-mem"><a href="#val-mem" class="anchor"></a><code><span class="keyword">val</span> mem : <span>?⁠start:int</span> <span>-></span> <span>sub:string</span> <span>-></span> string <span>-></span> bool</code></dt><dd><p><code>mem ~start ~sub s</code> is <code>true</code> iff <code>sub</code> is a substring of <code>s</code>.</p><dl><dt>since</dt><dd>0.12</dd></dl></dd></dl><dl><dt class="spec value" id="val-rfind"><a href="#val-rfind" class="anchor"></a><code><span class="keyword">val</span> rfind : <span>sub:string</span> <span>-></span> string <span>-></span> int</code></dt><dd><p><code>rfind ~sub s</code> finds <code>sub</code> in string <code>s</code> from the right, returns its first index or <code>-1</code>. Should only be used with very small <code>sub</code>.</p><dl><dt>since</dt><dd>0.12</dd></dl></dd></dl><dl><dt class="spec value" id="val-replace"><a href="#val-replace" class="anchor"></a><code><span class="keyword">val</span> replace : <span>?⁠which:<span>[ `Left <span>| `Right</span> <span>| `All</span> ]</span></span> <span>-></span> <span>sub:string</span> <span>-></span> <span>by:string</span> <span>-></span> string <span>-></span> string</code></dt><dd><p><code>replace ~which ~sub ~by s</code> replaces some occurrences of <code>sub</code> by <code>by</code> in <code>s</code>.</p><dl><dt>parameter which</dt><dd><p>decides whether the occurrences to replace are:</p><ul><li><code>`Left</code> first occurrence from the left (beginning).</li><li><code>`Right</code> first occurrence from the right (end).</li><li><code>`All</code> all occurrences (default).</li></ul></dd></dl><dl><dt>raises Invalid_argument</dt><dd><p>if <code>sub = ""</code>.</p></dd></dl><dl><dt>since</dt><dd>0.14</dd></dl></dd></dl><dl><dt class="spec value" id="val-is_sub"><a href="#val-is_sub" class="anchor"></a><code><span class="keyword">val</span> is_sub : <span>sub:string</span> <span>-></span> int <span>-></span> string <span>-></span> int <span>-></span> <span>sub_len:int</span> <span>-></span> bool</code></dt><dd><p><code>is_sub ~sub ~sub_pos s ~pos ~sub_len</code> returns <code>true</code> iff the substring of <code>sub</code> starting at position <code>sub_pos</code> and of length <code>sub_len</code> is a substring of <code>s</code> starting at position <code>pos</code>.</p></dd></dl><dl><dt class="spec value" id="val-repeat"><a href="#val-repeat" class="anchor"></a><code><span class="keyword">val</span> repeat : string <span>-></span> int <span>-></span> string</code></dt><dd><p><code>repeat s n</code> creates a string by repeating the string <code>s</code> <code>n</code> times.</p></dd></dl><dl><dt class="spec value" id="val-prefix"><a href="#val-prefix" class="anchor"></a><code><span class="keyword">val</span> prefix : <span>pre:string</span> <span>-></span> string <span>-></span> bool</code></dt><dd><p><code>prefix ~pre s</code> returns <code>true</code> iff <code>pre</code> is a prefix of <code>s</code>.</p></dd></dl><dl><dt class="spec value" id="val-suffix"><a href="#val-suffix" class="anchor"></a><code><span class="keyword">val</span> suffix : <span>suf:string</span> <span>-></span> string <span>-></span> bool</code></dt><dd><p><code>suffix ~suf s</code> returns <code>true</code> iff <code>suf</code> is a suffix of <code>s</code>.</p><dl><dt>since</dt><dd>0.7</dd></dl></dd></dl><dl><dt class="spec value" id="val-chop_prefix"><a href="#val-chop_prefix" class="anchor"></a><code><span class="keyword">val</span> chop_prefix : <span>pre:string</span> <span>-></span> string <span>-></span> <span>string option</span></code></dt><dd><p><code>chop_prefix ~pre s</code> removes <code>pre</code> from <code>s</code> if <code>pre</code> really is a prefix of <code>s</code>, returns <code>None</code> otherwise.</p><dl><dt>since</dt><dd>0.17</dd></dl></dd></dl><dl><dt class="spec value" id="val-chop_suffix"><a href="#val-chop_suffix" class="anchor"></a><code><span class="keyword">val</span> chop_suffix : <span>suf:string</span> <span>-></span> string <span>-></span> <span>string option</span></code></dt><dd><p><code>chop_suffix ~suf s</code> removes <code>suf</code> from <code>s</code> if <code>suf</code> really is a suffix of <code>s</code>, returns <code>None</code> otherwise.</p><dl><dt>since</dt><dd>0.17</dd></dl></dd></dl><dl><dt class="spec value" id="val-take"><a href="#val-take" class="anchor"></a><code><span class="keyword">val</span> take : int <span>-></span> string <span>-></span> string</code></dt><dd><p><code>take n s</code> keeps only the <code>n</code> first chars of <code>s</code>.</p><dl><dt>since</dt><dd>0.17</dd></dl></dd></dl><dl><dt class="spec value" id="val-drop"><a href="#val-drop" class="anchor"></a><code><span class="keyword">val</span> drop : int <span>-></span> string <span>-></span> string</code></dt><dd><p><code>drop n s</code> removes the <code>n</code> first chars of <code>s</code>.</p><dl><dt>since</dt><dd>0.17</dd></dl></dd></dl><dl><dt class="spec value" id="val-take_drop"><a href="#val-take_drop" class="anchor"></a><code><span class="keyword">val</span> take_drop : int <span>-></span> string <span>-></span> string * string</code></dt><dd><p><code>take_drop n s</code> is <code>take n s, drop n s</code>.</p><dl><dt>since</dt><dd>0.17</dd></dl></dd></dl><dl><dt class="spec value" id="val-lines"><a href="#val-lines" class="anchor"></a><code><span class="keyword">val</span> lines : string <span>-></span> <span>string list</span></code></dt><dd><p><code>lines s</code> returns a list of the lines of <code>s</code> (splits along '\n').</p><dl><dt>since</dt><dd>0.10</dd></dl></dd></dl><dl><dt class="spec value" id="val-lines_gen"><a href="#val-lines_gen" class="anchor"></a><code><span class="keyword">val</span> lines_gen : string <span>-></span> <span>string <a href="index.html#type-gen">gen</a></span></code></dt><dd><p><code>lines_gen s</code> returns the <code>gen</code> of the lines of <code>s</code> (splits along '\n').</p><dl><dt>since</dt><dd>0.10</dd></dl></dd></dl><dl><dt class="spec value" id="val-lines_iter"><a href="#val-lines_iter" class="anchor"></a><code><span class="keyword">val</span> lines_iter : string <span>-></span> <span>string <a href="index.html#type-iter">iter</a></span></code></dt><dd><p><code>lines_iter s</code> returns the <code>iter</code> of the lines of <code>s</code> (splits along '\n').</p><dl><dt>since</dt><dd>3.2</dd></dl></dd></dl><dl><dt class="spec value" id="val-lines_seq"><a href="#val-lines_seq" class="anchor"></a><code><span class="keyword">val</span> lines_seq : string <span>-></span> <span>string Stdlib.Seq.t</span></code></dt><dd><p><code>lines_seq s</code> returns the <code>Seq.t</code> of the lines of <code>s</code> (splits along '\n').</p><dl><dt>since</dt><dd>3.2</dd></dl></dd></dl><dl><dt class="spec value" id="val-concat_gen"><a href="#val-concat_gen" class="anchor"></a><code><span class="keyword">val</span> concat_gen : <span>sep:string</span> <span>-></span> <span>string <a href="index.html#type-gen">gen</a></span> <span>-></span> string</code></dt><dd><p><code>concat_gen ~sep gen</code> concatenates all strings of <code>gen</code>, separated with <code>sep</code>.</p><dl><dt>since</dt><dd>0.10</dd></dl></dd></dl><dl><dt class="spec value" id="val-concat_seq"><a href="#val-concat_seq" class="anchor"></a><code><span class="keyword">val</span> concat_seq : <span>sep:string</span> <span>-></span> <span>string Stdlib.Seq.t</span> <span>-></span> string</code></dt><dd><p><code>concat_seq ~sep seq</code> concatenates all strings of <code>seq</code>, separated with <code>sep</code>.</p><dl><dt>since</dt><dd>3.2</dd></dl></dd></dl><dl><dt class="spec value" id="val-concat_iter"><a href="#val-concat_iter" class="anchor"></a><code><span class="keyword">val</span> concat_iter : <span>sep:string</span> <span>-></span> <span>string <a href="index.html#type-iter">iter</a></span> <span>-></span> string</code></dt><dd><p><code>concat_iter ~sep iter</code> concatenates all strings of <code>iter</code>, separated with <code>sep</code>.</p><dl><dt>since</dt><dd>3.2</dd></dl></dd></dl><dl><dt class="spec value" id="val-unlines"><a href="#val-unlines" class="anchor"></a><code><span class="keyword">val</span> unlines : <span>string list</span> <span>-></span> string</code></dt><dd><p><code>unlines ls</code> concatenates all strings of <code>ls</code>, separated with '\n'.</p><dl><dt>since</dt><dd>0.10</dd></dl></dd></dl><dl><dt class="spec value" id="val-unlines_gen"><a href="#val-unlines_gen" class="anchor"></a><code><span class="keyword">val</span> unlines_gen : <span>string <a href="index.html#type-gen">gen</a></span> <span>-></span> string</code></dt><dd><p><code>unlines_gen gen</code> concatenates all strings of <code>gen</code>, separated with '\n'.</p><dl><dt>since</dt><dd>0.10</dd></dl></dd></dl><dl><dt class="spec value" id="val-unlines_iter"><a href="#val-unlines_iter" class="anchor"></a><code><span class="keyword">val</span> unlines_iter : <span>string <a href="index.html#type-iter">iter</a></span> <span>-></span> string</code></dt><dd><p><code>unlines_iter iter</code> concatenates all strings of <code>iter</code>, separated with '\n'.</p><dl><dt>since</dt><dd>3.2</dd></dl></dd></dl><dl><dt class="spec value" id="val-unlines_seq"><a href="#val-unlines_seq" class="anchor"></a><code><span class="keyword">val</span> unlines_seq : <span>string Stdlib.Seq.t</span> <span>-></span> string</code></dt><dd><p><code>unlines_seq seq</code> concatenates all strings of <code>seq</code>, separated with '\n'.</p><dl><dt>since</dt><dd>3.2</dd></dl></dd></dl><dl><dt class="spec value" id="val-set"><a href="#val-set" class="anchor"></a><code><span class="keyword">val</span> set : string <span>-></span> int <span>-></span> char <span>-></span> string</code></dt><dd><p><code>set s i c</code> creates a new string which is a copy of <code>s</code>, except for index <code>i</code>, which becomes <code>c</code>.</p><dl><dt>raises Invalid_argument</dt><dd><p>if <code>i</code> is an invalid index.</p></dd></dl><dl><dt>since</dt><dd>0.12</dd></dl></dd></dl><dl><dt class="spec value" id="val-iter"><a href="#val-iter" class="anchor"></a><code><span class="keyword">val</span> iter : <span>(char <span>-></span> unit)</span> <span>-></span> string <span>-></span> unit</code></dt><dd><p><code>iter f s</code> applies function <code>f</code> on each character of <code>s</code>. Alias to <span class="xref-unresolved" title="unresolved reference to "String.iter""><code>String</code>.iter</span>.</p><dl><dt>since</dt><dd>0.12</dd></dl></dd></dl><dl><dt class="spec value" id="val-filter_map"><a href="#val-filter_map" class="anchor"></a><code><span class="keyword">val</span> filter_map : <span>(char <span>-></span> <span>char option</span>)</span> <span>-></span> string <span>-></span> string</code></dt><dd><p><code>filter_map f s</code> calls <code>(f a0) (f a1) … (f an)</code> where <code>a0 … an</code> are the characters of s. It returns the string of characters <code>ci</code> such as <code>f ai = Some ci</code> (when <code>f</code> returns <code>None</code>, the corresponding element of <code>s</code> is discarded).</p><dl><dt>since</dt><dd>0.17</dd></dl></dd></dl><dl><dt class="spec value" id="val-filter"><a href="#val-filter" class="anchor"></a><code><span class="keyword">val</span> filter : <span>(char <span>-></span> bool)</span> <span>-></span> string <span>-></span> string</code></dt><dd><p><code>filter f s</code> discards characters of <code>s</code> not satisfying <code>f</code>.</p><dl><dt>since</dt><dd>0.17</dd></dl></dd></dl><dl><dt class="spec value" id="val-flat_map"><a href="#val-flat_map" class="anchor"></a><code><span class="keyword">val</span> flat_map : <span>?⁠sep:string</span> <span>-></span> <span>(char <span>-></span> string)</span> <span>-></span> string <span>-></span> string</code></dt><dd><p><code>flat_map ~sep f s</code> maps each chars of <code>s</code> to a string, then concatenates them all.</p><dl><dt>parameter sep</dt><dd><p>optional separator between each generated string.</p></dd></dl><dl><dt>since</dt><dd>0.12</dd></dl></dd></dl><dl><dt class="spec value" id="val-for_all"><a href="#val-for_all" class="anchor"></a><code><span class="keyword">val</span> for_all : <span>(char <span>-></span> bool)</span> <span>-></span> string <span>-></span> bool</code></dt><dd><p><code>for_all f s</code> is <code>true</code> iff all characters of <code>s</code> satisfy the predicate <code>f</code>.</p><dl><dt>since</dt><dd>0.12</dd></dl></dd></dl><dl><dt class="spec value" id="val-exists"><a href="#val-exists" class="anchor"></a><code><span class="keyword">val</span> exists : <span>(char <span>-></span> bool)</span> <span>-></span> string <span>-></span> bool</code></dt><dd><p><code>exists f s</code> is <code>true</code> iff some character of <code>s</code> satisfy the predicate <code>f</code>.</p><dl><dt>since</dt><dd>0.12</dd></dl></dd></dl><dl><dt class="spec value" id="val-drop_while"><a href="#val-drop_while" class="anchor"></a><code><span class="keyword">val</span> drop_while : <span>(char <span>-></span> bool)</span> <span>-></span> <a href="index.html#type-t">t</a> <span>-></span> <a href="index.html#type-t">t</a></code></dt><dd><p><code>drop_while f s</code> discards any characters of <code>s</code> starting from the left, up to the first character <code>c</code> not satisfying <code>f c</code>.</p><dl><dt>since</dt><dd>2.2</dd></dl></dd></dl><dl><dt class="spec value" id="val-rdrop_while"><a href="#val-rdrop_while" class="anchor"></a><code><span class="keyword">val</span> rdrop_while : <span>(char <span>-></span> bool)</span> <span>-></span> <a href="index.html#type-t">t</a> <span>-></span> <a href="index.html#type-t">t</a></code></dt><dd><p><code>rdrop_while f s</code> discards any characters of <code>s</code> starting from the right, up to the first character <code>c</code> not satisfying <code>f c</code>.</p><dl><dt>since</dt><dd>2.2</dd></dl></dd></dl><dl><dt class="spec value" id="val-ltrim"><a href="#val-ltrim" class="anchor"></a><code><span class="keyword">val</span> ltrim : <a href="index.html#type-t">t</a> <span>-></span> <a href="index.html#type-t">t</a></code></dt><dd><p><code>ltrim s</code> trims space on the left (see <span class="xref-unresolved" title="unresolved reference to "String.trim""><code>String</code>.trim</span> for more details).</p><dl><dt>since</dt><dd>1.2</dd></dl></dd></dl><dl><dt class="spec value" id="val-rtrim"><a href="#val-rtrim" class="anchor"></a><code><span class="keyword">val</span> rtrim : <a href="index.html#type-t">t</a> <span>-></span> <a href="index.html#type-t">t</a></code></dt><dd><p><code>rtrim s</code> trims space on the right (see <span class="xref-unresolved" title="unresolved reference to "String.trim""><code>String</code>.trim</span> for more details).</p><dl><dt>since</dt><dd>1.2</dd></dl></dd></dl></section><section><header><h3 id="operations-on-2-strings"><a href="#operations-on-2-strings" class="anchor"></a>Operations on 2 strings</h3></header><dl><dt class="spec value" id="val-map2"><a href="#val-map2" class="anchor"></a><code><span class="keyword">val</span> map2 : <span>(char <span>-></span> char <span>-></span> char)</span> <span>-></span> string <span>-></span> string <span>-></span> string</code></dt><dd><p><code>map2 f s1 s2</code> maps pairs of chars.</p><dl><dt>raises Invalid_argument</dt><dd><p>if the strings have not the same length.</p></dd></dl><dl><dt>since</dt><dd>0.12</dd></dl></dd></dl><dl><dt class="spec value" id="val-iter2"><a href="#val-iter2" class="anchor"></a><code><span class="keyword">val</span> iter2 : <span>(char <span>-></span> char <span>-></span> unit)</span> <span>-></span> string <span>-></span> string <span>-></span> unit</code></dt><dd><p><code>iter2 f s1 s2</code> iterates on pairs of chars.</p><dl><dt>raises Invalid_argument</dt><dd><p>if the strings have not the same length.</p></dd></dl><dl><dt>since</dt><dd>0.12</dd></dl></dd></dl><dl><dt class="spec value" id="val-iteri2"><a href="#val-iteri2" class="anchor"></a><code><span class="keyword">val</span> iteri2 : <span>(int <span>-></span> char <span>-></span> char <span>-></span> unit)</span> <span>-></span> string <span>-></span> string <span>-></span> unit</code></dt><dd><p><code>iteri2 f s1 s2</code> iterates on pairs of chars with their index.</p><dl><dt>raises Invalid_argument</dt><dd><p>if the strings have not the same length.</p></dd></dl><dl><dt>since</dt><dd>0.12</dd></dl></dd></dl><dl><dt class="spec value" id="val-fold2"><a href="#val-fold2" class="anchor"></a><code><span class="keyword">val</span> fold2 : <span>(<span class="type-var">'a</span> <span>-></span> char <span>-></span> char <span>-></span> <span class="type-var">'a</span>)</span> <span>-></span> <span class="type-var">'a</span> <span>-></span> string <span>-></span> string <span>-></span> <span class="type-var">'a</span></code></dt><dd><p><code>fold2 f init s1 s2</code> folds on pairs of chars.</p><dl><dt>raises Invalid_argument</dt><dd><p>if the strings have not the same length.</p></dd></dl><dl><dt>since</dt><dd>0.12</dd></dl></dd></dl><dl><dt class="spec value" id="val-for_all2"><a href="#val-for_all2" class="anchor"></a><code><span class="keyword">val</span> for_all2 : <span>(char <span>-></span> char <span>-></span> bool)</span> <span>-></span> string <span>-></span> string <span>-></span> bool</code></dt><dd><p><code>for_all2 f s1 s2</code> returns <code>true</code> iff all pairs of chars satisfy the predicate <code>f</code>.</p><dl><dt>raises Invalid_argument</dt><dd><p>if the strings have not the same length.</p></dd></dl><dl><dt>since</dt><dd>0.12</dd></dl></dd></dl><dl><dt class="spec value" id="val-exists2"><a href="#val-exists2" class="anchor"></a><code><span class="keyword">val</span> exists2 : <span>(char <span>-></span> char <span>-></span> bool)</span> <span>-></span> string <span>-></span> string <span>-></span> bool</code></dt><dd><p><code>exists2 f s1 s2</code> returns <code>true</code> iff a pair of chars satisfy the predicate <code>f</code>.</p><dl><dt>raises Invalid_argument</dt><dd><p>if the strings have not the same length.</p></dd></dl><dl><dt>since</dt><dd>0.12</dd></dl></dd></dl></section><section><header><h3 id="ascii-functions"><a href="#ascii-functions" class="anchor"></a>Ascii functions</h3><p>Those functions are deprecated in <code>String</code> since 4.03, so we provide a stable alias for them even in older versions.</p></header><dl><dt class="spec value" id="val-equal_caseless"><a href="#val-equal_caseless" class="anchor"></a><code><span class="keyword">val</span> equal_caseless : string <span>-></span> string <span>-></span> bool</code></dt><dd><p><code>equal_caseless s1 s2</code> compares <code>s1</code> and <code>s2</code> without respect to <b>ascii</b> lowercase.</p><dl><dt>since</dt><dd>1.2</dd></dl></dd></dl></section><section><header><h3 id="finding"><a href="#finding" class="anchor"></a>Finding</h3><p>A relatively efficient algorithm for finding sub-strings.</p><dl><dt>since</dt><dd>1.0</dd></dl></header><div class="spec module" id="module-Find"><a href="#module-Find" class="anchor"></a><code><span class="keyword">module</span> <a href="Find/index.html">Find</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div></section><section><header><h3 id="splitting"><a href="#splitting" class="anchor"></a>Splitting</h3></header><div class="spec module" id="module-Split"><a href="#module-Split" class="anchor"></a><code><span class="keyword">module</span> <a href="Split/index.html">Split</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><dl><dt class="spec value" id="val-split_on_char"><a href="#val-split_on_char" class="anchor"></a><code><span class="keyword">val</span> split_on_char : char <span>-></span> string <span>-></span> <span>string list</span></code></dt><dd><p><code>split_on_char by s</code> splits the string <code>s</code> along the given char <code>by</code>.</p><dl><dt>since</dt><dd>1.2</dd></dl></dd></dl><dl><dt class="spec value" id="val-split"><a href="#val-split" class="anchor"></a><code><span class="keyword">val</span> split : <span>by:string</span> <span>-></span> string <span>-></span> <span>string list</span></code></dt><dd><p><code>split ~by s</code> splits the string <code>s</code> along the given string <code>by</code>. Alias to <a href="Split/index.html#val-list_cpy"><code>Split.list_cpy</code></a>.</p><dl><dt>since</dt><dd>1.2</dd></dl></dd></dl></section><section><header><h3 id="utils"><a href="#utils" class="anchor"></a>Utils</h3></header><dl><dt class="spec value" id="val-compare_versions"><a href="#val-compare_versions" class="anchor"></a><code><span class="keyword">val</span> compare_versions : string <span>-></span> string <span>-></span> int</code></dt><dd><p><code>compare_versions s1 s2</code> compares <i>version strings</i> <code>s1</code> and <code>s2</code>, considering that numbers are above text.</p><dl><dt>since</dt><dd>0.13</dd></dl></dd></dl><dl><dt class="spec value" id="val-compare_natural"><a href="#val-compare_natural" class="anchor"></a><code><span class="keyword">val</span> compare_natural : string <span>-></span> string <span>-></span> int</code></dt><dd><p><code>compare_natural s1 s2</code> is the Natural Sort Order, comparing chunks of digits as natural numbers. https://en.wikipedia.org/wiki/Natural_sort_order</p><dl><dt>since</dt><dd>1.3</dd></dl></dd></dl><dl><dt class="spec value" id="val-edit_distance"><a href="#val-edit_distance" class="anchor"></a><code><span class="keyword">val</span> edit_distance : <span>?⁠cutoff:int</span> <span>-></span> string <span>-></span> string <span>-></span> int</code></dt><dd><p><code>edit_distance ~cutoff s1 s2</code> is the edition distance between the two strings <code>s1</code> and <code>s2</code>. This satisfies the classical distance axioms: it is always positive, symmetric, and satisfies the formula <code>distance s1 s2 + distance s2 s3 >= distance s1 s3</code>.</p><dl><dt>parameter cutoff</dt><dd><p>if provided, it's a cap on both the number of iterations, and on the result. (since 3.0). This is useful if you just want to check whether the edit distance is less or equal than 2 (use cutoff of 3).</p></dd></dl></dd></dl></section><section><header><h3 id="infix-operators"><a href="#infix-operators" class="anchor"></a>Infix operators</h3><dl><dt>since</dt><dd>3.0</dd></dl></header><div class="spec module" id="module-Infix"><a href="#module-Infix" class="anchor"></a><code><span class="keyword">module</span> <a href="Infix/index.html">Infix</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><div><div class="spec include"><div class="doc"><details open="open"><summary><span class="def"><code><span class="keyword">include</span> <span class="keyword">module</span> <span class="keyword">type</span> <span class="keyword">of</span> <a href="index.html#module-Infix">Infix</a></code></span></summary><dl><dt class="spec value" id="val-(=)"><a href="#val-(=)" class="anchor"></a><code><span class="keyword">val</span> (=) : <a href="index.html#type-t">t</a> <span>-></span> <a href="index.html#type-t">t</a> <span>-></span> bool</code></dt><dd><dl><dt>since</dt><dd>3.0</dd></dl></dd></dl><dl><dt class="spec value" id="val-(<>)"><a href="#val-(<>)" class="anchor"></a><code><span class="keyword">val</span> (<>) : <a href="index.html#type-t">t</a> <span>-></span> <a href="index.html#type-t">t</a> <span>-></span> bool</code></dt><dd><dl><dt>since</dt><dd>3.0</dd></dl></dd></dl><dl><dt class="spec value" id="val-(<)"><a href="#val-(<)" class="anchor"></a><code><span class="keyword">val</span> (<) : <a href="index.html#type-t">t</a> <span>-></span> <a href="index.html#type-t">t</a> <span>-></span> bool</code></dt><dd><dl><dt>since</dt><dd>3.0</dd></dl></dd></dl><dl><dt class="spec value" id="val-(<=)"><a href="#val-(<=)" class="anchor"></a><code><span class="keyword">val</span> (<=) : <a href="index.html#type-t">t</a> <span>-></span> <a href="index.html#type-t">t</a> <span>-></span> bool</code></dt><dd><dl><dt>since</dt><dd>3.0</dd></dl></dd></dl><dl><dt class="spec value" id="val-(>=)"><a href="#val-(>=)" class="anchor"></a><code><span class="keyword">val</span> (>=) : <a href="index.html#type-t">t</a> <span>-></span> <a href="index.html#type-t">t</a> <span>-></span> bool</code></dt><dd><dl><dt>since</dt><dd>3.0</dd></dl></dd></dl><dl><dt class="spec value" id="val-(>)"><a href="#val-(>)" class="anchor"></a><code><span class="keyword">val</span> (>) : <a href="index.html#type-t">t</a> <span>-></span> <a href="index.html#type-t">t</a> <span>-></span> bool</code></dt><dd><dl><dt>since</dt><dd>3.0</dd></dl></dd></dl></details></div></div></div></section></div></body></html> |