<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_values</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> value =<br> [ <span class="keywordsign">`</span><span class="constructor">Bool</span> <span class="keyword">of</span> bool<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Float</span> <span class="keyword">of</span> float<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Int</span> <span class="keyword">of</span> int<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">List</span> <span class="keyword">of</span> <span class="constructor">Release_config_values</span>.value list<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Log_level</span> <span class="keyword">of</span> <span class="constructor">Lwt_log</span>.level<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Regexp</span> <span class="keyword">of</span> <span class="constructor">Str</span>.regexp<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Str</span> <span class="keyword">of</span> string ]<br> <span class="keyword">type</span> validation =<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_value : [> <span class="keywordsign">`</span><span class="constructor">Bool</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a ] <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> int_value : [> <span class="keywordsign">`</span><span class="constructor">Int</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a ] <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> float_value : [> <span class="keywordsign">`</span><span class="constructor">Float</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a ] <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> string_value : [> <span class="keywordsign">`</span><span class="constructor">Str</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a ] <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> regexp_value : [> <span class="keywordsign">`</span><span class="constructor">Regexp</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a ] <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> log_level_value : [> <span class="keywordsign">`</span><span class="constructor">Log_level</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a ] <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> list_value : string <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><span class="constructor">List</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a list ] <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list<br> <span class="keyword">val</span> bool_list_value : [> <span class="keywordsign">`</span><span class="constructor">List</span> <span class="keyword">of</span> [> <span class="keywordsign">`</span><span class="constructor">Bool</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a ] list ] <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> int_list_value : [> <span class="keywordsign">`</span><span class="constructor">List</span> <span class="keyword">of</span> [> <span class="keywordsign">`</span><span class="constructor">Int</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a ] list ] <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> float_list_value : [> <span class="keywordsign">`</span><span class="constructor">List</span> <span class="keyword">of</span> [> <span class="keywordsign">`</span><span class="constructor">Float</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a ] list ] <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> string_list_value : [> <span class="keywordsign">`</span><span class="constructor">List</span> <span class="keyword">of</span> [> <span class="keywordsign">`</span><span class="constructor">Str</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a ] list ] <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> log_level_list_value :<br> [> <span class="keywordsign">`</span><span class="constructor">List</span> <span class="keyword">of</span> [> <span class="keywordsign">`</span><span class="constructor">Log_level</span> <span class="keyword">of</span> <span class="keywordsign">'</span>a ] list ] <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list<br> <span class="keyword">val</span> default_bool : bool <span class="keywordsign">-></span> [> <span class="keywordsign">`</span><span class="constructor">Bool</span> <span class="keyword">of</span> bool ] option<br> <span class="keyword">val</span> default_int : int <span class="keywordsign">-></span> [> <span class="keywordsign">`</span><span class="constructor">Int</span> <span class="keyword">of</span> int ] option<br> <span class="keyword">val</span> default_float : float <span class="keywordsign">-></span> [> <span class="keywordsign">`</span><span class="constructor">Float</span> <span class="keyword">of</span> float ] option<br> <span class="keyword">val</span> default_string : string <span class="keywordsign">-></span> [> <span class="keywordsign">`</span><span class="constructor">Str</span> <span class="keyword">of</span> string ] option<br> <span class="keyword">val</span> default_regexp : <span class="constructor">Str</span>.regexp <span class="keywordsign">-></span> [> <span class="keywordsign">`</span><span class="constructor">Regexp</span> <span class="keyword">of</span> <span class="constructor">Str</span>.regexp ] option<br> <span class="keyword">val</span> default_log_level :<br> <span class="constructor">Lwt_log</span>.level <span class="keywordsign">-></span> [> <span class="keywordsign">`</span><span class="constructor">Log_level</span> <span class="keyword">of</span> <span class="constructor">Lwt_log</span>.level ] option<br> <span class="keyword">val</span> default_bool_list :<br> bool list <span class="keywordsign">-></span> [> <span class="keywordsign">`</span><span class="constructor">List</span> <span class="keyword">of</span> [> <span class="keywordsign">`</span><span class="constructor">Bool</span> <span class="keyword">of</span> bool ] list ] option<br> <span class="keyword">val</span> default_int_list :<br> int list <span class="keywordsign">-></span> [> <span class="keywordsign">`</span><span class="constructor">List</span> <span class="keyword">of</span> [> <span class="keywordsign">`</span><span class="constructor">Int</span> <span class="keyword">of</span> int ] list ] option<br> <span class="keyword">val</span> default_float_list :<br> float list <span class="keywordsign">-></span> [> <span class="keywordsign">`</span><span class="constructor">List</span> <span class="keyword">of</span> [> <span class="keywordsign">`</span><span class="constructor">Float</span> <span class="keyword">of</span> float ] list ] option<br> <span class="keyword">val</span> default_string_list :<br> string list <span class="keywordsign">-></span> [> <span class="keywordsign">`</span><span class="constructor">List</span> <span class="keyword">of</span> [> <span class="keywordsign">`</span><span class="constructor">Str</span> <span class="keyword">of</span> string ] list ] option<br> <span class="keyword">end</span></code></body></html>