Sophie

Sophie

distrib > Mageia > 4 > x86_64 > by-pkgid > cea655a7f96fc39af0681d30fa0b6aa4 > files > 23

ocaml-fieldslib-devel-109.20.00-2.mga4.x86_64.rpm

<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="Field" rel="Chapter" href="Field.html"><title>Field</title>
</head>
<body>
<code class="code"><span class="keyword">sig</span><br>
&nbsp;&nbsp;<span class="keyword">module</span>&nbsp;<span class="constructor">For_generated_code</span>&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">sig</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;(<span class="keywordsign">'</span>perm,&nbsp;<span class="keywordsign">'</span>record,&nbsp;<span class="keywordsign">'</span>field)&nbsp;t&nbsp;=&nbsp;{<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;force_variance&nbsp;:&nbsp;<span class="keywordsign">'</span>perm&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit;<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;name&nbsp;:&nbsp;string;<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;setter&nbsp;:&nbsp;(<span class="keywordsign">'</span>record&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit)&nbsp;option;<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;getter&nbsp;:&nbsp;<span class="keywordsign">'</span>record&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>field;<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;fset&nbsp;:&nbsp;<span class="keywordsign">'</span>record&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>field&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>record;<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;}<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="keyword">end</span><br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;(<span class="keywordsign">'</span>perm,&nbsp;<span class="keywordsign">'</span>record,&nbsp;<span class="keywordsign">'</span>field)&nbsp;t_with_perm&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Field</span>&nbsp;<span class="keyword">of</span>&nbsp;(<span class="keywordsign">'</span>perm,&nbsp;<span class="keywordsign">'</span>record,&nbsp;<span class="keywordsign">'</span>field)&nbsp;<span class="constructor">Field</span>.<span class="constructor">For_generated_code</span>.t<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;(<span class="keywordsign">'</span>record,&nbsp;<span class="keywordsign">'</span>field)&nbsp;t&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;([&nbsp;<span class="keywordsign">`</span><span class="constructor">Read</span>&nbsp;<span class="keywordsign">|</span>&nbsp;<span class="keywordsign">`</span><span class="constructor">Set_and_create</span>&nbsp;],&nbsp;<span class="keywordsign">'</span>record,&nbsp;<span class="keywordsign">'</span>field)&nbsp;<span class="constructor">Field</span>.t_with_perm<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;(<span class="keywordsign">'</span>record,&nbsp;<span class="keywordsign">'</span>field)&nbsp;readonly_t&nbsp;=<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;([&nbsp;<span class="keywordsign">`</span><span class="constructor">Read</span>&nbsp;],&nbsp;<span class="keywordsign">'</span>record,&nbsp;<span class="keywordsign">'</span>field)&nbsp;<span class="constructor">Field</span>.t_with_perm<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;name&nbsp;:&nbsp;(<span class="keywordsign">'</span>a,&nbsp;<span class="keywordsign">'</span>b,&nbsp;<span class="keywordsign">'</span>c)&nbsp;<span class="constructor">Field</span>.t_with_perm&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;get&nbsp;:&nbsp;(<span class="keywordsign">'</span>b,&nbsp;<span class="keywordsign">'</span>r,&nbsp;<span class="keywordsign">'</span>a)&nbsp;<span class="constructor">Field</span>.t_with_perm&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>r&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;fset&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;([&gt;&nbsp;<span class="keywordsign">`</span><span class="constructor">Set_and_create</span>&nbsp;],&nbsp;<span class="keywordsign">'</span>r,&nbsp;<span class="keywordsign">'</span>a)&nbsp;<span class="constructor">Field</span>.t_with_perm&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>r&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>r<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;setter&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;([&gt;&nbsp;<span class="keywordsign">`</span><span class="constructor">Set_and_create</span>&nbsp;],&nbsp;<span class="keywordsign">'</span>r,&nbsp;<span class="keywordsign">'</span>a)&nbsp;<span class="constructor">Field</span>.t_with_perm&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;(<span class="keywordsign">'</span>r&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>a&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit)&nbsp;option<br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;(<span class="keywordsign">'</span>perm,&nbsp;<span class="keywordsign">'</span>record,&nbsp;<span class="keywordsign">'</span>result)&nbsp;user&nbsp;=&nbsp;{<br>
&nbsp;&nbsp;&nbsp;&nbsp;f&nbsp;:&nbsp;<span class="keywordsign">'</span>field.&nbsp;(<span class="keywordsign">'</span>perm,&nbsp;<span class="keywordsign">'</span>record,&nbsp;<span class="keywordsign">'</span>field)&nbsp;<span class="constructor">Field</span>.t_with_perm&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="keywordsign">'</span>result;<br>
&nbsp;&nbsp;}<br>
<span class="keyword">end</span></code></body></html>