<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 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> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">val</span> bool : <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> int : <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> float : <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> string : <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> regexp : <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> log_level :<br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> bool_list :<br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> int_list :<br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> float_list :<br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> string_list :<br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> int_in_range :<br> int * int <span class="keywordsign">-></span><br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> int_greater_than :<br> int <span class="keywordsign">-></span> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> int_less_than :<br> int <span class="keywordsign">-></span> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> float_in_range :<br> float * float <span class="keywordsign">-></span><br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> float_greater_than :<br> float <span class="keywordsign">-></span> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> float_less_than :<br> float <span class="keywordsign">-></span> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> string_matching :<br> string <span class="keywordsign">-></span> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> int_in :<br> int list <span class="keywordsign">-></span><br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> string_in :<br> string list <span class="keywordsign">-></span><br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> existing_file :<br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> nonempty_file :<br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> file_with_mode :<br> <span class="constructor">Unix</span>.file_perm <span class="keywordsign">-></span><br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> file_with_owner :<br> string <span class="keywordsign">-></span> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> file_with_group :<br> string <span class="keywordsign">-></span> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> existing_directory :<br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> existing_dirname :<br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> block_device :<br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> character_device :<br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> symbolic_link :<br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> named_pipe :<br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> unix_socket :<br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> existing_user :<br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> unprivileged_user :<br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> existing_group :<br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">val</span> list_of :<br> <span class="constructor">Release_config_values</span>.validation <span class="keywordsign">-></span><br> <span class="constructor">Release_config_values</span>.value <span class="keywordsign">-></span> [ <span class="keywordsign">`</span><span class="constructor">Invalid</span> <span class="keyword">of</span> string <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Valid</span> ]<br> <span class="keyword">end</span></code></body></html>