/usr/share/doc/libpgocaml-ocaml-dev/html/api/type_PGOCaml_aux.html is in libpgocaml-ocaml-dev 2.2-1build1.
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 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 | <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="PGOCaml" rel="Chapter" href="PGOCaml.html">
<link title="PGOCaml_aux" rel="Chapter" href="PGOCaml_aux.html">
<link title="PGOCaml_config" rel="Chapter" href="PGOCaml_config.html">
<link title="PGOCaml_generic" rel="Chapter" href="PGOCaml_generic.html"><title>PGOCaml_aux</title>
</head>
<body>
<code class="code"><span class="keyword">sig</span><br>
<span class="keyword">module</span> <span class="constructor">String</span> :<br>
<span class="keyword">sig</span><br>
<span class="keyword">external</span> length : string <span class="keywordsign">-></span> int = <span class="string">"%string_length"</span><br>
<span class="keyword">external</span> get : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char = <span class="string">"%string_safe_get"</span><br>
<span class="keyword">external</span> set : bytes <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> unit = <span class="string">"%string_safe_set"</span><br>
<span class="keyword">external</span> create : int <span class="keywordsign">-></span> bytes = <span class="string">"caml_create_string"</span><br>
<span class="keyword">val</span> make : int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> copy : string <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> sub : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> fill : bytes <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> blit : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> bytes <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> concat : string <span class="keywordsign">-></span> string list <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> iter : (char <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> iteri : (int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> map : (char <span class="keywordsign">-></span> char) <span class="keywordsign">-></span> string <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> mapi : (int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> char) <span class="keywordsign">-></span> string <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> trim : string <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> escaped : string <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> index : string <span class="keywordsign">-></span> char <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> rindex : string <span class="keywordsign">-></span> char <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> index_from : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> rindex_from : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> contains : string <span class="keywordsign">-></span> char <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> contains_from : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> rcontains_from : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> uppercase : string <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> lowercase : string <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> capitalize : string <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> uncapitalize : string <span class="keywordsign">-></span> string<br>
<span class="keyword">type</span> t = string<br>
<span class="keyword">val</span> compare : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> int<br>
<span class="keyword">external</span> unsafe_get : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char = <span class="string">"%string_unsafe_get"</span><br>
<span class="keyword">external</span> unsafe_set : bytes <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> unit<br>
= <span class="string">"%string_unsafe_set"</span><br>
<span class="keyword">external</span> unsafe_blit : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> bytes <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br>
= <span class="string">"caml_blit_string"</span> <span class="string">"noalloc"</span><br>
<span class="keyword">external</span> unsafe_fill : bytes <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> unit<br>
= <span class="string">"caml_fill_string"</span> <span class="string">"noalloc"</span><br>
<span class="keyword">val</span> starts_with : string <span class="keywordsign">-></span> string <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> join : string <span class="keywordsign">-></span> string list <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> implode : char list <span class="keywordsign">-></span> string<br>
<span class="keyword">val</span> fold_left : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> char <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> init : int <span class="keywordsign">-></span> (int <span class="keywordsign">-></span> char) <span class="keywordsign">-></span> string<br>
<span class="keyword">end</span><br>
<span class="keyword">module</span> <span class="constructor">Option</span> :<br>
<span class="keyword">sig</span><br>
<span class="keyword">val</span> default : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a option <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> get : <span class="keywordsign">'</span>a option <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> map : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a option <span class="keywordsign">-></span> <span class="keywordsign">'</span>b option<br>
<span class="keyword">end</span><br>
<span class="keyword">module</span> <span class="constructor">List</span> :<br>
<span class="keyword">sig</span><br>
<span class="keyword">val</span> length : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> hd : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> tl : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> nth : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> rev : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> append : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> rev_append : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> concat : <span class="keywordsign">'</span>a list list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> flatten : <span class="keywordsign">'</span>a list list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> iter : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> map : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list<br>
<span class="keyword">val</span> rev_map : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list<br>
<span class="keyword">val</span> fold_left : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> fold_right : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br>
<span class="keyword">val</span> iter2 : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> map2 : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>c) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> <span class="keywordsign">'</span>c list<br>
<span class="keyword">val</span> rev_map2 : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>c) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> <span class="keywordsign">'</span>c list<br>
<span class="keyword">val</span> fold_left2 :<br>
(<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>c <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> <span class="keywordsign">'</span>c list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> fold_right2 :<br>
(<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>c <span class="keywordsign">-></span> <span class="keywordsign">'</span>c) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> <span class="keywordsign">'</span>c <span class="keywordsign">-></span> <span class="keywordsign">'</span>c<br>
<span class="keyword">val</span> for_all : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> exists : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> for_all2 : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> exists2 : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> mem : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> memq : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> find : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br>
<span class="keyword">val</span> filter : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> find_all : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> partition : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list * <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> assoc : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br>
<span class="keyword">val</span> assq : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br>
<span class="keyword">val</span> mem_assoc : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> mem_assq : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list <span class="keywordsign">-></span> bool<br>
<span class="keyword">val</span> remove_assoc : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list<br>
<span class="keyword">val</span> remove_assq : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list<br>
<span class="keyword">val</span> split : (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list * <span class="keywordsign">'</span>b list<br>
<span class="keyword">val</span> combine : <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a * <span class="keywordsign">'</span>b) list<br>
<span class="keyword">val</span> sort : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> int) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> stable_sort : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> int) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> fast_sort : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> int) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> sort_uniq : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> int) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> merge : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> int) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br>
<span class="keyword">val</span> iteri : (int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> unit<br>
<span class="keyword">val</span> mapi : (int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list<br>
<span class="keyword">end</span><br>
<span class="keyword">end</span></code></body></html>
|