<!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="Curses.Acs.html"> <link rel="next" href="Curses.WA.html"> <link rel="Up" href="Curses.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="Curses" rel="Chapter" href="Curses.html"><title>Curses.A</title> </head> <body> <div class="navbar"><a href="Curses.Acs.html">Previous</a> <a href="Curses.html">Up</a> <a href="Curses.WA.html">Next</a> </div> <center><h1>Module <a href="type_Curses.A.html">Curses.A</a></h1></center> <br> <pre><span class="keyword">module</span> A: <code class="code">sig</code> <a href="Curses.A.html">..</a> <code class="code">end</code></pre>Attributes.<br> <hr width="100%"> <pre><span class="keyword">val</span> <a name="VALnormal"></a>normal : <code class="type">int</code></pre><div class="info"> Normal display (no highlight).<br> </div> <pre><span class="keyword">val</span> <a name="VALattributes"></a>attributes : <code class="type">int</code></pre><pre><span class="keyword">val</span> <a name="VALchartext"></a>chartext : <code class="type">int</code></pre><div class="info"> Bit-mask to extract a character.<br> </div> <pre><span class="keyword">val</span> <a name="VALcolor"></a>color : <code class="type">int</code></pre><pre><span class="keyword">val</span> <a name="VALstandout"></a>standout : <code class="type">int</code></pre><div class="info"> Best highlighting mode of the terminal.<br> </div> <pre><span class="keyword">val</span> <a name="VALunderline"></a>underline : <code class="type">int</code></pre><div class="info"> Underlining.<br> </div> <pre><span class="keyword">val</span> <a name="VALreverse"></a>reverse : <code class="type">int</code></pre><div class="info"> Reverse video.<br> </div> <pre><span class="keyword">val</span> <a name="VALblink"></a>blink : <code class="type">int</code></pre><div class="info"> Blinking.<br> </div> <pre><span class="keyword">val</span> <a name="VALdim"></a>dim : <code class="type">int</code></pre><div class="info"> Half bright.<br> </div> <pre><span class="keyword">val</span> <a name="VALbold"></a>bold : <code class="type">int</code></pre><div class="info"> Extra bright or bold.<br> </div> <pre><span class="keyword">val</span> <a name="VALaltcharset"></a>altcharset : <code class="type">int</code></pre><div class="info"> Alternate character set.<br> </div> <pre><span class="keyword">val</span> <a name="VALinvis"></a>invis : <code class="type">int</code></pre><div class="info"> Invisible or blank mode.<br> </div> <pre><span class="keyword">val</span> <a name="VALprotect"></a>protect : <code class="type">int</code></pre><div class="info"> Protected mode.<br> </div> <pre><span class="keyword">val</span> <a name="VALhorizontal"></a>horizontal : <code class="type">int</code></pre><pre><span class="keyword">val</span> <a name="VALleft"></a>left : <code class="type">int</code></pre><pre><span class="keyword">val</span> <a name="VALlow"></a>low : <code class="type">int</code></pre><pre><span class="keyword">val</span> <a name="VALright"></a>right : <code class="type">int</code></pre><pre><span class="keyword">val</span> <a name="VALtop"></a>top : <code class="type">int</code></pre><pre><span class="keyword">val</span> <a name="VALvertical"></a>vertical : <code class="type">int</code></pre><pre><span class="keyword">val</span> <a name="VALcombine"></a>combine : <code class="type">int list -> int</code></pre><pre><span class="keyword">val</span> <a name="VALcolor_pair"></a>color_pair : <code class="type">int -> int</code></pre><div class="info"> Color-pair number <code class="code">n</code>.<br> </div> <pre><span class="keyword">val</span> <a name="VALpair_number"></a>pair_number : <code class="type">int -> int</code></pre><div class="info"> Get the pair number associated with the <code class="code">color_pair n</code> attribute.<br> </div> </body></html>