OpenGL 2.8.0.0 → 2.9.0.0

raw patch · 121 files changed

+18140/−17725 lines, 121 filesdep +bytestringdep +textdep ~GLURawdep ~OpenGLRawdep ~basePVP ok

version bump matches the API change (PVP)

Dependencies added: bytestring, text

Dependency ranges changed: GLURaw, OpenGLRaw, base

API changes (from Hackage documentation)

Files

• Graphics/Rendering/OpenGL.hs +138/−138
• Graphics/Rendering/OpenGL/GL.hs +122/−112
• Graphics/Rendering/OpenGL/GL/Antialiasing.hs +40/−40
• Graphics/Rendering/OpenGL/GL/BeginEnd.hs +129/−130
• Graphics/Rendering/OpenGL/GL/Bitmaps.hs +28/−29
• Graphics/Rendering/OpenGL/GL/BlendingFactor.hs +77/−77
• Graphics/Rendering/OpenGL/GL/BufferMode.hs +113/−126
• Graphics/Rendering/OpenGL/GL/BufferObjects.hs +434/−420
• Graphics/Rendering/OpenGL/GL/ByteString.hs +62/−0
• Graphics/Rendering/OpenGL/GL/Capability.hs +308/−320
• Graphics/Rendering/OpenGL/GL/Clipping.hs +57/−53
• Graphics/Rendering/OpenGL/GL/ColorSum.hs +25/−25
• Graphics/Rendering/OpenGL/GL/Colors.hs +509/−520
• Graphics/Rendering/OpenGL/GL/ComparisonFunction.hs +57/−57
• Graphics/Rendering/OpenGL/GL/ConditionalRendering.hs +52/−0
• Graphics/Rendering/OpenGL/GL/ControlPoint.hs +162/−169
• Graphics/Rendering/OpenGL/GL/CoordTrans.hs +518/−532
• Graphics/Rendering/OpenGL/GL/DataType.hs +158/−160
• Graphics/Rendering/OpenGL/GL/DisplayLists.hs +124/−158
• Graphics/Rendering/OpenGL/GL/Domain.hs +68/−73
• Graphics/Rendering/OpenGL/GL/EdgeFlag.hs +36/−36
• Graphics/Rendering/OpenGL/GL/Evaluators.hs +367/−370
• Graphics/Rendering/OpenGL/GL/Exception.hs +55/−55
• Graphics/Rendering/OpenGL/GL/Face.hs +41/−41
• Graphics/Rendering/OpenGL/GL/Feedback.hs +196/−201
• Graphics/Rendering/OpenGL/GL/FlushFinish.hs +50/−50
• Graphics/Rendering/OpenGL/GL/Fog.hs +203/−207
• Graphics/Rendering/OpenGL/GL/Framebuffer.hs +429/−432
• Graphics/Rendering/OpenGL/GL/FramebufferObjects.hs +25/−35
• Graphics/Rendering/OpenGL/GL/FramebufferObjects/Attachments.hs +67/−147
• Graphics/Rendering/OpenGL/GL/FramebufferObjects/FramebufferObject.hs +41/−0
• Graphics/Rendering/OpenGL/GL/FramebufferObjects/FramebufferObjectAttachment.hs +105/−0
• Graphics/Rendering/OpenGL/GL/FramebufferObjects/FramebufferObjects.hs +81/−111
• Graphics/Rendering/OpenGL/GL/FramebufferObjects/FramebufferTarget.hs +34/−0
• Graphics/Rendering/OpenGL/GL/FramebufferObjects/Queries.hs +232/−235
• Graphics/Rendering/OpenGL/GL/FramebufferObjects/RenderbufferObject.hs +40/−0
• Graphics/Rendering/OpenGL/GL/FramebufferObjects/RenderbufferObjects.hs +73/−107
• Graphics/Rendering/OpenGL/GL/FramebufferObjects/RenderbufferTarget.hs +43/−0
• Graphics/Rendering/OpenGL/GL/GLboolean.hs +30/−30
• Graphics/Rendering/OpenGL/GL/GLstring.hs +0/−51
• Graphics/Rendering/OpenGL/GL/Hints.hs +88/−93
• Graphics/Rendering/OpenGL/GL/IOState.hs +57/−58
• Graphics/Rendering/OpenGL/GL/LineSegments.hs +150/−151
• Graphics/Rendering/OpenGL/GL/ObjectName.hs +61/−31
• Graphics/Rendering/OpenGL/GL/PeekPoke.hs +107/−107
• Graphics/Rendering/OpenGL/GL/PerFragment.hs +375/−369
• Graphics/Rendering/OpenGL/GL/PixelData.hs +32/−32
• Graphics/Rendering/OpenGL/GL/PixelFormat.hs +130/−136
• Graphics/Rendering/OpenGL/GL/PixelRectangles.hs +34/−34
• Graphics/Rendering/OpenGL/GL/PixelRectangles/ColorTable.hs +249/−262
• Graphics/Rendering/OpenGL/GL/PixelRectangles/Convolution.hs +281/−292
• Graphics/Rendering/OpenGL/GL/PixelRectangles/Histogram.hs +132/−138
• Graphics/Rendering/OpenGL/GL/PixelRectangles/Minmax.hs +89/−92
• Graphics/Rendering/OpenGL/GL/PixelRectangles/PixelMap.hs +208/−214
• Graphics/Rendering/OpenGL/GL/PixelRectangles/PixelStorage.hs +118/−118
• Graphics/Rendering/OpenGL/GL/PixelRectangles/PixelTransfer.hs +233/−246
• Graphics/Rendering/OpenGL/GL/PixelRectangles/Rasterization.hs +39/−41
• Graphics/Rendering/OpenGL/GL/PixelRectangles/Reset.hs +31/−31
• Graphics/Rendering/OpenGL/GL/PixelRectangles/Sink.hs +34/−34
• Graphics/Rendering/OpenGL/GL/PixellikeObject.hs +82/−84
• Graphics/Rendering/OpenGL/GL/PointParameter.hs +44/−46
• Graphics/Rendering/OpenGL/GL/Points.hs +217/−217
• Graphics/Rendering/OpenGL/GL/PolygonMode.hs +41/−41
• Graphics/Rendering/OpenGL/GL/Polygons.hs +139/−139
• Graphics/Rendering/OpenGL/GL/PrimitiveMode.hs +96/−98
• Graphics/Rendering/OpenGL/GL/QueryObject.hs +46/−0
• Graphics/Rendering/OpenGL/GL/QueryObjects.hs +174/−166
• Graphics/Rendering/OpenGL/GL/QueryUtils.hs +65/−335
• Graphics/Rendering/OpenGL/GL/QueryUtils/PName.hs +1157/−1159
• Graphics/Rendering/OpenGL/GL/QueryUtils/VertexAttrib.hs +97/−97
• Graphics/Rendering/OpenGL/GL/RasterPos.hs +187/−196
• Graphics/Rendering/OpenGL/GL/ReadCopyPixels.hs +103/−92
• Graphics/Rendering/OpenGL/GL/Rectangles.hs +65/−67
• Graphics/Rendering/OpenGL/GL/RenderMode.hs +60/−62
• Graphics/Rendering/OpenGL/GL/SavingState.hs +105/−114
• Graphics/Rendering/OpenGL/GL/Selection.hs +88/−90
• Graphics/Rendering/OpenGL/GL/Shaders.hs +32/−49
• Graphics/Rendering/OpenGL/GL/Shaders/Attribs.hs +61/−58
• Graphics/Rendering/OpenGL/GL/Shaders/Limits.hs +80/−79
• Graphics/Rendering/OpenGL/GL/Shaders/Program.hs +114/−197
• Graphics/Rendering/OpenGL/GL/Shaders/ProgramBinaries.hs +63/−0
• Graphics/Rendering/OpenGL/GL/Shaders/ProgramObjects.hs +163/−0
• Graphics/Rendering/OpenGL/GL/Shaders/Shader.hs +31/−0
• Graphics/Rendering/OpenGL/GL/Shaders/ShaderBinaries.hs +47/−0
• Graphics/Rendering/OpenGL/GL/Shaders/ShaderObjects.hs +194/−0
• Graphics/Rendering/OpenGL/GL/Shaders/Shaders.hs +0/−157
• Graphics/Rendering/OpenGL/GL/Shaders/Uniform.hs +210/−201
• Graphics/Rendering/OpenGL/GL/Shaders/Variables.hs +163/−160
• Graphics/Rendering/OpenGL/GL/StateVar.hs +145/−145
• Graphics/Rendering/OpenGL/GL/StringQueries.hs +88/−88
• Graphics/Rendering/OpenGL/GL/SyncObjects.hs +113/−0
• Graphics/Rendering/OpenGL/GL/Tensor.hs +299/−323
• Graphics/Rendering/OpenGL/GL/Texturing.hs +29/−29
• Graphics/Rendering/OpenGL/GL/Texturing/Application.hs +27/−36
• Graphics/Rendering/OpenGL/GL/Texturing/Environments.hs +353/−366
• Graphics/Rendering/OpenGL/GL/Texturing/Filter.hs +67/−0
• Graphics/Rendering/OpenGL/GL/Texturing/Objects.hs +76/−105
• Graphics/Rendering/OpenGL/GL/Texturing/Parameters.hs +233/−254
• Graphics/Rendering/OpenGL/GL/Texturing/PixelInternalFormat.hs +380/−391
• Graphics/Rendering/OpenGL/GL/Texturing/Queries.hs +162/−162
• Graphics/Rendering/OpenGL/GL/Texturing/Specification.hs +352/−258
• Graphics/Rendering/OpenGL/GL/Texturing/TexParameter.hs +132/−164
• Graphics/Rendering/OpenGL/GL/Texturing/TextureObject.hs +43/−0
• Graphics/Rendering/OpenGL/GL/Texturing/TextureTarget.hs +297/−80
• Graphics/Rendering/OpenGL/GL/Texturing/TextureUnit.hs +50/−47
• Graphics/Rendering/OpenGL/GL/TransformFeedback.hs +124/−140
• Graphics/Rendering/OpenGL/GL/VertexArrayObjects.hs +55/−54
• Graphics/Rendering/OpenGL/GL/VertexArrays.hs +483/−502
• Graphics/Rendering/OpenGL/GL/VertexAttributes.hs +332/−332
• Graphics/Rendering/OpenGL/GL/VertexSpec.hs +992/−1027
• Graphics/Rendering/OpenGL/GLU.hs +31/−31
• Graphics/Rendering/OpenGL/GLU/Errors.hs +34/−34
• Graphics/Rendering/OpenGL/GLU/ErrorsInternal.hs +170/−171
• Graphics/Rendering/OpenGL/GLU/Initialization.hs +36/−36
• Graphics/Rendering/OpenGL/GLU/Matrix.hs +135/−135
• Graphics/Rendering/OpenGL/GLU/Mipmapping.hs +64/−66
• Graphics/Rendering/OpenGL/GLU/NURBS.hs +310/−310
• Graphics/Rendering/OpenGL/GLU/Quadrics.hs +155/−155
• Graphics/Rendering/OpenGL/GLU/Tessellation.hs +521/−521
• OpenGL.cabal +150/−133
• README.md +1/−0

@@ -1,138 +1,138 @@------------------------------------------------------------------------------------ |--- Module      :  Graphics.Rendering.OpenGL--- Copyright   :  (c) Sven Panne 2002-2009--- License     :  BSD-style (see the file libraries/OpenGL/LICENSE)--- --- Maintainer  :  sven.panne@aedion.de--- Stability   :  stable--- Portability :  portable------ A convenience module, combining the Haskell bindings for GL and GLU.--------------------------------------------------------------------------------------module Graphics.Rendering.OpenGL (-   -- * Supported Extensions--   -- $SupportedExtensions--   -- * Legal stuff--   -- $LegalStuff--     module Graphics.Rendering.OpenGL.GL-   , module Graphics.Rendering.OpenGL.GLU-) where--import Graphics.Rendering.OpenGL.GL-import Graphics.Rendering.OpenGL.GLU------------------------------------------------------------------------------------- $SupportedExtensions--- There is support for full OpenGL 2.1, including the imaging subset, plus some--- extensions:------ @--- extension                      | core since--- -------------------------------+--------------- GL_APPLE_packed_pixels         | 1.2--- GL_APPLE_ycbcr_422             |--- GL_ARB_copy_buffer             | 3.1--- GL_ARB_depth_buffer_float      | 3.0--- GL_ARB_depth_texture           | 1.4--- GL_ARB_half_float_pixel        | 3.0--- GL_ARB_imaging                 |--- GL_ARB_multisample             | 1.3--- GL_ARB_multitexture            | 1.3--- GL_ARB_occlusion_query         | 1.5--- GL_ARB_point_parameters        | 1.4--- GL_ARB_point_sprite            |--- GL_ARB_shadow                  | 1.4--- GL_ARB_texture_border_clamp    | 1.3--- GL_ARB_texture_compression     | 1.3--- GL_ARB_texture_cube_map        | 1.3--- GL_ARB_texture_env_add         | 1.3--- GL_ARB_texture_env_combine     | 1.3--- GL_ARB_texture_env_crossbar    | 1.4--- GL_ARB_texture_env_dot3        | 1.3--- GL_ARB_texture_mirrored_repeat | 1.4--- GL_ARB_texture_rectangle       | 3.1--- GL_ARB_transpose_matrix        | 1.3--- GL_ARB_vertex_buffer_object    | 1.5--- GL_ARB_vertex_shader           | 2.0--- GL_ARB_window_pos              | 1.4--- GL_EXT_abgr                    |--- GL_EXT_bgra                    | 1.2--- GL_EXT_blend_color             | 1.4--- GL_EXT_blend_func_separate     | 1.4--- GL_EXT_blend_logic_op          | 1.1--- GL_EXT_blend_minmax            | 1.4--- GL_EXT_blend_subtract          | 1.4--- GL_EXT_color_subtable          |--- GL_EXT_compiled_vertex_array   |--- GL_EXT_convolution             |--- GL_EXT_copy_texture            | 1.1--- GL_EXT_depth_bounds_test       |--- GL_EXT_draw_range_elements     | 1.2--- GL_EXT_fog_coord               | 1.4--- GL_EXT_histogram               |--- GL_EXT_multi_draw_arrays       | 1.4--- GL_EXT_packed_float            | 3.0--- GL_EXT_packed_pixels           | 1.2--- GL_EXT_polygon_offset          | 1.1--- GL_EXT_rescale_normal          | 1.2--- GL_EXT_secondary_color         | 1.4--- GL_EXT_separate_specular_color | 1.2--- GL_EXT_shadow_funcs            | 1.5--- GL_EXT_stencil_two_side        |--- GL_EXT_stencil_wrap            | 1.4--- GL_EXT_subtexture              | 1.1--- GL_EXT_texture                 | 1.1--- GL_EXT_texture3D               | 1.2--- GL_EXT_texture_lod_bias        | 1.4--- GL_EXT_texture_shared_exponent | 3.0--- GL_EXT_texture_object          | 1.1--- GL_EXT_vertex_array            | 1.1--- GL_HP_convolution_border_modes |--- GL_IBM_rasterpos_clip          |--- GL_MESA_ycbcr_texture          |--- GL_NV_blend_square             | 1.4--- GL_NV_depth_clamp              |--- GL_NV_fog_distance             |--- GL_NV_light_max_exponent       |--- GL_NV_packed_depth_stencil     |--- GL_NV_primitive_restart        |--- GL_SGIS_generate_mipmap        | 1.4--- GL_SGIS_texture_edge_clamp     |--- GL_SGIS_texture_lod            |--- GL_SGI_color_matrix            |--- GL_SGI_color_table             |--- @------------------------------------------------------------------------------------- $LegalStuff--- The documentation is loosely based on the man pages of the OpenGL Sample--- Implemenation from SGI, see: <http://oss.sgi.com/projects/ogl-sample/>. It is--- used under the SGI Free Software License B. This license requires the--- following notice:------ /License Applicability/. Except to the extent portions of this file are made--- subject to an alternative license as permitted in the SGI Free Software--- License B, Version 1.1 (the \"License\"), the contents of this file are--- subject only to the provisions of the License. You may not use this file--- except in compliance with the License. You may obtain a copy of the License--- at Silicon Graphics, Inc., attn: Legal Services, 1600 Amphitheatre Parkway,--- Mountain View, CA 94043-1351, or at: <http://oss.sgi.com/projects/FreeB/>.--- --- Note that, as provided in the License, the Software is distributed on an \"AS--- IS\" basis, with ALL EXPRESS AND IMPLIED WARRANTIES AND CONDITIONS--- DISCLAIMED, INCLUDING, WITHOUT LIMITATION, ANY IMPLIED WARRANTIES AND--- CONDITIONS OF MERCHANTABILITY, SATISFACTORY QUALITY, FITNESS FOR A PARTICULAR--- PURPOSE, AND NON-INFRINGEMENT.------ /Original Code/. The Original Code is: OpenGL Sample Implementation, Version--- 1.2.1, released January 26, 2000, developed by Silicon Graphics, Inc. The--- Original Code is Copyright (c) 1991-2002 Silicon Graphics, Inc.  Copyright in--- any portions created by third parties is as indicated elsewhere herein. All--- Rights Reserved.+--------------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL
+-- Copyright   :  (c) Sven Panne 2002-2013
+-- License     :  BSD3
+-- 
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- A convenience module, combining the Haskell bindings for GL and GLU.
+--
+--------------------------------------------------------------------------------
+
+module Graphics.Rendering.OpenGL (
+   -- * Supported Extensions
+
+   -- $SupportedExtensions
+
+   -- * Legal stuff
+
+   -- $LegalStuff
+
+     module Graphics.Rendering.OpenGL.GL
+   , module Graphics.Rendering.OpenGL.GLU
+) where
+
+import Graphics.Rendering.OpenGL.GL
+import Graphics.Rendering.OpenGL.GLU
+
+--------------------------------------------------------------------------------
+-- $SupportedExtensions
+-- There is support for full OpenGL 4.4 (compatibility profile), plus some
+-- extensions:
+--
+-- @
+-- extension                      | core since
+-- -------------------------------+------------
+-- GL_APPLE_packed_pixels         | 1.2
+-- GL_APPLE_ycbcr_422             |
+-- GL_ARB_copy_buffer             | 3.1
+-- GL_ARB_depth_buffer_float      | 3.0
+-- GL_ARB_depth_texture           | 1.4
+-- GL_ARB_half_float_pixel        | 3.0
+-- GL_ARB_imaging                 |
+-- GL_ARB_multisample             | 1.3
+-- GL_ARB_multitexture            | 1.3
+-- GL_ARB_occlusion_query         | 1.5
+-- GL_ARB_point_parameters        | 1.4
+-- GL_ARB_point_sprite            |
+-- GL_ARB_shadow                  | 1.4
+-- GL_ARB_texture_border_clamp    | 1.3
+-- GL_ARB_texture_compression     | 1.3
+-- GL_ARB_texture_cube_map        | 1.3
+-- GL_ARB_texture_env_add         | 1.3
+-- GL_ARB_texture_env_combine     | 1.3
+-- GL_ARB_texture_env_crossbar    | 1.4
+-- GL_ARB_texture_env_dot3        | 1.3
+-- GL_ARB_texture_mirrored_repeat | 1.4
+-- GL_ARB_texture_rectangle       | 3.1
+-- GL_ARB_transpose_matrix        | 1.3
+-- GL_ARB_vertex_buffer_object    | 1.5
+-- GL_ARB_vertex_shader           | 2.0
+-- GL_ARB_window_pos              | 1.4
+-- GL_EXT_abgr                    |
+-- GL_EXT_bgra                    | 1.2
+-- GL_EXT_blend_color             | 1.4
+-- GL_EXT_blend_func_separate     | 1.4
+-- GL_EXT_blend_logic_op          | 1.1
+-- GL_EXT_blend_minmax            | 1.4
+-- GL_EXT_blend_subtract          | 1.4
+-- GL_EXT_color_subtable          |
+-- GL_EXT_compiled_vertex_array   |
+-- GL_EXT_convolution             |
+-- GL_EXT_copy_texture            | 1.1
+-- GL_EXT_depth_bounds_test       |
+-- GL_EXT_draw_range_elements     | 1.2
+-- GL_EXT_fog_coord               | 1.4
+-- GL_EXT_histogram               |
+-- GL_EXT_multi_draw_arrays       | 1.4
+-- GL_EXT_packed_float            | 3.0
+-- GL_EXT_packed_pixels           | 1.2
+-- GL_EXT_polygon_offset          | 1.1
+-- GL_EXT_rescale_normal          | 1.2
+-- GL_EXT_secondary_color         | 1.4
+-- GL_EXT_separate_specular_color | 1.2
+-- GL_EXT_shadow_funcs            | 1.5
+-- GL_EXT_stencil_two_side        |
+-- GL_EXT_stencil_wrap            | 1.4
+-- GL_EXT_subtexture              | 1.1
+-- GL_EXT_texture                 | 1.1
+-- GL_EXT_texture3D               | 1.2
+-- GL_EXT_texture_lod_bias        | 1.4
+-- GL_EXT_texture_shared_exponent | 3.0
+-- GL_EXT_texture_object          | 1.1
+-- GL_EXT_vertex_array            | 1.1
+-- GL_HP_convolution_border_modes |
+-- GL_IBM_rasterpos_clip          |
+-- GL_MESA_ycbcr_texture          |
+-- GL_NV_blend_square             | 1.4
+-- GL_NV_depth_clamp              |
+-- GL_NV_fog_distance             |
+-- GL_NV_light_max_exponent       |
+-- GL_NV_packed_depth_stencil     |
+-- GL_NV_primitive_restart        |
+-- GL_SGIS_generate_mipmap        | 1.4
+-- GL_SGIS_texture_edge_clamp     |
+-- GL_SGIS_texture_lod            |
+-- GL_SGI_color_matrix            |
+-- GL_SGI_color_table             |
+-- @
+
+--------------------------------------------------------------------------------
+-- $LegalStuff
+-- The documentation is loosely based on the man pages of the OpenGL Sample
+-- Implemenation from SGI, see: <http://oss.sgi.com/projects/ogl-sample/>. It is
+-- used under the SGI Free Software License B. This license requires the
+-- following notice:
+--
+-- /License Applicability/. Except to the extent portions of this file are made
+-- subject to an alternative license as permitted in the SGI Free Software
+-- License B, Version 1.1 (the \"License\"), the contents of this file are
+-- subject only to the provisions of the License. You may not use this file
+-- except in compliance with the License. You may obtain a copy of the License
+-- at Silicon Graphics, Inc., attn: Legal Services, 1600 Amphitheatre Parkway,
+-- Mountain View, CA 94043-1351, or at: <http://oss.sgi.com/projects/FreeB/>.
+-- 
+-- Note that, as provided in the License, the Software is distributed on an \"AS
+-- IS\" basis, with ALL EXPRESS AND IMPLIED WARRANTIES AND CONDITIONS
+-- DISCLAIMED, INCLUDING, WITHOUT LIMITATION, ANY IMPLIED WARRANTIES AND
+-- CONDITIONS OF MERCHANTABILITY, SATISFACTORY QUALITY, FITNESS FOR A PARTICULAR
+-- PURPOSE, AND NON-INFRINGEMENT.
+--
+-- /Original Code/. The Original Code is: OpenGL Sample Implementation, Version
+-- 1.2.1, released January 26, 2000, developed by Silicon Graphics, Inc. The
+-- Original Code is Copyright (c) 1991-2002 Silicon Graphics, Inc.  Copyright in
+-- any portions created by third parties is as indicated elsewhere herein. All
+-- Rights Reserved.

@@ -1,112 +1,122 @@--------------------------------------------------------------------------------- |--- Module      :  Graphics.Rendering.OpenGL.GL--- Copyright   :  (c) Sven Panne 2002-2009--- License     :  BSD-style (see the file libraries/OpenGL/LICENSE)------ Maintainer  :  sven.panne@aedion.de--- Stability   :  stable--- Portability :  portable------ A Haskell binding for OpenGL, the industry\'s most widely used and--- supported 2D and 3D graphics API.-----------------------------------------------------------------------------------module Graphics.Rendering.OpenGL.GL (-   -- * OpenGL Operation-   module Graphics.Rendering.OpenGL.Raw.Core31,-   module Graphics.Rendering.OpenGL.GL.BeginEnd,-   module Graphics.Rendering.OpenGL.GL.VertexSpec,-   module Graphics.Rendering.OpenGL.GL.VertexArrays,-   module Graphics.Rendering.OpenGL.GL.VertexArrayObjects,-   module Graphics.Rendering.OpenGL.GL.BufferObjects,-   module Graphics.Rendering.OpenGL.GL.Rectangles,-   module Graphics.Rendering.OpenGL.GL.CoordTrans,-   module Graphics.Rendering.OpenGL.GL.Clipping,-   module Graphics.Rendering.OpenGL.GL.RasterPos,-   module Graphics.Rendering.OpenGL.GL.Colors,-   module Graphics.Rendering.OpenGL.GL.Shaders,--   -- * Rasterization-   module Graphics.Rendering.OpenGL.GL.Antialiasing,-   module Graphics.Rendering.OpenGL.GL.FramebufferObjects,-   module Graphics.Rendering.OpenGL.GL.Points,-   module Graphics.Rendering.OpenGL.GL.LineSegments,-   module Graphics.Rendering.OpenGL.GL.Polygons,-   module Graphics.Rendering.OpenGL.GL.PixelRectangles,-   module Graphics.Rendering.OpenGL.GL.Bitmaps,-   module Graphics.Rendering.OpenGL.GL.Texturing,-   module Graphics.Rendering.OpenGL.GL.ColorSum,-   module Graphics.Rendering.OpenGL.GL.Fog,--   -- * Per-Fragment Operations and the Framebuffer-   module Graphics.Rendering.OpenGL.GL.PerFragment,-   module Graphics.Rendering.OpenGL.GL.Framebuffer,-   module Graphics.Rendering.OpenGL.GL.ReadCopyPixels,--   -- * Special Functions-   module Graphics.Rendering.OpenGL.GL.Evaluators,-   module Graphics.Rendering.OpenGL.GL.Selection,-   module Graphics.Rendering.OpenGL.GL.Feedback,-   module Graphics.Rendering.OpenGL.GL.DisplayLists,-   module Graphics.Rendering.OpenGL.GL.FlushFinish,-   module Graphics.Rendering.OpenGL.GL.Hints,-   module Graphics.Rendering.OpenGL.GL.PixellikeObject,-   module Graphics.Rendering.OpenGL.GL.TransformFeedback,--- is exported through PerFragment for backwards compatibility reasons---   module Graphics.Rendering.OpenGL.GL.QueryObjects,--   -- * State and State Requests-   module Graphics.Rendering.OpenGL.GL.StateVar,-   module Graphics.Rendering.OpenGL.GL.Tensor,-   module Graphics.Rendering.OpenGL.GL.StringQueries,-   module Graphics.Rendering.OpenGL.GL.SavingState-) where--import Graphics.Rendering.OpenGL.Raw.Core31 (-   GLbitfield,  GLboolean,  GLbyte,  GLchar,  GLclampd,  GLclampf,  GLdouble,-   GLenum,  GLfloat,  GLhalf,  GLint,  GLintptr,  GLshort,  GLsizei,-   GLsizeiptr,  GLubyte,  GLuint,  GLushort )-import Graphics.Rendering.OpenGL.GL.BeginEnd-import Graphics.Rendering.OpenGL.GL.VertexSpec-import Graphics.Rendering.OpenGL.GL.VertexArrays-import Graphics.Rendering.OpenGL.GL.VertexArrayObjects-import Graphics.Rendering.OpenGL.GL.BufferObjects-import Graphics.Rendering.OpenGL.GL.Rectangles-import Graphics.Rendering.OpenGL.GL.CoordTrans-import Graphics.Rendering.OpenGL.GL.Clipping-import Graphics.Rendering.OpenGL.GL.RasterPos-import Graphics.Rendering.OpenGL.GL.Colors-import Graphics.Rendering.OpenGL.GL.Shaders--import Graphics.Rendering.OpenGL.GL.Antialiasing-import Graphics.Rendering.OpenGL.GL.FramebufferObjects-import Graphics.Rendering.OpenGL.GL.Points-import Graphics.Rendering.OpenGL.GL.LineSegments-import Graphics.Rendering.OpenGL.GL.Polygons-import Graphics.Rendering.OpenGL.GL.PixelRectangles-import Graphics.Rendering.OpenGL.GL.Bitmaps-import Graphics.Rendering.OpenGL.GL.Texturing-import Graphics.Rendering.OpenGL.GL.ColorSum-import Graphics.Rendering.OpenGL.GL.Fog--import Graphics.Rendering.OpenGL.GL.PerFragment-import Graphics.Rendering.OpenGL.GL.Framebuffer-import Graphics.Rendering.OpenGL.GL.ReadCopyPixels--import Graphics.Rendering.OpenGL.GL.Evaluators-import Graphics.Rendering.OpenGL.GL.Selection-import Graphics.Rendering.OpenGL.GL.Feedback-import Graphics.Rendering.OpenGL.GL.DisplayLists-import Graphics.Rendering.OpenGL.GL.FlushFinish-import Graphics.Rendering.OpenGL.GL.Hints-import Graphics.Rendering.OpenGL.GL.PixellikeObject-import Graphics.Rendering.OpenGL.GL.TransformFeedback--- is exported through PerFragment for backwards compatibility reasons---import Graphics.Rendering.OpenGL.GL.QueryObjects--import Graphics.Rendering.OpenGL.GL.StateVar-import Graphics.Rendering.OpenGL.GL.Tensor-import Graphics.Rendering.OpenGL.GL.StringQueries-import Graphics.Rendering.OpenGL.GL.SavingState+-----------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL.GL
+-- Copyright   :  (c) Sven Panne 2002-2013
+-- License     :  BSD3
+--
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- A Haskell binding for OpenGL, the industry\'s most widely used and
+-- supported 2D and 3D graphics API.
+--
+-----------------------------------------------------------------------------
+
+module Graphics.Rendering.OpenGL.GL (
+   -- * OpenGL Fundamentals
+   module Graphics.Rendering.OpenGL.Raw.Types,
+   module Graphics.Rendering.OpenGL.GL.FlushFinish,
+   module Graphics.Rendering.OpenGL.GL.ObjectName,
+
+   -- * Event Model
+   module Graphics.Rendering.OpenGL.GL.SyncObjects,
+   module Graphics.Rendering.OpenGL.GL.QueryObjects,
+
+   -- * Vertex Specification and Drawing Commands
+   module Graphics.Rendering.OpenGL.GL.BeginEnd,
+   module Graphics.Rendering.OpenGL.GL.Rectangles,
+   module Graphics.Rendering.OpenGL.GL.ConditionalRendering,
+
+   -- * OpenGL Operation
+   module Graphics.Rendering.OpenGL.GL.VertexSpec,
+   module Graphics.Rendering.OpenGL.GL.VertexArrays,
+   module Graphics.Rendering.OpenGL.GL.VertexArrayObjects,
+   module Graphics.Rendering.OpenGL.GL.BufferObjects,
+   module Graphics.Rendering.OpenGL.GL.CoordTrans,
+   module Graphics.Rendering.OpenGL.GL.Clipping,
+   module Graphics.Rendering.OpenGL.GL.RasterPos,
+   module Graphics.Rendering.OpenGL.GL.Colors,
+   module Graphics.Rendering.OpenGL.GL.Shaders,
+
+   -- * Rasterization
+   module Graphics.Rendering.OpenGL.GL.Antialiasing,
+   module Graphics.Rendering.OpenGL.GL.FramebufferObjects,
+   module Graphics.Rendering.OpenGL.GL.Points,
+   module Graphics.Rendering.OpenGL.GL.LineSegments,
+   module Graphics.Rendering.OpenGL.GL.Polygons,
+   module Graphics.Rendering.OpenGL.GL.PixelRectangles,
+   module Graphics.Rendering.OpenGL.GL.Bitmaps,
+   module Graphics.Rendering.OpenGL.GL.Texturing,
+   module Graphics.Rendering.OpenGL.GL.ColorSum,
+   module Graphics.Rendering.OpenGL.GL.Fog,
+
+   -- * Per-Fragment Operations and the Framebuffer
+   module Graphics.Rendering.OpenGL.GL.PerFragment,
+   module Graphics.Rendering.OpenGL.GL.Framebuffer,
+   module Graphics.Rendering.OpenGL.GL.ReadCopyPixels,
+
+   -- * Special Functions
+   module Graphics.Rendering.OpenGL.GL.Evaluators,
+   module Graphics.Rendering.OpenGL.GL.Selection,
+   module Graphics.Rendering.OpenGL.GL.Feedback,
+   module Graphics.Rendering.OpenGL.GL.DisplayLists,
+   module Graphics.Rendering.OpenGL.GL.Hints,
+   module Graphics.Rendering.OpenGL.GL.PixellikeObject,
+   module Graphics.Rendering.OpenGL.GL.TransformFeedback,
+
+   -- * State and State Requests
+   module Graphics.Rendering.OpenGL.GL.StateVar,
+   module Graphics.Rendering.OpenGL.GL.Tensor,
+   module Graphics.Rendering.OpenGL.GL.StringQueries,
+   module Graphics.Rendering.OpenGL.GL.SavingState
+) where
+
+import Graphics.Rendering.OpenGL.Raw.Types
+import Graphics.Rendering.OpenGL.GL.FlushFinish
+import Graphics.Rendering.OpenGL.GL.ObjectName
+
+import Graphics.Rendering.OpenGL.GL.SyncObjects
+import Graphics.Rendering.OpenGL.GL.QueryObjects
+
+import Graphics.Rendering.OpenGL.GL.BeginEnd
+import Graphics.Rendering.OpenGL.GL.Rectangles
+import Graphics.Rendering.OpenGL.GL.ConditionalRendering
+
+import Graphics.Rendering.OpenGL.GL.VertexSpec
+import Graphics.Rendering.OpenGL.GL.VertexArrays
+import Graphics.Rendering.OpenGL.GL.VertexArrayObjects
+import Graphics.Rendering.OpenGL.GL.BufferObjects
+import Graphics.Rendering.OpenGL.GL.CoordTrans
+import Graphics.Rendering.OpenGL.GL.Clipping
+import Graphics.Rendering.OpenGL.GL.RasterPos
+import Graphics.Rendering.OpenGL.GL.Colors
+import Graphics.Rendering.OpenGL.GL.Shaders
+
+import Graphics.Rendering.OpenGL.GL.Antialiasing
+import Graphics.Rendering.OpenGL.GL.FramebufferObjects
+import Graphics.Rendering.OpenGL.GL.Points
+import Graphics.Rendering.OpenGL.GL.LineSegments
+import Graphics.Rendering.OpenGL.GL.Polygons
+import Graphics.Rendering.OpenGL.GL.PixelRectangles
+import Graphics.Rendering.OpenGL.GL.Bitmaps
+import Graphics.Rendering.OpenGL.GL.Texturing
+import Graphics.Rendering.OpenGL.GL.ColorSum
+import Graphics.Rendering.OpenGL.GL.Fog
+
+import Graphics.Rendering.OpenGL.GL.PerFragment
+import Graphics.Rendering.OpenGL.GL.Framebuffer
+import Graphics.Rendering.OpenGL.GL.ReadCopyPixels
+
+import Graphics.Rendering.OpenGL.GL.Evaluators
+import Graphics.Rendering.OpenGL.GL.Selection
+import Graphics.Rendering.OpenGL.GL.Feedback
+import Graphics.Rendering.OpenGL.GL.DisplayLists
+import Graphics.Rendering.OpenGL.GL.Hints
+import Graphics.Rendering.OpenGL.GL.PixellikeObject
+import Graphics.Rendering.OpenGL.GL.TransformFeedback
+
+import Graphics.Rendering.OpenGL.GL.StateVar
+import Graphics.Rendering.OpenGL.GL.Tensor
+import Graphics.Rendering.OpenGL.GL.StringQueries
+import Graphics.Rendering.OpenGL.GL.SavingState

@@ -1,40 +1,40 @@------------------------------------------------------------------------------------ |--- Module      :  Graphics.Rendering.OpenGL.GL.Antialiasing--- Copyright   :  (c) Sven Panne 2002-2009--- License     :  BSD-style (see the file libraries/OpenGL/LICENSE)------ Maintainer  :  sven.panne@aedion.de--- Stability   :  stable--- Portability :  portable------ This module corresponds to section 3.2 (Antialiasing) of the OpenGL 2.1--- specs.--------------------------------------------------------------------------------------module Graphics.Rendering.OpenGL.GL.Antialiasing (-   sampleBuffers, samples, multisample, subpixelBits-) where--import Graphics.Rendering.OpenGL.GL.StateVar-import Graphics.Rendering.OpenGL.GL.Capability-import Graphics.Rendering.OpenGL.GL.QueryUtils-import Graphics.Rendering.OpenGL.Raw.Core31------------------------------------------------------------------------------------sampleBuffers :: GettableStateVar GLsizei-sampleBuffers = antialiasingInfo GetSampleBuffers--samples :: GettableStateVar GLsizei-samples = antialiasingInfo GetSamples--multisample :: StateVar Capability-multisample = makeCapability CapMultisample--subpixelBits :: GettableStateVar GLsizei-subpixelBits = antialiasingInfo GetSubpixelBits--antialiasingInfo :: GetPName1I p => p -> GettableStateVar GLsizei-antialiasingInfo = makeGettableStateVar . getSizei1 id+--------------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL.GL.Antialiasing
+-- Copyright   :  (c) Sven Panne 2002-2013
+-- License     :  BSD3
+--
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- This module corresponds to section 3.2 (Antialiasing) of the OpenGL 2.1
+-- specs.
+--
+--------------------------------------------------------------------------------
+
+module Graphics.Rendering.OpenGL.GL.Antialiasing (
+   sampleBuffers, samples, multisample, subpixelBits
+) where
+
+import Graphics.Rendering.OpenGL.GL.StateVar
+import Graphics.Rendering.OpenGL.GL.Capability
+import Graphics.Rendering.OpenGL.GL.QueryUtils
+import Graphics.Rendering.OpenGL.Raw
+
+--------------------------------------------------------------------------------
+
+sampleBuffers :: GettableStateVar GLsizei
+sampleBuffers = antialiasingInfo GetSampleBuffers
+
+samples :: GettableStateVar GLsizei
+samples = antialiasingInfo GetSamples
+
+multisample :: StateVar Capability
+multisample = makeCapability CapMultisample
+
+subpixelBits :: GettableStateVar GLsizei
+subpixelBits = antialiasingInfo GetSubpixelBits
+
+antialiasingInfo :: GetPName1I p => p -> GettableStateVar GLsizei
+antialiasingInfo = makeGettableStateVar . getSizei1 id

@@ -1,130 +1,129 @@------------------------------------------------------------------------------------ |--- Module      :  Graphics.Rendering.OpenGL.GL.BeginEnd--- Copyright   :  (c) Sven Panne 2002-2009--- License     :  BSD-style (see the file libraries/OpenGL/LICENSE)--- --- Maintainer  :  sven.panne@aedion.de--- Stability   :  stable--- Portability :  portable------ This module corresponds to section 2.6 (Begin\/End Paradigm) of the--- OpenGL 2.1 specs.--------------------------------------------------------------------------------------module Graphics.Rendering.OpenGL.GL.BeginEnd (-   -- * Begin and End Objects-   PrimitiveMode(..),-   renderPrimitive, unsafeRenderPrimitive, primitiveRestart,--   -- * Polygon Edges-   EdgeFlag(..),-   edgeFlag-) where--import Graphics.Rendering.OpenGL.GL.StateVar-import Graphics.Rendering.OpenGL.GL.EdgeFlag-import Graphics.Rendering.OpenGL.GL.Exception-import Graphics.Rendering.OpenGL.GL.PrimitiveMode-import Graphics.Rendering.OpenGL.GL.QueryUtils-import Graphics.Rendering.OpenGL.Raw.ARB.Compatibility ( glBegin, glEnd, glEdgeFlag )-import Graphics.Rendering.OpenGL.Raw.NV.PrimitiveRestart-------------------------------------------------------------------------------------- | Delimit the vertices that define a primitive or a group of like primitives.------ Only a subset of GL commands can be used in the delimited action:--- Those for specifying vertex coordinates--- ('Graphics.Rendering.OpenGL.GL.VertexSpec.vertex',---  'Graphics.Rendering.OpenGL.GL.VertexSpec.vertexv'),--- vertex colors--- ('Graphics.Rendering.OpenGL.GL.VertexSpec.color',---  'Graphics.Rendering.OpenGL.GL.VertexSpec.colorv',---  'Graphics.Rendering.OpenGL.GL.VertexSpec.secondaryColor',---  'Graphics.Rendering.OpenGL.GL.VertexSpec.secondaryColorv',---  'Graphics.Rendering.OpenGL.GL.VertexSpec.index',---  'Graphics.Rendering.OpenGL.GL.VertexSpec.indexv'),--- normal--- ('Graphics.Rendering.OpenGL.GL.VertexSpec.normal',---  'Graphics.Rendering.OpenGL.GL.VertexSpec.normalv'),--- texture coordinates--- ('Graphics.Rendering.OpenGL.GL.VertexSpec.texCoord',---  'Graphics.Rendering.OpenGL.GL.VertexSpec.texCoordv',---  'Graphics.Rendering.OpenGL.GL.VertexSpec.multiTexCoord',---  'Graphics.Rendering.OpenGL.GL.VertexSpec.multiTexCoordv'),--- and fog coordinates--- ('Graphics.Rendering.OpenGL.GL.VertexSpec.fogCoord',---  'Graphics.Rendering.OpenGL.GL.VertexSpec.fogCoordv').--- Additionally,--- 'Graphics.Rendering.OpenGL.GL.Evaluators.evalPoint1',--- 'Graphics.Rendering.OpenGL.GL.Evaluators.evalPoint2',--- 'Graphics.Rendering.OpenGL.GL.Evaluators.evalCoord1',--- 'Graphics.Rendering.OpenGL.GL.Evaluators.evalCoord1v',--- 'Graphics.Rendering.OpenGL.GL.Evaluators.evalCoord2',--- 'Graphics.Rendering.OpenGL.GL.Evaluators.evalCoord2v',--- 'Graphics.Rendering.OpenGL.GL.Colors.materialAmbient',--- 'Graphics.Rendering.OpenGL.GL.Colors.materialDiffuse',--- 'Graphics.Rendering.OpenGL.GL.Colors.materialAmbientAndDiffuse',--- 'Graphics.Rendering.OpenGL.GL.Colors.materialSpecular',--- 'Graphics.Rendering.OpenGL.GL.Colors.materialEmission',--- 'Graphics.Rendering.OpenGL.GL.Colors.materialShininess',--- 'Graphics.Rendering.OpenGL.GL.DisplayLists.callList',--- 'Graphics.Rendering.OpenGL.GL.DisplayLists.callLists',--- and setting 'edgeFlag' are allowed. Writing the respective state variables--- is allowed in the delimited action, too.------ Regardless of the chosen 'PrimitiveMode', there is no limit to the number of--- vertices that can be defined during a single 'renderPrimitive'. Lines,--- triangles, quadrilaterals, and polygons that are incompletely specified are--- not drawn. Incomplete specification results when either too few vertices are--- provided to specify even a single primitive or when an incorrect multiple of--- vertices is specified. The incomplete primitive is ignored; the rest are--- drawn.------ The minimum specification of vertices for each primitive is as follows: 1--- for a point, 2 for a line, 3 for a triangle, 4 for a quadrilateral, and 3 for--- a polygon. Modes that require a certain multiple of vertices are 'Lines' (2),--- 'Triangles' (3), 'Quads' (4), and 'QuadStrip' (2).--renderPrimitive :: PrimitiveMode -> IO a -> IO a-renderPrimitive = renderPrim bracket_---- | A more efficient, but potentially dangerous version of 'renderPrimitive':--- The given action is not allowed to throw an exception.--unsafeRenderPrimitive :: PrimitiveMode -> IO a -> IO a-unsafeRenderPrimitive = renderPrim unsafeBracket_--{-# INLINE renderPrim #-}-renderPrim :: (IO () -> IO () -> IO a -> IO a) -> PrimitiveMode -> IO a -> IO a-renderPrim brack_ beginMode =-   brack_ (glBegin (marshalPrimitiveMode beginMode)) glEnd------------------------------------------------------------------------------------primitiveRestart :: IO ()-primitiveRestart = glPrimitiveRestart-------------------------------------------------------------------------------------- | Each vertex of a polygon, separate triangle, or separate quadrilateral--- specified during 'renderPrimitive' is marked as the start of either a boundary--- or nonboundary (interior) edge.------ The vertices of connected triangles and connected quadrilaterals are always--- marked as boundary, regardless of the value of the edge flag.------ Boundary and nonboundary edge flags on vertices are significant only if--- 'Graphics.Rendering.OpenGL.GL.Polygons.polygonMode' is set to--- 'Graphics.Rendering.OpenGL.GL.Polygons.Point' or--- 'Graphics.Rendering.OpenGL.GL.Polygons.Line'.------ Note that the current edge flag can be updated at any time, in particular--- during 'renderPrimitive'.--edgeFlag :: StateVar EdgeFlag-edgeFlag =-   makeStateVar (getBoolean1 unmarshalEdgeFlag GetEdgeFlag)-                (glEdgeFlag . marshalEdgeFlag)+--------------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL.GL.BeginEnd
+-- Copyright   :  (c) Sven Panne 2002-2013
+-- License     :  BSD3
+-- 
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- This module corresponds to section 10.8 (Drawing Commands Using Begin and
+-- End) of the OpenGL 4.4 specs.
+--
+--------------------------------------------------------------------------------
+
+module Graphics.Rendering.OpenGL.GL.BeginEnd (
+   -- * Begin and End Objects
+   PrimitiveMode(..),
+   renderPrimitive, unsafeRenderPrimitive, primitiveRestart,
+
+   -- * Polygon Edges
+   EdgeFlag(..),
+   edgeFlag
+) where
+
+import Graphics.Rendering.OpenGL.GL.StateVar
+import Graphics.Rendering.OpenGL.GL.EdgeFlag
+import Graphics.Rendering.OpenGL.GL.Exception
+import Graphics.Rendering.OpenGL.GL.PrimitiveMode
+import Graphics.Rendering.OpenGL.GL.QueryUtils
+import Graphics.Rendering.OpenGL.Raw
+
+--------------------------------------------------------------------------------
+
+-- | Delimit the vertices that define a primitive or a group of like primitives.
+--
+-- Only a subset of GL commands can be used in the delimited action:
+-- Those for specifying vertex coordinates
+-- ('Graphics.Rendering.OpenGL.GL.VertexSpec.vertex',
+--  'Graphics.Rendering.OpenGL.GL.VertexSpec.vertexv'),
+-- vertex colors
+-- ('Graphics.Rendering.OpenGL.GL.VertexSpec.color',
+--  'Graphics.Rendering.OpenGL.GL.VertexSpec.colorv',
+--  'Graphics.Rendering.OpenGL.GL.VertexSpec.secondaryColor',
+--  'Graphics.Rendering.OpenGL.GL.VertexSpec.secondaryColorv',
+--  'Graphics.Rendering.OpenGL.GL.VertexSpec.index',
+--  'Graphics.Rendering.OpenGL.GL.VertexSpec.indexv'),
+-- normal
+-- ('Graphics.Rendering.OpenGL.GL.VertexSpec.normal',
+--  'Graphics.Rendering.OpenGL.GL.VertexSpec.normalv'),
+-- texture coordinates
+-- ('Graphics.Rendering.OpenGL.GL.VertexSpec.texCoord',
+--  'Graphics.Rendering.OpenGL.GL.VertexSpec.texCoordv',
+--  'Graphics.Rendering.OpenGL.GL.VertexSpec.multiTexCoord',
+--  'Graphics.Rendering.OpenGL.GL.VertexSpec.multiTexCoordv'),
+-- and fog coordinates
+-- ('Graphics.Rendering.OpenGL.GL.VertexSpec.fogCoord',
+--  'Graphics.Rendering.OpenGL.GL.VertexSpec.fogCoordv').
+-- Additionally,
+-- 'Graphics.Rendering.OpenGL.GL.Evaluators.evalPoint1',
+-- 'Graphics.Rendering.OpenGL.GL.Evaluators.evalPoint2',
+-- 'Graphics.Rendering.OpenGL.GL.Evaluators.evalCoord1',
+-- 'Graphics.Rendering.OpenGL.GL.Evaluators.evalCoord1v',
+-- 'Graphics.Rendering.OpenGL.GL.Evaluators.evalCoord2',
+-- 'Graphics.Rendering.OpenGL.GL.Evaluators.evalCoord2v',
+-- 'Graphics.Rendering.OpenGL.GL.Colors.materialAmbient',
+-- 'Graphics.Rendering.OpenGL.GL.Colors.materialDiffuse',
+-- 'Graphics.Rendering.OpenGL.GL.Colors.materialAmbientAndDiffuse',
+-- 'Graphics.Rendering.OpenGL.GL.Colors.materialSpecular',
+-- 'Graphics.Rendering.OpenGL.GL.Colors.materialEmission',
+-- 'Graphics.Rendering.OpenGL.GL.Colors.materialShininess',
+-- 'Graphics.Rendering.OpenGL.GL.DisplayLists.callList',
+-- 'Graphics.Rendering.OpenGL.GL.DisplayLists.callLists',
+-- and setting 'edgeFlag' are allowed. Writing the respective state variables
+-- is allowed in the delimited action, too.
+--
+-- Regardless of the chosen 'PrimitiveMode', there is no limit to the number of
+-- vertices that can be defined during a single 'renderPrimitive'. Lines,
+-- triangles, quadrilaterals, and polygons that are incompletely specified are
+-- not drawn. Incomplete specification results when either too few vertices are
+-- provided to specify even a single primitive or when an incorrect multiple of
+-- vertices is specified. The incomplete primitive is ignored; the rest are
+-- drawn.
+--
+-- The minimum specification of vertices for each primitive is as follows: 1
+-- for a point, 2 for a line, 3 for a triangle, 4 for a quadrilateral, and 3 for
+-- a polygon. Modes that require a certain multiple of vertices are 'Lines' (2),
+-- 'Triangles' (3), 'Quads' (4), and 'QuadStrip' (2).
+
+renderPrimitive :: PrimitiveMode -> IO a -> IO a
+renderPrimitive = renderPrim bracket_
+
+-- | A more efficient, but potentially dangerous version of 'renderPrimitive':
+-- The given action is not allowed to throw an exception.
+
+unsafeRenderPrimitive :: PrimitiveMode -> IO a -> IO a
+unsafeRenderPrimitive = renderPrim unsafeBracket_
+
+{-# INLINE renderPrim #-}
+renderPrim :: (IO () -> IO () -> IO a -> IO a) -> PrimitiveMode -> IO a -> IO a
+renderPrim brack_ beginMode =
+   brack_ (glBegin (marshalPrimitiveMode beginMode)) glEnd
+
+--------------------------------------------------------------------------------
+
+primitiveRestart :: IO ()
+primitiveRestart = glPrimitiveRestart
+
+--------------------------------------------------------------------------------
+
+-- | Each vertex of a polygon, separate triangle, or separate quadrilateral
+-- specified during 'renderPrimitive' is marked as the start of either a boundary
+-- or nonboundary (interior) edge.
+--
+-- The vertices of connected triangles and connected quadrilaterals are always
+-- marked as boundary, regardless of the value of the edge flag.
+--
+-- Boundary and nonboundary edge flags on vertices are significant only if
+-- 'Graphics.Rendering.OpenGL.GL.Polygons.polygonMode' is set to
+-- 'Graphics.Rendering.OpenGL.GL.Polygons.Point' or
+-- 'Graphics.Rendering.OpenGL.GL.Polygons.Line'.
+--
+-- Note that the current edge flag can be updated at any time, in particular
+-- during 'renderPrimitive'.
+
+edgeFlag :: StateVar EdgeFlag
+edgeFlag =
+   makeStateVar (getBoolean1 unmarshalEdgeFlag GetEdgeFlag)
+                (glEdgeFlag . marshalEdgeFlag)

@@ -1,29 +1,28 @@------------------------------------------------------------------------------------ |--- Module      :  Graphics.Rendering.OpenGL.GL.Bitmaps--- Copyright   :  (c) Sven Panne 2002-2009--- License     :  BSD-style (see the file libraries/OpenGL/LICENSE)--- --- Maintainer  :  sven.panne@aedion.de--- Stability   :  stable--- Portability :  portable------ This module corresponds to section 3.7 (Bitmaps) of the OpenGL 2.1 specs.--------------------------------------------------------------------------------------module Graphics.Rendering.OpenGL.GL.Bitmaps (-   bitmap-) where--import Foreign.Ptr-import Graphics.Rendering.OpenGL.Raw.Core31-import Graphics.Rendering.OpenGL.Raw.ARB.Compatibility ( glBitmap )-import Graphics.Rendering.OpenGL.GL.CoordTrans-import Graphics.Rendering.OpenGL.GL.Tensor------------------------------------------------------------------------------------bitmap :: Size -> (Vertex2 GLfloat) -> (Vector2 GLfloat) -> Ptr GLubyte -> IO ()-bitmap (Size w h) (Vertex2 xbo ybo) (Vector2 xbi ybi) =-   glBitmap w h xbo ybo xbi ybi+--------------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL.GL.Bitmaps
+-- Copyright   :  (c) Sven Panne 2002-2013
+-- License     :  BSD3
+-- 
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- This module corresponds to section 3.7 (Bitmaps) of the OpenGL 2.1 specs.
+--
+--------------------------------------------------------------------------------
+
+module Graphics.Rendering.OpenGL.GL.Bitmaps (
+   bitmap
+) where
+
+import Foreign.Ptr
+import Graphics.Rendering.OpenGL.GL.CoordTrans
+import Graphics.Rendering.OpenGL.GL.Tensor
+import Graphics.Rendering.OpenGL.Raw
+
+--------------------------------------------------------------------------------
+
+bitmap :: Size -> (Vertex2 GLfloat) -> (Vector2 GLfloat) -> Ptr GLubyte -> IO ()
+bitmap (Size w h) (Vertex2 xbo ybo) (Vector2 xbi ybi) =
+   glBitmap w h xbo ybo xbi ybi

@@ -1,77 +1,77 @@--- #hide------------------------------------------------------------------------------------ |--- Module      :  Graphics.Rendering.OpenGL.GL.BlendingFactor--- Copyright   :  (c) Sven Panne 2002-2009--- License     :  BSD-style (see the file libraries/OpenGL/LICENSE)--- --- Maintainer  :  sven.panne@aedion.de--- Stability   :  stable--- Portability :  portable------ This is a purely internal module for (un-)marshaling BlendingFactor.--------------------------------------------------------------------------------------module Graphics.Rendering.OpenGL.GL.BlendingFactor (-   BlendingFactor(..), marshalBlendingFactor, unmarshalBlendingFactor-) where--import Graphics.Rendering.OpenGL.Raw.Core31------------------------------------------------------------------------------------data BlendingFactor =-     Zero-   | One-   | SrcColor-   | OneMinusSrcColor-   | DstColor-   | OneMinusDstColor-   | SrcAlpha-   | OneMinusSrcAlpha-   | DstAlpha-   | OneMinusDstAlpha-   | ConstantColor-   | OneMinusConstantColor-   | ConstantAlpha-   | OneMinusConstantAlpha-   | SrcAlphaSaturate-   deriving ( Eq, Ord, Show )--marshalBlendingFactor :: BlendingFactor -> GLenum-marshalBlendingFactor x = case x of-   Zero -> gl_ZERO-   One -> gl_ONE-   SrcColor -> gl_SRC_COLOR-   OneMinusSrcColor -> gl_ONE_MINUS_SRC_COLOR-   DstColor -> gl_DST_COLOR-   OneMinusDstColor -> gl_ONE_MINUS_DST_COLOR-   SrcAlpha -> gl_SRC_ALPHA-   OneMinusSrcAlpha -> gl_ONE_MINUS_SRC_ALPHA-   DstAlpha -> gl_DST_ALPHA-   OneMinusDstAlpha -> gl_ONE_MINUS_DST_ALPHA-   ConstantColor -> gl_CONSTANT_COLOR-   OneMinusConstantColor -> gl_ONE_MINUS_CONSTANT_COLOR-   ConstantAlpha -> gl_CONSTANT_ALPHA-   OneMinusConstantAlpha -> gl_ONE_MINUS_CONSTANT_ALPHA-   SrcAlphaSaturate -> gl_SRC_ALPHA_SATURATE--unmarshalBlendingFactor :: GLenum -> BlendingFactor-unmarshalBlendingFactor x-   | x == gl_ZERO = Zero-   | x == gl_ONE = One-   | x == gl_SRC_COLOR = SrcColor-   | x == gl_ONE_MINUS_SRC_COLOR = OneMinusSrcColor-   | x == gl_DST_COLOR = DstColor-   | x == gl_ONE_MINUS_DST_COLOR = OneMinusDstColor-   | x == gl_SRC_ALPHA = SrcAlpha-   | x == gl_ONE_MINUS_SRC_ALPHA = OneMinusSrcAlpha-   | x == gl_DST_ALPHA = DstAlpha-   | x == gl_ONE_MINUS_DST_ALPHA = OneMinusDstAlpha-   | x == gl_CONSTANT_COLOR = ConstantColor-   | x == gl_ONE_MINUS_CONSTANT_COLOR = OneMinusConstantColor-   | x == gl_CONSTANT_ALPHA = ConstantAlpha-   | x == gl_ONE_MINUS_CONSTANT_ALPHA = OneMinusConstantAlpha-   | x == gl_SRC_ALPHA_SATURATE = SrcAlphaSaturate-   | otherwise = error ("unmarshalBlendingFactor: illegal value " ++ show x)+{-# OPTIONS_HADDOCK hide #-}
+--------------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL.GL.BlendingFactor
+-- Copyright   :  (c) Sven Panne 2002-2013
+-- License     :  BSD3
+-- 
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- This is a purely internal module for (un-)marshaling BlendingFactor.
+--
+--------------------------------------------------------------------------------
+
+module Graphics.Rendering.OpenGL.GL.BlendingFactor (
+   BlendingFactor(..), marshalBlendingFactor, unmarshalBlendingFactor
+) where
+
+import Graphics.Rendering.OpenGL.Raw
+
+--------------------------------------------------------------------------------
+
+data BlendingFactor =
+     Zero
+   | One
+   | SrcColor
+   | OneMinusSrcColor
+   | DstColor
+   | OneMinusDstColor
+   | SrcAlpha
+   | OneMinusSrcAlpha
+   | DstAlpha
+   | OneMinusDstAlpha
+   | ConstantColor
+   | OneMinusConstantColor
+   | ConstantAlpha
+   | OneMinusConstantAlpha
+   | SrcAlphaSaturate
+   deriving ( Eq, Ord, Show )
+
+marshalBlendingFactor :: BlendingFactor -> GLenum
+marshalBlendingFactor x = case x of
+   Zero -> gl_ZERO
+   One -> gl_ONE
+   SrcColor -> gl_SRC_COLOR
+   OneMinusSrcColor -> gl_ONE_MINUS_SRC_COLOR
+   DstColor -> gl_DST_COLOR
+   OneMinusDstColor -> gl_ONE_MINUS_DST_COLOR
+   SrcAlpha -> gl_SRC_ALPHA
+   OneMinusSrcAlpha -> gl_ONE_MINUS_SRC_ALPHA
+   DstAlpha -> gl_DST_ALPHA
+   OneMinusDstAlpha -> gl_ONE_MINUS_DST_ALPHA
+   ConstantColor -> gl_CONSTANT_COLOR
+   OneMinusConstantColor -> gl_ONE_MINUS_CONSTANT_COLOR
+   ConstantAlpha -> gl_CONSTANT_ALPHA
+   OneMinusConstantAlpha -> gl_ONE_MINUS_CONSTANT_ALPHA
+   SrcAlphaSaturate -> gl_SRC_ALPHA_SATURATE
+
+unmarshalBlendingFactor :: GLenum -> BlendingFactor
+unmarshalBlendingFactor x
+   | x == gl_ZERO = Zero
+   | x == gl_ONE = One
+   | x == gl_SRC_COLOR = SrcColor
+   | x == gl_ONE_MINUS_SRC_COLOR = OneMinusSrcColor
+   | x == gl_DST_COLOR = DstColor
+   | x == gl_ONE_MINUS_DST_COLOR = OneMinusDstColor
+   | x == gl_SRC_ALPHA = SrcAlpha
+   | x == gl_ONE_MINUS_SRC_ALPHA = OneMinusSrcAlpha
+   | x == gl_DST_ALPHA = DstAlpha
+   | x == gl_ONE_MINUS_DST_ALPHA = OneMinusDstAlpha
+   | x == gl_CONSTANT_COLOR = ConstantColor
+   | x == gl_ONE_MINUS_CONSTANT_COLOR = OneMinusConstantColor
+   | x == gl_CONSTANT_ALPHA = ConstantAlpha
+   | x == gl_ONE_MINUS_CONSTANT_ALPHA = OneMinusConstantAlpha
+   | x == gl_SRC_ALPHA_SATURATE = SrcAlphaSaturate
+   | otherwise = error ("unmarshalBlendingFactor: illegal value " ++ show x)

@@ -1,126 +1,113 @@--- #hide------------------------------------------------------------------------------------ |--- Module      :  Graphics.Rendering.OpenGL.GL.BufferMode--- Copyright   :  (c) Sven Panne 2002-2009--- License     :  BSD-style (see the file libraries/OpenGL/LICENSE)------ Maintainer  :  sven.panne@aedion.de--- Stability   :  stable--- Portability :  portable------ This is a purely internal module for (un-)marshaling BufferMode.--------------------------------------------------------------------------------------module Graphics.Rendering.OpenGL.GL.BufferMode (-   BufferMode(..), marshalBufferMode, unmarshalBufferMode, unmarshalBufferModeSafe,-   maxColorAttachments,-) where--import Graphics.Rendering.OpenGL.Raw.Core31-import Graphics.Rendering.OpenGL.Raw.ARB.Compatibility ( gl_AUX0 )-------------------------------------------------------------------------------------- | The set of color buffers which are selected for reading and writing.--data BufferMode =-     NoBuffers-     -- ^ No color buffers are selected.-   | FrontLeftBuffer-     -- ^ Only the front left color buffer is selected.-   | FrontRightBuffer-     -- ^ Only the front right color buffer is selected.-   | BackLeftBuffer-     -- ^ Only the  back left color buffer is selected.-   | BackRightBuffer-     -- ^ Only the back right color buffer is selected.-   | FrontBuffers-     -- ^ Only the front left and front right color buffers are selected. If-     -- there is no front right color buffer, only the front left color buffer-     -- is selected.-   | BackBuffers-     -- ^ Only the back left and back right color buffers are selected. If there-     -- is no back right color buffer, only the back left color buffer is-     -- selected.-   | LeftBuffers-     -- ^ Only the front left and back left color buffers are selected. If there-     -- is no back left color buffer, only the front left color buffer is-     -- selected.-   | RightBuffers-     -- ^ Only the front right and back right color buffers are selected. If-     -- there is no back right color buffer, only the front right color buffer-     -- is selected.-   | FrontAndBackBuffers-     -- ^ All the front and back color buffers (front left, front right, back-     -- left, back right) are selected. If there are no back color buffers, only-     -- the front left and front right color buffers are selected. If there are-     -- no right color buffers, only the front left and back left color buffers-     -- are selected. If there are no right or back color buffers, only the-     -- front left color buffer is selected.-   | AuxBuffer GLsizei-     -- ^ Only the given auxiliary color buffer no. /i/ is selected.-   | FBOColorAttachment GLsizei-     -- ^ Only the given color attachment of the bound framebufferobject is selected for reading-     -- or writing.-   deriving ( Eq, Ord, Show )--marshalBufferMode :: BufferMode -> Maybe GLenum-marshalBufferMode x = case x of-   NoBuffers -> Just gl_NONE-   FrontLeftBuffer -> Just gl_FRONT_LEFT-   FrontRightBuffer -> Just gl_FRONT_RIGHT-   BackLeftBuffer -> Just gl_BACK_LEFT-   BackRightBuffer -> Just gl_BACK_RIGHT-   FrontBuffers -> Just gl_FRONT-   BackBuffers -> Just gl_BACK-   LeftBuffers -> Just gl_LEFT-   RightBuffers -> Just gl_RIGHT-   FrontAndBackBuffers -> Just gl_FRONT_AND_BACK-   AuxBuffer i-      | fromIntegral i <= maxAuxBuffer -> Just (gl_AUX0 + fromIntegral i)-      | otherwise -> Nothing-   FBOColorAttachment i-      | fromIntegral i <= maxColorAttachments -> Just (gl_COLOR_ATTACHMENT0 + fromIntegral i)-      | otherwise -> Nothing--unmarshalBufferMode :: GLenum -> BufferMode-unmarshalBufferMode x = maybe-   (error ("unmarshalBufferMode: illegal value " ++ show x)) id $ unmarshalBufferModeSafe x---unmarshalBufferMode x---   | x == gl_NONE = NoBuffers---   | x == gl_FRONT_LEFT = FrontLeftBuffer---   | x == gl_FRONT_RIGHT = FrontRightBuffer---   | x == gl_BACK_LEFT = BackLeftBuffer---   | x == gl_BACK_RIGHT = BackRightBuffer---   | x == gl_FRONT = FrontBuffers---   | x == gl_BACK = BackBuffers---   | x == gl_LEFT = LeftBuffers---   | x == gl_RIGHT = RightBuffers---   | x == gl_FRONT_AND_BACK = FrontAndBackBuffers---   | gl_AUX0 <= x && x <= gl_AUX0 + maxAuxBuffer = AuxBuffer (fromIntegral (x - gl_AUX0))---   | otherwise = error ("unmarshalBufferMode: illegal value " ++ show x)--unmarshalBufferModeSafe :: GLenum -> Maybe BufferMode-unmarshalBufferModeSafe x-   | x == gl_NONE = Just NoBuffers-   | x == gl_FRONT_LEFT = Just FrontLeftBuffer-   | x == gl_FRONT_RIGHT = Just FrontRightBuffer-   | x == gl_BACK_LEFT = Just BackLeftBuffer-   | x == gl_BACK_RIGHT = Just BackRightBuffer-   | x == gl_FRONT = Just FrontBuffers-   | x == gl_BACK = Just BackBuffers-   | x == gl_LEFT = Just LeftBuffers-   | x == gl_RIGHT = Just RightBuffers-   | x == gl_FRONT_AND_BACK = Just FrontAndBackBuffers-   | gl_AUX0 <= x && x <= gl_AUX0 + maxAuxBuffer = Just . AuxBuffer . fromIntegral $ x - gl_AUX0-   | gl_COLOR_ATTACHMENT0 <= x && x <= gl_COLOR_ATTACHMENT0 + maxColorAttachments-      = Just . FBOColorAttachment . fromIntegral $ x - gl_COLOR_ATTACHMENT0-   | otherwise = Nothing--maxAuxBuffer :: GLenum-maxAuxBuffer = 246--maxColorAttachments :: GLenum-maxColorAttachments = 16+{-# OPTIONS_HADDOCK hide #-}
+--------------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL.GL.BufferMode
+-- Copyright   :  (c) Sven Panne 2002-2013
+-- License     :  BSD3
+--
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- This is a purely internal module for (un-)marshaling BufferMode.
+--
+--------------------------------------------------------------------------------
+
+module Graphics.Rendering.OpenGL.GL.BufferMode (
+   BufferMode(..), marshalBufferMode, unmarshalBufferMode,
+   unmarshalBufferModeSafe,
+   maxColorAttachments,
+) where
+
+import Graphics.Rendering.OpenGL.Raw
+
+--------------------------------------------------------------------------------
+
+-- | The set of color buffers which are selected for reading and writing.
+
+data BufferMode =
+     NoBuffers
+     -- ^ No color buffers are selected.
+   | FrontLeftBuffer
+     -- ^ Only the front left color buffer is selected.
+   | FrontRightBuffer
+     -- ^ Only the front right color buffer is selected.
+   | BackLeftBuffer
+     -- ^ Only the  back left color buffer is selected.
+   | BackRightBuffer
+     -- ^ Only the back right color buffer is selected.
+   | FrontBuffers
+     -- ^ Only the front left and front right color buffers are selected. If
+     -- there is no front right color buffer, only the front left color buffer
+     -- is selected.
+   | BackBuffers
+     -- ^ Only the back left and back right color buffers are selected. If there
+     -- is no back right color buffer, only the back left color buffer is
+     -- selected.
+   | LeftBuffers
+     -- ^ Only the front left and back left color buffers are selected. If there
+     -- is no back left color buffer, only the front left color buffer is
+     -- selected.
+   | RightBuffers
+     -- ^ Only the front right and back right color buffers are selected. If
+     -- there is no back right color buffer, only the front right color buffer
+     -- is selected.
+   | FrontAndBackBuffers
+     -- ^ All the front and back color buffers (front left, front right, back
+     -- left, back right) are selected. If there are no back color buffers, only
+     -- the front left and front right color buffers are selected. If there are
+     -- no right color buffers, only the front left and back left color buffers
+     -- are selected. If there are no right or back color buffers, only the
+     -- front left color buffer is selected.
+   | AuxBuffer GLsizei
+     -- ^ Only the given auxiliary color buffer no. /i/ is selected.
+   | FBOColorAttachment GLsizei
+     -- ^ Only the given color attachment of the bound framebufferobject is selected for reading
+     -- or writing.
+   deriving ( Eq, Ord, Show )
+
+marshalBufferMode :: BufferMode -> Maybe GLenum
+marshalBufferMode x = case x of
+   NoBuffers -> Just gl_NONE
+   FrontLeftBuffer -> Just gl_FRONT_LEFT
+   FrontRightBuffer -> Just gl_FRONT_RIGHT
+   BackLeftBuffer -> Just gl_BACK_LEFT
+   BackRightBuffer -> Just gl_BACK_RIGHT
+   FrontBuffers -> Just gl_FRONT
+   BackBuffers -> Just gl_BACK
+   LeftBuffers -> Just gl_LEFT
+   RightBuffers -> Just gl_RIGHT
+   FrontAndBackBuffers -> Just gl_FRONT_AND_BACK
+   AuxBuffer i
+      | fromIntegral i <= maxAuxBuffer -> Just (gl_AUX0 + fromIntegral i)
+      | otherwise -> Nothing
+   FBOColorAttachment i
+      | fromIntegral i <= maxColorAttachments -> Just (gl_COLOR_ATTACHMENT0 + fromIntegral i)
+      | otherwise -> Nothing
+
+unmarshalBufferMode :: GLenum -> BufferMode
+unmarshalBufferMode x = maybe
+   (error ("unmarshalBufferMode: illegal value " ++ show x)) id $ unmarshalBufferModeSafe x
+
+unmarshalBufferModeSafe :: GLenum -> Maybe BufferMode
+unmarshalBufferModeSafe x
+   | x == gl_NONE = Just NoBuffers
+   | x == gl_FRONT_LEFT = Just FrontLeftBuffer
+   | x == gl_FRONT_RIGHT = Just FrontRightBuffer
+   | x == gl_BACK_LEFT = Just BackLeftBuffer
+   | x == gl_BACK_RIGHT = Just BackRightBuffer
+   | x == gl_FRONT = Just FrontBuffers
+   | x == gl_BACK = Just BackBuffers
+   | x == gl_LEFT = Just LeftBuffers
+   | x == gl_RIGHT = Just RightBuffers
+   | x == gl_FRONT_AND_BACK = Just FrontAndBackBuffers
+   | gl_AUX0 <= x && x <= gl_AUX0 + maxAuxBuffer = Just . AuxBuffer . fromIntegral $ x - gl_AUX0
+   | gl_COLOR_ATTACHMENT0 <= x && x <= gl_COLOR_ATTACHMENT0 + maxColorAttachments
+      = Just . FBOColorAttachment . fromIntegral $ x - gl_COLOR_ATTACHMENT0
+   | otherwise = Nothing
+
+maxAuxBuffer :: GLenum
+maxAuxBuffer = 246
+
+maxColorAttachments :: GLenum
+maxColorAttachments = 16

@@ -1,420 +1,434 @@------------------------------------------------------------------------------------ |--- Module      :  Graphics.Rendering.OpenGL.GL.BufferObjects--- Copyright   :  (c) Sven Panne 2002-2009--- License     :  BSD-style (see the file libraries/OpenGL/LICENSE)------ Maintainer  :  sven.panne@aedion.de--- Stability   :  stable--- Portability :  portable------ This module corresponds to section 2.9 (Buffer Objects) of the OpenGL 2.1--- specs.--------------------------------------------------------------------------------------module Graphics.Rendering.OpenGL.GL.BufferObjects (-   -- * Object Names-   module Graphics.Rendering.OpenGL.GL.ObjectName,--   -- * Buffer Objects-   BufferObject(BufferObject),--   -- * Binding Buffer Objects-   BufferTarget(..), bindBuffer, arrayBufferBinding,-   vertexAttribArrayBufferBinding,--   -- * Handling Buffer Data-   BufferUsage(..), bufferData, TransferDirection(..), bufferSubData,--   -- * Mapping Buffer Objects-   BufferAccess(..), MappingFailure(..), withMappedBuffer,-   mapBuffer, unmapBuffer,-   bufferAccess, bufferMapped,--   BufferRangeAccessBit(..), Offset, Length,-   mapBufferRange, flushMappedBufferRange,--   -- * Indexed Buffer manipulation-   BufferIndex,-   RangeStartIndex, RangeSize,-   BufferRange,-   IndexedBufferTarget(..),-   bindBufferBase, bindBufferRange,-   indexedBufferStart, indexedBufferSize-) where--import Data.List(foldl1')-import Data.Bits((.|.))-import Data.Maybe--import Foreign.Marshal.Alloc-import Foreign.Marshal.Array-import Foreign.Ptr-import Foreign.Storable--import Graphics.Rendering.OpenGL.GL.StateVar-import Graphics.Rendering.OpenGL.GL.ObjectName-import Graphics.Rendering.OpenGL.GL.Exception-import Graphics.Rendering.OpenGL.GL.GLboolean-import Graphics.Rendering.OpenGL.GL.PeekPoke-import Graphics.Rendering.OpenGL.GL.QueryUtils-import Graphics.Rendering.OpenGL.GL.VertexArrays-import Graphics.Rendering.OpenGL.GLU.ErrorsInternal-import Graphics.Rendering.OpenGL.Raw.Core31------------------------------------------------------------------------------------newtype BufferObject = BufferObject { bufferID :: GLuint }-   deriving ( Eq, Ord, Show )------------------------------------------------------------------------------------instance ObjectName BufferObject where-   genObjectNames n =-      allocaArray n $ \buf -> do-        glGenBuffers (fromIntegral n) buf-        fmap (map BufferObject) $ peekArray n buf--   deleteObjectNames bufferObjects =-      withArrayLen (map bufferID bufferObjects) $-         glDeleteBuffers . fromIntegral--   isObjectName = fmap unmarshalGLboolean . glIsBuffer . bufferID------------------------------------------------------------------------------------data BufferTarget =-     ArrayBuffer-   | CopyReadBuffer-   | CopyWriteBuffer-   | ElementArrayBuffer-   | PixelPackBuffer-   | PixelUnpackBuffer-   | TransformFeedbackBuffer-   deriving ( Eq, Ord, Show )--marshalBufferTarget :: BufferTarget -> GLenum-marshalBufferTarget x = case x of-   ArrayBuffer -> gl_ARRAY_BUFFER-   CopyReadBuffer -> gl_COPY_READ_BUFFER-   CopyWriteBuffer -> gl_COPY_WRITE_BUFFER-   ElementArrayBuffer -> gl_ELEMENT_ARRAY_BUFFER-   PixelPackBuffer -> gl_PIXEL_PACK_BUFFER-   PixelUnpackBuffer -> gl_PIXEL_UNPACK_BUFFER-   TransformFeedbackBuffer -> gl_TRANSFORM_FEEDBACK_BUFFER--bufferTargetToGetPName :: BufferTarget -> PName1I-bufferTargetToGetPName x = case x of-   ArrayBuffer -> GetArrayBufferBinding-   ElementArrayBuffer -> GetElementArrayBufferBinding-   CopyReadBuffer -> GetCopyReadBuffer-   CopyWriteBuffer -> GetCopyWriteBuffer-   PixelPackBuffer -> GetPixelPackBufferBinding-   PixelUnpackBuffer -> GetPixelUnpackBufferBinding-   TransformFeedbackBuffer -> GetTransformFeedbackBufferBinding------------------------------------------------------------------------------------data BufferUsage =-     StreamDraw-   | StreamRead-   | StreamCopy-   | StaticDraw-   | StaticRead-   | StaticCopy-   | DynamicDraw-   | DynamicRead-   | DynamicCopy-   deriving ( Eq, Ord, Show )--marshalBufferUsage :: BufferUsage -> GLenum-marshalBufferUsage x = case x of-   StreamDraw -> gl_STREAM_DRAW-   StreamRead -> gl_STREAM_READ-   StreamCopy -> gl_STREAM_COPY-   StaticDraw -> gl_STATIC_DRAW-   StaticRead -> gl_STATIC_READ-   StaticCopy -> gl_STATIC_COPY-   DynamicDraw -> gl_DYNAMIC_DRAW-   DynamicRead -> gl_DYNAMIC_READ-   DynamicCopy -> gl_DYNAMIC_COPY--unmarshalBufferUsage :: GLenum -> BufferUsage-unmarshalBufferUsage x-   | x == gl_STREAM_DRAW = StreamDraw-   | x == gl_STREAM_READ = StreamRead-   | x == gl_STREAM_COPY = StreamCopy-   | x == gl_STATIC_DRAW = StaticDraw-   | x == gl_STATIC_READ = StaticRead-   | x == gl_STATIC_COPY = StaticCopy-   | x == gl_DYNAMIC_DRAW = DynamicDraw-   | x == gl_DYNAMIC_READ = DynamicRead-   | x == gl_DYNAMIC_COPY = DynamicCopy-   | otherwise = error ("unmarshalBufferUsage: illegal value " ++ show x)------------------------------------------------------------------------------------data BufferAccess =-     ReadOnly-   | WriteOnly-   | ReadWrite-   deriving ( Eq, Ord, Show )--marshalBufferAccess :: BufferAccess -> GLenum-marshalBufferAccess x = case x of-   ReadOnly -> gl_READ_ONLY-   WriteOnly -> gl_WRITE_ONLY-   ReadWrite -> gl_READ_WRITE--unmarshalBufferAccess :: GLenum -> BufferAccess-unmarshalBufferAccess x-   | x == gl_READ_ONLY = ReadOnly-   | x == gl_WRITE_ONLY = WriteOnly-   | x == gl_READ_WRITE = ReadWrite-   | otherwise = error ("unmarshalBufferAccess: illegal value " ++ show x)------------------------------------------------------------------------------------bindBuffer :: BufferTarget -> StateVar (Maybe BufferObject)-bindBuffer t = makeStateVar (getBindBuffer t) (setBindBuffer t)--getBindBuffer :: BufferTarget -> IO (Maybe BufferObject)-getBindBuffer = bufferQuery bufferTargetToGetPName--bufferQuery :: (a -> PName1I) -> a -> IO (Maybe BufferObject)-bufferQuery func t = do-   buf <- getInteger1 (BufferObject . fromIntegral) (func t)-   return $ if buf == noBufferObject then Nothing else Just buf--noBufferObject :: BufferObject-noBufferObject = BufferObject 0--setBindBuffer :: BufferTarget -> Maybe BufferObject -> IO ()-setBindBuffer t =-   glBindBuffer (marshalBufferTarget t) . bufferID . fromMaybe noBufferObject--clientArrayTypeToGetPName :: ClientArrayType -> PName1I-clientArrayTypeToGetPName x = case x of-   VertexArray -> GetVertexArrayBufferBinding-   NormalArray -> GetNormalArrayBufferBinding-   ColorArray -> GetColorArrayBufferBinding-   IndexArray -> GetIndexArrayBufferBinding-   TextureCoordArray -> GetTextureCoordArrayBufferBinding-   EdgeFlagArray -> GetEdgeFlagArrayBufferBinding-   FogCoordArray -> GetFogCoordArrayBufferBinding-   SecondaryColorArray -> GetSecondaryColorArrayBufferBinding-   MatrixIndexArray -> error "clientArrayTypeToGetPName: impossible"--arrayBufferBinding :: ClientArrayType -> GettableStateVar (Maybe BufferObject)-arrayBufferBinding t =-   makeGettableStateVar $ case t of-      MatrixIndexArray -> do recordInvalidEnum ; return Nothing-      _ -> bufferQuery clientArrayTypeToGetPName t---vertexAttribArrayBufferBinding :: AttribLocation -> GettableStateVar (Maybe BufferObject)-vertexAttribArrayBufferBinding location =-   makeGettableStateVar $ do-      buf <- getVertexAttribInteger1 (BufferObject . fromIntegral) location GetVertexAttribArrayBufferBinding-      return $ if buf == noBufferObject then Nothing else Just buf------------------------------------------------------------------------------------bufferData :: BufferTarget -> StateVar (GLsizeiptr, Ptr a, BufferUsage)-bufferData t = makeStateVar (getBufferData t) (setBufferData t)--getBufferData :: BufferTarget -> IO (GLsizeiptr, Ptr a, BufferUsage)-getBufferData t = do-   s <- getBufferParameter t fromIntegral GetBufferSize-   p <- getBufferPointer t-   u <- getBufferParameter t unmarshalBufferUsage GetBufferUsage-   return (s, p, u)--setBufferData :: BufferTarget -> (GLsizeiptr, Ptr a, BufferUsage) -> IO ()-setBufferData t (s, p, u) =-   glBufferData (marshalBufferTarget t) s p (marshalBufferUsage u)------------------------------------------------------------------------------------data TransferDirection =-     ReadFromBuffer-   | WriteToBuffer-   deriving ( Eq, Ord, Show )--bufferSubData ::-   BufferTarget -> TransferDirection -> GLintptr -> GLsizeiptr -> Ptr a -> IO ()-bufferSubData t WriteToBuffer = glBufferSubData (marshalBufferTarget t)-bufferSubData t ReadFromBuffer = glGetBufferSubData (marshalBufferTarget t)------------------------------------------------------------------------------------data GetBufferPName =-     GetBufferSize-   | GetBufferUsage-   | GetBufferAccess-   | GetBufferMapped--marshalGetBufferPName :: GetBufferPName -> GLenum-marshalGetBufferPName x = case x of-   GetBufferSize -> gl_BUFFER_SIZE-   GetBufferUsage -> gl_BUFFER_USAGE-   GetBufferAccess -> gl_BUFFER_ACCESS-   GetBufferMapped -> gl_BUFFER_MAPPED--getBufferParameter :: BufferTarget -> (GLenum -> a) -> GetBufferPName -> IO a-getBufferParameter t f p = alloca $ \buf -> do-   glGetBufferParameteriv (marshalBufferTarget t)-                          (marshalGetBufferPName p) buf-   peek1 (f . fromIntegral) buf------------------------------------------------------------------------------------getBufferPointer :: BufferTarget -> IO (Ptr a)-getBufferPointer t = alloca $ \buf -> do-   glGetBufferPointerv (marshalBufferTarget t) gl_BUFFER_MAP_POINTER buf-   peek buf------------------------------------------------------------------------------------data MappingFailure =-     MappingFailed-   | UnmappingFailed-   deriving ( Eq, Ord, Show )---- | Convenience function for an exception-safe combination of 'mapBuffer' and--- 'unmapBuffer'.-withMappedBuffer :: BufferTarget -> BufferAccess -> (Ptr a -> IO b) -> (MappingFailure -> IO b) -> IO b-withMappedBuffer t a action err = do-   maybeBuf <- mapBuffer t a-   case maybeBuf  of-      Nothing -> err MappingFailed-      Just buf -> do (ret, ok) <- action buf `finallyRet` unmapBuffer t-                     if ok-                        then return ret-                        else err UnmappingFailed--mapBuffer :: BufferTarget -> BufferAccess -> IO (Maybe (Ptr a))-mapBuffer t = fmap (maybeNullPtr Nothing Just) . mapBuffer_ t--mapBuffer_ :: BufferTarget -> BufferAccess -> IO (Ptr a)-mapBuffer_ t = glMapBuffer (marshalBufferTarget t) . marshalBufferAccess--unmapBuffer :: BufferTarget -> IO Bool-unmapBuffer = fmap unmarshalGLboolean . glUnmapBuffer . marshalBufferTarget--bufferAccess :: BufferTarget -> GettableStateVar BufferAccess-bufferAccess t = makeGettableStateVar $-   getBufferParameter t unmarshalBufferAccess GetBufferAccess--bufferMapped :: BufferTarget -> GettableStateVar Bool-bufferMapped t = makeGettableStateVar $-   getBufferParameter t unmarshalGLboolean GetBufferMapped------------------------------------------------------------------------------------data BufferRangeAccessBit =-     ReadBit-   | WriteBit-   | InvalidateRangeBit-   | InvalidateBufferBit-   | FlushExplicitBit-   | UnsychronizedBit--type Offset = GLintptr-type Length = GLsizeiptr--marshalBufferRangeAccessBit :: BufferRangeAccessBit -> GLenum-marshalBufferRangeAccessBit x = case x of-    ReadBit -> gl_MAP_READ_BIT-    WriteBit -> gl_MAP_WRITE_BIT-    InvalidateRangeBit -> gl_MAP_INVALIDATE_RANGE_BIT-    InvalidateBufferBit -> gl_MAP_INVALIDATE_BUFFER_BIT-    FlushExplicitBit -> gl_MAP_FLUSH_EXPLICIT_BIT-    UnsychronizedBit -> gl_MAP_FLUSH_EXPLICIT_BIT--marshalToBitfield :: [BufferRangeAccessBit] -> GLenum-marshalToBitfield b = foldl1' (.|.)  $ map marshalBufferRangeAccessBit b------------------------------------------------------------------------------------mapBufferRange_ :: BufferTarget -> Offset -> Length ->-   [BufferRangeAccessBit] -> IO (Ptr a)-mapBufferRange_ t o l b = glMapBufferRange (marshalBufferTarget t) o l-    (fromIntegral $ marshalToBitfield b)--mapBufferRange :: BufferTarget -> Offset -> Length ->-   [BufferRangeAccessBit] -> IO (Maybe (Ptr a))-mapBufferRange t o l b = fmap (maybeNullPtr Nothing Just) $ mapBufferRange_ t o l b--flushMappedBufferRange :: BufferTarget -> Offset -> Length -> IO()-flushMappedBufferRange t = glFlushMappedBufferRange (marshalBufferTarget t)------------------------------------------------------------------------------------type BufferIndex = GLuint--type RangeStartIndex = GLintptr-type RangeSize = GLsizeiptr-type BufferRange = (BufferObject, RangeStartIndex, RangeSize)--data IndexedBufferTarget =-     IndexedTransformFeedBackbuffer---marshaling-marshalIndexedBufferTarget :: IndexedBufferTarget -> IPName1I-marshalIndexedBufferTarget x = case x of-   IndexedTransformFeedBackbuffer -> GetTransformFeedbackBuffer--marshalIndexedBufferStart :: IndexedBufferTarget -> IPName1I-marshalIndexedBufferStart x = case x of-   IndexedTransformFeedBackbuffer -> GetTransformFeedbackBufferStart--marshalIndexedBufferSize :: IndexedBufferTarget -> IPName1I-marshalIndexedBufferSize x = case x of-   IndexedTransformFeedBackbuffer -> GetTransformFeedbackBufferSize--getIndexed :: Num a => IPName1I -> BufferIndex -> GettableStateVar a-getIndexed e i = makeGettableStateVar $ getInteger1i fromIntegral e i----buffer-bindBufferBase :: IndexedBufferTarget -> BufferIndex -> StateVar (Maybe BufferObject)-bindBufferBase t i = makeStateVar (getIndexedBufferBinding t i) (setIndexedBufferBase t i)--setIndexedBufferBase :: IndexedBufferTarget -> BufferIndex -> Maybe BufferObject -> IO ()-setIndexedBufferBase t i buf=-   case marshalGetPName . marshalIndexedBufferTarget $ t of-      Nothing -> recordInvalidEnum-      Just t' ->-         glBindBufferBase t' i . bufferID . fromMaybe noBufferObject $ buf--getIndexedBufferBinding :: IndexedBufferTarget -> BufferIndex -> IO (Maybe BufferObject)-getIndexedBufferBinding t i = do-   buf <- getInteger1i (BufferObject . fromIntegral) (marshalIndexedBufferTarget t) i-   return $ if buf == noBufferObject then Nothing else Just buf--bindBufferRange :: IndexedBufferTarget -> BufferIndex -> StateVar (Maybe BufferRange)-bindBufferRange t i = makeStateVar (getIndexedBufferRange t i) (setIndexedBufferRange t i)--setIndexedBufferRange :: IndexedBufferTarget -> BufferIndex -> Maybe BufferRange -> IO ()-setIndexedBufferRange t i (Just (buf, start, range)) =-   case marshalGetPName . marshalIndexedBufferTarget $ t of-      Nothing -> recordInvalidEnum-      Just t' -> glBindBufferRange t' i (bufferID buf) start range-setIndexedBufferRange t i Nothing = setIndexedBufferBase t i Nothing--getIndexedBufferRange :: IndexedBufferTarget -> BufferIndex -> IO(Maybe BufferRange)-getIndexedBufferRange t i = do-  buf <- getInteger1i (BufferObject . fromIntegral) (marshalIndexedBufferTarget t) i-  if buf == noBufferObject-     then return Nothing-     else do-        start <- get $ indexedBufferStart t i-        size <- get $ indexedBufferSize t i-        return $ Just (buf, start, size)---indexedBufferStart :: IndexedBufferTarget -> BufferIndex -> GettableStateVar RangeStartIndex-indexedBufferStart = getIndexed . marshalIndexedBufferStart--indexedBufferSize :: IndexedBufferTarget -> BufferIndex -> GettableStateVar RangeSize-indexedBufferSize = getIndexed . marshalIndexedBufferSize+--------------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL.GL.BufferObjects
+-- Copyright   :  (c) Sven Panne 2002-2013
+-- License     :  BSD3
+--
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- This module corresponds to section 2.9 (Buffer Objects) of the OpenGL 2.1
+-- specs.
+--
+--------------------------------------------------------------------------------
+
+module Graphics.Rendering.OpenGL.GL.BufferObjects (
+   -- * Buffer Objects
+   BufferObject,
+
+   -- * Binding Buffer Objects
+   BufferTarget(..), bindBuffer, arrayBufferBinding,
+   vertexAttribArrayBufferBinding,
+
+   -- * Handling Buffer Data
+   BufferUsage(..), bufferData, TransferDirection(..), bufferSubData,
+
+   -- * Mapping Buffer Objects
+   BufferAccess(..), MappingFailure(..), withMappedBuffer,
+   mapBuffer, unmapBuffer,
+   bufferAccess, bufferMapped,
+
+   MapBufferUsage(..), Offset, Length,
+   mapBufferRange, flushMappedBufferRange,
+
+   -- * Indexed Buffer manipulation
+   BufferIndex,
+   RangeStartIndex, RangeSize,
+   BufferRange,
+   IndexedBufferTarget(..),
+   bindBufferBase, bindBufferRange,
+   indexedBufferStart, indexedBufferSize
+) where
+
+import Data.Maybe
+import Foreign.Marshal.Alloc
+import Foreign.Marshal.Array
+import Foreign.Ptr
+import Foreign.Storable
+import Graphics.Rendering.OpenGL.GL.Exception
+import Graphics.Rendering.OpenGL.GL.GLboolean
+import Graphics.Rendering.OpenGL.GL.ObjectName
+import Graphics.Rendering.OpenGL.GL.PeekPoke
+import Graphics.Rendering.OpenGL.GL.QueryUtils
+import Graphics.Rendering.OpenGL.GL.StateVar
+import Graphics.Rendering.OpenGL.GL.VertexArrays
+import Graphics.Rendering.OpenGL.GLU.ErrorsInternal
+import Graphics.Rendering.OpenGL.Raw
+
+--------------------------------------------------------------------------------
+
+newtype BufferObject = BufferObject { bufferID :: GLuint }
+   deriving ( Eq, Ord, Show )
+
+--------------------------------------------------------------------------------
+
+instance ObjectName BufferObject where
+   isObjectName = fmap unmarshalGLboolean . glIsBuffer . bufferID
+
+   deleteObjectNames bufferObjects =
+      withArrayLen (map bufferID bufferObjects) $
+         glDeleteBuffers . fromIntegral
+
+instance GeneratableObjectName BufferObject where
+   genObjectNames n =
+      allocaArray n $ \buf -> do
+        glGenBuffers (fromIntegral n) buf
+        fmap (map BufferObject) $ peekArray n buf
+
+--------------------------------------------------------------------------------
+
+data BufferTarget =
+     ArrayBuffer
+   | AtomicCounterBuffer
+   | CopyReadBuffer
+   | CopyWriteBuffer
+   | DispatchIndirectBuffer
+   | DrawIndirectBuffer
+   | ElementArrayBuffer
+   | PixelPackBuffer
+   | PixelUnpackBuffer
+   | QueryBuffer
+   | ShaderStorageBuffer
+   | TextureBuffer
+   | TransformFeedbackBuffer
+   | UniformBuffer
+   deriving ( Eq, Ord, Show )
+
+marshalBufferTarget :: BufferTarget -> GLenum
+marshalBufferTarget x = case x of
+   ArrayBuffer -> gl_ARRAY_BUFFER
+   AtomicCounterBuffer -> gl_ATOMIC_COUNTER_BUFFER
+   CopyReadBuffer -> gl_COPY_READ_BUFFER
+   CopyWriteBuffer -> gl_COPY_WRITE_BUFFER
+   DispatchIndirectBuffer -> gl_DISPATCH_INDIRECT_BUFFER
+   DrawIndirectBuffer -> gl_DRAW_INDIRECT_BUFFER
+   ElementArrayBuffer -> gl_ELEMENT_ARRAY_BUFFER
+   PixelPackBuffer -> gl_PIXEL_PACK_BUFFER
+   PixelUnpackBuffer -> gl_PIXEL_UNPACK_BUFFER
+   QueryBuffer -> gl_QUERY_BUFFER
+   ShaderStorageBuffer -> gl_SHADER_STORAGE_BUFFER
+   TextureBuffer -> gl_TEXTURE_BUFFER
+   TransformFeedbackBuffer -> gl_TRANSFORM_FEEDBACK_BUFFER
+   UniformBuffer -> gl_UNIFORM_BUFFER
+
+bufferTargetToGetPName :: BufferTarget -> PName1I
+bufferTargetToGetPName x = case x of
+   ArrayBuffer -> GetArrayBufferBinding
+   AtomicCounterBuffer -> GetAtomicCounterBufferBinding
+   CopyReadBuffer -> GetCopyReadBufferBinding
+   CopyWriteBuffer -> GetCopyWriteBufferBinding
+   DispatchIndirectBuffer -> GetDispatchIndirectBufferBinding
+   DrawIndirectBuffer -> GetDrawIndirectBufferBinding
+   ElementArrayBuffer -> GetElementArrayBufferBinding
+   PixelPackBuffer -> GetPixelPackBufferBinding
+   PixelUnpackBuffer -> GetPixelUnpackBufferBinding
+   QueryBuffer -> GetQueryBufferBinding
+   ShaderStorageBuffer -> GetShaderStorageBufferBinding
+   TextureBuffer -> GetTextureBindingBuffer
+   TransformFeedbackBuffer -> GetTransformFeedbackBufferBinding
+   UniformBuffer -> GetUniformBufferBinding
+
+--------------------------------------------------------------------------------
+
+data BufferUsage =
+     StreamDraw
+   | StreamRead
+   | StreamCopy
+   | StaticDraw
+   | StaticRead
+   | StaticCopy
+   | DynamicDraw
+   | DynamicRead
+   | DynamicCopy
+   deriving ( Eq, Ord, Show )
+
+marshalBufferUsage :: BufferUsage -> GLenum
+marshalBufferUsage x = case x of
+   StreamDraw -> gl_STREAM_DRAW
+   StreamRead -> gl_STREAM_READ
+   StreamCopy -> gl_STREAM_COPY
+   StaticDraw -> gl_STATIC_DRAW
+   StaticRead -> gl_STATIC_READ
+   StaticCopy -> gl_STATIC_COPY
+   DynamicDraw -> gl_DYNAMIC_DRAW
+   DynamicRead -> gl_DYNAMIC_READ
+   DynamicCopy -> gl_DYNAMIC_COPY
+
+unmarshalBufferUsage :: GLenum -> BufferUsage
+unmarshalBufferUsage x
+   | x == gl_STREAM_DRAW = StreamDraw
+   | x == gl_STREAM_READ = StreamRead
+   | x == gl_STREAM_COPY = StreamCopy
+   | x == gl_STATIC_DRAW = StaticDraw
+   | x == gl_STATIC_READ = StaticRead
+   | x == gl_STATIC_COPY = StaticCopy
+   | x == gl_DYNAMIC_DRAW = DynamicDraw
+   | x == gl_DYNAMIC_READ = DynamicRead
+   | x == gl_DYNAMIC_COPY = DynamicCopy
+   | otherwise = error ("unmarshalBufferUsage: illegal value " ++ show x)
+
+--------------------------------------------------------------------------------
+
+data BufferAccess =
+     ReadOnly
+   | WriteOnly
+   | ReadWrite
+   deriving ( Eq, Ord, Show )
+
+marshalBufferAccess :: BufferAccess -> GLenum
+marshalBufferAccess x = case x of
+   ReadOnly -> gl_READ_ONLY
+   WriteOnly -> gl_WRITE_ONLY
+   ReadWrite -> gl_READ_WRITE
+
+unmarshalBufferAccess :: GLenum -> BufferAccess
+unmarshalBufferAccess x
+   | x == gl_READ_ONLY = ReadOnly
+   | x == gl_WRITE_ONLY = WriteOnly
+   | x == gl_READ_WRITE = ReadWrite
+   | otherwise = error ("unmarshalBufferAccess: illegal value " ++ show x)
+
+--------------------------------------------------------------------------------
+
+bindBuffer :: BufferTarget -> StateVar (Maybe BufferObject)
+bindBuffer t = makeStateVar (getBindBuffer t) (setBindBuffer t)
+
+getBindBuffer :: BufferTarget -> IO (Maybe BufferObject)
+getBindBuffer = bufferQuery bufferTargetToGetPName
+
+bufferQuery :: (a -> PName1I) -> a -> IO (Maybe BufferObject)
+bufferQuery func t = do
+   buf <- getInteger1 (BufferObject . fromIntegral) (func t)
+   return $ if buf == noBufferObject then Nothing else Just buf
+
+noBufferObject :: BufferObject
+noBufferObject = BufferObject 0
+
+setBindBuffer :: BufferTarget -> Maybe BufferObject -> IO ()
+setBindBuffer t =
+   glBindBuffer (marshalBufferTarget t) . bufferID . fromMaybe noBufferObject
+
+clientArrayTypeToGetPName :: ClientArrayType -> PName1I
+clientArrayTypeToGetPName x = case x of
+   VertexArray -> GetVertexArrayBufferBinding
+   NormalArray -> GetNormalArrayBufferBinding
+   ColorArray -> GetColorArrayBufferBinding
+   IndexArray -> GetIndexArrayBufferBinding
+   TextureCoordArray -> GetTextureCoordArrayBufferBinding
+   EdgeFlagArray -> GetEdgeFlagArrayBufferBinding
+   FogCoordArray -> GetFogCoordArrayBufferBinding
+   SecondaryColorArray -> GetSecondaryColorArrayBufferBinding
+   MatrixIndexArray -> error "clientArrayTypeToGetPName: impossible"
+
+arrayBufferBinding :: ClientArrayType -> GettableStateVar (Maybe BufferObject)
+arrayBufferBinding t =
+   makeGettableStateVar $ case t of
+      MatrixIndexArray -> do recordInvalidEnum ; return Nothing
+      _ -> bufferQuery clientArrayTypeToGetPName t
+
+
+vertexAttribArrayBufferBinding :: AttribLocation -> GettableStateVar (Maybe BufferObject)
+vertexAttribArrayBufferBinding location =
+   makeGettableStateVar $ do
+      buf <- getVertexAttribInteger1 (BufferObject . fromIntegral) location GetVertexAttribArrayBufferBinding
+      return $ if buf == noBufferObject then Nothing else Just buf
+
+--------------------------------------------------------------------------------
+
+bufferData :: BufferTarget -> StateVar (GLsizeiptr, Ptr a, BufferUsage)
+bufferData t = makeStateVar (getBufferData t) (setBufferData t)
+
+getBufferData :: BufferTarget -> IO (GLsizeiptr, Ptr a, BufferUsage)
+getBufferData t = do
+   s <- getBufferParameter t fromIntegral GetBufferSize
+   p <- getBufferPointer t
+   u <- getBufferParameter t unmarshalBufferUsage GetBufferUsage
+   return (s, p, u)
+
+setBufferData :: BufferTarget -> (GLsizeiptr, Ptr a, BufferUsage) -> IO ()
+setBufferData t (s, p, u) =
+   glBufferData (marshalBufferTarget t) s p (marshalBufferUsage u)
+
+--------------------------------------------------------------------------------
+
+data TransferDirection =
+     ReadFromBuffer
+   | WriteToBuffer
+   deriving ( Eq, Ord, Show )
+
+bufferSubData ::
+   BufferTarget -> TransferDirection -> GLintptr -> GLsizeiptr -> Ptr a -> IO ()
+bufferSubData t WriteToBuffer = glBufferSubData (marshalBufferTarget t)
+bufferSubData t ReadFromBuffer = glGetBufferSubData (marshalBufferTarget t)
+
+--------------------------------------------------------------------------------
+
+data GetBufferPName =
+     GetBufferSize
+   | GetBufferUsage
+   | GetBufferAccess
+   | GetBufferMapped
+
+marshalGetBufferPName :: GetBufferPName -> GLenum
+marshalGetBufferPName x = case x of
+   GetBufferSize -> gl_BUFFER_SIZE
+   GetBufferUsage -> gl_BUFFER_USAGE
+   GetBufferAccess -> gl_BUFFER_ACCESS
+   GetBufferMapped -> gl_BUFFER_MAPPED
+
+getBufferParameter :: BufferTarget -> (GLenum -> a) -> GetBufferPName -> IO a
+getBufferParameter t f p = alloca $ \buf -> do
+   glGetBufferParameteriv (marshalBufferTarget t)
+                          (marshalGetBufferPName p) buf
+   peek1 (f . fromIntegral) buf
+
+--------------------------------------------------------------------------------
+
+getBufferPointer :: BufferTarget -> IO (Ptr a)
+getBufferPointer t = alloca $ \buf -> do
+   glGetBufferPointerv (marshalBufferTarget t) gl_BUFFER_MAP_POINTER buf
+   peek buf
+
+--------------------------------------------------------------------------------
+
+data MappingFailure =
+     MappingFailed
+   | UnmappingFailed
+   deriving ( Eq, Ord, Show )
+
+-- | Convenience function for an exception-safe combination of 'mapBuffer' and
+-- 'unmapBuffer'.
+withMappedBuffer :: BufferTarget -> BufferAccess -> (Ptr a -> IO b) -> (MappingFailure -> IO b) -> IO b
+withMappedBuffer t a action err = do
+   maybeBuf <- mapBuffer t a
+   case maybeBuf  of
+      Nothing -> err MappingFailed
+      Just buf -> do (ret, ok) <- action buf `finallyRet` unmapBuffer t
+                     if ok
+                        then return ret
+                        else err UnmappingFailed
+
+mapBuffer :: BufferTarget -> BufferAccess -> IO (Maybe (Ptr a))
+mapBuffer t = fmap (maybeNullPtr Nothing Just) . mapBuffer_ t
+
+mapBuffer_ :: BufferTarget -> BufferAccess -> IO (Ptr a)
+mapBuffer_ t = glMapBuffer (marshalBufferTarget t) . marshalBufferAccess
+
+unmapBuffer :: BufferTarget -> IO Bool
+unmapBuffer = fmap unmarshalGLboolean . glUnmapBuffer . marshalBufferTarget
+
+bufferAccess :: BufferTarget -> GettableStateVar BufferAccess
+bufferAccess t = makeGettableStateVar $
+   getBufferParameter t unmarshalBufferAccess GetBufferAccess
+
+bufferMapped :: BufferTarget -> GettableStateVar Bool
+bufferMapped t = makeGettableStateVar $
+   getBufferParameter t unmarshalGLboolean GetBufferMapped
+
+--------------------------------------------------------------------------------
+
+data MapBufferUsage =
+     Read
+   | Write
+   | InvalidateRange
+   | InvalidateBuffer
+   | FlushExplicit
+   | Unsychronized
+   deriving ( Eq, Ord, Show )
+
+type Offset = GLintptr
+type Length = GLsizeiptr
+
+marshalMapBufferUsage :: MapBufferUsage -> GLbitfield
+marshalMapBufferUsage x = case x of
+    Read -> gl_MAP_READ_BIT
+    Write -> gl_MAP_WRITE_BIT
+    InvalidateRange -> gl_MAP_INVALIDATE_RANGE_BIT
+    InvalidateBuffer -> gl_MAP_INVALIDATE_BUFFER_BIT
+    FlushExplicit -> gl_MAP_FLUSH_EXPLICIT_BIT
+    Unsychronized -> gl_MAP_FLUSH_EXPLICIT_BIT
+
+--------------------------------------------------------------------------------
+
+mapBufferRange_ ::
+   BufferTarget -> Offset -> Length -> [MapBufferUsage] -> IO (Ptr a)
+mapBufferRange_ t o l b = glMapBufferRange (marshalBufferTarget t) o l
+   (sum (map marshalMapBufferUsage b))
+
+mapBufferRange ::
+   BufferTarget -> Offset -> Length -> [MapBufferUsage] -> IO (Maybe (Ptr a))
+mapBufferRange t o l b =
+   fmap (maybeNullPtr Nothing Just) $ mapBufferRange_ t o l b
+
+flushMappedBufferRange :: BufferTarget -> Offset -> Length -> IO()
+flushMappedBufferRange t = glFlushMappedBufferRange (marshalBufferTarget t)
+
+--------------------------------------------------------------------------------
+
+type BufferIndex = GLuint
+
+type RangeStartIndex = GLintptr
+type RangeSize = GLsizeiptr
+type BufferRange = (BufferObject, RangeStartIndex, RangeSize)
+
+data IndexedBufferTarget =
+     IndexedTransformFeedbackBuffer
+--marshaling
+marshalIndexedBufferTarget :: IndexedBufferTarget -> IPName1I
+marshalIndexedBufferTarget x = case x of
+   IndexedTransformFeedbackBuffer -> GetTransformFeedbackBuffer
+
+marshalIndexedBufferStart :: IndexedBufferTarget -> IPName1I
+marshalIndexedBufferStart x = case x of
+   IndexedTransformFeedbackBuffer -> GetTransformFeedbackBufferStart
+
+marshalIndexedBufferSize :: IndexedBufferTarget -> IPName1I
+marshalIndexedBufferSize x = case x of
+   IndexedTransformFeedbackBuffer -> GetTransformFeedbackBufferSize
+
+getIndexed :: Num a => IPName1I -> BufferIndex -> GettableStateVar a
+getIndexed e i = makeGettableStateVar $ getInteger1i fromIntegral e i
+
+--buffer
+bindBufferBase :: IndexedBufferTarget -> BufferIndex -> StateVar (Maybe BufferObject)
+bindBufferBase t i = makeStateVar (getIndexedBufferBinding t i) (setIndexedBufferBase t i)
+
+setIndexedBufferBase :: IndexedBufferTarget -> BufferIndex -> Maybe BufferObject -> IO ()
+setIndexedBufferBase t i buf=
+   case marshalGetPName . marshalIndexedBufferTarget $ t of
+      Nothing -> recordInvalidEnum
+      Just t' ->
+         glBindBufferBase t' i . bufferID . fromMaybe noBufferObject $ buf
+
+getIndexedBufferBinding :: IndexedBufferTarget -> BufferIndex -> IO (Maybe BufferObject)
+getIndexedBufferBinding t i = do
+   buf <- getInteger1i (BufferObject . fromIntegral) (marshalIndexedBufferTarget t) i
+   return $ if buf == noBufferObject then Nothing else Just buf
+
+bindBufferRange :: IndexedBufferTarget -> BufferIndex -> StateVar (Maybe BufferRange)
+bindBufferRange t i = makeStateVar (getIndexedBufferRange t i) (setIndexedBufferRange t i)
+
+setIndexedBufferRange :: IndexedBufferTarget -> BufferIndex -> Maybe BufferRange -> IO ()
+setIndexedBufferRange t i (Just (buf, start, range)) =
+   case marshalGetPName . marshalIndexedBufferTarget $ t of
+      Nothing -> recordInvalidEnum
+      Just t' -> glBindBufferRange t' i (bufferID buf) start range
+setIndexedBufferRange t i Nothing = setIndexedBufferBase t i Nothing
+
+getIndexedBufferRange :: IndexedBufferTarget -> BufferIndex -> IO(Maybe BufferRange)
+getIndexedBufferRange t i = do
+  buf <- getInteger1i (BufferObject . fromIntegral) (marshalIndexedBufferTarget t) i
+  if buf == noBufferObject
+     then return Nothing
+     else do
+        start <- get $ indexedBufferStart t i
+        size <- get $ indexedBufferSize t i
+        return $ Just (buf, start, size)
+
+
+indexedBufferStart :: IndexedBufferTarget -> BufferIndex -> GettableStateVar RangeStartIndex
+indexedBufferStart = getIndexed . marshalIndexedBufferStart
+
+indexedBufferSize :: IndexedBufferTarget -> BufferIndex -> GettableStateVar RangeSize
+indexedBufferSize = getIndexed . marshalIndexedBufferSize

@@ -0,0 +1,62 @@+{-# OPTIONS_HADDOCK hide #-}
+--------------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL.GL.ByteString
+-- Copyright   :  (c) Sven Panne 2013
+-- License     :  BSD3
+--
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- This is a purely internal module for interfacing with ByteStrings.
+--
+--------------------------------------------------------------------------------
+
+module Graphics.Rendering.OpenGL.GL.ByteString (
+   B.ByteString, stringQuery, createAndTrimByteString,
+   withByteString, withGLstring,
+   packUtf8, unpackUtf8
+) where
+
+import Foreign.Ptr
+import Graphics.Rendering.OpenGL.GL.StateVar
+import Graphics.Rendering.OpenGL.Raw
+import qualified Data.ByteString as B
+import qualified Data.ByteString.Internal as BI
+import qualified Data.ByteString.Unsafe as BU
+import qualified Data.Text as T
+import qualified Data.Text.Encoding as TE
+
+--------------------------------------------------------------------------------
+
+stringQuery :: (a -> GettableStateVar GLsizei)
+            -> (a -> GLsizei -> Ptr GLsizei -> Ptr GLchar -> IO ())
+            -> a
+            -> IO B.ByteString
+stringQuery lengthVar getStr obj = do
+   len <- get (lengthVar obj)
+   createByteString len $
+      getStr obj len nullPtr
+
+createByteString :: Integral a => a -> (Ptr GLchar -> IO ()) -> IO B.ByteString
+createByteString size act = BI.create (fromIntegral size) (act . castPtr)
+
+createAndTrimByteString ::
+   (Integral a, Integral b) => a -> (Ptr GLchar -> IO b) -> IO B.ByteString
+createAndTrimByteString maxLen act =
+   BI.createAndTrim (fromIntegral maxLen) (fmap fromIntegral . act . castPtr)
+
+withByteString :: B.ByteString -> (Ptr GLchar -> GLsizei -> IO b) -> IO b
+withByteString bs act =
+   BU.unsafeUseAsCStringLen bs $ \(ptr, size) ->
+      act (castPtr ptr) (fromIntegral size)
+
+withGLstring :: String -> (Ptr GLchar -> IO a) -> IO a
+withGLstring s act = withByteString (packUtf8 (s ++ "\0")) (const . act)
+
+packUtf8 :: String -> B.ByteString
+packUtf8 = TE.encodeUtf8 . T.pack
+
+unpackUtf8 :: B.ByteString -> String
+unpackUtf8 = T.unpack . TE.decodeUtf8

@@ -1,320 +1,308 @@--- #hide------------------------------------------------------------------------------------ |--- Module      :  Graphics.Rendering.OpenGL.GL.Capability--- Copyright   :  (c) Sven Panne 2002-2009--- License     :  BSD-style (see the file libraries/OpenGL/LICENSE)------ Maintainer  :  sven.panne@aedion.de--- Stability   :  stable--- Portability :  portable------ This is a purely internal module for handling OpenGL capabilities, i.e.--- boolean state variables.--------------------------------------------------------------------------------------module Graphics.Rendering.OpenGL.GL.Capability (-   Capability(..), marshalCapability, unmarshalCapability,-   EnableCap(..), makeCapability, makeStateVarMaybe,--   IndexedEnableCap(..), makeIndexedCapability,-) where--import Graphics.Rendering.OpenGL.GL.StateVar-import Graphics.Rendering.OpenGL.GL.GLboolean-import Graphics.Rendering.OpenGL.GL.QueryUtils-import Graphics.Rendering.OpenGL.GLU.ErrorsInternal-import Graphics.Rendering.OpenGL.Raw.ARB.Compatibility (-   gl_ALPHA_TEST, gl_AUTO_NORMAL, gl_COLOR_ARRAY, gl_COLOR_MATERIAL,-   gl_COLOR_SUM, gl_COLOR_TABLE, gl_CONVOLUTION_1D, gl_CONVOLUTION_2D,-   gl_EDGE_FLAG_ARRAY, gl_FOG, gl_FOG_COORD_ARRAY, gl_HISTOGRAM, gl_INDEX_ARRAY,-   gl_INDEX_LOGIC_OP, gl_LIGHTING, gl_LINE_STIPPLE, gl_MAP1_COLOR_4,-   gl_MAP1_INDEX, gl_MAP1_NORMAL, gl_MAP1_TEXTURE_COORD_1,-   gl_MAP1_TEXTURE_COORD_2, gl_MAP1_TEXTURE_COORD_3, gl_MAP1_TEXTURE_COORD_4,-   gl_MAP1_VERTEX_3, gl_MAP1_VERTEX_4, gl_MAP2_COLOR_4, gl_MAP2_INDEX,-   gl_MAP2_NORMAL, gl_MAP2_TEXTURE_COORD_1, gl_MAP2_TEXTURE_COORD_2,-   gl_MAP2_TEXTURE_COORD_3, gl_MAP2_TEXTURE_COORD_4, gl_MAP2_VERTEX_3,-   gl_MAP2_VERTEX_4, gl_MINMAX, gl_NORMALIZE, gl_NORMAL_ARRAY, gl_POINT_SMOOTH,-   gl_POINT_SPRITE, gl_POLYGON_STIPPLE, gl_POST_COLOR_MATRIX_COLOR_TABLE,-   gl_POST_CONVOLUTION_COLOR_TABLE, gl_RESCALE_NORMAL, gl_SECONDARY_COLOR_ARRAY,-   gl_SEPARABLE_2D, gl_TEXTURE_COORD_ARRAY, gl_TEXTURE_GEN_Q, gl_TEXTURE_GEN_R,-   gl_TEXTURE_GEN_S, gl_TEXTURE_GEN_T, gl_VERTEX_ARRAY,-   gl_VERTEX_PROGRAM_TWO_SIDE )-import Graphics.Rendering.OpenGL.Raw.ARB.MatrixPalette ( gl_MATRIX_INDEX_ARRAY, gl_MATRIX_PALETTE )-import Graphics.Rendering.OpenGL.Raw.ARB.VertexBlend ( gl_WEIGHT_SUM_UNITY, gl_VERTEX_BLEND, gl_WEIGHT_ARRAY )-import Graphics.Rendering.OpenGL.Raw.Core31-import Graphics.Rendering.OpenGL.Raw.EXT.DepthBoundsTest ( gl_DEPTH_BOUNDS_TEST )-import Graphics.Rendering.OpenGL.Raw.EXT.SharedTexturePalette ( gl_SHARED_TEXTURE_PALETTE )-import Graphics.Rendering.OpenGL.Raw.EXT.StencilTwoSide ( gl_STENCIL_TEST_TWO_SIDE )-import Graphics.Rendering.OpenGL.Raw.NV.DepthClamp ( gl_DEPTH_CLAMP )------------------------------------------------------------------------------------data Capability =-     Disabled-   | Enabled-   deriving ( Eq, Ord, Show )------------------------------------------------------------------------------------marshalCapability :: Capability -> GLboolean-marshalCapability = marshalGLboolean . (Enabled ==)--unmarshalCapability :: GLboolean -> Capability-unmarshalCapability x = if unmarshalGLboolean x then Enabled else Disabled------------------------------------------------------------------------------------data EnableCap =-     CapFog-   | CapLighting-   | CapTexture1D-   | CapTexture2D-   | CapTextureRectangle-   | CapLineStipple-   | CapPolygonStipple-   | CapCullFace-   | CapAlphaTest-   | CapBlend-   | CapIndexLogicOp-   | CapColorLogicOp-   | CapDither-   | CapStencilTest-   | CapDepthTest-   | CapClipPlane GLsizei-   | CapLight GLsizei-   | CapTextureGenS-   | CapTextureGenT-   | CapTextureGenR-   | CapTextureGenQ-   | CapMap1Vertex3-   | CapMap1Vertex4-   | CapMap1Color4-   | CapMap1Index-   | CapMap1Normal-   | CapMap1TextureCoord1-   | CapMap1TextureCoord2-   | CapMap1TextureCoord3-   | CapMap1TextureCoord4-   | CapMap2Vertex3-   | CapMap2Vertex4-   | CapMap2Color4-   | CapMap2Index-   | CapMap2Normal-   | CapMap2TextureCoord1-   | CapMap2TextureCoord2-   | CapMap2TextureCoord3-   | CapMap2TextureCoord4-   | CapPointSmooth-   | CapLineSmooth-   | CapPolygonSmooth-   | CapScissorTest-   | CapColorMaterial-   | CapNormalize-   | CapAutoNormal-   | CapPolygonOffsetPoint-   | CapPolygonOffsetLine-   | CapPolygonOffsetFill-   | CapVertexArray-   | CapNormalArray-   | CapColorArray-   | CapIndexArray-   | CapTextureCoordArray-   | CapEdgeFlagArray-   | CapFogCoordArray-   | CapSecondaryColorArray-   | CapMatrixIndexArray-   | CapConvolution1D-   | CapConvolution2D-   | CapSeparable2D-   | CapHistogram-   | CapMinmax-   | CapRescaleNormal-   | CapSharedTexturePalette-   | CapTexture3D-   | CapMultisample-   | CapSampleAlphaToCoverage-   | CapSampleAlphaToOne-   | CapSampleCoverage-   | CapColorTable-   | CapPostConvolutionColorTable-   | CapPostColorMatrixColorTable-   | CapColorSum-   | CapTextureCubeMap-   | CapWeightSumUnity-   | CapVertexBlend-   | CapWeightArray-   | CapMatrixPalette-   | CapDepthClamp-   | CapDepthBoundsTest-   | CapPrimitiveRestart-   | CapPointSprite-   | CapStencilTestTwoSide-   | CapRasterPositionUnclipped-   | CapRasterizerDiscard-   | CapTextureColorTable-   | CapVertexProgramPointSize-   | CapVertexProgramTwoSide--marshalEnableCap :: EnableCap -> Maybe GLenum-marshalEnableCap x = case x of-   CapFog -> Just gl_FOG-   CapLighting -> Just gl_LIGHTING-   CapTexture1D -> Just gl_TEXTURE_1D-   CapTexture2D -> Just gl_TEXTURE_2D-   CapTextureRectangle -> Just gl_TEXTURE_RECTANGLE-   CapLineStipple -> Just gl_LINE_STIPPLE-   CapPolygonStipple -> Just gl_POLYGON_STIPPLE-   CapCullFace -> Just gl_CULL_FACE-   CapAlphaTest -> Just gl_ALPHA_TEST-   CapBlend -> Just gl_BLEND-   CapIndexLogicOp -> Just gl_INDEX_LOGIC_OP-   CapColorLogicOp -> Just gl_COLOR_LOGIC_OP-   CapDither -> Just gl_DITHER-   CapStencilTest -> Just gl_STENCIL_TEST-   CapDepthTest -> Just gl_DEPTH_TEST-   CapClipPlane i -> clipPlaneIndexToEnum i-   CapLight i -> lightIndexToEnum i-   CapTextureGenS -> Just gl_TEXTURE_GEN_S-   CapTextureGenT -> Just gl_TEXTURE_GEN_T-   CapTextureGenR -> Just gl_TEXTURE_GEN_R-   CapTextureGenQ -> Just gl_TEXTURE_GEN_Q-   CapMap1Vertex3 -> Just gl_MAP1_VERTEX_3-   CapMap1Vertex4 -> Just gl_MAP1_VERTEX_4-   CapMap1Color4 -> Just gl_MAP1_COLOR_4-   CapMap1Index -> Just gl_MAP1_INDEX-   CapMap1Normal -> Just gl_MAP1_NORMAL-   CapMap1TextureCoord1 -> Just gl_MAP1_TEXTURE_COORD_1-   CapMap1TextureCoord2 -> Just gl_MAP1_TEXTURE_COORD_2-   CapMap1TextureCoord3 -> Just gl_MAP1_TEXTURE_COORD_3-   CapMap1TextureCoord4 -> Just gl_MAP1_TEXTURE_COORD_4-   CapMap2Vertex3 -> Just gl_MAP2_VERTEX_3-   CapMap2Vertex4 -> Just gl_MAP2_VERTEX_4-   CapMap2Color4 -> Just gl_MAP2_COLOR_4-   CapMap2Index -> Just gl_MAP2_INDEX-   CapMap2Normal -> Just gl_MAP2_NORMAL-   CapMap2TextureCoord1 -> Just gl_MAP2_TEXTURE_COORD_1-   CapMap2TextureCoord2 -> Just gl_MAP2_TEXTURE_COORD_2-   CapMap2TextureCoord3 -> Just gl_MAP2_TEXTURE_COORD_3-   CapMap2TextureCoord4 -> Just gl_MAP2_TEXTURE_COORD_4-   CapPointSmooth -> Just gl_POINT_SMOOTH-   CapLineSmooth -> Just gl_LINE_SMOOTH-   CapPolygonSmooth -> Just gl_POLYGON_SMOOTH-   CapScissorTest -> Just gl_SCISSOR_TEST-   CapColorMaterial -> Just gl_COLOR_MATERIAL-   CapNormalize -> Just gl_NORMALIZE-   CapAutoNormal -> Just gl_AUTO_NORMAL-   CapPolygonOffsetPoint -> Just gl_POLYGON_OFFSET_POINT-   CapPolygonOffsetLine -> Just gl_POLYGON_OFFSET_LINE-   CapPolygonOffsetFill -> Just gl_POLYGON_OFFSET_FILL-   CapVertexArray -> Just gl_VERTEX_ARRAY-   CapNormalArray -> Just gl_NORMAL_ARRAY-   CapColorArray -> Just gl_COLOR_ARRAY-   CapIndexArray -> Just gl_INDEX_ARRAY-   CapTextureCoordArray -> Just gl_TEXTURE_COORD_ARRAY-   CapEdgeFlagArray -> Just gl_EDGE_FLAG_ARRAY-   CapFogCoordArray -> Just gl_FOG_COORD_ARRAY-   CapSecondaryColorArray -> Just gl_SECONDARY_COLOR_ARRAY-   CapMatrixIndexArray -> Just gl_MATRIX_INDEX_ARRAY-   CapConvolution1D -> Just gl_CONVOLUTION_1D-   CapConvolution2D -> Just gl_CONVOLUTION_2D-   CapSeparable2D -> Just gl_SEPARABLE_2D-   CapHistogram -> Just gl_HISTOGRAM-   CapMinmax -> Just gl_MINMAX-   CapRescaleNormal -> Just gl_RESCALE_NORMAL-   CapSharedTexturePalette -> Just gl_SHARED_TEXTURE_PALETTE-   CapTexture3D -> Just gl_TEXTURE_3D-   CapMultisample -> Just gl_MULTISAMPLE-   CapSampleAlphaToCoverage -> Just gl_SAMPLE_ALPHA_TO_COVERAGE-   CapSampleAlphaToOne -> Just gl_SAMPLE_ALPHA_TO_ONE-   CapSampleCoverage -> Just gl_SAMPLE_COVERAGE-   CapColorTable -> Just gl_COLOR_TABLE-   CapPostConvolutionColorTable -> Just gl_POST_CONVOLUTION_COLOR_TABLE-   CapPostColorMatrixColorTable -> Just gl_POST_COLOR_MATRIX_COLOR_TABLE-   CapColorSum -> Just gl_COLOR_SUM-   CapTextureCubeMap -> Just gl_TEXTURE_CUBE_MAP-   CapWeightSumUnity -> Just gl_WEIGHT_SUM_UNITY-   CapVertexBlend -> Just gl_VERTEX_BLEND-   CapWeightArray -> Just gl_WEIGHT_ARRAY-   CapMatrixPalette -> Just gl_MATRIX_PALETTE-   CapDepthClamp -> Just gl_DEPTH_CLAMP-   CapDepthBoundsTest -> Just gl_DEPTH_BOUNDS_TEST-   CapPrimitiveRestart -> Just gl_PRIMITIVE_RESTART-   CapPointSprite -> Just gl_POINT_SPRITE-   CapStencilTestTwoSide -> Just gl_STENCIL_TEST_TWO_SIDE-   -- TODO: use RASTER_POSITION_UNCLIPPED_IBM from IBM_rasterpos_clip extension-   CapRasterPositionUnclipped -> Just 0x19262-   CapRasterizerDiscard -> Just gl_RASTERIZER_DISCARD-   -- TODO: use TEXTURE_COLOR_TABLE_SGI from SGI_texture_color_table extension-   CapTextureColorTable -> Just 0x80bc-   CapVertexProgramPointSize -> Just gl_VERTEX_PROGRAM_POINT_SIZE-   CapVertexProgramTwoSide -> Just gl_VERTEX_PROGRAM_TWO_SIDE------------------------------------------------------------------------------------makeCapability :: EnableCap -> StateVar Capability-makeCapability cap = makeStateVar (isEnabled cap) (enable cap)------------------------------------------------------------------------------------isEnabled :: EnableCap -> IO Capability-isEnabled =-   maybe (do recordInvalidEnum; return Disabled)-         (fmap unmarshalCapability . glIsEnabled) .-   marshalEnableCap------------------------------------------------------------------------------------enable :: EnableCap -> Capability -> IO ()-enable cap state = maybe recordInvalidEnum (f state) (marshalEnableCap cap)-   where f Disabled = glDisable-         f Enabled  = glEnable------------------------------------------------------------------------------------makeStateVarMaybe :: IO EnableCap -> IO a -> (a -> IO ()) -> StateVar (Maybe a)-makeStateVarMaybe getCap getAct setAct =-   makeStateVar-      (getStateVarMaybe getCap getAct)-      (setStateVarMaybe getCap setAct)--getStateVarMaybe :: IO EnableCap -> IO a -> IO (Maybe a)-getStateVarMaybe getCap act = do-   capability <- fmap makeCapability getCap-   state <- get capability-   if state == Enabled-      then fmap Just act-      else return Nothing--setStateVarMaybe :: IO EnableCap -> (a -> IO ()) -> Maybe a -> IO ()-setStateVarMaybe getCap act val = do-   capability <- fmap makeCapability getCap-   maybe (capability $= Disabled) (\x -> act x >> capability $= Enabled) val------------------------------------------------------------------------------------data IndexedEnableCap =-   BlendI--marshalIndexedEnableCap :: IndexedEnableCap -> Maybe GLenum-marshalIndexedEnableCap x = case x of-   BlendI -> Just gl_BLEND--makeIndexedCapability ::(a -> GLuint) -> IndexedEnableCap ->  a-   -> StateVar Capability-makeIndexedCapability f cap val = makeStateVar-   (isIndexedEnabled (f val) cap)-   (\state -> enableIndexed (f val) cap state)--isIndexedEnabled :: GLuint -> IndexedEnableCap -> IO Capability-isIndexedEnabled i =-   maybe (do recordInvalidEnum; return Disabled)-         (\cap -> fmap unmarshalCapability $ glIsEnabledi cap i) .-   marshalIndexedEnableCap--enableIndexed :: GLuint -> IndexedEnableCap -> Capability -> IO ()-enableIndexed i cap state =-   maybe recordInvalidEnum (f state) (marshalIndexedEnableCap cap)-      where f Enabled  = \c -> glEnablei c i-            f Disabled = \c -> glDisablei c i+{-# OPTIONS_HADDOCK hide #-}
+--------------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL.GL.Capability
+-- Copyright   :  (c) Sven Panne 2002-2013
+-- License     :  BSD3
+--
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- This is a purely internal module for handling OpenGL capabilities, i.e.
+-- boolean state variables.
+--
+--------------------------------------------------------------------------------
+
+module Graphics.Rendering.OpenGL.GL.Capability (
+   Capability(..), marshalCapability, unmarshalCapability,
+   EnableCap(..), makeCapability, makeStateVarMaybe,
+
+   IndexedEnableCap(..), makeIndexedCapability,
+) where
+
+import Graphics.Rendering.OpenGL.GL.StateVar
+import Graphics.Rendering.OpenGL.GL.GLboolean
+import Graphics.Rendering.OpenGL.GL.QueryUtils
+import Graphics.Rendering.OpenGL.GLU.ErrorsInternal
+import Graphics.Rendering.OpenGL.Raw
+
+--------------------------------------------------------------------------------
+
+data Capability =
+     Disabled
+   | Enabled
+   deriving ( Eq, Ord, Show )
+
+--------------------------------------------------------------------------------
+
+marshalCapability :: Capability -> GLboolean
+marshalCapability = marshalGLboolean . (Enabled ==)
+
+unmarshalCapability :: GLboolean -> Capability
+unmarshalCapability x = if unmarshalGLboolean x then Enabled else Disabled
+
+--------------------------------------------------------------------------------
+
+data EnableCap =
+     CapFog
+   | CapLighting
+   | CapTexture1D
+   | CapTexture2D
+   | CapTexture2DMultisample
+   | CapTexture1DArray
+   | CapTextureRectangle
+   | CapTextureCubeMap
+   | CapTexture3D
+   | CapTexture2DArray
+   | CapTexture2DMultisampleArray
+   | CapTextureCubeMapArray
+   | CapLineStipple
+   | CapPolygonStipple
+   | CapCullFace
+   | CapAlphaTest
+   | CapBlend
+   | CapIndexLogicOp
+   | CapColorLogicOp
+   | CapDither
+   | CapStencilTest
+   | CapDepthTest
+   | CapClipPlane GLsizei
+   | CapLight GLsizei
+   | CapTextureGenS
+   | CapTextureGenT
+   | CapTextureGenR
+   | CapTextureGenQ
+   | CapMap1Vertex3
+   | CapMap1Vertex4
+   | CapMap1Color4
+   | CapMap1Index
+   | CapMap1Normal
+   | CapMap1TextureCoord1
+   | CapMap1TextureCoord2
+   | CapMap1TextureCoord3
+   | CapMap1TextureCoord4
+   | CapMap2Vertex3
+   | CapMap2Vertex4
+   | CapMap2Color4
+   | CapMap2Index
+   | CapMap2Normal
+   | CapMap2TextureCoord1
+   | CapMap2TextureCoord2
+   | CapMap2TextureCoord3
+   | CapMap2TextureCoord4
+   | CapPointSmooth
+   | CapLineSmooth
+   | CapPolygonSmooth
+   | CapScissorTest
+   | CapColorMaterial
+   | CapNormalize
+   | CapAutoNormal
+   | CapPolygonOffsetPoint
+   | CapPolygonOffsetLine
+   | CapPolygonOffsetFill
+   | CapVertexArray
+   | CapNormalArray
+   | CapColorArray
+   | CapIndexArray
+   | CapTextureCoordArray
+   | CapEdgeFlagArray
+   | CapFogCoordArray
+   | CapSecondaryColorArray
+   | CapMatrixIndexArray
+   | CapConvolution1D
+   | CapConvolution2D
+   | CapSeparable2D
+   | CapHistogram
+   | CapMinmax
+   | CapRescaleNormal
+   | CapSharedTexturePalette
+   | CapMultisample
+   | CapSampleAlphaToCoverage
+   | CapSampleAlphaToOne
+   | CapSampleCoverage
+   | CapColorTable
+   | CapPostConvolutionColorTable
+   | CapPostColorMatrixColorTable
+   | CapColorSum
+   | CapWeightSumUnity
+   | CapVertexBlend
+   | CapWeightArray
+   | CapMatrixPalette
+   | CapDepthClamp
+   | CapDepthBoundsTest
+   | CapPrimitiveRestart
+   | CapPointSprite
+   | CapStencilTestTwoSide
+   | CapRasterPositionUnclipped
+   | CapRasterizerDiscard
+   | CapTextureColorTable
+   | CapVertexProgramPointSize
+   | CapVertexProgramTwoSide
+
+marshalEnableCap :: EnableCap -> Maybe GLenum
+marshalEnableCap x = case x of
+   CapFog -> Just gl_FOG
+   CapLighting -> Just gl_LIGHTING
+   CapTexture1D -> Just gl_TEXTURE_1D
+   CapTexture2D -> Just gl_TEXTURE_2D
+   CapTexture2DMultisample -> Just gl_TEXTURE_2D_MULTISAMPLE
+   CapTexture1DArray -> Just gl_TEXTURE_1D_ARRAY
+   CapTextureRectangle -> Just gl_TEXTURE_RECTANGLE
+   CapTextureCubeMap -> Just gl_TEXTURE_CUBE_MAP
+   CapTexture3D -> Just gl_TEXTURE_3D
+   CapTexture2DArray -> Just gl_TEXTURE_2D_ARRAY
+   CapTexture2DMultisampleArray -> Just gl_TEXTURE_2D_MULTISAMPLE_ARRAY
+   CapTextureCubeMapArray -> Just gl_TEXTURE_CUBE_MAP_ARRAY
+   CapLineStipple -> Just gl_LINE_STIPPLE
+   CapPolygonStipple -> Just gl_POLYGON_STIPPLE
+   CapCullFace -> Just gl_CULL_FACE
+   CapAlphaTest -> Just gl_ALPHA_TEST
+   CapBlend -> Just gl_BLEND
+   CapIndexLogicOp -> Just gl_INDEX_LOGIC_OP
+   CapColorLogicOp -> Just gl_COLOR_LOGIC_OP
+   CapDither -> Just gl_DITHER
+   CapStencilTest -> Just gl_STENCIL_TEST
+   CapDepthTest -> Just gl_DEPTH_TEST
+   CapClipPlane i -> clipPlaneIndexToEnum i
+   CapLight i -> lightIndexToEnum i
+   CapTextureGenS -> Just gl_TEXTURE_GEN_S
+   CapTextureGenT -> Just gl_TEXTURE_GEN_T
+   CapTextureGenR -> Just gl_TEXTURE_GEN_R
+   CapTextureGenQ -> Just gl_TEXTURE_GEN_Q
+   CapMap1Vertex3 -> Just gl_MAP1_VERTEX_3
+   CapMap1Vertex4 -> Just gl_MAP1_VERTEX_4
+   CapMap1Color4 -> Just gl_MAP1_COLOR_4
+   CapMap1Index -> Just gl_MAP1_INDEX
+   CapMap1Normal -> Just gl_MAP1_NORMAL
+   CapMap1TextureCoord1 -> Just gl_MAP1_TEXTURE_COORD_1
+   CapMap1TextureCoord2 -> Just gl_MAP1_TEXTURE_COORD_2
+   CapMap1TextureCoord3 -> Just gl_MAP1_TEXTURE_COORD_3
+   CapMap1TextureCoord4 -> Just gl_MAP1_TEXTURE_COORD_4
+   CapMap2Vertex3 -> Just gl_MAP2_VERTEX_3
+   CapMap2Vertex4 -> Just gl_MAP2_VERTEX_4
+   CapMap2Color4 -> Just gl_MAP2_COLOR_4
+   CapMap2Index -> Just gl_MAP2_INDEX
+   CapMap2Normal -> Just gl_MAP2_NORMAL
+   CapMap2TextureCoord1 -> Just gl_MAP2_TEXTURE_COORD_1
+   CapMap2TextureCoord2 -> Just gl_MAP2_TEXTURE_COORD_2
+   CapMap2TextureCoord3 -> Just gl_MAP2_TEXTURE_COORD_3
+   CapMap2TextureCoord4 -> Just gl_MAP2_TEXTURE_COORD_4
+   CapPointSmooth -> Just gl_POINT_SMOOTH
+   CapLineSmooth -> Just gl_LINE_SMOOTH
+   CapPolygonSmooth -> Just gl_POLYGON_SMOOTH
+   CapScissorTest -> Just gl_SCISSOR_TEST
+   CapColorMaterial -> Just gl_COLOR_MATERIAL
+   CapNormalize -> Just gl_NORMALIZE
+   CapAutoNormal -> Just gl_AUTO_NORMAL
+   CapPolygonOffsetPoint -> Just gl_POLYGON_OFFSET_POINT
+   CapPolygonOffsetLine -> Just gl_POLYGON_OFFSET_LINE
+   CapPolygonOffsetFill -> Just gl_POLYGON_OFFSET_FILL
+   CapVertexArray -> Just gl_VERTEX_ARRAY
+   CapNormalArray -> Just gl_NORMAL_ARRAY
+   CapColorArray -> Just gl_COLOR_ARRAY
+   CapIndexArray -> Just gl_INDEX_ARRAY
+   CapTextureCoordArray -> Just gl_TEXTURE_COORD_ARRAY
+   CapEdgeFlagArray -> Just gl_EDGE_FLAG_ARRAY
+   CapFogCoordArray -> Just gl_FOG_COORD_ARRAY
+   CapSecondaryColorArray -> Just gl_SECONDARY_COLOR_ARRAY
+   CapMatrixIndexArray -> Just gl_MATRIX_INDEX_ARRAY
+   CapConvolution1D -> Just gl_CONVOLUTION_1D
+   CapConvolution2D -> Just gl_CONVOLUTION_2D
+   CapSeparable2D -> Just gl_SEPARABLE_2D
+   CapHistogram -> Just gl_HISTOGRAM
+   CapMinmax -> Just gl_MINMAX
+   CapRescaleNormal -> Just gl_RESCALE_NORMAL
+   CapSharedTexturePalette -> Just gl_SHARED_TEXTURE_PALETTE
+   CapMultisample -> Just gl_MULTISAMPLE
+   CapSampleAlphaToCoverage -> Just gl_SAMPLE_ALPHA_TO_COVERAGE
+   CapSampleAlphaToOne -> Just gl_SAMPLE_ALPHA_TO_ONE
+   CapSampleCoverage -> Just gl_SAMPLE_COVERAGE
+   CapColorTable -> Just gl_COLOR_TABLE
+   CapPostConvolutionColorTable -> Just gl_POST_CONVOLUTION_COLOR_TABLE
+   CapPostColorMatrixColorTable -> Just gl_POST_COLOR_MATRIX_COLOR_TABLE
+   CapColorSum -> Just gl_COLOR_SUM
+   CapWeightSumUnity -> Just gl_WEIGHT_SUM_UNITY
+   CapVertexBlend -> Just gl_VERTEX_BLEND
+   CapWeightArray -> Just gl_WEIGHT_ARRAY
+   CapMatrixPalette -> Just gl_MATRIX_PALETTE
+   CapDepthClamp -> Just gl_DEPTH_CLAMP
+   CapDepthBoundsTest -> Just gl_DEPTH_BOUNDS_TEST
+   CapPrimitiveRestart -> Just gl_PRIMITIVE_RESTART
+   CapPointSprite -> Just gl_POINT_SPRITE
+   CapStencilTestTwoSide -> Just gl_STENCIL_TEST_TWO_SIDE
+   -- TODO: use RASTER_POSITION_UNCLIPPED_IBM from IBM_rasterpos_clip extension
+   CapRasterPositionUnclipped -> Just 0x19262
+   CapRasterizerDiscard -> Just gl_RASTERIZER_DISCARD
+   -- TODO: use TEXTURE_COLOR_TABLE_SGI from SGI_texture_color_table extension
+   CapTextureColorTable -> Just 0x80bc
+   CapVertexProgramPointSize -> Just gl_VERTEX_PROGRAM_POINT_SIZE
+   CapVertexProgramTwoSide -> Just gl_VERTEX_PROGRAM_TWO_SIDE
+
+--------------------------------------------------------------------------------
+
+makeCapability :: EnableCap -> StateVar Capability
+makeCapability cap = makeStateVar (isEnabled cap) (enable cap)
+
+--------------------------------------------------------------------------------
+
+isEnabled :: EnableCap -> IO Capability
+isEnabled =
+   maybe (do recordInvalidEnum; return Disabled)
+         (fmap unmarshalCapability . glIsEnabled) .
+   marshalEnableCap
+
+--------------------------------------------------------------------------------
+
+enable :: EnableCap -> Capability -> IO ()
+enable cap state = maybe recordInvalidEnum (f state) (marshalEnableCap cap)
+   where f Disabled = glDisable
+         f Enabled  = glEnable
+
+--------------------------------------------------------------------------------
+
+makeStateVarMaybe :: IO EnableCap -> IO a -> (a -> IO ()) -> StateVar (Maybe a)
+makeStateVarMaybe getCap getAct setAct =
+   makeStateVar
+      (getStateVarMaybe getCap getAct)
+      (setStateVarMaybe getCap setAct)
+
+getStateVarMaybe :: IO EnableCap -> IO a -> IO (Maybe a)
+getStateVarMaybe getCap act = do
+   capability <- fmap makeCapability getCap
+   state <- get capability
+   if state == Enabled
+      then fmap Just act
+      else return Nothing
+
+setStateVarMaybe :: IO EnableCap -> (a -> IO ()) -> Maybe a -> IO ()
+setStateVarMaybe getCap act val = do
+   capability <- fmap makeCapability getCap
+   maybe (capability $= Disabled) (\x -> act x >> capability $= Enabled) val
+
+--------------------------------------------------------------------------------
+
+data IndexedEnableCap =
+   BlendI
+
+marshalIndexedEnableCap :: IndexedEnableCap -> Maybe GLenum
+marshalIndexedEnableCap x = case x of
+   BlendI -> Just gl_BLEND
+
+makeIndexedCapability ::(a -> GLuint) -> IndexedEnableCap ->  a
+   -> StateVar Capability
+makeIndexedCapability f cap val = makeStateVar
+   (isIndexedEnabled (f val) cap)
+   (\state -> enableIndexed (f val) cap state)
+
+isIndexedEnabled :: GLuint -> IndexedEnableCap -> IO Capability
+isIndexedEnabled i =
+   maybe (do recordInvalidEnum; return Disabled)
+         (\cap -> fmap unmarshalCapability $ glIsEnabledi cap i) .
+   marshalIndexedEnableCap
+
+enableIndexed :: GLuint -> IndexedEnableCap -> Capability -> IO ()
+enableIndexed i cap state =
+   maybe recordInvalidEnum (f state) (marshalIndexedEnableCap cap)
+      where f Enabled  = \c -> glEnablei c i
+            f Disabled = \c -> glDisablei c i

@@ -1,53 +1,57 @@------------------------------------------------------------------------------------ |--- Module      :  Graphics.Rendering.OpenGL.GL.Clipping--- Copyright   :  (c) Sven Panne 2002-2009--- License     :  BSD-style (see the file libraries/OpenGL/LICENSE)------ Maintainer  :  sven.panne@aedion.de--- Stability   :  stable--- Portability :  portable------ This module corresponds to section 2.12 (Clipping) of the OpenGL 2.1 specs.--------------------------------------------------------------------------------------module Graphics.Rendering.OpenGL.GL.Clipping (-   ClipPlaneName(..), clipPlane, maxClipPlanes-) where--import Foreign.Marshal.Utils-import Foreign.Ptr-import Graphics.Rendering.OpenGL.GL.StateVar-import Graphics.Rendering.OpenGL.GL.Capability-import Graphics.Rendering.OpenGL.GL.CoordTrans-import Graphics.Rendering.OpenGL.GL.QueryUtils-import Graphics.Rendering.OpenGL.GLU.ErrorsInternal-import Graphics.Rendering.OpenGL.Raw.ARB.Compatibility ( glClipPlane )-import Graphics.Rendering.OpenGL.Raw.Core31------------------------------------------------------------------------------------newtype ClipPlaneName = ClipPlaneName GLsizei-   deriving ( Eq, Ord, Show )------------------------------------------------------------------------------------clipPlane :: ClipPlaneName -> StateVar (Maybe (Plane GLdouble))-clipPlane (ClipPlaneName i) =-   makeStateVarMaybe-      (return (CapClipPlane i))---      (alloca $ \buf -> do---          getDoublev (GetClipPlane i) (castPtr buf)---          peek1 id (buf :: Ptr (Plane GLdouble)))-      (getDouble4 Plane (GetClipPlane i))-      (\plane -> maybe recordInvalidEnum (with plane . glClipPlane_)-                       (clipPlaneIndexToEnum i))--glClipPlane_ :: GLenum -> Ptr (Plane GLdouble) -> IO ()-glClipPlane_ plane ptr = glClipPlane plane (castPtr ptr)------------------------------------------------------------------------------------maxClipPlanes :: GettableStateVar GLsizei-maxClipPlanes = makeGettableStateVar (getSizei1 id GetMaxClipPlanes)+--------------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL.GL.Clipping
+-- Copyright   :  (c) Sven Panne 2002-2013
+-- License     :  BSD3
+--
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- This module corresponds to section 13.5 (Primitive Clipping) of the OpenGL
+-- 4.4 specs.
+--
+--------------------------------------------------------------------------------
+
+module Graphics.Rendering.OpenGL.GL.Clipping (
+   ClipPlaneName(..), clipPlane, maxClipPlanes
+) where
+
+import Foreign.Marshal.Alloc
+import Foreign.Marshal.Utils
+import Foreign.Ptr
+import Foreign.Storable
+import Graphics.Rendering.OpenGL.GL.Capability
+import Graphics.Rendering.OpenGL.GL.CoordTrans
+import Graphics.Rendering.OpenGL.GL.QueryUtils
+import Graphics.Rendering.OpenGL.GL.StateVar
+import Graphics.Rendering.OpenGL.GLU.ErrorsInternal
+import Graphics.Rendering.OpenGL.Raw
+
+--------------------------------------------------------------------------------
+
+newtype ClipPlaneName = ClipPlaneName GLsizei
+   deriving ( Eq, Ord, Show )
+
+--------------------------------------------------------------------------------
+
+clipPlane :: ClipPlaneName -> StateVar (Maybe (Plane GLdouble))
+clipPlane name =
+   makeStateVarMaybe
+      (return $ nameToCap name)
+      (alloca $ \buf -> do
+          clipPlaneAction name $ flip glGetClipPlane $ castPtr buf
+          peek buf)
+      (\plane -> with plane $ clipPlaneAction name . flip glClipPlane . castPtr)
+
+nameToCap :: ClipPlaneName -> EnableCap
+nameToCap (ClipPlaneName i) = CapClipPlane i
+
+clipPlaneAction :: ClipPlaneName -> (GLenum -> IO ()) -> IO ()
+clipPlaneAction (ClipPlaneName i) act =
+   maybe recordInvalidEnum act (clipPlaneIndexToEnum i)
+
+--------------------------------------------------------------------------------
+
+maxClipPlanes :: GettableStateVar GLsizei
+maxClipPlanes = makeGettableStateVar (getSizei1 id GetMaxClipPlanes)

@@ -1,25 +1,25 @@------------------------------------------------------------------------------------ |--- Module      :  Graphics.Rendering.OpenGL.GL.ColorSum--- Copyright   :  (c) Sven Panne 2002-2009--- License     :  BSD-style (see the file libraries/OpenGL/LICENSE)--- --- Maintainer  :  sven.panne@aedion.de--- Stability   :  stable--- Portability :  portable------ This module corresponds to section 3.9 (Color Sum) of the OpenGL 2.1 specs.--------------------------------------------------------------------------------------module Graphics.Rendering.OpenGL.GL.ColorSum (-   colorSum-) where--import Graphics.Rendering.OpenGL.GL.StateVar-import Graphics.Rendering.OpenGL.GL.Capability------------------------------------------------------------------------------------colorSum :: StateVar Capability-colorSum = makeCapability CapColorSum+--------------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL.GL.ColorSum
+-- Copyright   :  (c) Sven Panne 2002-2013
+-- License     :  BSD3
+-- 
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- This module corresponds to section 3.9 (Color Sum) of the OpenGL 2.1 specs.
+--
+--------------------------------------------------------------------------------
+
+module Graphics.Rendering.OpenGL.GL.ColorSum (
+   colorSum
+) where
+
+import Graphics.Rendering.OpenGL.GL.StateVar
+import Graphics.Rendering.OpenGL.GL.Capability
+
+--------------------------------------------------------------------------------
+
+colorSum :: StateVar Capability
+colorSum = makeCapability CapColorSum

@@ -1,520 +1,509 @@------------------------------------------------------------------------------------ |--- Module      :  Graphics.Rendering.OpenGL.GL.Colors--- Copyright   :  (c) Sven Panne 2002-2009--- License     :  BSD-style (see the file libraries/OpenGL/LICENSE)------ Maintainer  :  sven.panne@aedion.de--- Stability   :  stable--- Portability :  portable------ This module corresponds to section 2.14 (Colors and Coloring) of the--- OpenGL 2.1 specs.--------------------------------------------------------------------------------------module Graphics.Rendering.OpenGL.GL.Colors (-   -- * Lighting-   lighting, Light(..), light, maxLights,-   FrontFaceDirection(..), frontFace,--   -- * Lighting Parameter Specification-   Face(..),-   materialAmbient, materialDiffuse, materialAmbientAndDiffuse,-   materialSpecular, materialEmission, materialShininess, maxShininess,-   materialColorIndexes,--   ambient, diffuse, specular,-   position, spotDirection, spotExponent, maxSpotExponent, spotCutoff,-   attenuation,--   lightModelAmbient, lightModelLocalViewer, lightModelTwoSide,-   vertexProgramTwoSide,-   LightModelColorControl(..), lightModelColorControl,--   -- * ColorMaterial-   ColorMaterialParameter(..), colorMaterial,--   -- * Flatshading-   ShadingModel(..), shadeModel,--   -- * Color clamping-   ClampTarget(..), ClampMode(..),-   clampColor,-) where--import Control.Monad-import Foreign.Marshal.Alloc-import Foreign.Marshal.Array-import Foreign.Marshal.Utils-import Foreign.Ptr-import Foreign.Storable-import Graphics.Rendering.OpenGL.GL.StateVar-import Graphics.Rendering.OpenGL.GL.Tensor-import Graphics.Rendering.OpenGL.GL.Capability-import Graphics.Rendering.OpenGL.GL.Face-import Graphics.Rendering.OpenGL.GL.PeekPoke-import Graphics.Rendering.OpenGL.GL.QueryUtils-import Graphics.Rendering.OpenGL.GL.VertexSpec-import Graphics.Rendering.OpenGL.GLU.ErrorsInternal-import Graphics.Rendering.OpenGL.Raw.ARB.Compatibility (-   glColorMaterial, glGetLightfv, glGetMaterialfv, glGetMaterialiv,-   glLightModelfv, glLightModeli, glLightfv, glMaterialfv, glMaterialiv,-   glShadeModel, gl_AMBIENT, gl_AMBIENT_AND_DIFFUSE, gl_COLOR_INDEXES,-   gl_CONSTANT_ATTENUATION, gl_DIFFUSE, gl_EMISSION, gl_FLAT,-   gl_LIGHT_MODEL_AMBIENT, gl_LIGHT_MODEL_COLOR_CONTROL,-   gl_LIGHT_MODEL_LOCAL_VIEWER, gl_LIGHT_MODEL_TWO_SIDE, gl_LINEAR_ATTENUATION,-   gl_POSITION, gl_QUADRATIC_ATTENUATION, gl_SEPARATE_SPECULAR_COLOR,-   gl_SHININESS, gl_SINGLE_COLOR, gl_SMOOTH, gl_SPECULAR, gl_SPOT_CUTOFF,-   gl_SPOT_DIRECTION, gl_SPOT_EXPONENT,-   gl_CLAMP_FRAGMENT_COLOR, gl_CLAMP_VERTEX_COLOR )-import Graphics.Rendering.OpenGL.Raw.Core31------------------------------------------------------------------------------------lighting :: StateVar Capability-lighting = makeCapability CapLighting------------------------------------------------------------------------------------newtype Light = Light GLsizei-   deriving ( Eq, Ord, Show )--marshalLight :: Light -> Maybe GLenum-marshalLight (Light l) = lightIndexToEnum l------------------------------------------------------------------------------------light :: Light -> StateVar Capability-light (Light l) = makeCapability (CapLight l)--maxLights :: GettableStateVar GLsizei-maxLights = makeGettableStateVar (getSizei1 id GetMaxLights)------------------------------------------------------------------------------------data FrontFaceDirection =-     CW-   | CCW-   deriving ( Eq, Ord, Show )--marshalFrontFaceDirection :: FrontFaceDirection -> GLenum-marshalFrontFaceDirection x = case x of-   CW -> gl_CW-   CCW -> gl_CCW--unmarshalFrontFaceDirection :: GLenum -> FrontFaceDirection-unmarshalFrontFaceDirection x-   | x == gl_CW = CW-   | x == gl_CCW = CCW-   | otherwise = error ("unmarshalFrontFaceDirection: illegal value " ++ show x)------------------------------------------------------------------------------------frontFace :: StateVar FrontFaceDirection-frontFace =-   makeStateVar-      (getEnum1 unmarshalFrontFaceDirection GetFrontFace)-      (glFrontFace . marshalFrontFaceDirection)------------------------------------------------------------------------------------data MaterialParameter =-     MaterialEmission-   | MaterialShininess-   | MaterialAmbientAndDiffuse-   | MaterialColorIndexes-   | MaterialAmbient-   | MaterialDiffuse-   | MaterialSpecular--marshalMaterialParameter :: MaterialParameter -> GLenum-marshalMaterialParameter x = case x of-   MaterialEmission -> gl_EMISSION-   MaterialShininess -> gl_SHININESS-   MaterialAmbientAndDiffuse -> gl_AMBIENT_AND_DIFFUSE-   MaterialColorIndexes -> gl_COLOR_INDEXES-   MaterialAmbient -> gl_AMBIENT-   MaterialDiffuse -> gl_DIFFUSE-   MaterialSpecular -> gl_SPECULAR------------------------------------------------------------------------------------materialAmbient :: Face -> StateVar (Color4 GLfloat)-materialAmbient =-   makeMaterialVar glGetMaterialfvc glMaterialfvc MaterialAmbient--materialDiffuse :: Face -> StateVar (Color4 GLfloat)-materialDiffuse =-   makeMaterialVar glGetMaterialfvc glMaterialfvc MaterialDiffuse--materialAmbientAndDiffuse :: Face -> StateVar (Color4 GLfloat)-materialAmbientAndDiffuse =-   makeMaterialVar glGetMaterialfvc glMaterialfvc MaterialAmbientAndDiffuse--materialSpecular :: Face -> StateVar (Color4 GLfloat)-materialSpecular =-   makeMaterialVar glGetMaterialfvc glMaterialfvc MaterialSpecular--materialEmission :: Face -> StateVar (Color4 GLfloat)-materialEmission =-   makeMaterialVar glGetMaterialfvc glMaterialfvc MaterialEmission--makeMaterialVar :: Storable a-                => (GLenum -> GLenum -> Ptr a -> IO ())-                -> (GLenum -> GLenum -> Ptr a -> IO ())-                -> MaterialParameter -> Face -> StateVar a-makeMaterialVar getter setter materialParameter face =-   makeStateVar (alloca $ \buf -> do getter f mp buf ; peek buf)-                (\val -> with val $ setter f mp)-   where mp = marshalMaterialParameter materialParameter-         f  = marshalFace face--glGetMaterialfvc :: GLenum -> GLenum -> Ptr (Color4 GLfloat) -> IO ()-glGetMaterialfvc face pname ptr = glGetMaterialfv face pname (castPtr ptr)--glMaterialfvc :: GLenum -> GLenum -> Ptr (Color4 GLfloat) -> IO ()-glMaterialfvc face pname ptr = glMaterialfv face pname (castPtr ptr)------------------------------------------------------------------------------------materialShininess :: Face -> StateVar GLfloat-materialShininess =-   makeMaterialVar glGetMaterialfvf glMaterialff MaterialShininess--glGetMaterialfvf :: GLenum -> GLenum -> Ptr GLfloat -> IO ()-glGetMaterialfvf face pname ptr = glGetMaterialfv face pname (castPtr ptr)--glMaterialff :: GLenum -> GLenum -> Ptr GLfloat -> IO ()-glMaterialff face pname ptr = glMaterialfv face pname (castPtr ptr)--maxShininess :: GettableStateVar GLfloat-maxShininess = makeGettableStateVar $ getFloat1 id GetMaxShininess-------------------------------------------------------------------------------------- Alas, (Index1 GLint, Index1 GLint, Index1 GLint) is not an instance of--- Storable...--materialColorIndexes ::-   Face -> StateVar (Index1 GLint, Index1 GLint, Index1 GLint)-materialColorIndexes face =-   makeStateVar (getMaterialColorIndexes face) (setMaterialColorIndexes face)--getMaterialColorIndexes :: Face -> IO (Index1 GLint, Index1 GLint, Index1 GLint)-getMaterialColorIndexes face =-   allocaArray 3 $ \buf -> do-      glGetMaterialiv (marshalFace face)-                      (marshalMaterialParameter MaterialColorIndexes)-                      buf-      peek3 (\a d s -> (Index1 a, Index1 d, Index1 s)) buf--setMaterialColorIndexes ::-   Face -> (Index1 GLint, Index1 GLint, Index1 GLint) -> IO ()-setMaterialColorIndexes face (Index1 a, Index1 d, Index1 s) =-   withArray [a, d, s] $-      glMaterialiv (marshalFace face)-                   (marshalMaterialParameter MaterialColorIndexes)------------------------------------------------------------------------------------data LightParameter =-     Ambient'-   | Diffuse'-   | Specular'-   | Position-   | SpotDirection-   | SpotExponent-   | SpotCutoff-   | ConstantAttenuation-   | LinearAttenuation-   | QuadraticAttenuation--marshalLightParameter :: LightParameter -> GLenum-marshalLightParameter x = case x of-   Ambient' -> gl_AMBIENT-   Diffuse' -> gl_DIFFUSE-   Specular' -> gl_SPECULAR-   Position -> gl_POSITION-   SpotDirection -> gl_SPOT_DIRECTION-   SpotExponent -> gl_SPOT_EXPONENT-   SpotCutoff -> gl_SPOT_CUTOFF-   ConstantAttenuation -> gl_CONSTANT_ATTENUATION-   LinearAttenuation -> gl_LINEAR_ATTENUATION-   QuadraticAttenuation -> gl_QUADRATIC_ATTENUATION------------------------------------------------------------------------------------ambient :: Light -> StateVar (Color4 GLfloat)-ambient = makeLightVar glGetLightfvc glLightfvc Ambient' black--black :: Color4 GLfloat-black = Color4 0 0 0 0--diffuse :: Light -> StateVar (Color4 GLfloat)-diffuse = makeLightVar glGetLightfvc glLightfvc Diffuse' black--specular :: Light -> StateVar (Color4 GLfloat)-specular = makeLightVar glGetLightfvc glLightfvc Specular' black--makeLightVar :: Storable a-             => (GLenum -> GLenum -> Ptr a -> IO ())-             -> (GLenum -> GLenum -> Ptr a -> IO ())-             -> LightParameter -> a -> Light -> StateVar a-makeLightVar getter setter lightParameter defaultValue theLight =-   makeStateVar (maybe (return defaultValue) getLightVar ml)-                (\val -> maybe recordInvalidEnum (setLightVar val) ml)-   where lp          = marshalLightParameter lightParameter-         ml          = marshalLight theLight-         getLightVar = \l -> alloca $ \buf -> do getter l lp buf ; peek buf-         setLightVar = \val l -> with val $ setter l lp--glGetLightfvc :: GLenum -> GLenum -> Ptr (Color4 GLfloat) -> IO ()-glGetLightfvc l pname ptr = glGetLightfv l pname (castPtr ptr)--glLightfvc :: GLenum -> GLenum -> Ptr (Color4 GLfloat) -> IO ()-glLightfvc l pname ptr = glLightfv l pname (castPtr ptr)------------------------------------------------------------------------------------position :: Light -> StateVar (Vertex4 GLfloat)-position = makeLightVar glGetLightfvv glLightfvv Position (Vertex4 0 0 0 0)--glLightfvv :: GLenum -> GLenum -> Ptr (Vertex4 GLfloat) -> IO ()-glLightfvv l pname ptr = glLightfv l pname (castPtr ptr)--glGetLightfvv :: GLenum -> GLenum -> Ptr (Vertex4 GLfloat) -> IO ()-glGetLightfvv l pname ptr = glGetLightfv l pname (castPtr ptr)------------------------------------------------------------------------------------spotDirection :: Light -> StateVar (Normal3 GLfloat)-spotDirection =-   makeLightVar glGetLightfvn glLightfvn SpotDirection (Normal3 0 0 0)--glLightfvn :: GLenum -> GLenum -> Ptr (Normal3 GLfloat) -> IO ()-glLightfvn l pname ptr = glLightfv l pname (castPtr ptr)--glGetLightfvn :: GLenum -> GLenum -> Ptr (Normal3 GLfloat) -> IO ()-glGetLightfvn l pname ptr = glGetLightfv l pname (castPtr ptr)------------------------------------------------------------------------------------spotExponent :: Light -> StateVar GLfloat-spotExponent = makeLightVar glGetLightfv glLightfv SpotExponent 0--maxSpotExponent :: GettableStateVar GLfloat-maxSpotExponent = makeGettableStateVar $ getFloat1 id GetMaxSpotExponent------------------------------------------------------------------------------------spotCutoff :: Light -> StateVar GLfloat-spotCutoff = makeLightVar glGetLightfv glLightfv SpotCutoff 0------------------------------------------------------------------------------------attenuation :: Light -> StateVar (GLfloat, GLfloat, GLfloat)-attenuation theLight =-   makeStateVar-      (liftM3 (,,) (get (constantAttenuation  theLight))-                   (get (linearAttenuation    theLight))-                   (get (quadraticAttenuation theLight)))-      (\(constant, linear, quadratic) -> do-         constantAttenuation  theLight $= constant-         linearAttenuation    theLight $= linear-         quadraticAttenuation theLight $= quadratic)--constantAttenuation :: Light -> StateVar GLfloat-constantAttenuation = makeLightVar glGetLightfv glLightfv ConstantAttenuation 0--linearAttenuation :: Light -> StateVar GLfloat-linearAttenuation = makeLightVar glGetLightfv glLightfv LinearAttenuation 0--quadraticAttenuation :: Light -> StateVar GLfloat-quadraticAttenuation =-   makeLightVar glGetLightfv glLightfv QuadraticAttenuation 0------------------------------------------------------------------------------------data LightModelParameter =-     LightModelAmbient-   | LightModelLocalViewer-   | LightModelTwoSide-   | LightModelColorControl--marshalLightModelParameter :: LightModelParameter -> GLenum-marshalLightModelParameter x = case x of-   LightModelAmbient -> gl_LIGHT_MODEL_AMBIENT-   LightModelLocalViewer -> gl_LIGHT_MODEL_LOCAL_VIEWER-   LightModelTwoSide -> gl_LIGHT_MODEL_TWO_SIDE-   LightModelColorControl -> gl_LIGHT_MODEL_COLOR_CONTROL------------------------------------------------------------------------------------lightModelAmbient :: StateVar (Color4 GLfloat)-lightModelAmbient =-   makeStateVar-      (getFloat4 Color4 GetLightModelAmbient)-      (\c -> with c $-                glLightModelfv (marshalLightModelParameter LightModelAmbient) . castPtr)------------------------------------------------------------------------------------lightModelLocalViewer :: StateVar Capability-lightModelLocalViewer =-   makeLightModelCapVar GetLightModelLocalViewer LightModelLocalViewer--makeLightModelCapVar :: PName1I -> LightModelParameter -> StateVar Capability-makeLightModelCapVar pname lightModelParameter =-   makeStateVar-      (getBoolean1 unmarshalCapability pname)-      (glLightModeli (marshalLightModelParameter lightModelParameter) .-                     fromIntegral . marshalCapability)------------------------------------------------------------------------------------lightModelTwoSide :: StateVar Capability-lightModelTwoSide = makeLightModelCapVar GetLightModelTwoSide LightModelTwoSide--vertexProgramTwoSide :: StateVar Capability-vertexProgramTwoSide = makeCapability CapVertexProgramTwoSide------------------------------------------------------------------------------------data LightModelColorControl =-     SingleColor-   | SeparateSpecularColor-   deriving ( Eq, Ord, Show )--marshalLightModelColorControl :: LightModelColorControl -> GLenum-marshalLightModelColorControl x = case x of-   SingleColor -> gl_SINGLE_COLOR-   SeparateSpecularColor -> gl_SEPARATE_SPECULAR_COLOR--unmarshalLightModelColorControl :: GLenum -> LightModelColorControl-unmarshalLightModelColorControl x-   | x == gl_SINGLE_COLOR = SingleColor-   | x == gl_SEPARATE_SPECULAR_COLOR = SeparateSpecularColor-   | otherwise = error ("unmarshalLightModelColorControl: illegal value " ++ show x)------------------------------------------------------------------------------------lightModelColorControl :: StateVar LightModelColorControl-lightModelColorControl =-   makeStateVar-      (getEnum1 unmarshalLightModelColorControl GetLightModelColorControl)-      (glLightModeli (marshalLightModelParameter LightModelColorControl) .-                     fromIntegral . marshalLightModelColorControl)------------------------------------------------------------------------------------data ColorMaterialParameter =-     Ambient-   | Diffuse-   | Specular-   | Emission-   | AmbientAndDiffuse-   deriving ( Eq, Ord, Show )--marshalColorMaterialParameter :: ColorMaterialParameter -> GLenum-marshalColorMaterialParameter x = case x of-   Ambient -> gl_AMBIENT-   Diffuse -> gl_DIFFUSE-   Specular -> gl_SPECULAR-   Emission -> gl_EMISSION-   AmbientAndDiffuse -> gl_AMBIENT_AND_DIFFUSE--unmarshalColorMaterialParameter :: GLenum -> ColorMaterialParameter-unmarshalColorMaterialParameter x-   | x == gl_AMBIENT = Ambient-   | x == gl_DIFFUSE = Diffuse-   | x == gl_SPECULAR = Specular-   | x == gl_EMISSION = Emission-   | x == gl_AMBIENT_AND_DIFFUSE = AmbientAndDiffuse-   | otherwise = error ("unmarshalColorMaterialParameter: illegal value " ++ show x)------------------------------------------------------------------------------------colorMaterial :: StateVar (Maybe (Face, ColorMaterialParameter))-colorMaterial =-   makeStateVarMaybe-      (return CapColorMaterial)-      (liftM2-         (,)-         (getEnum1 unmarshalFace GetColorMaterialFace)-         (getEnum1 unmarshalColorMaterialParameter GetColorMaterialParameter))-      (\(face, param) -> glColorMaterial (marshalFace face)-                                         (marshalColorMaterialParameter param))------------------------------------------------------------------------------------data ShadingModel =-     Flat-   | Smooth-   deriving ( Eq, Ord, Show )--marshalShadingModel :: ShadingModel -> GLenum-marshalShadingModel x = case x of-   Flat -> gl_FLAT-   Smooth -> gl_SMOOTH--unmarshalShadingModel :: GLenum -> ShadingModel-unmarshalShadingModel x-   | x == gl_FLAT = Flat-   | x == gl_SMOOTH = Smooth-   | otherwise = error ("unmarshalShadingModel: illegal value " ++ show x)------------------------------------------------------------------------------------shadeModel :: StateVar ShadingModel-shadeModel =-   makeStateVar-      (getEnum1 unmarshalShadingModel GetShadeModel)-      (glShadeModel . marshalShadingModel)------------------------------------------------------------------------------------data ClampTarget =-     ClampVertexColor-   | ClampFragmentColor-   | ClampReadColor--marshalClampTarget :: ClampTarget -> GLenum-marshalClampTarget x = case x of-   ClampVertexColor -> gl_CLAMP_VERTEX_COLOR-   ClampFragmentColor -> gl_CLAMP_FRAGMENT_COLOR-   ClampReadColor -> gl_CLAMP_READ_COLOR--marshalClampTargetToPName :: ClampTarget -> PName1I-marshalClampTargetToPName x = case x of-   ClampFragmentColor -> GetFragmentColorClamp-   ClampVertexColor -> GetVertexColorClamp-   ClampReadColor -> GetReadColorClamp-------------------------------------------------------------------------------------data ClampMode =-     ClampOn-   | FixedOnly-   | ClampOff--marshalClampMode :: ClampMode -> GLenum-marshalClampMode x = case x of-   ClampOn -> gl_TRUE-   FixedOnly -> gl_FIXED_ONLY-   ClampOff -> gl_FALSE--unmarshalClampMode :: GLenum -> ClampMode-unmarshalClampMode x-   | x == gl_TRUE = ClampOn-   | x == gl_FIXED_ONLY = FixedOnly-   | x == gl_FALSE = ClampOff-   | otherwise = error $ "unmarshalClampMode: unknown enum value " ++ show x------------------------------------------------------------------------------------clampColor :: ClampTarget -> StateVar ClampMode-clampColor ct = makeStateVar (getClampColor ct) (setClampColor ct)-   where setClampColor t = glClampColor (marshalClampTarget t) . marshalClampMode-         getClampColor = getEnum1 unmarshalClampMode . marshalClampTargetToPName+--------------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL.GL.Colors
+-- Copyright   :  (c) Sven Panne 2002-2013
+-- License     :  BSD3
+--
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- This module corresponds to section 2.14 (Colors and Coloring) of the
+-- OpenGL 2.1 specs.
+--
+--------------------------------------------------------------------------------
+
+module Graphics.Rendering.OpenGL.GL.Colors (
+   -- * Lighting
+   lighting, Light(..), light, maxLights,
+   FrontFaceDirection(..), frontFace,
+
+   -- * Lighting Parameter Specification
+   Face(..),
+   materialAmbient, materialDiffuse, materialAmbientAndDiffuse,
+   materialSpecular, materialEmission, materialShininess, maxShininess,
+   materialColorIndexes,
+
+   ambient, diffuse, specular,
+   position, spotDirection, spotExponent, maxSpotExponent, spotCutoff,
+   attenuation,
+
+   lightModelAmbient, lightModelLocalViewer, lightModelTwoSide,
+   vertexProgramTwoSide,
+   LightModelColorControl(..), lightModelColorControl,
+
+   -- * ColorMaterial
+   ColorMaterialParameter(..), colorMaterial,
+
+   -- * Flatshading
+   ShadingModel(..), shadeModel,
+
+   -- * Color clamping
+   ClampTarget(..), ClampMode(..),
+   clampColor,
+) where
+
+import Control.Monad
+import Foreign.Marshal.Alloc
+import Foreign.Marshal.Array
+import Foreign.Marshal.Utils
+import Foreign.Ptr
+import Foreign.Storable
+import Graphics.Rendering.OpenGL.GL.StateVar
+import Graphics.Rendering.OpenGL.GL.Tensor
+import Graphics.Rendering.OpenGL.GL.Capability
+import Graphics.Rendering.OpenGL.GL.Face
+import Graphics.Rendering.OpenGL.GL.PeekPoke
+import Graphics.Rendering.OpenGL.GL.QueryUtils
+import Graphics.Rendering.OpenGL.GL.VertexSpec
+import Graphics.Rendering.OpenGL.GLU.ErrorsInternal
+import Graphics.Rendering.OpenGL.Raw
+
+--------------------------------------------------------------------------------
+
+lighting :: StateVar Capability
+lighting = makeCapability CapLighting
+
+--------------------------------------------------------------------------------
+
+newtype Light = Light GLsizei
+   deriving ( Eq, Ord, Show )
+
+marshalLight :: Light -> Maybe GLenum
+marshalLight (Light l) = lightIndexToEnum l
+
+--------------------------------------------------------------------------------
+
+light :: Light -> StateVar Capability
+light (Light l) = makeCapability (CapLight l)
+
+maxLights :: GettableStateVar GLsizei
+maxLights = makeGettableStateVar (getSizei1 id GetMaxLights)
+
+--------------------------------------------------------------------------------
+
+data FrontFaceDirection =
+     CW
+   | CCW
+   deriving ( Eq, Ord, Show )
+
+marshalFrontFaceDirection :: FrontFaceDirection -> GLenum
+marshalFrontFaceDirection x = case x of
+   CW -> gl_CW
+   CCW -> gl_CCW
+
+unmarshalFrontFaceDirection :: GLenum -> FrontFaceDirection
+unmarshalFrontFaceDirection x
+   | x == gl_CW = CW
+   | x == gl_CCW = CCW
+   | otherwise = error ("unmarshalFrontFaceDirection: illegal value " ++ show x)
+
+--------------------------------------------------------------------------------
+
+frontFace :: StateVar FrontFaceDirection
+frontFace =
+   makeStateVar
+      (getEnum1 unmarshalFrontFaceDirection GetFrontFace)
+      (glFrontFace . marshalFrontFaceDirection)
+
+--------------------------------------------------------------------------------
+
+data MaterialParameter =
+     MaterialEmission
+   | MaterialShininess
+   | MaterialAmbientAndDiffuse
+   | MaterialColorIndexes
+   | MaterialAmbient
+   | MaterialDiffuse
+   | MaterialSpecular
+
+marshalMaterialParameter :: MaterialParameter -> GLenum
+marshalMaterialParameter x = case x of
+   MaterialEmission -> gl_EMISSION
+   MaterialShininess -> gl_SHININESS
+   MaterialAmbientAndDiffuse -> gl_AMBIENT_AND_DIFFUSE
+   MaterialColorIndexes -> gl_COLOR_INDEXES
+   MaterialAmbient -> gl_AMBIENT
+   MaterialDiffuse -> gl_DIFFUSE
+   MaterialSpecular -> gl_SPECULAR
+
+--------------------------------------------------------------------------------
+
+materialAmbient :: Face -> StateVar (Color4 GLfloat)
+materialAmbient =
+   makeMaterialVar glGetMaterialfvc glMaterialfvc MaterialAmbient
+
+materialDiffuse :: Face -> StateVar (Color4 GLfloat)
+materialDiffuse =
+   makeMaterialVar glGetMaterialfvc glMaterialfvc MaterialDiffuse
+
+materialAmbientAndDiffuse :: Face -> StateVar (Color4 GLfloat)
+materialAmbientAndDiffuse =
+   makeMaterialVar glGetMaterialfvc glMaterialfvc MaterialAmbientAndDiffuse
+
+materialSpecular :: Face -> StateVar (Color4 GLfloat)
+materialSpecular =
+   makeMaterialVar glGetMaterialfvc glMaterialfvc MaterialSpecular
+
+materialEmission :: Face -> StateVar (Color4 GLfloat)
+materialEmission =
+   makeMaterialVar glGetMaterialfvc glMaterialfvc MaterialEmission
+
+makeMaterialVar :: Storable a
+                => (GLenum -> GLenum -> Ptr a -> IO ())
+                -> (GLenum -> GLenum -> Ptr a -> IO ())
+                -> MaterialParameter -> Face -> StateVar a
+makeMaterialVar getter setter materialParameter face =
+   makeStateVar (alloca $ \buf -> do getter f mp buf ; peek buf)
+                (\val -> with val $ setter f mp)
+   where mp = marshalMaterialParameter materialParameter
+         f  = marshalFace face
+
+glGetMaterialfvc :: GLenum -> GLenum -> Ptr (Color4 GLfloat) -> IO ()
+glGetMaterialfvc face pname ptr = glGetMaterialfv face pname (castPtr ptr)
+
+glMaterialfvc :: GLenum -> GLenum -> Ptr (Color4 GLfloat) -> IO ()
+glMaterialfvc face pname ptr = glMaterialfv face pname (castPtr ptr)
+
+--------------------------------------------------------------------------------
+
+materialShininess :: Face -> StateVar GLfloat
+materialShininess =
+   makeMaterialVar glGetMaterialfvf glMaterialff MaterialShininess
+
+glGetMaterialfvf :: GLenum -> GLenum -> Ptr GLfloat -> IO ()
+glGetMaterialfvf face pname ptr = glGetMaterialfv face pname (castPtr ptr)
+
+glMaterialff :: GLenum -> GLenum -> Ptr GLfloat -> IO ()
+glMaterialff face pname ptr = glMaterialfv face pname (castPtr ptr)
+
+maxShininess :: GettableStateVar GLfloat
+maxShininess = makeGettableStateVar $ getFloat1 id GetMaxShininess
+
+--------------------------------------------------------------------------------
+
+-- Alas, (Index1 GLint, Index1 GLint, Index1 GLint) is not an instance of
+-- Storable...
+
+materialColorIndexes ::
+   Face -> StateVar (Index1 GLint, Index1 GLint, Index1 GLint)
+materialColorIndexes face =
+   makeStateVar (getMaterialColorIndexes face) (setMaterialColorIndexes face)
+
+getMaterialColorIndexes :: Face -> IO (Index1 GLint, Index1 GLint, Index1 GLint)
+getMaterialColorIndexes face =
+   allocaArray 3 $ \buf -> do
+      glGetMaterialiv (marshalFace face)
+                      (marshalMaterialParameter MaterialColorIndexes)
+                      buf
+      peek3 (\a d s -> (Index1 a, Index1 d, Index1 s)) buf
+
+setMaterialColorIndexes ::
+   Face -> (Index1 GLint, Index1 GLint, Index1 GLint) -> IO ()
+setMaterialColorIndexes face (Index1 a, Index1 d, Index1 s) =
+   withArray [a, d, s] $
+      glMaterialiv (marshalFace face)
+                   (marshalMaterialParameter MaterialColorIndexes)
+
+--------------------------------------------------------------------------------
+
+data LightParameter =
+     Ambient'
+   | Diffuse'
+   | Specular'
+   | Position
+   | SpotDirection
+   | SpotExponent
+   | SpotCutoff
+   | ConstantAttenuation
+   | LinearAttenuation
+   | QuadraticAttenuation
+
+marshalLightParameter :: LightParameter -> GLenum
+marshalLightParameter x = case x of
+   Ambient' -> gl_AMBIENT
+   Diffuse' -> gl_DIFFUSE
+   Specular' -> gl_SPECULAR
+   Position -> gl_POSITION
+   SpotDirection -> gl_SPOT_DIRECTION
+   SpotExponent -> gl_SPOT_EXPONENT
+   SpotCutoff -> gl_SPOT_CUTOFF
+   ConstantAttenuation -> gl_CONSTANT_ATTENUATION
+   LinearAttenuation -> gl_LINEAR_ATTENUATION
+   QuadraticAttenuation -> gl_QUADRATIC_ATTENUATION
+
+--------------------------------------------------------------------------------
+
+ambient :: Light -> StateVar (Color4 GLfloat)
+ambient = makeLightVar glGetLightfvc glLightfvc Ambient' black
+
+black :: Color4 GLfloat
+black = Color4 0 0 0 0
+
+diffuse :: Light -> StateVar (Color4 GLfloat)
+diffuse = makeLightVar glGetLightfvc glLightfvc Diffuse' black
+
+specular :: Light -> StateVar (Color4 GLfloat)
+specular = makeLightVar glGetLightfvc glLightfvc Specular' black
+
+makeLightVar :: Storable a
+             => (GLenum -> GLenum -> Ptr a -> IO ())
+             -> (GLenum -> GLenum -> Ptr a -> IO ())
+             -> LightParameter -> a -> Light -> StateVar a
+makeLightVar getter setter lightParameter defaultValue theLight =
+   makeStateVar (maybe (return defaultValue) getLightVar ml)
+                (\val -> maybe recordInvalidEnum (setLightVar val) ml)
+   where lp          = marshalLightParameter lightParameter
+         ml          = marshalLight theLight
+         getLightVar = \l -> alloca $ \buf -> do getter l lp buf ; peek buf
+         setLightVar = \val l -> with val $ setter l lp
+
+glGetLightfvc :: GLenum -> GLenum -> Ptr (Color4 GLfloat) -> IO ()
+glGetLightfvc l pname ptr = glGetLightfv l pname (castPtr ptr)
+
+glLightfvc :: GLenum -> GLenum -> Ptr (Color4 GLfloat) -> IO ()
+glLightfvc l pname ptr = glLightfv l pname (castPtr ptr)
+
+--------------------------------------------------------------------------------
+
+position :: Light -> StateVar (Vertex4 GLfloat)
+position = makeLightVar glGetLightfvv glLightfvv Position (Vertex4 0 0 0 0)
+
+glLightfvv :: GLenum -> GLenum -> Ptr (Vertex4 GLfloat) -> IO ()
+glLightfvv l pname ptr = glLightfv l pname (castPtr ptr)
+
+glGetLightfvv :: GLenum -> GLenum -> Ptr (Vertex4 GLfloat) -> IO ()
+glGetLightfvv l pname ptr = glGetLightfv l pname (castPtr ptr)
+
+--------------------------------------------------------------------------------
+
+spotDirection :: Light -> StateVar (Normal3 GLfloat)
+spotDirection =
+   makeLightVar glGetLightfvn glLightfvn SpotDirection (Normal3 0 0 0)
+
+glLightfvn :: GLenum -> GLenum -> Ptr (Normal3 GLfloat) -> IO ()
+glLightfvn l pname ptr = glLightfv l pname (castPtr ptr)
+
+glGetLightfvn :: GLenum -> GLenum -> Ptr (Normal3 GLfloat) -> IO ()
+glGetLightfvn l pname ptr = glGetLightfv l pname (castPtr ptr)
+
+--------------------------------------------------------------------------------
+
+spotExponent :: Light -> StateVar GLfloat
+spotExponent = makeLightVar glGetLightfv glLightfv SpotExponent 0
+
+maxSpotExponent :: GettableStateVar GLfloat
+maxSpotExponent = makeGettableStateVar $ getFloat1 id GetMaxSpotExponent
+
+--------------------------------------------------------------------------------
+
+spotCutoff :: Light -> StateVar GLfloat
+spotCutoff = makeLightVar glGetLightfv glLightfv SpotCutoff 0
+
+--------------------------------------------------------------------------------
+
+attenuation :: Light -> StateVar (GLfloat, GLfloat, GLfloat)
+attenuation theLight =
+   makeStateVar
+      (liftM3 (,,) (get (constantAttenuation  theLight))
+                   (get (linearAttenuation    theLight))
+                   (get (quadraticAttenuation theLight)))
+      (\(constant, linear, quadratic) -> do
+         constantAttenuation  theLight $= constant
+         linearAttenuation    theLight $= linear
+         quadraticAttenuation theLight $= quadratic)
+
+constantAttenuation :: Light -> StateVar GLfloat
+constantAttenuation = makeLightVar glGetLightfv glLightfv ConstantAttenuation 0
+
+linearAttenuation :: Light -> StateVar GLfloat
+linearAttenuation = makeLightVar glGetLightfv glLightfv LinearAttenuation 0
+
+quadraticAttenuation :: Light -> StateVar GLfloat
+quadraticAttenuation =
+   makeLightVar glGetLightfv glLightfv QuadraticAttenuation 0
+
+--------------------------------------------------------------------------------
+
+data LightModelParameter =
+     LightModelAmbient
+   | LightModelLocalViewer
+   | LightModelTwoSide
+   | LightModelColorControl
+
+marshalLightModelParameter :: LightModelParameter -> GLenum
+marshalLightModelParameter x = case x of
+   LightModelAmbient -> gl_LIGHT_MODEL_AMBIENT
+   LightModelLocalViewer -> gl_LIGHT_MODEL_LOCAL_VIEWER
+   LightModelTwoSide -> gl_LIGHT_MODEL_TWO_SIDE
+   LightModelColorControl -> gl_LIGHT_MODEL_COLOR_CONTROL
+
+--------------------------------------------------------------------------------
+
+lightModelAmbient :: StateVar (Color4 GLfloat)
+lightModelAmbient =
+   makeStateVar
+      (getFloat4 Color4 GetLightModelAmbient)
+      (\c -> with c $
+                glLightModelfv (marshalLightModelParameter LightModelAmbient) . castPtr)
+
+--------------------------------------------------------------------------------
+
+lightModelLocalViewer :: StateVar Capability
+lightModelLocalViewer =
+   makeLightModelCapVar GetLightModelLocalViewer LightModelLocalViewer
+
+makeLightModelCapVar :: PName1I -> LightModelParameter -> StateVar Capability
+makeLightModelCapVar pname lightModelParameter =
+   makeStateVar
+      (getBoolean1 unmarshalCapability pname)
+      (glLightModeli (marshalLightModelParameter lightModelParameter) .
+                     fromIntegral . marshalCapability)
+
+--------------------------------------------------------------------------------
+
+lightModelTwoSide :: StateVar Capability
+lightModelTwoSide = makeLightModelCapVar GetLightModelTwoSide LightModelTwoSide
+
+vertexProgramTwoSide :: StateVar Capability
+vertexProgramTwoSide = makeCapability CapVertexProgramTwoSide
+
+--------------------------------------------------------------------------------
+
+data LightModelColorControl =
+     SingleColor
+   | SeparateSpecularColor
+   deriving ( Eq, Ord, Show )
+
+marshalLightModelColorControl :: LightModelColorControl -> GLenum
+marshalLightModelColorControl x = case x of
+   SingleColor -> gl_SINGLE_COLOR
+   SeparateSpecularColor -> gl_SEPARATE_SPECULAR_COLOR
+
+unmarshalLightModelColorControl :: GLenum -> LightModelColorControl
+unmarshalLightModelColorControl x
+   | x == gl_SINGLE_COLOR = SingleColor
+   | x == gl_SEPARATE_SPECULAR_COLOR = SeparateSpecularColor
+   | otherwise = error ("unmarshalLightModelColorControl: illegal value " ++ show x)
+
+--------------------------------------------------------------------------------
+
+lightModelColorControl :: StateVar LightModelColorControl
+lightModelColorControl =
+   makeStateVar
+      (getEnum1 unmarshalLightModelColorControl GetLightModelColorControl)
+      (glLightModeli (marshalLightModelParameter LightModelColorControl) .
+                     fromIntegral . marshalLightModelColorControl)
+
+--------------------------------------------------------------------------------
+
+data ColorMaterialParameter =
+     Ambient
+   | Diffuse
+   | Specular
+   | Emission
+   | AmbientAndDiffuse
+   deriving ( Eq, Ord, Show )
+
+marshalColorMaterialParameter :: ColorMaterialParameter -> GLenum
+marshalColorMaterialParameter x = case x of
+   Ambient -> gl_AMBIENT
+   Diffuse -> gl_DIFFUSE
+   Specular -> gl_SPECULAR
+   Emission -> gl_EMISSION
+   AmbientAndDiffuse -> gl_AMBIENT_AND_DIFFUSE
+
+unmarshalColorMaterialParameter :: GLenum -> ColorMaterialParameter
+unmarshalColorMaterialParameter x
+   | x == gl_AMBIENT = Ambient
+   | x == gl_DIFFUSE = Diffuse
+   | x == gl_SPECULAR = Specular
+   | x == gl_EMISSION = Emission
+   | x == gl_AMBIENT_AND_DIFFUSE = AmbientAndDiffuse
+   | otherwise = error ("unmarshalColorMaterialParameter: illegal value " ++ show x)
+
+--------------------------------------------------------------------------------
+
+colorMaterial :: StateVar (Maybe (Face, ColorMaterialParameter))
+colorMaterial =
+   makeStateVarMaybe
+      (return CapColorMaterial)
+      (liftM2
+         (,)
+         (getEnum1 unmarshalFace GetColorMaterialFace)
+         (getEnum1 unmarshalColorMaterialParameter GetColorMaterialParameter))
+      (\(face, param) -> glColorMaterial (marshalFace face)
+                                         (marshalColorMaterialParameter param))
+
+--------------------------------------------------------------------------------
+
+data ShadingModel =
+     Flat
+   | Smooth
+   deriving ( Eq, Ord, Show )
+
+marshalShadingModel :: ShadingModel -> GLenum
+marshalShadingModel x = case x of
+   Flat -> gl_FLAT
+   Smooth -> gl_SMOOTH
+
+unmarshalShadingModel :: GLenum -> ShadingModel
+unmarshalShadingModel x
+   | x == gl_FLAT = Flat
+   | x == gl_SMOOTH = Smooth
+   | otherwise = error ("unmarshalShadingModel: illegal value " ++ show x)
+
+--------------------------------------------------------------------------------
+
+shadeModel :: StateVar ShadingModel
+shadeModel =
+   makeStateVar
+      (getEnum1 unmarshalShadingModel GetShadeModel)
+      (glShadeModel . marshalShadingModel)
+
+--------------------------------------------------------------------------------
+
+data ClampTarget =
+     ClampVertexColor
+   | ClampFragmentColor
+   | ClampReadColor
+
+marshalClampTarget :: ClampTarget -> GLenum
+marshalClampTarget x = case x of
+   ClampVertexColor -> gl_CLAMP_VERTEX_COLOR
+   ClampFragmentColor -> gl_CLAMP_FRAGMENT_COLOR
+   ClampReadColor -> gl_CLAMP_READ_COLOR
+
+marshalClampTargetToPName :: ClampTarget -> PName1I
+marshalClampTargetToPName x = case x of
+   ClampFragmentColor -> GetFragmentColorClamp
+   ClampVertexColor -> GetVertexColorClamp
+   ClampReadColor -> GetReadColorClamp
+
+
+--------------------------------------------------------------------------------
+
+data ClampMode =
+     ClampOn
+   | FixedOnly
+   | ClampOff
+
+marshalClampMode :: ClampMode -> GLenum
+marshalClampMode x = case x of
+   ClampOn -> gl_TRUE
+   FixedOnly -> gl_FIXED_ONLY
+   ClampOff -> gl_FALSE
+
+unmarshalClampMode :: GLenum -> ClampMode
+unmarshalClampMode x
+   | x == gl_TRUE = ClampOn
+   | x == gl_FIXED_ONLY = FixedOnly
+   | x == gl_FALSE = ClampOff
+   | otherwise = error $ "unmarshalClampMode: unknown enum value " ++ show x
+
+--------------------------------------------------------------------------------
+
+clampColor :: ClampTarget -> StateVar ClampMode
+clampColor ct = makeStateVar (getClampColor ct) (setClampColor ct)
+   where setClampColor t = glClampColor (marshalClampTarget t) . marshalClampMode
+         getClampColor = getEnum1 unmarshalClampMode . marshalClampTargetToPName

@@ -1,57 +1,57 @@--- #hide------------------------------------------------------------------------------------ |--- Module      :  Graphics.Rendering.OpenGL.GL.ComparisonFunction--- Copyright   :  (c) Sven Panne 2002-2009--- License     :  BSD-style (see the file libraries/OpenGL/LICENSE)--- --- Maintainer  :  sven.panne@aedion.de--- Stability   :  stable--- Portability :  portable------ This is a purely internal module for (un-)marshaling ComparisonFunction.--------------------------------------------------------------------------------------module Graphics.Rendering.OpenGL.GL.ComparisonFunction (-   ComparisonFunction(..), marshalComparisonFunction,-   unmarshalComparisonFunction-) where--import Graphics.Rendering.OpenGL.Raw.Core31------------------------------------------------------------------------------------data ComparisonFunction =-     Never-   | Less-   | Equal-   | Lequal-   | Greater-   | Notequal-   | Gequal-   | Always-   deriving ( Eq, Ord, Show )--marshalComparisonFunction :: ComparisonFunction -> GLenum-marshalComparisonFunction x = case x of-   Never -> gl_NEVER-   Less -> gl_LESS-   Equal -> gl_EQUAL-   Lequal -> gl_LEQUAL-   Greater -> gl_GREATER-   Notequal -> gl_NOTEQUAL-   Gequal -> gl_GEQUAL-   Always -> gl_ALWAYS--unmarshalComparisonFunction :: GLenum -> ComparisonFunction-unmarshalComparisonFunction x-   | x == gl_NEVER = Never-   | x == gl_LESS = Less-   | x == gl_EQUAL = Equal-   | x == gl_LEQUAL = Lequal-   | x == gl_GREATER = Greater-   | x == gl_NOTEQUAL = Notequal-   | x == gl_GEQUAL = Gequal-   | x == gl_ALWAYS = Always-   | otherwise = error ("unmarshalComparisonFunction: illegal value " ++ show x)+{-# OPTIONS_HADDOCK hide #-}
+--------------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL.GL.ComparisonFunction
+-- Copyright   :  (c) Sven Panne 2002-2013
+-- License     :  BSD3
+-- 
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- This is a purely internal module for (un-)marshaling ComparisonFunction.
+--
+--------------------------------------------------------------------------------
+
+module Graphics.Rendering.OpenGL.GL.ComparisonFunction (
+   ComparisonFunction(..), marshalComparisonFunction,
+   unmarshalComparisonFunction
+) where
+
+import Graphics.Rendering.OpenGL.Raw
+
+--------------------------------------------------------------------------------
+
+data ComparisonFunction =
+     Never
+   | Less
+   | Equal
+   | Lequal
+   | Greater
+   | Notequal
+   | Gequal
+   | Always
+   deriving ( Eq, Ord, Show )
+
+marshalComparisonFunction :: ComparisonFunction -> GLenum
+marshalComparisonFunction x = case x of
+   Never -> gl_NEVER
+   Less -> gl_LESS
+   Equal -> gl_EQUAL
+   Lequal -> gl_LEQUAL
+   Greater -> gl_GREATER
+   Notequal -> gl_NOTEQUAL
+   Gequal -> gl_GEQUAL
+   Always -> gl_ALWAYS
+
+unmarshalComparisonFunction :: GLenum -> ComparisonFunction
+unmarshalComparisonFunction x
+   | x == gl_NEVER = Never
+   | x == gl_LESS = Less
+   | x == gl_EQUAL = Equal
+   | x == gl_LEQUAL = Lequal
+   | x == gl_GREATER = Greater
+   | x == gl_NOTEQUAL = Notequal
+   | x == gl_GEQUAL = Gequal
+   | x == gl_ALWAYS = Always
+   | otherwise = error ("unmarshalComparisonFunction: illegal value " ++ show x)

@@ -0,0 +1,52 @@+--------------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL.GL.ConditionalRendering
+-- Copyright   :  (c) Sven Panne 2013
+-- License     :  BSD3
+--
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- This module corresponds to section 10.10 (Conditional Rendering) of the
+-- OpenGL 4.4 specs.
+--
+--------------------------------------------------------------------------------
+
+module Graphics.Rendering.OpenGL.GL.ConditionalRendering (
+   ConditionalRenderMode(..),
+   beginConditionalRender, endConditionalRender, withConditionalRender
+) where
+
+import Graphics.Rendering.OpenGL.GL.Exception
+import Graphics.Rendering.OpenGL.GL.QueryObject
+import Graphics.Rendering.OpenGL.Raw
+
+--------------------------------------------------------------------------------
+
+data ConditionalRenderMode =
+     QueryWait
+   | QueryNoWait
+   | QueryByRegionWait
+   | QueryByRegionNoWait
+   deriving ( Eq, Ord, Show )
+
+marshalConditionalRenderMode :: ConditionalRenderMode -> GLenum
+marshalConditionalRenderMode x = case x of
+   QueryWait -> gl_QUERY_WAIT
+   QueryNoWait -> gl_QUERY_NO_WAIT
+   QueryByRegionWait -> gl_QUERY_BY_REGION_WAIT
+   QueryByRegionNoWait -> gl_QUERY_BY_REGION_NO_WAIT
+
+--------------------------------------------------------------------------------
+
+beginConditionalRender :: QueryObject -> ConditionalRenderMode -> IO ()
+beginConditionalRender q =
+   glBeginConditionalRender (queryID q) . marshalConditionalRenderMode
+
+endConditionalRender :: IO ()
+endConditionalRender = glEndConditionalRender
+
+withConditionalRender :: QueryObject -> ConditionalRenderMode -> IO a -> IO a
+withConditionalRender q m =
+   bracket_ (beginConditionalRender q m) endConditionalRender

@@ -1,169 +1,162 @@--- #hide------------------------------------------------------------------------------------ |--- Module      :  Graphics.Rendering.OpenGL.GL.ControlPoint--- Copyright   :  (c) Sven Panne 2002-2009--- License     :  BSD-style (see the file libraries/OpenGL/LICENSE)--- --- Maintainer  :  sven.panne@aedion.de--- Stability   :  stable--- Portability :  portable------ This is a purely internal module for handling control points.--------------------------------------------------------------------------------------module Graphics.Rendering.OpenGL.GL.ControlPoint (-   ControlPoint(..)-) where--import Foreign.Ptr-import Foreign.Storable-import Graphics.Rendering.OpenGL.GL.Tensor-import Graphics.Rendering.OpenGL.GL.Capability-import Graphics.Rendering.OpenGL.GL.Domain-import Graphics.Rendering.OpenGL.GL.VertexArrays-import Graphics.Rendering.OpenGL.GL.VertexSpec-import Graphics.Rendering.OpenGL.Raw.Core31-import Graphics.Rendering.OpenGL.Raw.ARB.Compatibility (-   gl_MAP1_COLOR_4, gl_MAP1_INDEX, gl_MAP1_NORMAL, gl_MAP1_TEXTURE_COORD_1,-   gl_MAP1_TEXTURE_COORD_2, gl_MAP1_TEXTURE_COORD_3, gl_MAP1_TEXTURE_COORD_4,-   gl_MAP1_VERTEX_3, gl_MAP2_COLOR_4, gl_MAP2_INDEX, gl_MAP2_NORMAL,-   gl_MAP2_TEXTURE_COORD_1, gl_MAP2_TEXTURE_COORD_2, gl_MAP2_TEXTURE_COORD_3,-   gl_MAP2_TEXTURE_COORD_4, gl_MAP2_VERTEX_3, gl_MAP2_VERTEX_4,-   gl_MAP1_VERTEX_4 )------------------------------------------------------------------------------------class ControlPoint c where-   map1Target       :: Domain d => c d -> GLenum-   map2Target       :: Domain d => c d -> GLenum-   enableCap1       :: Domain d => c d -> EnableCap-   enableCap2       :: Domain d => c d -> EnableCap-   numComponents    :: Domain d => c d -> Stride-   peekControlPoint :: Domain d => Ptr (c d) -> IO (c d)-   pokeControlPoint :: Domain d => Ptr (c d) -> (c d) -> IO ()--instance ControlPoint Vertex3 where-   map1Target       = marshalMapTarget . const Map1Vertex3-   map2Target       = marshalMapTarget . const Map2Vertex3-   enableCap1       = const CapMap1Vertex3-   enableCap2       = const CapMap2Vertex3-   numComponents    = const 3-   peekControlPoint = peek-   pokeControlPoint = poke--instance ControlPoint Vertex4 where-   map1Target       = marshalMapTarget . const Map1Vertex4-   map2Target       = marshalMapTarget . const Map2Vertex4-   enableCap1       = const CapMap1Vertex4-   enableCap2       = const CapMap2Vertex4-   numComponents    = const 4-   peekControlPoint = peek-   pokeControlPoint = poke--instance ControlPoint Index1 where-   map1Target       = marshalMapTarget . const Map1Index-   map2Target       = marshalMapTarget . const Map2Index-   enableCap1       = const CapMap1Index-   enableCap2       = const CapMap2Index-   numComponents    = const 1-   peekControlPoint = peek-   pokeControlPoint = poke--instance ControlPoint Color4 where-   map1Target       = marshalMapTarget . const Map1Color4-   map2Target       = marshalMapTarget . const Map2Color4-   enableCap1       = const CapMap1Color4-   enableCap2       = const CapMap2Color4-   numComponents    = const 4-   peekControlPoint = peek-   pokeControlPoint = poke--instance ControlPoint Normal3 where-   map1Target       = marshalMapTarget . const Map1Normal-   map2Target       = marshalMapTarget . const Map2Normal-   enableCap1       = const CapMap1Normal-   enableCap2       = const CapMap2Normal-   numComponents    = const 3-   peekControlPoint = peek-   pokeControlPoint = poke--instance ControlPoint TexCoord1 where-   map1Target       = marshalMapTarget . const Map1TextureCoord1-   map2Target       = marshalMapTarget . const Map2TextureCoord1-   enableCap1       = const CapMap1TextureCoord1-   enableCap2       = const CapMap2TextureCoord1-   numComponents    = const 1-   peekControlPoint = peek-   pokeControlPoint = poke--instance ControlPoint TexCoord2 where-   map1Target       = marshalMapTarget . const Map1TextureCoord2-   map2Target       = marshalMapTarget . const Map2TextureCoord2-   enableCap1       = const CapMap1TextureCoord2-   enableCap2       = const CapMap2TextureCoord2-   numComponents    = const 2-   peekControlPoint = peek-   pokeControlPoint = poke--instance ControlPoint TexCoord3 where-   map1Target       = marshalMapTarget . const Map1TextureCoord3-   map2Target       = marshalMapTarget . const Map2TextureCoord3-   enableCap1       = const CapMap1TextureCoord3-   enableCap2       = const CapMap2TextureCoord3-   numComponents    = const 3-   peekControlPoint = peek-   pokeControlPoint = poke--instance ControlPoint TexCoord4 where-   map1Target       = marshalMapTarget . const Map1TextureCoord4-   map2Target       = marshalMapTarget . const Map2TextureCoord4-   enableCap1       = const CapMap1TextureCoord4-   enableCap2       = const CapMap2TextureCoord4-   numComponents    = const 4-   peekControlPoint = peek-   pokeControlPoint = poke------------------------------------------------------------------------------------data MapTarget =-     Map1Color4-   | Map1Index-   | Map1Normal-   | Map1TextureCoord1-   | Map1TextureCoord2-   | Map1TextureCoord3-   | Map1TextureCoord4-   | Map1Vertex3-   | Map1Vertex4-   | Map2Color4-   | Map2Index-   | Map2Normal-   | Map2TextureCoord1-   | Map2TextureCoord2-   | Map2TextureCoord3-   | Map2TextureCoord4-   | Map2Vertex3-   | Map2Vertex4--marshalMapTarget :: MapTarget -> GLenum-marshalMapTarget x = case x of-   Map1Color4 -> gl_MAP1_COLOR_4-   Map1Index -> gl_MAP1_INDEX-   Map1Normal -> gl_MAP1_NORMAL-   Map1TextureCoord1 -> gl_MAP1_TEXTURE_COORD_1-   Map1TextureCoord2 -> gl_MAP1_TEXTURE_COORD_2-   Map1TextureCoord3 -> gl_MAP1_TEXTURE_COORD_3-   Map1TextureCoord4 -> gl_MAP1_TEXTURE_COORD_4-   Map1Vertex3 -> gl_MAP1_VERTEX_3-   Map1Vertex4 -> gl_MAP1_VERTEX_4-   Map2Color4 -> gl_MAP2_COLOR_4-   Map2Index -> gl_MAP2_INDEX-   Map2Normal -> gl_MAP2_NORMAL-   Map2TextureCoord1 -> gl_MAP2_TEXTURE_COORD_1-   Map2TextureCoord2 -> gl_MAP2_TEXTURE_COORD_2-   Map2TextureCoord3 -> gl_MAP2_TEXTURE_COORD_3-   Map2TextureCoord4 -> gl_MAP2_TEXTURE_COORD_4-   Map2Vertex3 -> gl_MAP2_VERTEX_3-   Map2Vertex4 -> gl_MAP2_VERTEX_4+{-# OPTIONS_HADDOCK hide #-}
+--------------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL.GL.ControlPoint
+-- Copyright   :  (c) Sven Panne 2002-2013
+-- License     :  BSD3
+-- 
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- This is a purely internal module for handling control points.
+--
+--------------------------------------------------------------------------------
+
+module Graphics.Rendering.OpenGL.GL.ControlPoint (
+   ControlPoint(..)
+) where
+
+import Foreign.Ptr
+import Foreign.Storable
+import Graphics.Rendering.OpenGL.GL.Tensor
+import Graphics.Rendering.OpenGL.GL.Capability
+import Graphics.Rendering.OpenGL.GL.Domain
+import Graphics.Rendering.OpenGL.GL.VertexArrays
+import Graphics.Rendering.OpenGL.GL.VertexSpec
+import Graphics.Rendering.OpenGL.Raw
+
+--------------------------------------------------------------------------------
+
+class ControlPoint c where
+   map1Target       :: Domain d => c d -> GLenum
+   map2Target       :: Domain d => c d -> GLenum
+   enableCap1       :: Domain d => c d -> EnableCap
+   enableCap2       :: Domain d => c d -> EnableCap
+   numComponents    :: Domain d => c d -> Stride
+   peekControlPoint :: Domain d => Ptr (c d) -> IO (c d)
+   pokeControlPoint :: Domain d => Ptr (c d) -> (c d) -> IO ()
+
+instance ControlPoint Vertex3 where
+   map1Target       = marshalMapTarget . const Map1Vertex3
+   map2Target       = marshalMapTarget . const Map2Vertex3
+   enableCap1       = const CapMap1Vertex3
+   enableCap2       = const CapMap2Vertex3
+   numComponents    = const 3
+   peekControlPoint = peek
+   pokeControlPoint = poke
+
+instance ControlPoint Vertex4 where
+   map1Target       = marshalMapTarget . const Map1Vertex4
+   map2Target       = marshalMapTarget . const Map2Vertex4
+   enableCap1       = const CapMap1Vertex4
+   enableCap2       = const CapMap2Vertex4
+   numComponents    = const 4
+   peekControlPoint = peek
+   pokeControlPoint = poke
+
+instance ControlPoint Index1 where
+   map1Target       = marshalMapTarget . const Map1Index
+   map2Target       = marshalMapTarget . const Map2Index
+   enableCap1       = const CapMap1Index
+   enableCap2       = const CapMap2Index
+   numComponents    = const 1
+   peekControlPoint = peek
+   pokeControlPoint = poke
+
+instance ControlPoint Color4 where
+   map1Target       = marshalMapTarget . const Map1Color4
+   map2Target       = marshalMapTarget . const Map2Color4
+   enableCap1       = const CapMap1Color4
+   enableCap2       = const CapMap2Color4
+   numComponents    = const 4
+   peekControlPoint = peek
+   pokeControlPoint = poke
+
+instance ControlPoint Normal3 where
+   map1Target       = marshalMapTarget . const Map1Normal
+   map2Target       = marshalMapTarget . const Map2Normal
+   enableCap1       = const CapMap1Normal
+   enableCap2       = const CapMap2Normal
+   numComponents    = const 3
+   peekControlPoint = peek
+   pokeControlPoint = poke
+
+instance ControlPoint TexCoord1 where
+   map1Target       = marshalMapTarget . const Map1TextureCoord1
+   map2Target       = marshalMapTarget . const Map2TextureCoord1
+   enableCap1       = const CapMap1TextureCoord1
+   enableCap2       = const CapMap2TextureCoord1
+   numComponents    = const 1
+   peekControlPoint = peek
+   pokeControlPoint = poke
+
+instance ControlPoint TexCoord2 where
+   map1Target       = marshalMapTarget . const Map1TextureCoord2
+   map2Target       = marshalMapTarget . const Map2TextureCoord2
+   enableCap1       = const CapMap1TextureCoord2
+   enableCap2       = const CapMap2TextureCoord2
+   numComponents    = const 2
+   peekControlPoint = peek
+   pokeControlPoint = poke
+
+instance ControlPoint TexCoord3 where
+   map1Target       = marshalMapTarget . const Map1TextureCoord3
+   map2Target       = marshalMapTarget . const Map2TextureCoord3
+   enableCap1       = const CapMap1TextureCoord3
+   enableCap2       = const CapMap2TextureCoord3
+   numComponents    = const 3
+   peekControlPoint = peek
+   pokeControlPoint = poke
+
+instance ControlPoint TexCoord4 where
+   map1Target       = marshalMapTarget . const Map1TextureCoord4
+   map2Target       = marshalMapTarget . const Map2TextureCoord4
+   enableCap1       = const CapMap1TextureCoord4
+   enableCap2       = const CapMap2TextureCoord4
+   numComponents    = const 4
+   peekControlPoint = peek
+   pokeControlPoint = poke
+
+--------------------------------------------------------------------------------
+
+data MapTarget =
+     Map1Color4
+   | Map1Index
+   | Map1Normal
+   | Map1TextureCoord1
+   | Map1TextureCoord2
+   | Map1TextureCoord3
+   | Map1TextureCoord4
+   | Map1Vertex3
+   | Map1Vertex4
+   | Map2Color4
+   | Map2Index
+   | Map2Normal
+   | Map2TextureCoord1
+   | Map2TextureCoord2
+   | Map2TextureCoord3
+   | Map2TextureCoord4
+   | Map2Vertex3
+   | Map2Vertex4
+
+marshalMapTarget :: MapTarget -> GLenum
+marshalMapTarget x = case x of
+   Map1Color4 -> gl_MAP1_COLOR_4
+   Map1Index -> gl_MAP1_INDEX
+   Map1Normal -> gl_MAP1_NORMAL
+   Map1TextureCoord1 -> gl_MAP1_TEXTURE_COORD_1
+   Map1TextureCoord2 -> gl_MAP1_TEXTURE_COORD_2
+   Map1TextureCoord3 -> gl_MAP1_TEXTURE_COORD_3
+   Map1TextureCoord4 -> gl_MAP1_TEXTURE_COORD_4
+   Map1Vertex3 -> gl_MAP1_VERTEX_3
+   Map1Vertex4 -> gl_MAP1_VERTEX_4
+   Map2Color4 -> gl_MAP2_COLOR_4
+   Map2Index -> gl_MAP2_INDEX
+   Map2Normal -> gl_MAP2_NORMAL
+   Map2TextureCoord1 -> gl_MAP2_TEXTURE_COORD_1
+   Map2TextureCoord2 -> gl_MAP2_TEXTURE_COORD_2
+   Map2TextureCoord3 -> gl_MAP2_TEXTURE_COORD_3
+   Map2TextureCoord4 -> gl_MAP2_TEXTURE_COORD_4
+   Map2Vertex3 -> gl_MAP2_VERTEX_3
+   Map2Vertex4 -> gl_MAP2_VERTEX_4

@@ -1,532 +1,518 @@------------------------------------------------------------------------------------ |--- Module      :  Graphics.Rendering.OpenGL.GL.CoordTrans--- Copyright   :  (c) Sven Panne 2002-2009--- License     :  BSD-style (see the file libraries/OpenGL/LICENSE)------ Maintainer  :  sven.panne@aedion.de--- Stability   :  stable--- Portability :  portable------ This module corresponds to section 2.11 (Coordinate Transformations) of the--- OpenGL 2.1 specs.--------------------------------------------------------------------------------------{-# LANGUAGE TypeSynonymInstances #-}--module Graphics.Rendering.OpenGL.GL.CoordTrans (-   -- * Controlling the Viewport-   depthRange,-   Position(..), Size(..), viewport, maxViewportDims,--   -- * Matrices-   MatrixMode(..), matrixMode,-   MatrixOrder(..), MatrixComponent(rotate,translate,scale), Matrix(..),-   currentMatrix, matrix, multMatrix, GLmatrix, loadIdentity,-   ortho, frustum, depthClamp,-   activeTexture,-   preservingMatrix, unsafePreservingMatrix,-   stackDepth, maxStackDepth,--   -- * Normal Transformation-   rescaleNormal, normalize,--   -- * Generating Texture Coordinates-   Plane(..), TextureCoordName(..), TextureGenMode(..), textureGenMode-) where--import Foreign.ForeignPtr-import Foreign.Marshal.Alloc-import Foreign.Marshal.Array-import Foreign.Marshal.Utils-import Foreign.Ptr-import Foreign.Storable-import Graphics.Rendering.OpenGL.GL.StateVar-import Graphics.Rendering.OpenGL.GL.Tensor-import Graphics.Rendering.OpenGL.GL.Capability-import Graphics.Rendering.OpenGL.GL.Exception-import Graphics.Rendering.OpenGL.GL.PeekPoke-import Graphics.Rendering.OpenGL.GL.QueryUtils-import Graphics.Rendering.OpenGL.GL.Texturing.TextureUnit-import Graphics.Rendering.OpenGL.GLU.ErrorsInternal-import Graphics.Rendering.OpenGL.Raw.ARB.Compatibility (-   glFrustum, glGetTexGendv, glGetTexGeniv, glLoadIdentity, glLoadMatrixd,-   glLoadMatrixf, glLoadTransposeMatrixd, glLoadTransposeMatrixf, glMatrixMode,-   glMultMatrixd, glMultMatrixf, glMultTransposeMatrixd, glMultTransposeMatrixf,-   glOrtho, glPopMatrix, glPushMatrix, glRotated, glRotatef, glScaled, glScalef,-   glTexGendv, glTexGeni, glTranslated, glTranslatef, gl_EYE_LINEAR,-   gl_EYE_PLANE, gl_NORMAL_MAP, gl_OBJECT_LINEAR, gl_OBJECT_PLANE,-   gl_PROJECTION, gl_Q, gl_R, gl_REFLECTION_MAP, gl_S, gl_SPHERE_MAP, gl_T,-   gl_TEXTURE_GEN_MODE )-import Graphics.Rendering.OpenGL.Raw.ARB.MatrixPalette ( gl_MATRIX_PALETTE )-import Graphics.Rendering.OpenGL.Raw.Core31-------------------------------------------------------------------------------------- | After clipping and division by /w/, depth coordinates range from -1 to 1,--- corresponding to the near and far clipping planes. 'depthRange' specifies a--- linear mapping of the normalized depth coordinates in this range to window--- depth coordinates. Regardless of the actual depth buffer implementation,--- window coordinate depth values are treated as though they range from 0--- through 1 (like color components). Thus, the values accepted by 'depthRange'--- are both clamped to this range before they are accepted.------ The initial setting of (0, 1) maps the near plane to 0 and the far plane to--- 1. With this mapping, the depth buffer range is fully utilized.------ It is not necessary that the near value be less than the far value. Reverse--- mappings such as (1, 0) are acceptable.--depthRange :: StateVar (GLclampd, GLclampd)-depthRange = makeStateVar (getClampd2 (,) GetDepthRange) (uncurry glDepthRange)-------------------------------------------------------------------------------------- | A 2-dimensional position, measured in pixels.-data Position = Position !GLint !GLint-   deriving ( Eq, Ord, Show )---- | A 2-dimensional size, measured in pixels.-data Size = Size !GLsizei !GLsizei-   deriving ( Eq, Ord, Show )---- | Controls the affine transformation from normalized device coordinates to--- window coordinates. The viewport state variable consists of the coordinates--- (/x/, /y/) of the lower left corner of the viewport rectangle, (in pixels,--- initial value (0,0)), and the size (/width/, /height/) of the viewport. When--- a GL context is first attached to a window, /width/ and /height/ are set to--- the dimensions of that window.------ Let (/xnd/, /ynd/) be normalized device coordinates. Then the window--- coordinates (/xw/, /yw/) are computed as follows:------ /xw/ = (/xnd/ + 1) (/width/  \/ 2) + /x/------ /yw/ = (/ynd/ + 1) (/heigth/ \/ 2) + /y/------ Viewport width and height are silently clamped to a range that depends on the--- implementation, see 'maxViewportDims'.--viewport :: StateVar (Position, Size)-viewport = makeStateVar (getInteger4 makeVp GetViewport)-                        (\(Position x y, Size w h) -> glViewport x y w h)-   where makeVp x y w h = (Position x y, Size (fromIntegral w) (fromIntegral h))---- | The implementation-dependent maximum viewport width and height.--maxViewportDims :: GettableStateVar Size-maxViewportDims = makeGettableStateVar (getSizei2 Size GetMaxViewportDims)-------------------------------------------------------------------------------------- | A matrix stack.--data MatrixMode =-     Modelview GLsizei  -- ^ The modelview matrix stack of the specified vertex unit.-   | Projection         -- ^ The projection matrix stack.-   | Texture            -- ^ The texture matrix stack.-   | Color              -- ^ The color matrix stack.-   | MatrixPalette      -- ^ The matrix palette stack.-   deriving ( Eq, Ord, Show )--marshalMatrixMode :: MatrixMode -> Maybe GLenum-marshalMatrixMode x = case x of-   Modelview i -> modelviewIndexToEnum i-   Projection -> Just gl_PROJECTION-   Texture -> Just gl_TEXTURE-   Color -> Just gl_COLOR-   MatrixPalette -> Just gl_MATRIX_PALETTE--unmarshalMatrixMode :: GLenum -> MatrixMode-unmarshalMatrixMode x-   | x == gl_PROJECTION = Projection-   | x == gl_TEXTURE = Texture-   | x == gl_COLOR = Color-   | x == gl_MATRIX_PALETTE = MatrixPalette-   | otherwise =-        case modelviewEnumToIndex x of-           Just i -> Modelview i-           Nothing -> error ("unmarshalMatrixMode: illegal value " ++ show x)--matrixModeToGetMatrix :: MatrixMode -> PNameMatrix-matrixModeToGetMatrix x = case x of-   Modelview _   -> GetModelviewMatrix -- ???-   Projection    -> GetProjectionMatrix-   Texture       -> GetTextureMatrix-   Color         -> GetColorMatrix-   MatrixPalette -> GetMatrixPalette--matrixModeToGetStackDepth :: MatrixMode -> PName1I-matrixModeToGetStackDepth x =  case x of-   Modelview _   -> GetModelviewStackDepth-   Projection    -> GetProjectionStackDepth-   Texture       -> GetTextureStackDepth-   Color         -> GetColorMatrixStackDepth-   MatrixPalette -> error "matrixModeToGetStackDepth: impossible"--matrixModeToGetMaxStackDepth :: MatrixMode -> PName1I-matrixModeToGetMaxStackDepth x = case x of-   Modelview _    -> GetMaxModelviewStackDepth-   Projection     -> GetMaxProjectionStackDepth-   Texture        -> GetMaxTextureStackDepth-   Color          -> GetMaxColorMatrixStackDepth-   MatrixPalette  -> GetMaxMatrixPaletteStackDepth-------------------------------------------------------------------------------------- | Controls which matrix stack is the target for subsequent matrix operations.--- The initial value is ('Modelview' 0).--matrixMode :: StateVar MatrixMode-matrixMode =-   makeStateVar (getEnum1 unmarshalMatrixMode GetMatrixMode)-                (maybe recordInvalidValue glMatrixMode . marshalMatrixMode)------------------------------------------------------------------------------------data MatrixOrder = ColumnMajor | RowMajor-   deriving ( Eq, Ord, Show )------------------------------------------------------------------------------------class Storable c => MatrixComponent c where-   getMatrix :: GetPNameMatrix p => p -> Ptr c -> IO ()-   loadMatrix :: Ptr c -> IO ()-   loadTransposeMatrix :: Ptr c -> IO ()-   multMatrix_ :: Ptr c -> IO ()-   multTransposeMatrix :: Ptr c -> IO ()-   rotate :: c -> Vector3 c -> IO ()-   translate :: Vector3 c -> IO ()-   scale :: c -> c -> c -> IO ()--instance MatrixComponent GLfloat where-   getMatrix = getMatrixf-   loadMatrix = glLoadMatrixf-   loadTransposeMatrix = glLoadTransposeMatrixf-   multMatrix_ = glMultMatrixf-   multTransposeMatrix = glMultTransposeMatrixf-   rotate a (Vector3 x y z) = glRotatef a x y z-   translate (Vector3 x y z) = glTranslatef x y z-   scale = glScalef--instance MatrixComponent GLdouble where-   getMatrix = getMatrixd-   loadMatrix = glLoadMatrixd-   loadTransposeMatrix = glLoadTransposeMatrixd-   multMatrix_ = glMultMatrixd-   multTransposeMatrix = glMultTransposeMatrixd-   rotate a (Vector3 x y z) = glRotated a x y z-   translate (Vector3 x y z) = glTranslated x y z-   scale = glScaled------------------------------------------------------------------------------------class Matrix m where-   -- | Create a new matrix of the given order (containing undefined elements)-   -- and call the action to fill it with 4x4 elements.-   withNewMatrix ::-      MatrixComponent c => MatrixOrder -> (Ptr c -> IO ()) -> IO (m c)--   -- | Call the action with the given matrix. /Note:/ The action is /not/-   -- allowed to modify the matrix elements!-   withMatrix ::-      MatrixComponent c => m c -> (MatrixOrder -> Ptr c -> IO a) -> IO a--   newMatrix :: MatrixComponent c => MatrixOrder -> [c] -> IO (m c)-   getMatrixComponents :: MatrixComponent c => MatrixOrder -> m c -> IO [c]--   withNewMatrix order act =-      allocaArray 16 $ \p -> do-         act p-         components <- peekArray 16 p-         newMatrix order components--   withMatrix mat act = do-      components <- getMatrixComponents ColumnMajor mat-      withArray components $ act ColumnMajor--   newMatrix order components =-      withNewMatrix order $ flip pokeArray (take 16 components)--   getMatrixComponents desiredOrder mat =-      withMatrix mat $ \order p ->-        if desiredOrder == order-           then peekArray 16 p-           else mapM (peekElemOff p) [ 0, 4,  8, 12,-                                       1, 5,  9, 13,-                                       2, 6, 10, 14,-                                       3, 7, 11, 15 ]------------------------------------------------------------------------------------{-# DEPRECATED currentMatrix "use `matrix' instead" #-}-currentMatrix :: (Matrix m, MatrixComponent c) => StateVar (m c)-currentMatrix = matrix Nothing--matrix :: (Matrix m, MatrixComponent c) => Maybe MatrixMode -> StateVar (m c)-matrix maybeMode =-   makeStateVar-      (maybe (get matrixMode) return maybeMode >>= (getMatrix' . matrixModeToGetMatrix))-      (maybe id withMatrixMode maybeMode . setMatrix)--withMatrixMode :: MatrixMode -> IO a -> IO a-withMatrixMode mode act =-   preservingMatrixMode $ do-      matrixMode $= mode-      act--getMatrix' :: (Matrix m, MatrixComponent c) => PNameMatrix -> IO (m c)-getMatrix' = withNewMatrix ColumnMajor . getMatrix--setMatrix :: (Matrix m, MatrixComponent c) => m c -> IO ()-setMatrix mat =-   withMatrix mat $ \order ->-      case order of-         ColumnMajor -> loadMatrix-         RowMajor    -> loadTransposeMatrix--multMatrix :: (Matrix m, MatrixComponent c) => m c -> IO ()-multMatrix mat =-   withMatrix mat $ \order ->-      case order of-         ColumnMajor -> multMatrix_-         RowMajor    -> multTransposeMatrix------------------------------------------------------------------------------------data GLmatrix a = GLmatrix MatrixOrder (ForeignPtr a)-   deriving ( Eq, Ord, Show )--instance Matrix GLmatrix where-   withNewMatrix order f = do-      fp <- mallocForeignPtrArray 16-      withForeignPtr fp f-      return $ GLmatrix order fp--   withMatrix (GLmatrix order fp) f = withForeignPtr fp (f order)------------------------------------------------------------------------------------loadIdentity :: IO ()-loadIdentity = glLoadIdentity------------------------------------------------------------------------------------ortho :: GLdouble -> GLdouble -> GLdouble -> GLdouble -> GLdouble -> GLdouble -> IO ()-ortho = glOrtho--frustum :: GLdouble -> GLdouble -> GLdouble -> GLdouble -> GLdouble -> GLdouble -> IO ()-frustum = glFrustum------------------------------------------------------------------------------------depthClamp :: StateVar Capability-depthClamp = makeCapability CapDepthClamp------------------------------------------------------------------------------------activeTexture :: StateVar TextureUnit-activeTexture = makeStateVar (getEnum1 unmarshalTextureUnit GetActiveTexture)-                             (glActiveTexture . marshalTextureUnit)-------------------------------------------------------------------------------------- | Push the current matrix stack down by one, duplicating the current matrix,--- excute the given action, and pop the current matrix stack, replacing the--- current matrix with the one below it on the stack (i.e. restoring it to its--- previous state). The returned value is that of the given action. Note that--- a round-trip to the server is probably required. For a more efficient--- version, see 'unsafePreservingMatrix'.--preservingMatrix :: IO a -> IO a-preservingMatrix = unsafePreservingMatrix . preservingMatrixMode---- performance paranoia: No (un-)marshaling by avoiding matrixMode-preservingMatrixMode :: IO a -> IO a-preservingMatrixMode = bracket (getEnum1 id GetMatrixMode) glMatrixMode . const---- | A more efficient, but potentially dangerous version of 'preservingMatrix':--- The given action is not allowed to throw an exception or change the--- current matrix mode permanently.--unsafePreservingMatrix :: IO a -> IO a-unsafePreservingMatrix = unsafeBracket_ glPushMatrix glPopMatrix------------------------------------------------------------------------------------stackDepth :: Maybe MatrixMode -> GettableStateVar GLsizei-stackDepth maybeMode =-   makeGettableStateVar $-      case maybeMode of-         Nothing -> getSizei1 id GetCurrentMatrixStackDepth -- only with ARB_fragment_program-         Just MatrixPalette -> do recordInvalidEnum ; return 0-         Just mode -> getSizei1 id (matrixModeToGetStackDepth mode)--maxStackDepth :: MatrixMode -> GettableStateVar GLsizei-maxStackDepth =-   makeGettableStateVar . getSizei1 id . matrixModeToGetMaxStackDepth-------------------------------------------------------------------------------------- | If 'rescaleNormal' contains 'Enabled', normal vectors specified with--- 'Graphics.Rendering.OpenGL.GL.VertexSpec.normal' are scaled by a scaling--- factor derived from the modelview matrix. 'rescaleNormal' requires that the--- originally specified normals were of unit length, and that the modelview--- matrix contains only uniform scales for proper results. The initial value of--- 'rescaleNormal' is 'Disabled'.--rescaleNormal :: StateVar Capability-rescaleNormal = makeCapability CapRescaleNormal---- | If 'normalize' contains 'Enabled', normal vectors specified with--- 'Graphics.Rendering.OpenGL.GL.VertexSpec.normal' are scaled to unit length--- after transformation. The initial value of 'normalize' is 'Disabled'.--normalize :: StateVar Capability-normalize = makeCapability CapNormalize------------------------------------------------------------------------------------data Plane a = Plane !a !a !a !a-   deriving ( Eq, Ord, Show )--instance Storable a => Storable (Plane a) where-   sizeOf    ~(Plane a _ _ _) = 4 * sizeOf a-   alignment ~(Plane a _ _ _) = alignment a-   peek                       = peek4 Plane . castPtr-   poke ptr   (Plane a b c d) = poke4 (castPtr ptr) a b c d------------------------------------------------------------------------------------data TextureCoordName =-     S-   | T-   | R-   | Q-   deriving ( Eq, Ord, Show )--marshalTextureCoordName :: TextureCoordName -> GLenum-marshalTextureCoordName x = case x of-   S -> gl_S-   T -> gl_T-   R -> gl_R-   Q -> gl_Q------------------------------------------------------------------------------------data TextureGenParameter =-     TextureGenMode-   | ObjectPlane-   | EyePlane--marshalTextureGenParameter :: TextureGenParameter -> GLenum-marshalTextureGenParameter x = case x of-   TextureGenMode -> gl_TEXTURE_GEN_MODE-   ObjectPlane -> gl_OBJECT_PLANE-   EyePlane -> gl_EYE_PLANE------------------------------------------------------------------------------------data TextureGenMode' =-     EyeLinear'-   | ObjectLinear'-   | SphereMap'-   | NormalMap'-   | ReflectionMap'--marshalTextureGenMode' :: TextureGenMode' -> GLint-marshalTextureGenMode' x = fromIntegral $ case x of-   EyeLinear' -> gl_EYE_LINEAR-   ObjectLinear' -> gl_OBJECT_LINEAR-   SphereMap' -> gl_SPHERE_MAP-   NormalMap' -> gl_NORMAL_MAP-   ReflectionMap' -> gl_REFLECTION_MAP--unmarshalTextureGenMode' :: GLint -> TextureGenMode'-unmarshalTextureGenMode' x-   | y == gl_EYE_LINEAR = EyeLinear'-   | y == gl_OBJECT_LINEAR = ObjectLinear'-   | y == gl_SPHERE_MAP = SphereMap'-   | y == gl_NORMAL_MAP = NormalMap'-   | y == gl_REFLECTION_MAP = ReflectionMap'-   | otherwise = error ("unmarshalTextureGenMode': illegal value " ++ show x)-   where y = fromIntegral x------------------------------------------------------------------------------------data TextureGenMode =-     EyeLinear    (Plane GLdouble)-   | ObjectLinear (Plane GLdouble)-   | SphereMap-   | NormalMap-   | ReflectionMap-   deriving ( Eq, Ord, Show )--marshalTextureGenMode :: TextureGenMode -> GLint-marshalTextureGenMode = marshalTextureGenMode' . convertMode-   where convertMode (EyeLinear    _) = EyeLinear'-         convertMode (ObjectLinear _) = ObjectLinear'-         convertMode SphereMap        = SphereMap'-         convertMode NormalMap        = NormalMap'-         convertMode ReflectionMap    = ReflectionMap'------------------------------------------------------------------------------------textureGenMode :: TextureCoordName -> StateVar (Maybe TextureGenMode)-textureGenMode coord =-   makeStateVarMaybe-      (return $ textureCoordNameToEnableCap coord)-      (do mode <- getMode coord-          case mode of-             EyeLinear'     -> fmap EyeLinear $ getPlane coord EyePlane-             ObjectLinear'  -> fmap ObjectLinear $ getPlane coord ObjectPlane-             SphereMap'     -> return SphereMap-             NormalMap'     -> return NormalMap-             ReflectionMap' -> return ReflectionMap)-      (\mode -> do-         setMode coord mode-         case mode of-            EyeLinear    plane -> setPlane coord EyePlane    plane-            ObjectLinear plane -> setPlane coord ObjectPlane plane-            _ -> return ())------------------------------------------------------------------------------------textureCoordNameToEnableCap :: TextureCoordName -> EnableCap-textureCoordNameToEnableCap coord = case coord of-   S -> CapTextureGenS-   T -> CapTextureGenT-   R -> CapTextureGenR-   Q -> CapTextureGenQ------------------------------------------------------------------------------------getMode :: TextureCoordName -> IO TextureGenMode'-getMode coord = alloca $ \buf -> do-   glGetTexGeniv (marshalTextureCoordName coord)-                 (marshalTextureGenParameter TextureGenMode)-                 buf-   peek1 unmarshalTextureGenMode' buf--setMode :: TextureCoordName -> TextureGenMode -> IO ()-setMode coord mode =-   glTexGeni (marshalTextureCoordName coord)-             (marshalTextureGenParameter TextureGenMode)-             (marshalTextureGenMode mode)------------------------------------------------------------------------------------getPlane :: TextureCoordName -> TextureGenParameter -> IO (Plane GLdouble)-getPlane coord param = alloca $ \planeBuffer -> do-   glGetTexGendv (marshalTextureCoordName coord)-                 (marshalTextureGenParameter param)-                 (castPtr planeBuffer)-   peek planeBuffer--setPlane :: TextureCoordName -> TextureGenParameter -> Plane GLdouble -> IO ()-setPlane coord param plane =-   with plane $ \planeBuffer ->-      glTexGendv (marshalTextureCoordName coord)-                 (marshalTextureGenParameter param)-                 (castPtr planeBuffer)+--------------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL.GL.CoordTrans
+-- Copyright   :  (c) Sven Panne 2002-2013
+-- License     :  BSD3
+--
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- This module corresponds to section 2.11 (Coordinate Transformations) of the
+-- OpenGL 2.1 specs.
+--
+--------------------------------------------------------------------------------
+
+{-# LANGUAGE TypeSynonymInstances #-}
+
+module Graphics.Rendering.OpenGL.GL.CoordTrans (
+   -- * Controlling the Viewport
+   depthRange,
+   Position(..), Size(..), viewport, maxViewportDims,
+
+   -- * Matrices
+   MatrixMode(..), matrixMode,
+   MatrixOrder(..), MatrixComponent(rotate,translate,scale), Matrix(..),
+   matrix, multMatrix, GLmatrix, loadIdentity,
+   ortho, frustum, depthClamp,
+   activeTexture,
+   preservingMatrix, unsafePreservingMatrix,
+   stackDepth, maxStackDepth,
+
+   -- * Normal Transformation
+   rescaleNormal, normalize,
+
+   -- * Generating Texture Coordinates
+   Plane(..), TextureCoordName(..), TextureGenMode(..), textureGenMode
+) where
+
+import Foreign.ForeignPtr
+import Foreign.Marshal.Alloc
+import Foreign.Marshal.Array
+import Foreign.Marshal.Utils
+import Foreign.Ptr
+import Foreign.Storable
+import Graphics.Rendering.OpenGL.GL.StateVar
+import Graphics.Rendering.OpenGL.GL.Tensor
+import Graphics.Rendering.OpenGL.GL.Capability
+import Graphics.Rendering.OpenGL.GL.Exception
+import Graphics.Rendering.OpenGL.GL.PeekPoke
+import Graphics.Rendering.OpenGL.GL.QueryUtils
+import Graphics.Rendering.OpenGL.GL.Texturing.TextureUnit
+import Graphics.Rendering.OpenGL.GLU.ErrorsInternal
+import Graphics.Rendering.OpenGL.Raw
+
+--------------------------------------------------------------------------------
+
+-- | After clipping and division by /w/, depth coordinates range from -1 to 1,
+-- corresponding to the near and far clipping planes. 'depthRange' specifies a
+-- linear mapping of the normalized depth coordinates in this range to window
+-- depth coordinates. Regardless of the actual depth buffer implementation,
+-- window coordinate depth values are treated as though they range from 0
+-- through 1 (like color components). Thus, the values accepted by 'depthRange'
+-- are both clamped to this range before they are accepted.
+--
+-- The initial setting of (0, 1) maps the near plane to 0 and the far plane to
+-- 1. With this mapping, the depth buffer range is fully utilized.
+--
+-- It is not necessary that the near value be less than the far value. Reverse
+-- mappings such as (1, 0) are acceptable.
+
+depthRange :: StateVar (GLclampd, GLclampd)
+depthRange = makeStateVar (getClampd2 (,) GetDepthRange) (uncurry glDepthRange)
+
+--------------------------------------------------------------------------------
+
+-- | A 2-dimensional position, measured in pixels.
+data Position = Position !GLint !GLint
+   deriving ( Eq, Ord, Show )
+
+-- | A 2-dimensional size, measured in pixels.
+data Size = Size !GLsizei !GLsizei
+   deriving ( Eq, Ord, Show )
+
+-- | Controls the affine transformation from normalized device coordinates to
+-- window coordinates. The viewport state variable consists of the coordinates
+-- (/x/, /y/) of the lower left corner of the viewport rectangle, (in pixels,
+-- initial value (0,0)), and the size (/width/, /height/) of the viewport. When
+-- a GL context is first attached to a window, /width/ and /height/ are set to
+-- the dimensions of that window.
+--
+-- Let (/xnd/, /ynd/) be normalized device coordinates. Then the window
+-- coordinates (/xw/, /yw/) are computed as follows:
+--
+-- /xw/ = (/xnd/ + 1) (/width/  \/ 2) + /x/
+--
+-- /yw/ = (/ynd/ + 1) (/heigth/ \/ 2) + /y/
+--
+-- Viewport width and height are silently clamped to a range that depends on the
+-- implementation, see 'maxViewportDims'.
+
+viewport :: StateVar (Position, Size)
+viewport = makeStateVar (getInteger4 makeVp GetViewport)
+                        (\(Position x y, Size w h) -> glViewport x y w h)
+   where makeVp x y w h = (Position x y, Size (fromIntegral w) (fromIntegral h))
+
+-- | The implementation-dependent maximum viewport width and height.
+
+maxViewportDims :: GettableStateVar Size
+maxViewportDims = makeGettableStateVar (getSizei2 Size GetMaxViewportDims)
+
+--------------------------------------------------------------------------------
+
+-- | A matrix stack.
+
+data MatrixMode =
+     Modelview GLsizei  -- ^ The modelview matrix stack of the specified vertex unit.
+   | Projection         -- ^ The projection matrix stack.
+   | Texture            -- ^ The texture matrix stack.
+   | Color              -- ^ The color matrix stack.
+   | MatrixPalette      -- ^ The matrix palette stack.
+   deriving ( Eq, Ord, Show )
+
+marshalMatrixMode :: MatrixMode -> Maybe GLenum
+marshalMatrixMode x = case x of
+   Modelview i -> modelviewIndexToEnum i
+   Projection -> Just gl_PROJECTION
+   Texture -> Just gl_TEXTURE
+   Color -> Just gl_COLOR
+   MatrixPalette -> Just gl_MATRIX_PALETTE
+
+unmarshalMatrixMode :: GLenum -> MatrixMode
+unmarshalMatrixMode x
+   | x == gl_PROJECTION = Projection
+   | x == gl_TEXTURE = Texture
+   | x == gl_COLOR = Color
+   | x == gl_MATRIX_PALETTE = MatrixPalette
+   | otherwise =
+        case modelviewEnumToIndex x of
+           Just i -> Modelview i
+           Nothing -> error ("unmarshalMatrixMode: illegal value " ++ show x)
+
+matrixModeToGetMatrix :: MatrixMode -> PNameMatrix
+matrixModeToGetMatrix x = case x of
+   Modelview _   -> GetModelviewMatrix -- ???
+   Projection    -> GetProjectionMatrix
+   Texture       -> GetTextureMatrix
+   Color         -> GetColorMatrix
+   MatrixPalette -> GetMatrixPalette
+
+matrixModeToGetStackDepth :: MatrixMode -> PName1I
+matrixModeToGetStackDepth x =  case x of
+   Modelview _   -> GetModelviewStackDepth
+   Projection    -> GetProjectionStackDepth
+   Texture       -> GetTextureStackDepth
+   Color         -> GetColorMatrixStackDepth
+   MatrixPalette -> error "matrixModeToGetStackDepth: impossible"
+
+matrixModeToGetMaxStackDepth :: MatrixMode -> PName1I
+matrixModeToGetMaxStackDepth x = case x of
+   Modelview _    -> GetMaxModelviewStackDepth
+   Projection     -> GetMaxProjectionStackDepth
+   Texture        -> GetMaxTextureStackDepth
+   Color          -> GetMaxColorMatrixStackDepth
+   MatrixPalette  -> GetMaxMatrixPaletteStackDepth
+
+--------------------------------------------------------------------------------
+
+-- | Controls which matrix stack is the target for subsequent matrix operations.
+-- The initial value is ('Modelview' 0).
+
+matrixMode :: StateVar MatrixMode
+matrixMode =
+   makeStateVar (getEnum1 unmarshalMatrixMode GetMatrixMode)
+                (maybe recordInvalidValue glMatrixMode . marshalMatrixMode)
+
+--------------------------------------------------------------------------------
+
+data MatrixOrder = ColumnMajor | RowMajor
+   deriving ( Eq, Ord, Show )
+
+--------------------------------------------------------------------------------
+
+class Storable c => MatrixComponent c where
+   getMatrix :: GetPNameMatrix p => p -> Ptr c -> IO ()
+   loadMatrix :: Ptr c -> IO ()
+   loadTransposeMatrix :: Ptr c -> IO ()
+   multMatrix_ :: Ptr c -> IO ()
+   multTransposeMatrix :: Ptr c -> IO ()
+   rotate :: c -> Vector3 c -> IO ()
+   translate :: Vector3 c -> IO ()
+   scale :: c -> c -> c -> IO ()
+
+instance MatrixComponent GLfloat where
+   getMatrix = getMatrixf
+   loadMatrix = glLoadMatrixf
+   loadTransposeMatrix = glLoadTransposeMatrixf
+   multMatrix_ = glMultMatrixf
+   multTransposeMatrix = glMultTransposeMatrixf
+   rotate a (Vector3 x y z) = glRotatef a x y z
+   translate (Vector3 x y z) = glTranslatef x y z
+   scale = glScalef
+
+instance MatrixComponent GLdouble where
+   getMatrix = getMatrixd
+   loadMatrix = glLoadMatrixd
+   loadTransposeMatrix = glLoadTransposeMatrixd
+   multMatrix_ = glMultMatrixd
+   multTransposeMatrix = glMultTransposeMatrixd
+   rotate a (Vector3 x y z) = glRotated a x y z
+   translate (Vector3 x y z) = glTranslated x y z
+   scale = glScaled
+
+--------------------------------------------------------------------------------
+
+class Matrix m where
+   -- | Create a new matrix of the given order (containing undefined elements)
+   -- and call the action to fill it with 4x4 elements.
+   withNewMatrix ::
+      MatrixComponent c => MatrixOrder -> (Ptr c -> IO ()) -> IO (m c)
+
+   -- | Call the action with the given matrix. /Note:/ The action is /not/
+   -- allowed to modify the matrix elements!
+   withMatrix ::
+      MatrixComponent c => m c -> (MatrixOrder -> Ptr c -> IO a) -> IO a
+
+   newMatrix :: MatrixComponent c => MatrixOrder -> [c] -> IO (m c)
+   getMatrixComponents :: MatrixComponent c => MatrixOrder -> m c -> IO [c]
+
+   withNewMatrix order act =
+      allocaArray 16 $ \p -> do
+         act p
+         components <- peekArray 16 p
+         newMatrix order components
+
+   withMatrix mat act = do
+      components <- getMatrixComponents ColumnMajor mat
+      withArray components $ act ColumnMajor
+
+   newMatrix order components =
+      withNewMatrix order $ flip pokeArray (take 16 components)
+
+   getMatrixComponents desiredOrder mat =
+      withMatrix mat $ \order p ->
+        if desiredOrder == order
+           then peekArray 16 p
+           else mapM (peekElemOff p) [ 0, 4,  8, 12,
+                                       1, 5,  9, 13,
+                                       2, 6, 10, 14,
+                                       3, 7, 11, 15 ]
+
+--------------------------------------------------------------------------------
+
+matrix :: (Matrix m, MatrixComponent c) => Maybe MatrixMode -> StateVar (m c)
+matrix maybeMode =
+   makeStateVar
+      (maybe (get matrixMode) return maybeMode >>= (getMatrix' . matrixModeToGetMatrix))
+      (maybe id withMatrixMode maybeMode . setMatrix)
+
+withMatrixMode :: MatrixMode -> IO a -> IO a
+withMatrixMode mode act =
+   preservingMatrixMode $ do
+      matrixMode $= mode
+      act
+
+getMatrix' :: (Matrix m, MatrixComponent c) => PNameMatrix -> IO (m c)
+getMatrix' = withNewMatrix ColumnMajor . getMatrix
+
+setMatrix :: (Matrix m, MatrixComponent c) => m c -> IO ()
+setMatrix mat =
+   withMatrix mat $ \order ->
+      case order of
+         ColumnMajor -> loadMatrix
+         RowMajor    -> loadTransposeMatrix
+
+multMatrix :: (Matrix m, MatrixComponent c) => m c -> IO ()
+multMatrix mat =
+   withMatrix mat $ \order ->
+      case order of
+         ColumnMajor -> multMatrix_
+         RowMajor    -> multTransposeMatrix
+
+--------------------------------------------------------------------------------
+
+data GLmatrix a = GLmatrix MatrixOrder (ForeignPtr a)
+   deriving ( Eq, Ord, Show )
+
+instance Matrix GLmatrix where
+   withNewMatrix order f = do
+      fp <- mallocForeignPtrArray 16
+      withForeignPtr fp f
+      return $ GLmatrix order fp
+
+   withMatrix (GLmatrix order fp) f = withForeignPtr fp (f order)
+
+--------------------------------------------------------------------------------
+
+loadIdentity :: IO ()
+loadIdentity = glLoadIdentity
+
+--------------------------------------------------------------------------------
+
+ortho :: GLdouble -> GLdouble -> GLdouble -> GLdouble -> GLdouble -> GLdouble -> IO ()
+ortho = glOrtho
+
+frustum :: GLdouble -> GLdouble -> GLdouble -> GLdouble -> GLdouble -> GLdouble -> IO ()
+frustum = glFrustum
+
+--------------------------------------------------------------------------------
+
+depthClamp :: StateVar Capability
+depthClamp = makeCapability CapDepthClamp
+
+--------------------------------------------------------------------------------
+
+activeTexture :: StateVar TextureUnit
+activeTexture = makeStateVar (getEnum1 unmarshalTextureUnit GetActiveTexture)
+                             (glActiveTexture . marshalTextureUnit)
+
+--------------------------------------------------------------------------------
+
+-- | Push the current matrix stack down by one, duplicating the current matrix,
+-- excute the given action, and pop the current matrix stack, replacing the
+-- current matrix with the one below it on the stack (i.e. restoring it to its
+-- previous state). The returned value is that of the given action. Note that
+-- a round-trip to the server is probably required. For a more efficient
+-- version, see 'unsafePreservingMatrix'.
+
+preservingMatrix :: IO a -> IO a
+preservingMatrix = unsafePreservingMatrix . preservingMatrixMode
+
+-- performance paranoia: No (un-)marshaling by avoiding matrixMode
+preservingMatrixMode :: IO a -> IO a
+preservingMatrixMode = bracket (getEnum1 id GetMatrixMode) glMatrixMode . const
+
+-- | A more efficient, but potentially dangerous version of 'preservingMatrix':
+-- The given action is not allowed to throw an exception or change the
+-- current matrix mode permanently.
+
+unsafePreservingMatrix :: IO a -> IO a
+unsafePreservingMatrix = unsafeBracket_ glPushMatrix glPopMatrix
+
+--------------------------------------------------------------------------------
+
+stackDepth :: Maybe MatrixMode -> GettableStateVar GLsizei
+stackDepth maybeMode =
+   makeGettableStateVar $
+      case maybeMode of
+         Nothing -> getSizei1 id GetCurrentMatrixStackDepth -- only with ARB_fragment_program
+         Just MatrixPalette -> do recordInvalidEnum ; return 0
+         Just mode -> getSizei1 id (matrixModeToGetStackDepth mode)
+
+maxStackDepth :: MatrixMode -> GettableStateVar GLsizei
+maxStackDepth =
+   makeGettableStateVar . getSizei1 id . matrixModeToGetMaxStackDepth
+
+--------------------------------------------------------------------------------
+
+-- | If 'rescaleNormal' contains 'Enabled', normal vectors specified with
+-- 'Graphics.Rendering.OpenGL.GL.VertexSpec.normal' are scaled by a scaling
+-- factor derived from the modelview matrix. 'rescaleNormal' requires that the
+-- originally specified normals were of unit length, and that the modelview
+-- matrix contains only uniform scales for proper results. The initial value of
+-- 'rescaleNormal' is 'Disabled'.
+
+rescaleNormal :: StateVar Capability
+rescaleNormal = makeCapability CapRescaleNormal
+
+-- | If 'normalize' contains 'Enabled', normal vectors specified with
+-- 'Graphics.Rendering.OpenGL.GL.VertexSpec.normal' are scaled to unit length
+-- after transformation. The initial value of 'normalize' is 'Disabled'.
+
+normalize :: StateVar Capability
+normalize = makeCapability CapNormalize
+
+--------------------------------------------------------------------------------
+
+data Plane a = Plane !a !a !a !a
+   deriving ( Eq, Ord, Show )
+
+instance Storable a => Storable (Plane a) where
+   sizeOf    ~(Plane a _ _ _) = 4 * sizeOf a
+   alignment ~(Plane a _ _ _) = alignment a
+   peek                       = peek4 Plane . castPtr
+   poke ptr   (Plane a b c d) = poke4 (castPtr ptr) a b c d
+
+--------------------------------------------------------------------------------
+
+data TextureCoordName =
+     S
+   | T
+   | R
+   | Q
+   deriving ( Eq, Ord, Show )
+
+marshalTextureCoordName :: TextureCoordName -> GLenum
+marshalTextureCoordName x = case x of
+   S -> gl_S
+   T -> gl_T
+   R -> gl_R
+   Q -> gl_Q
+
+--------------------------------------------------------------------------------
+
+data TextureGenParameter =
+     TextureGenMode
+   | ObjectPlane
+   | EyePlane
+
+marshalTextureGenParameter :: TextureGenParameter -> GLenum
+marshalTextureGenParameter x = case x of
+   TextureGenMode -> gl_TEXTURE_GEN_MODE
+   ObjectPlane -> gl_OBJECT_PLANE
+   EyePlane -> gl_EYE_PLANE
+
+--------------------------------------------------------------------------------
+
+data TextureGenMode' =
+     EyeLinear'
+   | ObjectLinear'
+   | SphereMap'
+   | NormalMap'
+   | ReflectionMap'
+
+marshalTextureGenMode' :: TextureGenMode' -> GLint
+marshalTextureGenMode' x = fromIntegral $ case x of
+   EyeLinear' -> gl_EYE_LINEAR
+   ObjectLinear' -> gl_OBJECT_LINEAR
+   SphereMap' -> gl_SPHERE_MAP
+   NormalMap' -> gl_NORMAL_MAP
+   ReflectionMap' -> gl_REFLECTION_MAP
+
+unmarshalTextureGenMode' :: GLint -> TextureGenMode'
+unmarshalTextureGenMode' x
+   | y == gl_EYE_LINEAR = EyeLinear'
+   | y == gl_OBJECT_LINEAR = ObjectLinear'
+   | y == gl_SPHERE_MAP = SphereMap'
+   | y == gl_NORMAL_MAP = NormalMap'
+   | y == gl_REFLECTION_MAP = ReflectionMap'
+   | otherwise = error ("unmarshalTextureGenMode': illegal value " ++ show x)
+   where y = fromIntegral x
+
+--------------------------------------------------------------------------------
+
+data TextureGenMode =
+     EyeLinear    (Plane GLdouble)
+   | ObjectLinear (Plane GLdouble)
+   | SphereMap
+   | NormalMap
+   | ReflectionMap
+   deriving ( Eq, Ord, Show )
+
+marshalTextureGenMode :: TextureGenMode -> GLint
+marshalTextureGenMode = marshalTextureGenMode' . convertMode
+   where convertMode (EyeLinear    _) = EyeLinear'
+         convertMode (ObjectLinear _) = ObjectLinear'
+         convertMode SphereMap        = SphereMap'
+         convertMode NormalMap        = NormalMap'
+         convertMode ReflectionMap    = ReflectionMap'
+
+--------------------------------------------------------------------------------
+
+textureGenMode :: TextureCoordName -> StateVar (Maybe TextureGenMode)
+textureGenMode coord =
+   makeStateVarMaybe
+      (return $ textureCoordNameToEnableCap coord)
+      (do mode <- getMode coord
+          case mode of
+             EyeLinear'     -> fmap EyeLinear $ getPlane coord EyePlane
+             ObjectLinear'  -> fmap ObjectLinear $ getPlane coord ObjectPlane
+             SphereMap'     -> return SphereMap
+             NormalMap'     -> return NormalMap
+             ReflectionMap' -> return ReflectionMap)
+      (\mode -> do
+         setMode coord mode
+         case mode of
+            EyeLinear    plane -> setPlane coord EyePlane    plane
+            ObjectLinear plane -> setPlane coord ObjectPlane plane
+            _ -> return ())
+
+--------------------------------------------------------------------------------
+
+textureCoordNameToEnableCap :: TextureCoordName -> EnableCap
+textureCoordNameToEnableCap coord = case coord of
+   S -> CapTextureGenS
+   T -> CapTextureGenT
+   R -> CapTextureGenR
+   Q -> CapTextureGenQ
+
+--------------------------------------------------------------------------------
+
+getMode :: TextureCoordName -> IO TextureGenMode'
+getMode coord = alloca $ \buf -> do
+   glGetTexGeniv (marshalTextureCoordName coord)
+                 (marshalTextureGenParameter TextureGenMode)
+                 buf
+   peek1 unmarshalTextureGenMode' buf
+
+setMode :: TextureCoordName -> TextureGenMode -> IO ()
+setMode coord mode =
+   glTexGeni (marshalTextureCoordName coord)
+             (marshalTextureGenParameter TextureGenMode)
+             (marshalTextureGenMode mode)
+
+--------------------------------------------------------------------------------
+
+getPlane :: TextureCoordName -> TextureGenParameter -> IO (Plane GLdouble)
+getPlane coord param = alloca $ \planeBuffer -> do
+   glGetTexGendv (marshalTextureCoordName coord)
+                 (marshalTextureGenParameter param)
+                 (castPtr planeBuffer)
+   peek planeBuffer
+
+setPlane :: TextureCoordName -> TextureGenParameter -> Plane GLdouble -> IO ()
+setPlane coord param plane =
+   with plane $ \planeBuffer ->
+      glTexGendv (marshalTextureCoordName coord)
+                 (marshalTextureGenParameter param)
+                 (castPtr planeBuffer)

@@ -1,160 +1,158 @@--- #hide------------------------------------------------------------------------------------ |--- Module      :  Graphics.Rendering.OpenGL.GL.DataType--- Copyright   :  (c) Sven Panne 2002-2009--- License     :  BSD-style (see the file libraries/OpenGL/LICENSE)------ Maintainer  :  sven.panne@aedion.de--- Stability   :  stable--- Portability :  portable------ This is a purely internal module for (un-)marshaling DataType.--------------------------------------------------------------------------------------module Graphics.Rendering.OpenGL.GL.DataType (-   DataType(..), marshalDataType, unmarshalDataType,-   DataTypeType(..), marshalDataTypeType, unmarshalDataTypeType-) where--import Graphics.Rendering.OpenGL.Raw.ARB.Compatibility (-   gl_2_BYTES, gl_3_BYTES, gl_4_BYTES, gl_BITMAP )-import Graphics.Rendering.OpenGL.Raw.Core31-------------------------------------------------------------------------------------- basically table 3.2 (pixel data type parameter) plus a few additions-data DataType =-     UnsignedByte-   | Byte-   | UnsignedShort-   | Short-   | UnsignedInt-   | Int-   | HalfFloat-   | Float-   | UnsignedByte332-   | UnsignedByte233Rev-   | UnsignedShort565-   | UnsignedShort565Rev-   | UnsignedShort4444-   | UnsignedShort4444Rev-   | UnsignedShort5551-   | UnsignedShort1555Rev-   | UnsignedInt8888-   | UnsignedInt8888Rev-   | UnsignedInt1010102-   | UnsignedInt2101010Rev-   | UnsignedInt248-   | UnsignedInt10f11f11fRev-   | UnsignedInt5999Rev-   | Float32UnsignedInt248Rev-   | Bitmap                    -- pixel data, deprecated in 3.1-   | UnsignedShort88           -- MESA_ycbcr_texture/APPLE_ycbcr_422-   | UnsignedShort88Rev        -- MESA_ycbcr_texture/APPLE_ycbcr_422-   | Double                    -- vertex arrays (EXT_vertex_array, now core)-   | TwoBytes                  -- CallLists-   | ThreeBytes                -- CallLists-   | FourBytes                 -- CallLists-   deriving ( Eq, Ord, Show )--marshalDataType :: DataType -> GLenum-marshalDataType x = case x of-   UnsignedByte -> gl_UNSIGNED_BYTE-   Byte -> gl_BYTE-   UnsignedShort -> gl_UNSIGNED_SHORT-   Short -> gl_SHORT-   UnsignedInt -> gl_UNSIGNED_INT-   Int -> gl_INT-   HalfFloat -> gl_HALF_FLOAT-   Float -> gl_FLOAT-   UnsignedByte332 -> gl_UNSIGNED_BYTE_3_3_2-   UnsignedByte233Rev -> gl_UNSIGNED_BYTE_2_3_3_REV-   UnsignedShort565 -> gl_UNSIGNED_SHORT_5_6_5-   UnsignedShort565Rev -> gl_UNSIGNED_SHORT_5_6_5_REV-   UnsignedShort4444 -> gl_UNSIGNED_SHORT_4_4_4_4-   UnsignedShort4444Rev -> gl_UNSIGNED_SHORT_4_4_4_4_REV-   UnsignedShort5551 -> gl_UNSIGNED_SHORT_5_5_5_1-   UnsignedShort1555Rev -> gl_UNSIGNED_SHORT_1_5_5_5_REV-   UnsignedInt8888 -> gl_UNSIGNED_INT_8_8_8_8-   UnsignedInt8888Rev -> gl_UNSIGNED_INT_8_8_8_8_REV-   UnsignedInt1010102 -> gl_UNSIGNED_INT_10_10_10_2-   UnsignedInt2101010Rev -> gl_UNSIGNED_INT_2_10_10_10_REV-   UnsignedInt248 -> gl_UNSIGNED_INT_24_8-   UnsignedInt10f11f11fRev -> gl_UNSIGNED_INT_10F_11F_11F_REV-   UnsignedInt5999Rev -> gl_UNSIGNED_INT_5_9_9_9_REV-   Float32UnsignedInt248Rev -> gl_FLOAT_32_UNSIGNED_INT_24_8_REV-   Bitmap -> gl_BITMAP-   -- TODO: Use UNSIGNED_SHORT_8_8_APPLE from APPLE_ycbcr_422 extension-   UnsignedShort88 -> 0x85ba-   -- TODO: Use UNSIGNED_SHORT_8_8_REV_APPLE from APPLE_ycbcr_422 extension-   UnsignedShort88Rev -> 0x85bb-   Double -> gl_DOUBLE-   TwoBytes -> gl_2_BYTES-   ThreeBytes -> gl_3_BYTES-   FourBytes -> gl_4_BYTES--unmarshalDataType :: GLenum -> DataType-unmarshalDataType x-   | x == gl_UNSIGNED_BYTE = UnsignedByte-   | x == gl_BYTE = Byte-   | x == gl_UNSIGNED_SHORT = UnsignedShort-   | x == gl_SHORT = Short-   | x == gl_UNSIGNED_INT = UnsignedInt-   | x == gl_INT = Int-   | x == gl_HALF_FLOAT = HalfFloat-   | x == gl_FLOAT = Float-   | x == gl_UNSIGNED_BYTE_3_3_2 = UnsignedByte332-   | x == gl_UNSIGNED_BYTE_2_3_3_REV = UnsignedByte233Rev-   | x == gl_UNSIGNED_SHORT_5_6_5 = UnsignedShort565-   | x == gl_UNSIGNED_SHORT_5_6_5_REV = UnsignedShort565Rev-   | x == gl_UNSIGNED_SHORT_4_4_4_4 = UnsignedShort4444-   | x == gl_UNSIGNED_SHORT_4_4_4_4_REV = UnsignedShort4444Rev-   | x == gl_UNSIGNED_SHORT_5_5_5_1 = UnsignedShort5551-   | x == gl_UNSIGNED_SHORT_1_5_5_5_REV = UnsignedShort1555Rev-   | x == gl_UNSIGNED_INT_8_8_8_8 = UnsignedInt8888-   | x == gl_UNSIGNED_INT_8_8_8_8_REV = UnsignedInt8888Rev-   | x == gl_UNSIGNED_INT_10_10_10_2 = UnsignedInt1010102-   | x == gl_UNSIGNED_INT_2_10_10_10_REV = UnsignedInt2101010Rev-   | x == gl_UNSIGNED_INT_24_8 = UnsignedInt248-   | x == gl_UNSIGNED_INT_10F_11F_11F_REV = UnsignedInt10f11f11fRev-   | x == gl_UNSIGNED_INT_5_9_9_9_REV = UnsignedInt5999Rev-   | x == gl_FLOAT_32_UNSIGNED_INT_24_8_REV = Float32UnsignedInt248Rev-   | x == gl_BITMAP = Bitmap-   -- TODO: Use UNSIGNED_SHORT_8_8_APPLE from APPLE_ycbcr_422 extension-   | x == 0x85ba = UnsignedShort88-   -- TODO: Use UNSIGNED_SHORT_8_8_REV_APPLE from APPLE_ycbcr_422 extension-   | x == 0x85bb = UnsignedShort88Rev-   | x == gl_DOUBLE = Double-   | x == gl_2_BYTES = TwoBytes-   | x == gl_3_BYTES = ThreeBytes-   | x == gl_4_BYTES = FourBytes-   | otherwise = error ("unmarshalDataType: illegal value " ++ show x)--data DataTypeType-   = TNone-   | TSignedNormalized-   | TUnsignedNormalized-   | TFloat-   | TInt-   | TUnsignedInt--marshalDataTypeType :: DataTypeType -> GLenum-marshalDataTypeType x = case x of-   TNone -> gl_NONE-   TSignedNormalized -> gl_SIGNED_NORMALIZED-   TUnsignedNormalized -> gl_UNSIGNED_NORMALIZED-   TFloat -> gl_FLOAT-   TInt -> gl_INT-   TUnsignedInt -> gl_UNSIGNED_INT--unmarshalDataTypeType :: GLenum -> DataTypeType-unmarshalDataTypeType x-   | x == gl_NONE = TNone-   | x == gl_SIGNED_NORMALIZED = TSignedNormalized-   | x == gl_UNSIGNED_NORMALIZED = TUnsignedNormalized-   | x == gl_FLOAT = TFloat-   | x == gl_INT = TInt-   | x == gl_UNSIGNED_INT = TUnsignedInt-   | otherwise = error $ "unmarshalDataTypeType: illegal value " ++ show x+{-# OPTIONS_HADDOCK hide #-}
+--------------------------------------------------------------------------------
+-- |
+-- Module      :  Graphics.Rendering.OpenGL.GL.DataType
+-- Copyright   :  (c) Sven Panne 2002-2013
+-- License     :  BSD3
+--
+-- Maintainer  :  Sven Panne <svenpanne@gmail.com>
+-- Stability   :  stable
+-- Portability :  portable
+--
+-- This is a purely internal module for (un-)marshaling DataType.
+--
+--------------------------------------------------------------------------------
+
+module Graphics.Rendering.OpenGL.GL.DataType (
+   DataType(..), marshalDataType, unmarshalDataType,
+   DataTypeType(..), marshalDataTypeType, unmarshalDataTypeType
+) where
+
+import Graphics.Rendering.OpenGL.Raw
+
+--------------------------------------------------------------------------------
+
+-- basically table 3.2 (pixel data type parameter) plus a few additions
+data DataType =
+     UnsignedByte
+   | Byte
+   | UnsignedShort
+   | Short
+   | UnsignedInt
+   | Int
+   | HalfFloat
+   | Float
+   | UnsignedByte332
+   | UnsignedByte233Rev
+   | UnsignedShort565
+   | UnsignedShort565Rev
+   | UnsignedShort4444
+   | UnsignedShort4444Rev
+   | UnsignedShort5551
+   | UnsignedShort1555Rev
+   | UnsignedInt8888
+   | UnsignedInt8888Rev
+   | UnsignedInt1010102
+   | UnsignedInt2101010Rev
+   | UnsignedInt248
+   | UnsignedInt10f11f11fRev
+   | UnsignedInt5999Rev
+   | Float32UnsignedInt248Rev
+   | Bitmap                    -- pixel data, deprecated in 3.1
+   | UnsignedShort88           -- MESA_ycbcr_texture/APPLE_ycbcr_422
+   | UnsignedShort88Rev        -- MESA_ycbcr_texture/APPLE_ycbcr_422
+   | Double                    -- vertex arrays (EXT_vertex_array, now core)
+   | TwoBytes                  -- CallLists
+   | ThreeBytes                -- CallLists
+   | FourBytes                 -- CallLists
+   deriving ( Eq, Ord, Show )
+
+marshalDataType :: DataType -> GLenum
+marshalDataType x = case x of
+   UnsignedByte -> gl_UNSIGNED_BYTE
+   Byte -> gl_BYTE
+   UnsignedShort -> gl_UNSIGNED_SHORT
+   Short -> gl_SHORT
+   UnsignedInt -> gl_UNSIGNED_INT
+   Int -> gl_INT
+   HalfFloat -> gl_HALF_FLOAT
+   Float -> gl_FLOAT
+   UnsignedByte332 -> gl_UNSIGNED_BYTE_3_3_2
+   UnsignedByte233Rev -> gl_UNSIGNED_BYTE_2_3_3_REV
+   UnsignedShort565 -> gl_UNSIGNED_SHORT_5_6_5
+   UnsignedShort565Rev -> gl_UNSIGNED_SHORT_5_6_5_REV
+   UnsignedShort4444 -> gl_UNSIGNED_SHORT_4_4_4_4
+   UnsignedShort4444Rev -> gl_UNSIGNED_SHORT_4_4_4_4_REV
+   UnsignedShort5551 -> gl_UNSIGNED_SHORT_5_5_5_1
+   UnsignedShort1555Rev -> gl_UNSIGNED_SHORT_1_5_5_5_REV
+   UnsignedInt8888 -> gl_UNSIGNED_INT_8_8_8_8
+   UnsignedInt8888Rev -> gl_UNSIGNED_INT_8_8_8_8_REV
+   UnsignedInt1010102 -> gl_UNSIGNED_INT_10_10_10_2
+   UnsignedInt2101010Rev -> gl_UNSIGNED_INT_2_10_10_10_REV
+   UnsignedInt248 -> gl_UNSIGNED_INT_24_8
+   UnsignedInt10f11f11fRev -> gl_UNSIGNED_INT_10F_11F_11F_REV
+   UnsignedInt5999Rev -> gl_UNSIGNED_INT_5_9_9_9_REV
+   Float32UnsignedInt248Rev -> gl_FLOAT_32_UNSIGNED_INT_24_8_REV
+   Bitmap -> gl_BITMAP
+   -- TODO: Use UNSIGNED_SHORT_8_8_APPLE from APPLE_ycbcr_422 extension
+   UnsignedShort88 -> 0x85ba
+   -- TODO: Use UNSIGNED_SHORT_8_8_REV_APPLE from APPLE_ycbcr_422 extension
+   UnsignedShort88Rev -> 0x85bb
+   Double -> gl_DOUBLE
+   TwoBytes -> gl_2_BYTES
+   ThreeBytes -> gl_3_BYTES
+   FourBytes -> gl_4_BYTES
+
+unmarshalDataType :: GLenum -> DataType
+unmarshalDataType x
+   | x == gl_UNSIGNED_BYTE = UnsignedByte
+   | x == gl_BYTE = Byte
+   | x == gl_UNSIGNED_SHORT = UnsignedShort
+   | x == gl_SHORT = Short
+   | x == gl_UNSIGNED_INT = UnsignedInt
+   | x == gl_INT = Int
+   | x == gl_HALF_FLOAT = HalfFloat
+   | x == gl_FLOAT = Float
+   | x == gl_UNSIGNED_BYTE_3_3_2 = UnsignedByte332
+   | x == gl_UNSIGNED_BYTE_2_3_3_REV = UnsignedByte233Rev
+   | x == gl_UNSIGNED_SHORT_5_6_5 = UnsignedShort565
+   | x == gl_UNSIGNED_SHORT_5_6_5_REV = UnsignedShort565Rev
+   | x == gl_UNSIGNED_SHORT_4_4_4_4 = UnsignedShort4444
+   | x == gl_UNSIGNED_SHORT_4_4_4_4_REV = UnsignedShort4444Rev
+   | x == gl_UNSIGNED_SHORT_5_5_5_1 = UnsignedShort5551
+   | x == gl_UNSIGNED_SHORT_1_5_5_5_REV = UnsignedShort1555Rev
+   | x == gl_UNSIGNED_INT_8_8_8_8 = UnsignedInt8888
+   | x == gl_UNSIGNED_INT_8_8_8_8_REV = UnsignedInt8888Rev
+   | x == gl_UNSIGNED_INT_10_10_10_2 = UnsignedInt1010102
+   | x == gl_UNSIGNED_INT_2_10_10_10_REV = UnsignedInt2101010Rev
+   | x == gl_UNSIGNED_INT_24_8 = UnsignedInt248
+   | x == gl_UNSIGNED_INT_10F_11F_11F_REV = UnsignedInt10f11f11fRev
+   | x == gl_UNSIGNED_INT_5_9_9_9_REV = UnsignedInt5999Rev
+   | x == gl_FLOAT_32_UNSIGNED_INT_24_8_REV = Float32UnsignedInt248Rev
+   | x == gl_BITMAP = Bitmap
+   -- TODO: Use UNSIGNED_SHORT_8_8_APPLE from APPLE_ycbcr_422 extension
+   | x == 0x85ba = UnsignedShort88
+   -- TODO: Use UNSIGNED_SHORT_8_8_REV_APPLE from APPLE_ycbcr_422 extension
+   | x == 0x85bb = UnsignedShort88Rev
+   | x == gl_DOUBLE = Double
+   | x == gl_2_BYTES = TwoBytes
+   | x == gl_3_BYTES = ThreeBytes
+   | x == gl_4_BYTES = FourBytes
+   | otherwise = error ("unmarshalDataType: illegal value " ++ show x)
+
+data DataTypeType
+   = TNone
+   | TSignedNormalized
+   | TUnsignedNormalized
+   | TFloat
+   | TInt
+   | TUnsignedInt
+
+marshalDataTypeType :: DataTypeType -> GLenum
+marshalDataTypeType x = case x of
+   TNone -> gl_NONE
+   TSignedNormalized -> gl_SIGNED_NORMALIZED
+   TUnsignedNormalized -> gl_UNSIGNED_NORMALIZED
+   TFloat -> gl_FLOAT
+   TInt -> gl_INT
+   TUnsignedInt -> gl_UNSIGNED_INT
+
+unmarshalDataTypeType :: GLenum -> DataTypeType
+unmarshalDataTypeType x
+   | x == gl_NONE = TNone
+   | x == gl_SIGNED_NORMALIZED = TSignedNormalized
+   | x == gl_UNSIGNED_NORMALIZED = TUnsignedNormalized
+   | x == gl_FLOAT = TFloat
+   | x == gl_INT = TInt
+   | x == gl_UNSIGNED_INT = TUnsignedInt
+   | otherwise = error $ "unmarshalDataTypeType: illegal value " ++ show x