Graphics.Rendering.OpenGL.GL.Evaluators

This module corresponds to section 5.1 (Evaluators) of the OpenGL 2.1 specs.

Evaluator-related Types

type Order = GLint

maxOrder :: GettableStateVar Order

class Storable d => Domain d where

Minimal complete definition

glMap1, glMap2, glGetMapv, evalCoord1, evalCoord1v, evalCoord2, evalCoord2v, glMapGrid1, glMapGrid2, get2, get4

Methods

evalCoord1 :: d -> IO ()

evalCoord1v :: Ptr d -> IO ()

evalCoord2 :: (d, d) -> IO ()

evalCoord2v :: Ptr d -> IO ()

Instances

Domain GLfloat

Methods

glMap1 :: GLenum -> GLfloat -> GLfloat -> GLint -> GLint -> Ptr GLfloat -> IO ()

glMap2 :: GLenum -> GLfloat -> GLfloat -> GLint -> GLint -> GLfloat -> GLfloat -> GLint -> GLint -> Ptr GLfloat -> IO ()

glGetMapv :: GLenum -> GLenum -> Ptr GLfloat -> IO ()

evalCoord1 :: GLfloat -> IO ()

evalCoord1v :: Ptr GLfloat -> IO ()

evalCoord2 :: (GLfloat, GLfloat) -> IO ()

evalCoord2v :: Ptr GLfloat -> IO ()

glMapGrid1 :: GLint -> GLfloat -> GLfloat -> IO ()

glMapGrid2 :: GLint -> GLfloat -> GLfloat -> GLint -> GLfloat -> GLfloat -> IO ()

get2 :: GetPName2F p => (GLfloat -> GLfloat -> a) -> p -> IO a

get4 :: GetPName4F p => (GLfloat -> GLfloat -> GLfloat -> GLfloat -> a) -> p -> IO a

Domain GLdouble

Methods

glMap1 :: GLenum -> GLdouble -> GLdouble -> GLint -> GLint -> Ptr GLdouble -> IO ()

glMap2 :: GLenum -> GLdouble -> GLdouble -> GLint -> GLint -> GLdouble -> GLdouble -> GLint -> GLint -> Ptr GLdouble -> IO ()

glGetMapv :: GLenum -> GLenum -> Ptr GLdouble -> IO ()

evalCoord1 :: GLdouble -> IO ()

evalCoord1v :: Ptr GLdouble -> IO ()

evalCoord2 :: (GLdouble, GLdouble) -> IO ()

evalCoord2v :: Ptr GLdouble -> IO ()

glMapGrid1 :: GLint -> GLdouble -> GLdouble -> IO ()

glMapGrid2 :: GLint -> GLdouble -> GLdouble -> GLint -> GLdouble -> GLdouble -> IO ()

get2 :: GetPName2F p => (GLdouble -> GLdouble -> a) -> p -> IO a

get4 :: GetPName4F p => (GLdouble -> GLdouble -> GLdouble -> GLdouble -> a) -> p -> IO a

data MapDescriptor d

Constructors

MapDescriptor (d, d) Stride Order NumComponents

Instances

Eq d => Eq (MapDescriptor d)

Methods

(==) :: MapDescriptor d -> MapDescriptor d -> Bool

(/=) :: MapDescriptor d -> MapDescriptor d -> Bool

Ord d => Ord (MapDescriptor d)

Methods

compare :: MapDescriptor d -> MapDescriptor d -> Ordering

(<) :: MapDescriptor d -> MapDescriptor d -> Bool

(<=) :: MapDescriptor d -> MapDescriptor d -> Bool

(>) :: MapDescriptor d -> MapDescriptor d -> Bool

(>=) :: MapDescriptor d -> MapDescriptor d -> Bool

max :: MapDescriptor d -> MapDescriptor d -> MapDescriptor d

min :: MapDescriptor d -> MapDescriptor d -> MapDescriptor d

Show d => Show (MapDescriptor d)

Methods

showsPrec :: Int -> MapDescriptor d -> ShowS

show :: MapDescriptor d -> String

showList :: [MapDescriptor d] -> ShowS

class ControlPoint c

Minimal complete definition

map1Target, map2Target, enableCap1, enableCap2, numComponents, peekControlPoint, pokeControlPoint

Instances

ControlPoint Index1

Methods

map1Target :: Domain d => Index1 d -> GLenum

map2Target :: Domain d => Index1 d -> GLenum

enableCap1 :: Domain d => Index1 d -> EnableCap

enableCap2 :: Domain d => Index1 d -> EnableCap

numComponents :: Domain d => Index1 d -> Stride

peekControlPoint :: Domain d => Ptr (Index1 d) -> IO (Index1 d)

pokeControlPoint :: Domain d => Ptr (Index1 d) -> Index1 d -> IO ()

ControlPoint Color4

Methods

map1Target :: Domain d => Color4 d -> GLenum

map2Target :: Domain d => Color4 d -> GLenum

enableCap1 :: Domain d => Color4 d -> EnableCap

enableCap2 :: Domain d => Color4 d -> EnableCap

numComponents :: Domain d => Color4 d -> Stride

peekControlPoint :: Domain d => Ptr (Color4 d) -> IO (Color4 d)

pokeControlPoint :: Domain d => Ptr (Color4 d) -> Color4 d -> IO ()

ControlPoint Normal3

Methods

map1Target :: Domain d => Normal3 d -> GLenum

map2Target :: Domain d => Normal3 d -> GLenum

enableCap1 :: Domain d => Normal3 d -> EnableCap

enableCap2 :: Domain d => Normal3 d -> EnableCap

numComponents :: Domain d => Normal3 d -> Stride

peekControlPoint :: Domain d => Ptr (Normal3 d) -> IO (Normal3 d)

pokeControlPoint :: Domain d => Ptr (Normal3 d) -> Normal3 d -> IO ()

ControlPoint TexCoord4

Methods

map1Target :: Domain d => TexCoord4 d -> GLenum

map2Target :: Domain d => TexCoord4 d -> GLenum

enableCap1 :: Domain d => TexCoord4 d -> EnableCap

enableCap2 :: Domain d => TexCoord4 d -> EnableCap

numComponents :: Domain d => TexCoord4 d -> Stride

peekControlPoint :: Domain d => Ptr (TexCoord4 d) -> IO (TexCoord4 d)

pokeControlPoint :: Domain d => Ptr (TexCoord4 d) -> TexCoord4 d -> IO ()

ControlPoint TexCoord3

Methods

map1Target :: Domain d => TexCoord3 d -> GLenum

map2Target :: Domain d => TexCoord3 d -> GLenum

enableCap1 :: Domain d => TexCoord3 d -> EnableCap

enableCap2 :: Domain d => TexCoord3 d -> EnableCap

numComponents :: Domain d => TexCoord3 d -> Stride

peekControlPoint :: Domain d => Ptr (TexCoord3 d) -> IO (TexCoord3 d)

pokeControlPoint :: Domain d => Ptr (TexCoord3 d) -> TexCoord3 d -> IO ()

ControlPoint TexCoord2

Methods

map1Target :: Domain d => TexCoord2 d -> GLenum

map2Target :: Domain d => TexCoord2 d -> GLenum

enableCap1 :: Domain d => TexCoord2 d -> EnableCap

enableCap2 :: Domain d => TexCoord2 d -> EnableCap

numComponents :: Domain d => TexCoord2 d -> Stride

peekControlPoint :: Domain d => Ptr (TexCoord2 d) -> IO (TexCoord2 d)

pokeControlPoint :: Domain d => Ptr (TexCoord2 d) -> TexCoord2 d -> IO ()

ControlPoint TexCoord1

Methods

map1Target :: Domain d => TexCoord1 d -> GLenum

map2Target :: Domain d => TexCoord1 d -> GLenum

enableCap1 :: Domain d => TexCoord1 d -> EnableCap

enableCap2 :: Domain d => TexCoord1 d -> EnableCap

numComponents :: Domain d => TexCoord1 d -> Stride

peekControlPoint :: Domain d => Ptr (TexCoord1 d) -> IO (TexCoord1 d)

pokeControlPoint :: Domain d => Ptr (TexCoord1 d) -> TexCoord1 d -> IO ()

ControlPoint Vertex4

Methods

map1Target :: Domain d => Vertex4 d -> GLenum

map2Target :: Domain d => Vertex4 d -> GLenum

enableCap1 :: Domain d => Vertex4 d -> EnableCap

enableCap2 :: Domain d => Vertex4 d -> EnableCap

numComponents :: Domain d => Vertex4 d -> Stride

peekControlPoint :: Domain d => Ptr (Vertex4 d) -> IO (Vertex4 d)

pokeControlPoint :: Domain d => Ptr (Vertex4 d) -> Vertex4 d -> IO ()

ControlPoint Vertex3

Methods

map1Target :: Domain d => Vertex3 d -> GLenum

map2Target :: Domain d => Vertex3 d -> GLenum

enableCap1 :: Domain d => Vertex3 d -> EnableCap

enableCap2 :: Domain d => Vertex3 d -> EnableCap

numComponents :: Domain d => Vertex3 d -> Stride

peekControlPoint :: Domain d => Ptr (Vertex3 d) -> IO (Vertex3 d)

pokeControlPoint :: Domain d => Ptr (Vertex3 d) -> Vertex3 d -> IO ()

Defining Evaluator Maps

One-dimensional Evaluator Maps

class Map1 m where

Methods

withNewMap1 :: (ControlPoint c, Domain d) => MapDescriptor d -> (Ptr d -> IO ()) -> IO (m c d)

withMap1 :: (ControlPoint c, Domain d) => m c d -> (MapDescriptor d -> Ptr d -> IO a) -> IO a

newMap1 :: (ControlPoint c, Domain d) => (d, d) -> [c d] -> IO (m c d)

getMap1Components :: (ControlPoint c, Domain d) => m c d -> IO ((d, d), [c d])

Instances

Map1 GLmap1

Methods

withNewMap1 :: (ControlPoint c, Domain d) => MapDescriptor d -> (Ptr d -> IO ()) -> IO (GLmap1 c d)

withMap1 :: (ControlPoint c, Domain d) => GLmap1 c d -> (MapDescriptor d -> Ptr d -> IO a) -> IO a

newMap1 :: (ControlPoint c, Domain d) => (d, d) -> [c d] -> IO (GLmap1 c d)

getMap1Components :: (ControlPoint c, Domain d) => GLmap1 c d -> IO ((d, d), [c d])

data GLmap1 c d

Instances

Map1 GLmap1

Methods

withNewMap1 :: (ControlPoint c, Domain d) => MapDescriptor d -> (Ptr d -> IO ()) -> IO (GLmap1 c d)

withMap1 :: (ControlPoint c, Domain d) => GLmap1 c d -> (MapDescriptor d -> Ptr d -> IO a) -> IO a

newMap1 :: (ControlPoint c, Domain d) => (d, d) -> [c d] -> IO (GLmap1 c d)

getMap1Components :: (ControlPoint c, Domain d) => GLmap1 c d -> IO ((d, d), [c d])

Eq d => Eq (GLmap1 c d)

Methods

(==) :: GLmap1 c d -> GLmap1 c d -> Bool

(/=) :: GLmap1 c d -> GLmap1 c d -> Bool

Ord d => Ord (GLmap1 c d)

Methods

compare :: GLmap1 c d -> GLmap1 c d -> Ordering

(<) :: GLmap1 c d -> GLmap1 c d -> Bool

(<=) :: GLmap1 c d -> GLmap1 c d -> Bool

(>) :: GLmap1 c d -> GLmap1 c d -> Bool

(>=) :: GLmap1 c d -> GLmap1 c d -> Bool

max :: GLmap1 c d -> GLmap1 c d -> GLmap1 c d

min :: GLmap1 c d -> GLmap1 c d -> GLmap1 c d

Show d => Show (GLmap1 c d)

Methods

showsPrec :: Int -> GLmap1 c d -> ShowS

show :: GLmap1 c d -> String

showList :: [GLmap1 c d] -> ShowS

map1 :: (Map1 m, ControlPoint c, Domain d) => StateVar (Maybe (m c d))

Two-dimensional Evaluator Maps

class Map2 m where

Methods

withNewMap2 :: (ControlPoint c, Domain d) => MapDescriptor d -> MapDescriptor d -> (Ptr d -> IO ()) -> IO (m c d)

withMap2 :: (ControlPoint c, Domain d) => m c d -> (MapDescriptor d -> MapDescriptor d -> Ptr d -> IO a) -> IO a

newMap2 :: (ControlPoint c, Domain d) => (d, d) -> (d, d) -> [[c d]] -> IO (m c d)

getMap2Components :: (ControlPoint c, Domain d) => m c d -> IO ((d, d), (d, d), [[c d]])

Instances

Map2 GLmap2

Methods

withNewMap2 :: (ControlPoint c, Domain d) => MapDescriptor d -> MapDescriptor d -> (Ptr d -> IO ()) -> IO (GLmap2 c d)

withMap2 :: (ControlPoint c, Domain d) => GLmap2 c d -> (MapDescriptor d -> MapDescriptor d -> Ptr d -> IO a) -> IO a

newMap2 :: (ControlPoint c, Domain d) => (d, d) -> (d, d) -> [[c d]] -> IO (GLmap2 c d)

getMap2Components :: (ControlPoint c, Domain d) => GLmap2 c d -> IO ((d, d), (d, d), [[c d]])

data GLmap2 c d

Instances

Map2 GLmap2

Methods

withNewMap2 :: (ControlPoint c, Domain d) => MapDescriptor d -> MapDescriptor d -> (Ptr d -> IO ()) -> IO (GLmap2 c d)

withMap2 :: (ControlPoint c, Domain d) => GLmap2 c d -> (MapDescriptor d -> MapDescriptor d -> Ptr d -> IO a) -> IO a

newMap2 :: (ControlPoint c, Domain d) => (d, d) -> (d, d) -> [[c d]] -> IO (GLmap2 c d)

getMap2Components :: (ControlPoint c, Domain d) => GLmap2 c d -> IO ((d, d), (d, d), [[c d]])

Eq d => Eq (GLmap2 c d)

Methods

(==) :: GLmap2 c d -> GLmap2 c d -> Bool

(/=) :: GLmap2 c d -> GLmap2 c d -> Bool

Ord d => Ord (GLmap2 c d)

Methods

compare :: GLmap2 c d -> GLmap2 c d -> Ordering

(<) :: GLmap2 c d -> GLmap2 c d -> Bool

(<=) :: GLmap2 c d -> GLmap2 c d -> Bool

(>) :: GLmap2 c d -> GLmap2 c d -> Bool

(>=) :: GLmap2 c d -> GLmap2 c d -> Bool

max :: GLmap2 c d -> GLmap2 c d -> GLmap2 c d

min :: GLmap2 c d -> GLmap2 c d -> GLmap2 c d

Show d => Show (GLmap2 c d)

Methods

showsPrec :: Int -> GLmap2 c d -> ShowS

show :: GLmap2 c d -> String

showList :: [GLmap2 c d] -> ShowS

map2 :: (Map2 m, ControlPoint c, Domain d) => StateVar (Maybe (m c d))

Using Evaluator Maps

Evaluating an Arbitrary Coordinate Value

evalCoord1 :: Domain d => d -> IO ()

evalCoord1v :: Domain d => Ptr d -> IO ()

evalCoord2 :: Domain d => (d, d) -> IO ()

evalCoord2v :: Domain d => Ptr d -> IO ()

Using Evenly Spaced Coordinate Values

Defining a Grid

mapGrid1 :: Domain d => StateVar (GLint, (d, d))

mapGrid2 :: Domain d => StateVar ((GLint, (d, d)), (GLint, (d, d)))

Evaluating a Whole Mesh

evalMesh1 :: PolygonMode -> (GLint, GLint) -> IO ()

evalMesh2 :: PolygonMode -> (GLint, GLint) -> (GLint, GLint) -> IO ()

Evaluating a Single Point on a Mesh

evalPoint1 :: GLint -> IO ()

evalPoint2 :: (GLint, GLint) -> IO ()

Normal Generation

autoNormal :: StateVar Capability