<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link rel="previous" href="Release_config_values.html"> <link rel="Up" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Release_config" rel="Chapter" href="Release_config.html"> <link title="Release_config_lexer" rel="Chapter" href="Release_config_lexer.html"> <link title="Release_config_parser" rel="Chapter" href="Release_config_parser.html"> <link title="Release_config_global" rel="Chapter" href="Release_config_global.html"> <link title="Release_config_values" rel="Chapter" href="Release_config_values.html"> <link title="Release_config_validations" rel="Chapter" href="Release_config_validations.html"><title>Release_config_validations</title> </head> <body> <div class="navbar"><a class="pre" href="Release_config_values.html" title="Release_config_values">Previous</a> <a class="up" href="index.html" title="Index">Up</a> </div> <h1>Module <a href="type_Release_config_validations.html">Release_config_validations</a></h1> <pre><span class="keyword">module</span> Release_config_validations: <code class="code">sig</code> <a href="Release_config_validations.html">..</a> <code class="code">end</code></pre><div class="info module top"> This module provides validation helpers to be used in <a href="Release_config.html"><code class="code">Release_config</code></a> specifications.<br> </div> <hr width="100%"> <pre><span id="VALbool"><span class="keyword">val</span> bool</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a boolean.<br> </div> <pre><span id="VALint"><span class="keyword">val</span> int</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is an integer.<br> </div> <pre><span id="VALfloat"><span class="keyword">val</span> float</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a float.<br> </div> <pre><span id="VALstring"><span class="keyword">val</span> string</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a string.<br> </div> <pre><span id="VALregexp"><span class="keyword">val</span> regexp</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a regular expression.<br> </div> <pre><span id="VALlog_level"><span class="keyword">val</span> log_level</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a log level.<br> </div> <pre><span id="VALbool_list"><span class="keyword">val</span> bool_list</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a list of boolean values.<br> </div> <pre><span id="VALint_list"><span class="keyword">val</span> int_list</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a list of integer values.<br> </div> <pre><span id="VALfloat_list"><span class="keyword">val</span> float_list</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a list of float values.<br> </div> <pre><span id="VALstring_list"><span class="keyword">val</span> string_list</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a list of string values.<br> </div> <pre><span id="VALint_in_range"><span class="keyword">val</span> int_in_range</span> : <code class="type">int * int -> <a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is an integer in the inclusive range defined by the given tuple.<br> </div> <pre><span id="VALint_greater_than"><span class="keyword">val</span> int_greater_than</span> : <code class="type">int -> <a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is an integer greater than the given argument.<br> </div> <pre><span id="VALint_less_than"><span class="keyword">val</span> int_less_than</span> : <code class="type">int -> <a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is an integer less than the given argument.<br> </div> <pre><span id="VALfloat_in_range"><span class="keyword">val</span> float_in_range</span> : <code class="type">float * float -><br> <a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a float in the inclusive range defined by the given tuple.<br> </div> <pre><span id="VALfloat_greater_than"><span class="keyword">val</span> float_greater_than</span> : <code class="type">float -> <a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a float greater than the given argument..<br> </div> <pre><span id="VALfloat_less_than"><span class="keyword">val</span> float_less_than</span> : <code class="type">float -> <a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a float less than the given argument.<br> </div> <pre><span id="VALstring_matching"><span class="keyword">val</span> string_matching</span> : <code class="type">string -> <a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a string matching the regular expression given as a string. The regular expression is created by calling <code class="code">Str.regexp</code> on the first argument.<br> </div> <pre><span id="VALint_in"><span class="keyword">val</span> int_in</span> : <code class="type">int list -> <a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is equal to one of the integers in the given list.<br> </div> <pre><span id="VALstring_in"><span class="keyword">val</span> string_in</span> : <code class="type">string list -> <a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is equal to one of the strings in the given list.<br> </div> <pre><span id="VALexisting_file"><span class="keyword">val</span> existing_file</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is an existing file.<br> </div> <pre><span id="VALnonempty_file"><span class="keyword">val</span> nonempty_file</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a file whose size is nonzero.<br> </div> <pre><span id="VALfile_with_mode"><span class="keyword">val</span> file_with_mode</span> : <code class="type">Unix.file_perm -><br> <a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a file with the given mode.<br> </div> <pre><span id="VALfile_with_owner"><span class="keyword">val</span> file_with_owner</span> : <code class="type">string -> <a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a file with the given owner.<br> </div> <pre><span id="VALfile_with_group"><span class="keyword">val</span> file_with_group</span> : <code class="type">string -> <a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a file with the given group.<br> </div> <pre><span id="VALexisting_directory"><span class="keyword">val</span> existing_directory</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is an existing directory.<br> </div> <pre><span id="VALexisting_dirname"><span class="keyword">val</span> existing_dirname</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a path whose directory name (as in <code class="code">dirname(3)</code>) exists.<br> </div> <pre><span id="VALblock_device"><span class="keyword">val</span> block_device</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a block device.<br> </div> <pre><span id="VALcharacter_device"><span class="keyword">val</span> character_device</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a character device.<br> </div> <pre><span id="VALsymbolic_link"><span class="keyword">val</span> symbolic_link</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a symbolic link.<br> </div> <pre><span id="VALnamed_pipe"><span class="keyword">val</span> named_pipe</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a named pipe.<br> </div> <pre><span id="VALunix_socket"><span class="keyword">val</span> unix_socket</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a unix socket.<br> </div> <pre><span id="VALexisting_user"><span class="keyword">val</span> existing_user</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is an exiting user.<br> </div> <pre><span id="VALunprivileged_user"><span class="keyword">val</span> unprivileged_user</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a non-root user.<br> </div> <pre><span id="VALexisting_group"><span class="keyword">val</span> existing_group</span> : <code class="type"><a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is an existing group.<br> </div> <pre><span id="VALlist_of"><span class="keyword">val</span> list_of</span> : <code class="type"><a href="Release_config_values.html#TYPEvalidation">Release_config_values.validation</a> -><br> <a href="Release_config_values.html#TYPEvalue">Release_config_values.value</a> -> [ `Invalid of string | `Valid ]</code></pre><div class="info "> The value is a list whose elements must pass the given validation.<br> </div> </body></html>