GLUT-2.5.0.0: examples/RedBook4/TessWind.hs
{-
TessWind.hs (adapted from tesswind.c which is (c) Silicon Graphics, Inc)
Copyright (c) Sven Panne 2002-2005 <svenpanne@gmail.com>
This file is part of HOpenGL and distributed under a BSD-style license
See the file libraries/GLUT/LICENSE
This program demonstrates the winding rule polygon tessellation property.
Four tessellated objects are drawn, each with very different contours. When
the w key is pressed, the objects are drawn with a different winding rule.
-}
import Data.Char ( toLower )
import Data.IORef ( IORef, newIORef )
import System.Exit ( exitWith, ExitCode(ExitSuccess) )
import Graphics.UI.GLUT
data State = State { currentWindingRule :: IORef TessWinding }
makeState :: IO State
makeState = do
c <- newIORef TessWindingOdd
return $ State { currentWindingRule = c }
type DisplayLists = (DisplayList, DisplayList, DisplayList, DisplayList)
-- 'Float' is a dummy, any marshalable type would do
type DontCare = Float
rect1 :: ComplexContour DontCare
rect1 = ComplexContour [
AnnotatedVertex (Vertex3 50 50 0) 0,
AnnotatedVertex (Vertex3 300 50 0) 0,
AnnotatedVertex (Vertex3 300 300 0) 0,
AnnotatedVertex (Vertex3 50 300 0) 0 ]
rect2 :: ComplexContour DontCare
rect2 = ComplexContour [
AnnotatedVertex (Vertex3 100 100 0) 0,
AnnotatedVertex (Vertex3 250 100 0) 0,
AnnotatedVertex (Vertex3 250 250 0) 0,
AnnotatedVertex (Vertex3 100 250 0) 0 ]
rect3 :: ComplexContour DontCare
rect3 = ComplexContour [
AnnotatedVertex (Vertex3 150 150 0) 0,
AnnotatedVertex (Vertex3 200 150 0) 0,
AnnotatedVertex (Vertex3 200 200 0) 0,
AnnotatedVertex (Vertex3 150 200 0) 0 ]
rects1 :: ComplexPolygon DontCare
rects1 = ComplexPolygon [ rect1, rect2, rect3 ]
rects2 :: ComplexPolygon DontCare
rects2 = ComplexPolygon [
rect1, reverseComplexContour rect2, reverseComplexContour rect3 ]
spiral :: ComplexPolygon DontCare
spiral = ComplexPolygon [
ComplexContour [
AnnotatedVertex (Vertex3 400 250 0) 0,
AnnotatedVertex (Vertex3 400 50 0) 0,
AnnotatedVertex (Vertex3 50 50 0) 0,
AnnotatedVertex (Vertex3 50 400 0) 0,
AnnotatedVertex (Vertex3 350 400 0) 0,
AnnotatedVertex (Vertex3 350 100 0) 0,
AnnotatedVertex (Vertex3 100 100 0) 0,
AnnotatedVertex (Vertex3 100 350 0) 0,
AnnotatedVertex (Vertex3 300 350 0) 0,
AnnotatedVertex (Vertex3 300 150 0) 0,
AnnotatedVertex (Vertex3 150 150 0) 0,
AnnotatedVertex (Vertex3 150 300 0) 0,
AnnotatedVertex (Vertex3 250 300 0) 0,
AnnotatedVertex (Vertex3 250 200 0) 0,
AnnotatedVertex (Vertex3 200 200 0) 0,
AnnotatedVertex (Vertex3 200 250 0) 0 ] ]
quad1 :: ComplexContour DontCare
quad1 = ComplexContour [
AnnotatedVertex (Vertex3 50 150 0) 0,
AnnotatedVertex (Vertex3 350 150 0) 0,
AnnotatedVertex (Vertex3 350 200 0) 0,
AnnotatedVertex (Vertex3 50 200 0) 0 ]
quad2 :: ComplexContour DontCare
quad2 = ComplexContour [
AnnotatedVertex (Vertex3 100 100 0) 0,
AnnotatedVertex (Vertex3 300 100 0) 0,
AnnotatedVertex (Vertex3 300 350 0) 0,
AnnotatedVertex (Vertex3 100 350 0) 0 ]
tri :: ComplexContour DontCare
tri = ComplexContour [
AnnotatedVertex (Vertex3 200 50 0) 0,
AnnotatedVertex (Vertex3 250 300 0) 0,
AnnotatedVertex (Vertex3 150 300 0) 0 ]
quadsAndTri :: ComplexPolygon DontCare
quadsAndTri = ComplexPolygon [ quad1, quad2, tri ]
reverseComplexContour :: ComplexContour DontCare -> ComplexContour DontCare
reverseComplexContour (ComplexContour avs) = ComplexContour (reverse avs)
makeNewLists :: State -> DisplayLists -> IO ()
makeNewLists state (dl1, dl2, dl3, dl4) = do
windingRule <- get (currentWindingRule state)
print windingRule -- not in original program, but useful
compileList windingRule dl1 rects1
compileList windingRule dl2 rects2
compileList windingRule dl3 spiral
compileList windingRule dl4 quadsAndTri
compileList :: TessWinding -> DisplayList -> ComplexPolygon DontCare -> IO ()
compileList windingRule displayList complexPolygon =
defineList displayList Compile $
drawSimplePolygon =<<
tessellate windingRule 0 (Normal3 0 0 0) noOpCombiner complexPolygon
noOpCombiner :: Combiner DontCare
noOpCombiner _newVertex _weightedProperties = 0
drawSimplePolygon :: SimplePolygon DontCare -> IO ()
drawSimplePolygon (SimplePolygon primitives) =
flip mapM_ primitives $ \(Primitive primitiveMode vertices) ->
renderPrimitive primitiveMode $
flip mapM_ vertices $ \(AnnotatedVertex plainVertex _) ->
vertex plainVertex
display :: DisplayLists -> DisplayCallback
display (dl1, dl2, dl3, dl4) = do
clear [ ColorBuffer ]
-- resolve overloading, not needed in "real" programs
let color3f = color :: Color3 GLfloat -> IO ()
translatef = translate :: Vector3 GLfloat -> IO ()
color3f (Color3 1 1 1)
preservingMatrix $ do
callList dl1
translatef (Vector3 0 500 0)
callList dl2
translatef (Vector3 500 (-500) 0)
callList dl3
translatef (Vector3 0 500 0)
callList dl4
flush
myInit :: State -> IO DisplayLists
myInit state = do
clearColor $= Color4 0 0 0 0
shadeModel $= Flat
[dl1, dl2, dl3, dl4] <- genObjectNames 4
let displayLists = (dl1, dl2, dl3, dl4)
makeNewLists state displayLists
return displayLists
reshape :: ReshapeCallback
reshape size@(Size w h) = do
viewport $= (Position 0 0, size)
matrixMode $= Projection
loadIdentity
let wf = fromIntegral w
hf = fromIntegral h
if w <= h
then ortho2D 0 1000 0 (1000 * hf/wf)
else ortho2D 0 (1000 * wf/hf) 0 1000
matrixMode $= Modelview 0
loadIdentity
keyboard :: State -> DisplayLists -> KeyboardMouseCallback
keyboard state displayLists (Char c) Down _ _ = case toLower c of
'w' -> do currentWindingRule state $~ nextWindingRule
makeNewLists state displayLists
postRedisplay Nothing
'\27' -> exitWith ExitSuccess
_ -> return ()
keyboard _ _ _ _ _ _ = return ()
nextWindingRule :: TessWinding -> TessWinding
nextWindingRule r = case r of
TessWindingOdd -> TessWindingNonzero
TessWindingNonzero -> TessWindingPositive
TessWindingPositive -> TessWindingNegative
TessWindingNegative -> TessWindingAbsGeqTwo
TessWindingAbsGeqTwo -> TessWindingOdd
main :: IO ()
main = do
(progName, _args) <- getArgsAndInitialize
initialDisplayMode $= [ SingleBuffered, RGBMode ]
initialWindowSize $= Size 500 500
_ <- createWindow progName
state <- makeState
displayLists <- myInit state
displayCallback $= display displayLists
reshapeCallback $= Just reshape
keyboardMouseCallback $= Just (keyboard state displayLists)
mainLoop