/usr/share/doc/libghc-glut-doc/html/mini_Graphics-UI-GLUT-State.html

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>Graphics.UI.GLUT.State</title><link href="ocean.css" rel="stylesheet" type="text/css" title="Ocean" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();};
//]]>
</script></head><body id="mini"><div id="module-header"><p class="caption">Graphics.UI.GLUT.State</p></div><div id="interface"><h1>State of all windows
</h1><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:windowBorderWidth" target="main">windowBorderWidth</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:windowHeaderHeight" target="main">windowHeaderHeight</a></p></div><h1>State of the <em>current window</em>
</h1><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:rgba" target="main">rgba</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Graphics-UI-GLUT-State.html#t:BufferDepth" target="main">BufferDepth</a> </p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:rgbaBufferDepths" target="main">rgbaBufferDepths</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:colorBufferDepth" target="main">colorBufferDepth</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:doubleBuffered" target="main">doubleBuffered</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:stereo" target="main">stereo</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:accumBufferDepths" target="main">accumBufferDepths</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:depthBufferDepth" target="main">depthBufferDepth</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:stencilBufferDepth" target="main">stencilBufferDepth</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Graphics-UI-GLUT-State.html#t:SampleCount" target="main">SampleCount</a> </p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:sampleCount" target="main">sampleCount</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:formatID" target="main">formatID</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:fullScreenMode" target="main">fullScreenMode</a></p></div><h1>GLUT state pertaining to the layers of the <em>current window</em>
</h1><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:damaged" target="main">damaged</a></p></div><h1>Timing
</h1><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:elapsedTime" target="main">elapsedTime</a></p></div><h1>Device information
</h1><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:screenSize" target="main">screenSize</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:screenSizeMM" target="main">screenSizeMM</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:hasKeyboard" target="main">hasKeyboard</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Graphics-UI-GLUT-State.html#t:ButtonCount" target="main">ButtonCount</a> </p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:numMouseButtons" target="main">numMouseButtons</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:numSpaceballButtons" target="main">numSpaceballButtons</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Graphics-UI-GLUT-State.html#t:DialCount" target="main">DialCount</a> </p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:numDialsAndButtons" target="main">numDialsAndButtons</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:numTabletButtons" target="main">numTabletButtons</a></p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Graphics-UI-GLUT-State.html#t:AxisCount" target="main">AxisCount</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Graphics-UI-GLUT-State.html#t:PollRate" target="main">PollRate</a> </p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:joystickInfo" target="main">joystickInfo</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:supportedNumAuxBuffers" target="main">supportedNumAuxBuffers</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:supportedSamplesPerPixel" target="main">supportedSamplesPerPixel</a></p></div><h1>GLUT information
</h1><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:glutVersion" target="main">glutVersion</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLUT-State.html#v:initState" target="main">initState</a></p></div></div></body></html>
libghc-glut-doc 2.4.0.0-1 / usr / share / doc / libghc-glut-doc / html / mini_Graphics-UI-GLUT-State.html
