Num Word2_10x3
Storable Word2_10x3
GLType Word2_10x3
AttrElement Word2_10x3
ExternalFormat Word2_10x3 Rgb5a1
InternalFormat Word2_10x3 A2bgr10ui
InternalFormat Word2_10x3 A2bgr10

Texture Pixel Formats

newtype Word4444 Source

Constructors

Word4444 Word16

Instances

Num Word4444
Storable Word4444
GLType Word4444
ES2Format Word4444 Rgba4
InternalFormat Word4444 Rgba4

newtype Word5551 Source

Constructors

Word5551 Word16

Instances

Num Word5551
Storable Word5551
GLType Word5551
ES2Format Word5551 Rgb5a1
InternalFormat Word5551 Rgb5a1

newtype Word565 Source

Constructors

Word565 Word16

Instances

Num Word565
Storable Word565
GLType Word565
ES2Format Word565 Rgb565
InternalFormat Word565 Rgb565

newtype Word10f11f11f Source

Constructors

Word10f11f11f Word32

Instances

Num Word10f11f11f
Storable Word10f11f11f
GLType Word10f11f11f
InternalFormat Word10f11f11f B10fG11fR11f

newtype Word5999 Source

Constructors

Word5999 Word32

Instances

Num Word5999
Storable Word5999
GLType Word5999
InternalFormat Word5999 E5bgr9

newtype Word24_8 Source

Constructors

Word24_8 Word32

Instances

Num Word24_8
Storable Word24_8
GLType Word24_8
InternalFormat Word24_8 Depth24Stencil8

newtype FloatWord24_8 Source

Constructors

FloatWord24_8 (Float, Word32)

Instances

GLType FloatWord24_8
InternalFormat FloatWord24_8 Depth32fStencil8

Type-Level Utilities

type family SizeOf f :: Nat Source

Equations

SizeOf Float = 4
SizeOf HalfFloat = 2
SizeOf FixedFloat = 4
SizeOf Word8 = 1
SizeOf Word16 = 2
SizeOf Word32 = 4
SizeOf Int8 = 1
SizeOf Int16 = 2
SizeOf Int32 = 4
SizeOf Int2_10x3 = 4
SizeOf Word2_10x3 = 4
SizeOf Word4444 = 2
SizeOf Word5551 = 2
SizeOf Word10f11f11f = 4
SizeOf Word5999 = 4
SizeOf Word24_8 = 4
SizeOf FloatWord24_8 = 8
SizeOf (V2 a) = 2 * SizeOf a
SizeOf (V3 a) = 3 * SizeOf a
SizeOf (V4 a) = 4 * SizeOf a

type family Aligned x :: Nat Source

Equations

Aligned 0 = 0
Aligned 1 = 4
Aligned 2 = 4
Aligned 3 = 4
Aligned x = 4 + Aligned (x - 4)

type family Stride list :: Nat Source

Equations

Stride [] = 0
Stride (x : xs) = Aligned (SizeOf x) + Stride xs

castGL :: (CmpNat (Aligned (SizeOf x)) (Aligned (SizeOf y)) ~ EQ) => p x -> p y Source

Uniform Variable

data Uniform p a Source

class UnifVal a Source

Minimal complete definition

glUniform

Instances

UnifVal Float
UnifVal Int32
UnifVal Word32
UnifVal UVec4
UnifVal UVec3
UnifVal UVec2
UnifVal IVec4
UnifVal IVec3
UnifVal IVec2
UnifVal Vec4
UnifVal Vec3
UnifVal Vec2
UnifVal [Float]
UnifVal [Int32]
UnifVal [Word32]
(Distributive g, Functor f, UnifMat (f (g a)), Storable (g (f a))) => UnifVal [f (g a)]	Array of matrix Not tested!!!
UnifVal [UVec4]
UnifVal [UVec3]
UnifVal [UVec2]
UnifVal [IVec4]
UnifVal [IVec3]
UnifVal [IVec2]
UnifVal [Vec4]
UnifVal [Vec3]
UnifVal [Vec2]
(Distributive g, Functor f, UnifMat (f (g a)), Storable (g (f a))) => UnifVal (f (g a))	Matrix Not tested!!!

Vertex Attribute

data Attrib p a Source

Instances

Show (Attrib p a)
(VertexAttribute a, (~) * (Vectorize a) (v a'), (~) * (Vectorize b) (v b'), KnownNat (VDim v), AttrElement b', VertexAttributeArray a' b') => AttrStruct (Attrib p a) p b
(VertexAttribute (f (g Float)), Applicative g, FoldableWithIndex (E V4) g, KnownNat (VDim f), KnownNat (SizeOf (f a)), KnownNat (SizeOf (f (g a))), AttrElement a) => AttrStruct (Attrib p (f (g Float))) p (f (g a))

class VertexAttribute a Source

GLSL vertex attribute type

Minimal complete definition

glVertexAttrib

Instances

VertexAttribute Float
VertexAttribute Int32
VertexAttribute Word32
VertexAttribute UVec4
VertexAttribute UVec3
VertexAttribute UVec2
VertexAttribute IVec4
VertexAttribute IVec3
VertexAttribute IVec2
VertexAttribute Vec4
VertexAttribute Vec3
VertexAttribute Vec2
(Functor f, VertexAttribute (f Float), FoldableWithIndex (E V4) g, Distributive g) => VertexAttribute (f (g Float))	Matrices Not tested!!!
VertexAttribute a => VertexAttribute (V1 a)

class GLType a => AttrElement a Source

The 3rd argument of glVertexAttribI?Pointer

type family Vectorize a :: * Source

Temporarily gives a vector representation for type comparison

Equations

Vectorize Int2_10x3 = V4 Int2_10x3
Vectorize Word2_10x3 = V4 Word2_10x3
Vectorize (f Int2_10x3) = f (V4 Int2_10x3)
Vectorize (f Word2_10x3) = f (V4 Word2_10x3)
Vectorize (f a) = f a
Vectorize a = V1 a

type family VDim v :: Nat Source

Equations

VDim V1 = 1
VDim V2 = 2
VDim V3 = 3
VDim V4 = 4

class VertexAttributeArray attr src Source

Minimal complete definition

glVertexAttribPtr

Instances

VertexAttributeArray Float a
(Integral a, Integral b) => VertexAttributeArray a b	a = IntWord32, b = IntWord 81632

class AttrStruct a p b | a -> p Source

A set of VertexAttributes packed in a Buffer

Minimal complete definition

glVertexBuffer

Instances

(VertexAttribute a, (~) * (Vectorize a) (v a'), (~) * (Vectorize b) (v b'), KnownNat (VDim v), AttrElement b', VertexAttributeArray a' b') => AttrStruct (Attrib p a) p b
(VertexAttribute (f (g Float)), Applicative g, FoldableWithIndex (E V4) g, KnownNat (VDim f), KnownNat (SizeOf (f a)), KnownNat (SizeOf (f (g a))), AttrElement a) => AttrStruct (Attrib p (f (g Float))) p (f (g a))

class Storable a => GLStorable a where Source

Transpose matrices

Methods

pokeArrayGL :: Ptr a -> [a] -> GL () Source

Instances

Storable a => GLStorable a
(Storable (f (g a)), Storable (g (f a)), VertexAttribute (f (g Float)), Functor f, Distributive g) => GLStorable (f (g a))

Num HalfFloat
Storable HalfFloat
GLType HalfFloat
AttrElement HalfFloat
InternalFormat HalfFloat R16f
ExternalFormat (V3 HalfFloat) E5bgr9
ExternalFormat (V3 HalfFloat) B10fG11fR11f
InternalFormat (V2 HalfFloat) Rg16f
InternalFormat (V3 HalfFloat) Rgb16f
InternalFormat (V4 HalfFloat) Rgba16f

AttrElement Float
AttrElement Int8
AttrElement Int16
AttrElement Int32
AttrElement Word8
AttrElement Word16
AttrElement Word32
AttrElement Word2_10x3
AttrElement Int2_10x3
AttrElement FixedFloat
AttrElement HalfFloat