/usr/share/doc/libghc-glfw-doc/html/mini_Graphics-UI-GLFW.html is in libghc-glfw-doc 0.5.0.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 | <!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.GLFW</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.GLFW</p></div><div id="interface"><h1>Data types
</h1><div class="top"><p class="src"><span class="keyword">type</span> <a href="Graphics-UI-GLFW.html#t:Version" target="main">Version</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:DisplayBits" target="main">DisplayBits</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:WindowMode" target="main">WindowMode</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:VideoMode" target="main">VideoMode</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:KeyButtonState" target="main">KeyButtonState</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:Key" target="main">Key</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:SpecialKey" target="main">SpecialKey</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:MouseButton" target="main">MouseButton</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:Joystick" target="main">Joystick</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:JoystickParam" target="main">JoystickParam</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:SpecialFeature" target="main">SpecialFeature</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:TextureFlag" target="main">TextureFlag</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:BitmapFont" target="main">BitmapFont</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Graphics-UI-GLFW.html#t:WindowCloseCallback" target="main">WindowCloseCallback</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Graphics-UI-GLFW.html#t:WindowSizeCallback" target="main">WindowSizeCallback</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Graphics-UI-GLFW.html#t:WindowRefreshCallback" target="main">WindowRefreshCallback</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Graphics-UI-GLFW.html#t:KeyCallback" target="main">KeyCallback</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Graphics-UI-GLFW.html#t:CharCallback" target="main">CharCallback</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Graphics-UI-GLFW.html#t:MouseButtonCallback" target="main">MouseButtonCallback</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Graphics-UI-GLFW.html#t:MousePosCallback" target="main">MousePosCallback</a> </p></div><div class="top"><p class="src"><span class="keyword">type</span> <a href="Graphics-UI-GLFW.html#t:MouseWheelCallback" target="main">MouseWheelCallback</a> </p></div><h1>Initialization and Termination
</h1><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:initialize" target="main">initialize</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:terminate" target="main">terminate</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:version" target="main">version</a></p></div><h1>Window Handling
</h1><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:openWindow" target="main">openWindow</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:windowTitle" target="main">windowTitle</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:windowSize" target="main">windowSize</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:windowPos" target="main">windowPos</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:swapInterval" target="main">swapInterval</a></p></div><h1>Video Modes
</h1><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:videoModes" target="main">videoModes</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:desktopMode" target="main">desktopMode</a></p></div><h1>Input Handling
</h1><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:getKey" target="main">getKey</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:getMouseButton" target="main">getMouseButton</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:mousePos" target="main">mousePos</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:mouseWheel" target="main">mouseWheel</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:joystickParam" target="main">joystickParam</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:joystickPos" target="main">joystickPos</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:joystickPos-39-" target="main">joystickPos'</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:joystickButtons" target="main">joystickButtons</a></p></div><h1>Callbacks
</h1><h2>Window callbacks
</h2><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:windowSizeCallback" target="main">windowSizeCallback</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:windowCloseCallback" target="main">windowCloseCallback</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:windowRefreshCallback" target="main">windowRefreshCallback</a></p></div><h2>Input callbacks
</h2><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:keyCallback" target="main">keyCallback</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:charCallback" target="main">charCallback</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:mouseButtonCallback" target="main">mouseButtonCallback</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:mousePosCallback" target="main">mousePosCallback</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:mouseWheelCallback" target="main">mouseWheelCallback</a></p></div><h1>Timing
</h1><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:time" target="main">time</a></p></div><h1>OpenGL Extension Support
</h1><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:extensionSupported" target="main">extensionSupported</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:glVersion" target="main">glVersion</a></p></div><h1>Texture loading
</h1><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:loadTexture2D" target="main">loadTexture2D</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:loadMemoryTexture2D" target="main">loadMemoryTexture2D</a></p></div><h1>Text rendering
</h1><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:renderString" target="main">renderString</a></p></div><h1>Miscellaneous
</h1><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:enableSpecial" target="main">enableSpecial</a></p></div><div class="top"><p class="src"><a href="Graphics-UI-GLFW.html#v:disableSpecial" target="main">disableSpecial</a></p></div><h1>Window parameters and hints
</h1><div class="top"><p class="src"><span class="keyword">type family</span> <a href="#t:ParamVal">ParamVal</a> a </p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Graphics-UI-GLFW.html#t:Param" target="main">Param</a> a</p></div><div class="top"><p class="src"><span class="keyword">class</span> <a href="Graphics-UI-GLFW.html#t:Hint" target="main">Hint</a> a</p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:Opened" target="main">Opened</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:Active" target="main">Active</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:Iconified" target="main">Iconified</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:Accelerated" target="main">Accelerated</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:RedBits" target="main">RedBits</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:GreenBits" target="main">GreenBits</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:BlueBits" target="main">BlueBits</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:AlphaBits" target="main">AlphaBits</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:DepthBits" target="main">DepthBits</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:StencilBits" target="main">StencilBits</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:RefreshRate" target="main">RefreshRate</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:AccumRedBits" target="main">AccumRedBits</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:AccumGreenBits" target="main">AccumGreenBits</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:AccumBlueBits" target="main">AccumBlueBits</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:AccumAlphaBits" target="main">AccumAlphaBits</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:AuxBuffers" target="main">AuxBuffers</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:Stereo" target="main">Stereo</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:NoResize" target="main">NoResize</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:FSAASamples" target="main">FSAASamples</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:OpenGLVersionMajor" target="main">OpenGLVersionMajor</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:OpenGLVersionMinor" target="main">OpenGLVersionMinor</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:OpenGLForwardCompat" target="main">OpenGLForwardCompat</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:OpenGLDebugContext" target="main">OpenGLDebugContext</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:OpenGLProfile" target="main">OpenGLProfile</a> </p></div><div class="top"><p class="src"><span class="keyword">data</span> <a href="Graphics-UI-GLFW.html#t:Profile" target="main">Profile</a> </p></div></div></body></html>
|