LambdaCube.GL

Documentation

module LambdaCube.Language.Type

module LambdaCube.Language.ReifyType

module LambdaCube.Language.HOAS

module LambdaCube.Language

data Int32 :: *

32-bit signed integer type

Instances

Bounded Int32

Enum Int32

Eq Int32

Integral Int32

Num Int32

Ord Int32

Read Int32

Real Int32

Show Int32

Ix Int32

Storable Int32

Bits Int32

FiniteBits Int32

Binary Int32

SpecialConstant Int32

IsNum Int32

IsScalar Int32

IsScalar V2I

IsScalar V3I

IsScalar V4I

GPU Int32

GPU V2I

GPU V3I

GPU V4I

SGPU Int32

SGPU V2I

SGPU V3I

SGPU V4I

Prim Int32

Unbox Int32

IArray UArray Int32

IsComponent * Int32

IsNumComponent * Int32

IsIntegral * Int32

Vector Vector Int32

MVector MVector Int32

IsMatVecScalar * * Int32 Int32

IsVecScalar * * 1 Int32 Int32

IsTextureSize * * * Sampler1DShadow Int32 Int32

IsTextureSize * * * Sampler2DShadow Int32 V2I

IsTextureSize * * * SamplerCubeShadow Int32 V2I

IsTextureSize * * * Sampler1DArrayShadow Int32 V2I

IsTextureSize * * * Sampler2DArrayShadow Int32 V3I

IsTextureSize * * * Sampler2DRectShadow () V2I

IsTextureOffset * * * * Sampler1DShadow V3F Int32 Float

IsTextureOffset * * * * Sampler2DShadow V3F V2I Float

IsTextureOffset * * * * Sampler1DArrayShadow V3F Int32 Float

IsTextureOffset * * * * Sampler2DRectShadow V3F V2I ()

IsTextureProjOffset * * * * Sampler1DShadow V4F Int32 Float

IsTextureProjOffset * * * * Sampler2DShadow V4F V2I Float

IsTextureProjOffset * * * * Sampler2DRectShadow V4F V2I Float

IsTextureLodOffset * * * * Sampler1DShadow V3F Float Int32

IsTextureLodOffset * * * * Sampler2DShadow V3F Float V2I

IsTextureLodOffset * * * * Sampler1DArrayShadow V3F Float Int32

IsTextureProjLodOffset * * * * Sampler1DShadow V4F Float Int32

IsTextureGradOffset * * * * * Sampler1DShadow V3F Float Float Int32

IsTextureGradOffset * * * * * Sampler2DShadow V3F V2F V2F V2I

IsTextureGradOffset * * * * * Sampler1DArrayShadow V3F Float Float Int32

IsTextureGradOffset * * * * * Sampler2DArrayShadow V4F V2F V2F V2I

IsTextureGradOffset * * * * * Sampler2DRectShadow V3F V2F V2F V2I

IsTextureProjGradOffset * * * * * Sampler1DShadow V4F Float Float Int32

IsTextureProjGradOffset * * * * * Sampler2DShadow V4F V2F V2F V2I

IsTextureProjGradOffset * * * * * Sampler2DRectShadow V4F V2F V2F V2I

IsTextureGradOffset * * * * * (Sampler1D t ar) Float Float Float Int32

IsTextureGradOffset * * * * * (Sampler2D t ar) V2F V2F V2F V2I

IsTextureGradOffset * * * * * (Sampler3D t ar) V3F V3F V3F V3I

IsTextureGradOffset * * * * * (Sampler1DArray t ar) V2F Float Float Int32

IsTextureGradOffset * * * * * (Sampler2DArray t ar) V3F V2F V2F V2I

IsTextureGradOffset * * * * * (Sampler2DRect t ar) V2F V2F V2F V2I

IsTextureProjGradOffset * * * * * (Sampler1D t ar) V4F Float Float Int32

IsTextureProjGradOffset * * * * * (Sampler1D t ar) V2F Float Float Int32

IsTextureProjGradOffset * * * * * (Sampler2D t ar) V4F V2F V2F V2I

IsTextureProjGradOffset * * * * * (Sampler2D t ar) V3F V2F V2F V2I

IsTextureProjGradOffset * * * * * (Sampler3D t ar) V4F V3F V3F V3I

IsTextureProjGradOffset * * * * * (Sampler2DRect t ar) V4F V2F V2F V2I

IsTextureProjGradOffset * * * * * (Sampler2DRect t ar) V3F V2F V2F V2I

IsTextureOffset * * * * (Sampler1D t ar) Float Int32 Float

IsTextureOffset * * * * (Sampler2D t ar) V2F V2I Float

IsTextureOffset * * * * (Sampler3D t ar) V3F V3I Float

IsTextureOffset * * * * (Sampler1DArray t ar) V2F Int32 Float

IsTextureOffset * * * * (Sampler2DArray t ar) V3F V2I Float

IsTextureOffset * * * * (Sampler2DRect t ar) V2F V2I ()

IsTexelFetchOffset * * * * (Sampler1D t ar) Int32 Int32 Int32

IsTexelFetchOffset * * * * (Sampler2D t ar) V2I Int32 V2I

IsTexelFetchOffset * * * * (Sampler3D t ar) V3I Int32 V3I

IsTexelFetchOffset * * * * (Sampler1DArray t ar) V2I Int32 Int32

IsTexelFetchOffset * * * * (Sampler2DArray t ar) V3I Int32 V2I

IsTexelFetchOffset * * * * (Sampler2DRect t ar) V2I () V2I

IsTextureProjOffset * * * * (Sampler1D t ar) V4F Int32 Float

IsTextureProjOffset * * * * (Sampler1D t ar) V2F Int32 Float

IsTextureProjOffset * * * * (Sampler2D t ar) V4F V2I Float

IsTextureProjOffset * * * * (Sampler2D t ar) V3F V2I Float

IsTextureProjOffset * * * * (Sampler3D t ar) V4F V3I Float

IsTextureProjOffset * * * * (Sampler2DRect t ar) V4F V2I ()

IsTextureProjOffset * * * * (Sampler2DRect t ar) V3F V2I ()

IsTextureLodOffset * * * * (Sampler1D t ar) Float Float Int32

IsTextureLodOffset * * * * (Sampler2D t ar) V2F Float V2I

IsTextureLodOffset * * * * (Sampler3D t ar) V3F Float V3I

IsTextureLodOffset * * * * (Sampler1DArray t ar) V2F Float Int32

IsTextureLodOffset * * * * (Sampler2DArray t ar) V3F Float V2I

IsTextureProjLodOffset * * * * (Sampler1D t ar) V4F Float Int32

IsTextureProjLodOffset * * * * (Sampler1D t ar) V2F Float Int32

IsTextureProjLodOffset * * * * (Sampler2D t ar) V4F Float V2I

IsTextureProjLodOffset * * * * (Sampler2D t ar) V3F Float V2I

IsTextureProjLodOffset * * * * (Sampler3D t ar) V4F Float V3I

IsVec * * 2 (V2 Int32) Int32

IsVec * * 3 (V3 Int32) Int32

IsVec * * 4 (V4 Int32) Int32

IsVecScalar * * 2 (V2 Int32) Int32

IsVecScalar * * 3 (V3 Int32) Int32

IsVecScalar * * 4 (V4 Int32) Int32

IsTextureSize * * * (Sampler1D t ar) Int32 Int32

IsTextureSize * * * (Sampler2D t ar) Int32 V2I

IsTextureSize * * * (Sampler3D t ar) Int32 V3I

IsTextureSize * * * (SamplerCube t ar) Int32 V2I

IsTextureSize * * * (Sampler1DArray t ar) Int32 V2I

IsTextureSize * * * (Sampler2DArray t ar) Int32 V3I

IsTextureSize * * * (Sampler2DRect t ar) () V2I

IsTextureSize * * * (Sampler2DMS t ar) () V2I

IsTextureSize * * * (Sampler2DMSArray t ar) () V3I

IsTextureSize * * * (SamplerBuffer t ar) () Int32

IsTexelFetch * * * (Sampler1D t ar) Int32 Int32

IsTexelFetch * * * (Sampler2D t ar) V2I Int32

IsTexelFetch * * * (Sampler3D t ar) V3I Int32

IsTexelFetch * * * (Sampler1DArray t ar) V2I Int32

IsTexelFetch * * * (Sampler2DArray t ar) V3I Int32

IsTexelFetch * * * (Sampler2DRect t ar) V2I ()

IsTexelFetch * * * (Sampler2DMS t ar) V2I Int32

IsTexelFetch * * * (Sampler2DMSArray t ar) V3I Int32

IsTexelFetch * * * (SamplerBuffer t ar) Int32 ()

IsMatVecScalar * * (V2 Int32) Int32

IsMatVecScalar * * (V3 Int32) Int32

IsMatVecScalar * * (V4 Int32) Int32

IsMatVec * * (V2 Int32) Int32

IsMatVec * * (V3 Int32) Int32

IsMatVec * * (V4 Int32) Int32

MArray (STUArray s) Int32 (ST s)

type EltRepr Int32 = ((), Int32)

type EltRepr V2I = ((), V2I)

type EltRepr V3I = ((), V3I)

type EltRepr V4I = ((), V4I)

type EltRepr' Int32 = Int32

type EltRepr' V2I = V2I

type EltRepr' V3I = V3I

type EltRepr' V4I = V4I

data Vector Int32 = V_Int32 (Vector Int32)

data MVector s Int32 = MV_Int32 (MVector s Int32)

data Word32 :: *

32-bit unsigned integer type

Instances

Bounded Word32

Enum Word32

Eq Word32

Integral Word32

Num Word32

Ord Word32

Read Word32

Real Word32

Show Word32

Ix Word32

Storable Word32

Bits Word32

FiniteBits Word32

Binary Word32

PixelComponent Word32

SpecialConstant Word32

IsNum Word32

IsScalar Word32

IsScalar V2U

IsScalar V3U

IsScalar V4U

GPU Word32

GPU V2U

GPU V3U

GPU V4U

SGPU Word32

SGPU V2U

SGPU V3U

SGPU V4U

Prim Word32

Unbox Word32

IArray UArray Word32

IsComponent * Word32

IsNumComponent * Word32

IsIntegral * Word32

Vector Vector Word32

MVector MVector Word32

IsMatVecScalar * * Word32 Word32

IsVecScalar * * 1 Word32 Word32

IsVec * * 2 (V2 Word32) Word32

IsVec * * 3 (V3 Word32) Word32

IsVec * * 4 (V4 Word32) Word32

IsVecScalar * * 2 (V2 Word32) Word32

IsVecScalar * * 3 (V3 Word32) Word32

IsVecScalar * * 4 (V4 Word32) Word32

IsMatVecScalar * * (V2 Word32) Word32

IsMatVecScalar * * (V3 Word32) Word32

IsMatVecScalar * * (V4 Word32) Word32

IsMatVec * * (V2 Word32) Word32

IsMatVec * * (V3 Word32) Word32

IsMatVec * * (V4 Word32) Word32

MArray (STUArray s) Word32 (ST s)

(GPU a, IsIntegral k t, IsVecScalar * k d a t) => OperatorShift (Exp stage a) (Exp stage Word32)

type EltRepr Word32 = ((), Word32)

type EltRepr V2U = ((), V2U)

type EltRepr V3U = ((), V3U)

type EltRepr V4U = ((), V4U)

type EltRepr' Word32 = Word32

type EltRepr' V2U = V2U

type EltRepr' V3U = V3U

type EltRepr' V4U = V4U

data Vector Word32 = V_Word32 (Vector Word32)

data MVector s Word32 = MV_Word32 (MVector s Word32)

uniformBool :: ByteString -> Trie InputSetter -> SetterFun Bool

uniformV2B :: ByteString -> Trie InputSetter -> SetterFun V2B

uniformV3B :: ByteString -> Trie InputSetter -> SetterFun V3B

uniformV4B :: ByteString -> Trie InputSetter -> SetterFun V4B

uniformWord :: ByteString -> Trie InputSetter -> SetterFun Word32

uniformV2U :: ByteString -> Trie InputSetter -> SetterFun V2U

uniformV3U :: ByteString -> Trie InputSetter -> SetterFun V3U

uniformV4U :: ByteString -> Trie InputSetter -> SetterFun V4U

uniformInt :: ByteString -> Trie InputSetter -> SetterFun Int32

uniformV2I :: ByteString -> Trie InputSetter -> SetterFun V2I

uniformV3I :: ByteString -> Trie InputSetter -> SetterFun V3I

uniformV4I :: ByteString -> Trie InputSetter -> SetterFun V4I

uniformFloat :: ByteString -> Trie InputSetter -> SetterFun Float

uniformV2F :: ByteString -> Trie InputSetter -> SetterFun V2F

uniformV3F :: ByteString -> Trie InputSetter -> SetterFun V3F

uniformV4F :: ByteString -> Trie InputSetter -> SetterFun V4F

uniformM22F :: ByteString -> Trie InputSetter -> SetterFun M22F

uniformM23F :: ByteString -> Trie InputSetter -> SetterFun M23F

uniformM24F :: ByteString -> Trie InputSetter -> SetterFun M24F

uniformM32F :: ByteString -> Trie InputSetter -> SetterFun M32F

uniformM33F :: ByteString -> Trie InputSetter -> SetterFun M33F

uniformM34F :: ByteString -> Trie InputSetter -> SetterFun M34F

uniformM42F :: ByteString -> Trie InputSetter -> SetterFun M42F

uniformM43F :: ByteString -> Trie InputSetter -> SetterFun M43F

uniformM44F :: ByteString -> Trie InputSetter -> SetterFun M44F

uniformFTexture2D :: ByteString -> Trie InputSetter -> SetterFun TextureData

data Buffer

Instances

Eq Buffer

Show Buffer

compileBuffer :: [Array] -> IO Buffer

updateBuffer :: Buffer -> [(Int, Array)] -> IO ()

bufferSize :: Buffer -> Int

arraySize :: Buffer -> Int -> Int

arrayType :: Buffer -> Int -> ArrayType

data Renderer

compileRenderer :: GPOutput SingleOutput -> IO Renderer

compileRendererFromCore :: N -> IO Renderer

slotUniform :: Renderer -> Trie (Trie InputType)

slotStream :: Renderer -> Trie (FetchPrimitive, Trie InputType)

uniformSetter :: Renderer -> Trie InputSetter

render :: Renderer -> IO ()

dispose :: Renderer -> IO ()

setScreenSize :: Renderer -> Word -> Word -> IO ()

samplerOutput :: Renderer -> Trie TextureData

data Object

Instances

Eq Object

Ord Object

addObject :: Renderer -> ByteString -> Primitive -> Maybe (IndexStream Buffer) -> Trie (Stream Buffer) -> [ByteString] -> IO Object

removeObject :: Renderer -> Object -> IO ()

objectUniformSetter :: Object -> Trie InputSetter

enableObject :: Object -> Bool -> IO ()

compileTexture2DRGBAF :: Bool -> Bool -> Bitmap Word8 -> IO TextureData

updateTexture2DRGBAF :: TextureData -> Bool -> Bitmap Word8 -> IO ()

data V2 a :: * -> *

Constructors

V2 !a !a

Instances

IdentityMatrix M22F

PkgVec V2

IsScalar M22F

IsScalar M23F

IsScalar M24F

IsScalar M32F

IsScalar M42F

IsScalar V2F

IsScalar V2I

IsScalar V2U

IsScalar V2B

GPU M22F

GPU M23F

GPU M24F

GPU M32F

GPU M42F

GPU V2F

GPU V2I

GPU V2U

GPU V2B

SGPU M22F

SGPU M23F

SGPU M24F

SGPU M32F

SGPU M42F

SGPU V2F

SGPU V2I

SGPU V2U

IsComponent * V2F

IsNumComponent * V2F

IsFloating * M22F

IsFloating * M23F

IsFloating * M24F

IsFloating * M32F

IsFloating * M42F

IsFloating * V2F

IsMatVecScalar * * M22F Float

IsMatVecScalar * * M23F Float

IsMatVecScalar * * M24F Float

IsMatVecScalar * * M32F Float

IsMatVecScalar * * M42F Float

IsMatVec * * M22F Float

IsMatVec * * M23F Float

IsMatVec * * M24F Float

IsMatVec * * M32F Float

IsMatVec * * M42F Float

IsMat * * * M22F V2F V2F

IsMat * * * M23F V2F V3F

IsMat * * * M24F V2F V4F

IsMat * * * M32F V3F V2F

IsMat * * * M42F V4F V2F

IsTextureSize * * * Sampler2DShadow Int32 V2I

IsTextureSize * * * SamplerCubeShadow Int32 V2I

IsTextureSize * * * Sampler1DArrayShadow Int32 V2I

IsTextureSize * * * Sampler2DRectShadow () V2I

IsTextureOffset * * * * Sampler2DShadow V3F V2I Float

IsTextureOffset * * * * Sampler2DRectShadow V3F V2I ()

IsTextureProjOffset * * * * Sampler2DShadow V4F V2I Float

IsTextureProjOffset * * * * Sampler2DRectShadow V4F V2I Float

IsTextureLodOffset * * * * Sampler2DShadow V3F Float V2I

IsTextureProjLodOffset * * * * Sampler2DShadow V4F Float V2F

IsTextureGrad * * * * Sampler2DShadow V3F V2F V2F

IsTextureGrad * * * * Sampler2DArrayShadow V4F V2F V2F

IsTextureGrad * * * * Sampler2DRectShadow V3F V2F V2F

IsTextureProjGrad * * * * Sampler2DShadow V4F V2F V2F

IsTextureProjGrad * * * * Sampler2DRectShadow V4F V2F V2F

IsTextureGradOffset * * * * * Sampler2DShadow V3F V2F V2F V2I

IsTextureGradOffset * * * * * Sampler2DArrayShadow V4F V2F V2F V2I

IsTextureGradOffset * * * * * Sampler2DRectShadow V3F V2F V2F V2I

IsTextureProjGradOffset * * * * * Sampler2DShadow V4F V2F V2F V2I

IsTextureProjGradOffset * * * * * Sampler2DRectShadow V4F V2F V2F V2I

IsTextureGradOffset * * * * * (Sampler2D t ar) V2F V2F V2F V2I

IsTextureGradOffset * * * * * (Sampler1DArray t ar) V2F Float Float Int32

IsTextureGradOffset * * * * * (Sampler2DArray t ar) V3F V2F V2F V2I

IsTextureGradOffset * * * * * (Sampler2DRect t ar) V2F V2F V2F V2I

IsTextureProjGradOffset * * * * * (Sampler1D t ar) V2F Float Float Int32

IsTextureProjGradOffset * * * * * (Sampler2D t ar) V4F V2F V2F V2I

IsTextureProjGradOffset * * * * * (Sampler2D t ar) V3F V2F V2F V2I

IsTextureProjGradOffset * * * * * (Sampler2DRect t ar) V4F V2F V2F V2I

IsTextureProjGradOffset * * * * * (Sampler2DRect t ar) V3F V2F V2F V2I

IsTextureOffset * * * * (Sampler2D t ar) V2F V2I Float

IsTextureOffset * * * * (Sampler1DArray t ar) V2F Int32 Float

IsTextureOffset * * * * (Sampler2DArray t ar) V3F V2I Float

IsTextureOffset * * * * (Sampler2DRect t ar) V2F V2I ()

IsTexelFetchOffset * * * * (Sampler2D t ar) V2I Int32 V2I

IsTexelFetchOffset * * * * (Sampler1DArray t ar) V2I Int32 Int32

IsTexelFetchOffset * * * * (Sampler2DArray t ar) V3I Int32 V2I

IsTexelFetchOffset * * * * (Sampler2DRect t ar) V2I () V2I

IsTextureProjOffset * * * * (Sampler1D t ar) V2F Int32 Float

IsTextureProjOffset * * * * (Sampler2D t ar) V4F V2I Float

IsTextureProjOffset * * * * (Sampler2D t ar) V3F V2I Float

IsTextureProjOffset * * * * (Sampler2DRect t ar) V4F V2I ()

IsTextureProjOffset * * * * (Sampler2DRect t ar) V3F V2I ()

IsTextureLodOffset * * * * (Sampler2D t ar) V2F Float V2I

IsTextureLodOffset * * * * (Sampler1DArray t ar) V2F Float Int32

IsTextureLodOffset * * * * (Sampler2DArray t ar) V3F Float V2I

IsTextureProjLodOffset * * * * (Sampler1D t ar) V2F Float Int32

IsTextureProjLodOffset * * * * (Sampler2D t ar) V4F Float V2I

IsTextureProjLodOffset * * * * (Sampler2D t ar) V3F Float V2I

IsTextureGrad * * * * (Sampler2D t ar) V2F V2F V2F

IsTextureGrad * * * * (Sampler1DArray t ar) V2F Float Float

IsTextureGrad * * * * (Sampler2DArray t ar) V3F V2F V2F

IsTextureGrad * * * * (Sampler2DRect t ar) V2F V2F V2F

IsTextureProjGrad * * * * (Sampler1D t ar) V2F Float Float

IsTextureProjGrad * * * * (Sampler2D t ar) V4F V2F V2F

IsTextureProjGrad * * * * (Sampler2D t ar) V3F V2F V2F

IsTextureProjGrad * * * * (Sampler2DRect t ar) V4F V2F V2F

IsTextureProjGrad * * * * (Sampler2DRect t ar) V3F V2F V2F

IsVec * * 2 (V2 Bool) Bool

IsVec * * 2 (V2 Float) Float

IsVec * * 2 (V2 Int32) Int32

IsVec * * 2 (V2 Word32) Word32

IsVecScalar * * 2 (V2 Bool) Bool

IsVecScalar * * 2 (V2 Float) Float

IsVecScalar * * 2 (V2 Int32) Int32

IsVecScalar * * 2 (V2 Word32) Word32

IsTextureSize * * * (Sampler2D t ar) Int32 V2I

IsTextureSize * * * (SamplerCube t ar) Int32 V2I

IsTextureSize * * * (Sampler1DArray t ar) Int32 V2I

IsTextureSize * * * (Sampler2DRect t ar) () V2I

IsTextureSize * * * (Sampler2DMS t ar) () V2I

IsTexture * * * (Sampler2D t ar) V2F Float

IsTexture * * * (Sampler1DArray t ar) V2F Float

IsTexture * * * (Sampler2DRect t ar) V2F ()

IsTextureProj * * * (Sampler1D t ar) V2F Float

IsTextureLod * * * (Sampler2D t ar) V2F Float

IsTextureLod * * * (Sampler1DArray t ar) V2F Float

IsTexelFetch * * * (Sampler2D t ar) V2I Int32

IsTexelFetch * * * (Sampler1DArray t ar) V2I Int32

IsTexelFetch * * * (Sampler2DRect t ar) V2I ()

IsTexelFetch * * * (Sampler2DMS t ar) V2I Int32

IsTextureProjLod * * * (Sampler1D t ar) V2F Float

IsMatVecScalar * * (V2 Bool) Bool

IsMatVecScalar * * (V2 Float) Float

IsMatVecScalar * * (V2 Int32) Int32

IsMatVecScalar * * (V2 Word32) Word32

IsMatVec * * (V2 Bool) Bool

IsMatVec * * (V2 Float) Float

IsMatVec * * (V2 Int32) Int32

IsMatVec * * (V2 Word32) Word32

Eq a => Eq (V2 a)

Ord a => Ord (V2 a)

Read a => Read (V2 a)

Show a => Show (V2 a)

SpecialConstant a => SpecialConstant (V2 a)

(GPU (V2 t), IsNumComponent * t, IsMatVec * * (V2 t) c, IsNum c) => OperatorArithmetic (Exp stage (V2 t)) (Exp stage (V2 t))

(GPU c, GPU (V2 t), IsNumComponent * t, IsMatVecScalar * * (V2 t) c, IsNum c) => OperatorArithmetic (Exp stage (V2 t)) (Exp stage c)

BuiltinStep (Exp stage V2F) (Exp stage V2F)

type EltRepr M22F = ((), M22F)

type EltRepr M23F = ((), M23F)

type EltRepr M24F = ((), M24F)

type EltRepr M32F = ((), M32F)

type EltRepr M42F = ((), M42F)

type EltRepr V2F = ((), V2F)

type EltRepr V2I = ((), V2I)

type EltRepr V2U = ((), V2U)

type EltRepr V2B = ((), V2B)

type EltRepr' M22F = M22F

type EltRepr' M23F = M23F

type EltRepr' M24F = M24F

type EltRepr' M32F = M32F

type EltRepr' M42F = M42F

type EltRepr' V2F = V2F

type EltRepr' V2I = V2I

type EltRepr' V2U = V2U

type EltRepr' V2B = V2B

data V3 a :: * -> *

Constructors

V3 !a !a !a

Instances

IdentityMatrix M33F

PkgVec V3

IsScalar M23F

IsScalar M32F

IsScalar M33F

IsScalar M34F

IsScalar M43F

IsScalar V3F

IsScalar V3I

IsScalar V3U

IsScalar V3B

GPU M23F

GPU M32F

GPU M33F

GPU M34F

GPU M43F

GPU V3F

GPU V3I

GPU V3U

GPU V3B

SGPU M23F

SGPU M32F

SGPU M33F

SGPU M34F

SGPU M43F

SGPU V3F

SGPU V3I

SGPU V3U

IsComponent * V3F

IsNumComponent * V3F

IsFloating * M23F

IsFloating * M32F

IsFloating * M33F

IsFloating * M34F

IsFloating * M43F

IsFloating * V3F

IsMatVecScalar * * M23F Float

IsMatVecScalar * * M32F Float

IsMatVecScalar * * M33F Float

IsMatVecScalar * * M34F Float

IsMatVecScalar * * M43F Float

IsMatVec * * M23F Float

IsMatVec * * M32F Float

IsMatVec * * M33F Float

IsMatVec * * M34F Float

IsMatVec * * M43F Float

IsMat * * * M23F V2F V3F

IsMat * * * M32F V3F V2F

IsMat * * * M33F V3F V3F

IsMat * * * M34F V3F V4F

IsMat * * * M43F V4F V3F

IsTextureSize * * * Sampler2DArrayShadow Int32 V3I

IsTexture * * * Sampler1DShadow V3F Float

IsTexture * * * Sampler2DShadow V3F Float

IsTexture * * * Sampler1DArrayShadow V3F Float

IsTexture * * * Sampler2DRectShadow V3F ()

IsTextureLod * * * Sampler1DShadow V3F Float

IsTextureLod * * * Sampler2DShadow V3F Float

IsTextureLod * * * Sampler1DArrayShadow V3F Float

IsTextureOffset * * * * Sampler1DShadow V3F Int32 Float

IsTextureOffset * * * * Sampler2DShadow V3F V2I Float

IsTextureOffset * * * * Sampler1DArrayShadow V3F Int32 Float

IsTextureOffset * * * * Sampler2DRectShadow V3F V2I ()

IsTextureLodOffset * * * * Sampler1DShadow V3F Float Int32

IsTextureLodOffset * * * * Sampler2DShadow V3F Float V2I

IsTextureLodOffset * * * * Sampler1DArrayShadow V3F Float Int32

IsTextureGrad * * * * Sampler1DShadow V3F Float Float

IsTextureGrad * * * * Sampler2DShadow V3F V2F V2F

IsTextureGrad * * * * SamplerCubeShadow V4F V3F V3F

IsTextureGrad * * * * Sampler1DArrayShadow V3F Float Float

IsTextureGrad * * * * Sampler2DRectShadow V3F V2F V2F

IsTextureGradOffset * * * * * Sampler1DShadow V3F Float Float Int32

IsTextureGradOffset * * * * * Sampler2DShadow V3F V2F V2F V2I

IsTextureGradOffset * * * * * Sampler1DArrayShadow V3F Float Float Int32

IsTextureGradOffset * * * * * Sampler2DRectShadow V3F V2F V2F V2I

IsTextureGradOffset * * * * * (Sampler3D t ar) V3F V3F V3F V3I

IsTextureGradOffset * * * * * (Sampler2DArray t ar) V3F V2F V2F V2I

IsTextureProjGradOffset * * * * * (Sampler2D t ar) V3F V2F V2F V2I

IsTextureProjGradOffset * * * * * (Sampler3D t ar) V4F V3F V3F V3I

IsTextureProjGradOffset * * * * * (Sampler2DRect t ar) V3F V2F V2F V2I

IsTextureOffset * * * * (Sampler3D t ar) V3F V3I Float

IsTextureOffset * * * * (Sampler2DArray t ar) V3F V2I Float

IsTexelFetchOffset * * * * (Sampler3D t ar) V3I Int32 V3I

IsTexelFetchOffset * * * * (Sampler2DArray t ar) V3I Int32 V2I

IsTextureProjOffset * * * * (Sampler2D t ar) V3F V2I Float

IsTextureProjOffset * * * * (Sampler3D t ar) V4F V3I Float

IsTextureProjOffset * * * * (Sampler2DRect t ar) V3F V2I ()

IsTextureLodOffset * * * * (Sampler3D t ar) V3F Float V3I

IsTextureLodOffset * * * * (Sampler2DArray t ar) V3F Float V2I

IsTextureProjLodOffset * * * * (Sampler2D t ar) V3F Float V2I

IsTextureProjLodOffset * * * * (Sampler3D t ar) V4F Float V3I

IsTextureGrad * * * * (Sampler3D t ar) V3F V3F V3F

IsTextureGrad * * * * (SamplerCube t ar) V3F V3F V3F

IsTextureGrad * * * * (Sampler2DArray t ar) V3F V2F V2F

IsTextureProjGrad * * * * (Sampler2D t ar) V3F V2F V2F

IsTextureProjGrad * * * * (Sampler3D t ar) V4F V3F V3F

IsTextureProjGrad * * * * (Sampler2DRect t ar) V3F V2F V2F

IsVec * * 3 (V3 Bool) Bool

IsVec * * 3 (V3 Float) Float

IsVec * * 3 (V3 Int32) Int32

IsVec * * 3 (V3 Word32) Word32

IsVecScalar * * 3 (V3 Bool) Bool

IsVecScalar * * 3 (V3 Float) Float

IsVecScalar * * 3 (V3 Int32) Int32

IsVecScalar * * 3 (V3 Word32) Word32

IsTextureSize * * * (Sampler3D t ar) Int32 V3I

IsTextureSize * * * (Sampler2DArray t ar) Int32 V3I

IsTextureSize * * * (Sampler2DMSArray t ar) () V3I

IsTexture * * * (Sampler3D t ar) V3F Float

IsTexture * * * (SamplerCube t ar) V3F Float

IsTexture * * * (Sampler2DArray t ar) V3F Float

IsTextureProj * * * (Sampler2D t ar) V3F Float

IsTextureProj * * * (Sampler2DRect t ar) V3F ()

IsTextureLod * * * (Sampler3D t ar) V3F Float

IsTextureLod * * * (SamplerCube t ar) V3F Float

IsTextureLod * * * (Sampler2DArray t ar) V3F Float

IsTexelFetch * * * (Sampler3D t ar) V3I Int32

IsTexelFetch * * * (Sampler2DArray t ar) V3I Int32

IsTexelFetch * * * (Sampler2DMSArray t ar) V3I Int32

IsTextureProjLod * * * (Sampler2D t ar) V3F Float

IsMatVecScalar * * (V3 Bool) Bool

IsMatVecScalar * * (V3 Float) Float

IsMatVecScalar * * (V3 Int32) Int32

IsMatVecScalar * * (V3 Word32) Word32

IsMatVec * * (V3 Bool) Bool

IsMatVec * * (V3 Float) Float

IsMatVec * * (V3 Int32) Int32

IsMatVec * * (V3 Word32) Word32

Eq a => Eq (V3 a)

Ord a => Ord (V3 a)

Read a => Read (V3 a)

Show a => Show (V3 a)

SpecialConstant a => SpecialConstant (V3 a)

(GPU (V3 t), IsNumComponent * t, IsMatVec * * (V3 t) c, IsNum c) => OperatorArithmetic (Exp stage (V3 t)) (Exp stage (V3 t))

(GPU c, GPU (V3 t), IsNumComponent * t, IsMatVecScalar * * (V3 t) c, IsNum c) => OperatorArithmetic (Exp stage (V3 t)) (Exp stage c)

BuiltinStep (Exp stage V3F) (Exp stage V3F)

type EltRepr M23F = ((), M23F)

type EltRepr M32F = ((), M32F)

type EltRepr M33F = ((), M33F)

type EltRepr M34F = ((), M34F)

type EltRepr M43F = ((), M43F)

type EltRepr V3F = ((), V3F)

type EltRepr V3I = ((), V3I)

type EltRepr V3U = ((), V3U)

type EltRepr V3B = ((), V3B)

type EltRepr' M23F = M23F

type EltRepr' M32F = M32F

type EltRepr' M33F = M33F

type EltRepr' M34F = M34F

type EltRepr' M43F = M43F

type EltRepr' V3F = V3F

type EltRepr' V3I = V3I

type EltRepr' V3U = V3U

type EltRepr' V3B = V3B

data V4 a :: * -> *

Constructors

V4 !a !a !a !a

Instances

IdentityMatrix M44F

PkgVec V4

IsScalar M24F

IsScalar M34F

IsScalar M42F

IsScalar M43F

IsScalar M44F

IsScalar V4F

IsScalar V4I

IsScalar V4U

IsScalar V4B

GPU M24F

GPU M34F

GPU M42F

GPU M43F

GPU M44F

GPU V4F

GPU V4I

GPU V4U

GPU V4B

SGPU M24F

SGPU M34F

SGPU M42F

SGPU M43F

SGPU M44F

SGPU V4F

SGPU V4I

SGPU V4U

IsComponent * V4F

IsNumComponent * V4F

IsFloating * M24F

IsFloating * M34F

IsFloating * M42F

IsFloating * M43F

IsFloating * M44F

IsFloating * V4F

IsMatVecScalar * * M24F Float

IsMatVecScalar * * M34F Float

IsMatVecScalar * * M42F Float

IsMatVecScalar * * M43F Float

IsMatVecScalar * * M44F Float

IsMatVec * * M24F Float

IsMatVec * * M34F Float

IsMatVec * * M42F Float

IsMatVec * * M43F Float

IsMatVec * * M44F Float

IsMat * * * M24F V2F V4F

IsMat * * * M34F V3F V4F

IsMat * * * M42F V4F V2F

IsMat * * * M43F V4F V3F

IsMat * * * M44F V4F V4F

IsTexture * * * SamplerCubeShadow V4F Float

IsTexture * * * Sampler2DArrayShadow V4F ()

IsTextureProj * * * Sampler1DShadow V4F Float

IsTextureProj * * * Sampler2DShadow V4F Float

IsTextureProj * * * Sampler2DRectShadow V4F ()

IsTextureProjLod * * * Sampler1DShadow V4F Float

IsTextureProjLod * * * Sampler2DShadow V4F Float

IsTextureProjOffset * * * * Sampler1DShadow V4F Int32 Float

IsTextureProjOffset * * * * Sampler2DShadow V4F V2I Float

IsTextureProjOffset * * * * Sampler2DRectShadow V4F V2I Float

IsTextureProjLodOffset * * * * Sampler1DShadow V4F Float Int32

IsTextureProjLodOffset * * * * Sampler2DShadow V4F Float V2F

IsTextureGrad * * * * SamplerCubeShadow V4F V3F V3F

IsTextureGrad * * * * Sampler2DArrayShadow V4F V2F V2F

IsTextureProjGrad * * * * Sampler1DShadow V4F Float Float

IsTextureProjGrad * * * * Sampler2DShadow V4F V2F V2F

IsTextureProjGrad * * * * Sampler2DRectShadow V4F V2F V2F

IsTextureGradOffset * * * * * Sampler2DArrayShadow V4F V2F V2F V2I

IsTextureProjGradOffset * * * * * Sampler1DShadow V4F Float Float Int32

IsTextureProjGradOffset * * * * * Sampler2DShadow V4F V2F V2F V2I

IsTextureProjGradOffset * * * * * Sampler2DRectShadow V4F V2F V2F V2I

IsTextureProjGradOffset * * * * * (Sampler1D t ar) V4F Float Float Int32

IsTextureProjGradOffset * * * * * (Sampler2D t ar) V4F V2F V2F V2I

IsTextureProjGradOffset * * * * * (Sampler3D t ar) V4F V3F V3F V3I

IsTextureProjGradOffset * * * * * (Sampler2DRect t ar) V4F V2F V2F V2I

IsTextureProjOffset * * * * (Sampler1D t ar) V4F Int32 Float

IsTextureProjOffset * * * * (Sampler2D t ar) V4F V2I Float

IsTextureProjOffset * * * * (Sampler3D t ar) V4F V3I Float

IsTextureProjOffset * * * * (Sampler2DRect t ar) V4F V2I ()

IsTextureProjLodOffset * * * * (Sampler1D t ar) V4F Float Int32

IsTextureProjLodOffset * * * * (Sampler2D t ar) V4F Float V2I

IsTextureProjLodOffset * * * * (Sampler3D t ar) V4F Float V3I

IsTextureProjGrad * * * * (Sampler1D t ar) V4F Float Float

IsTextureProjGrad * * * * (Sampler2D t ar) V4F V2F V2F

IsTextureProjGrad * * * * (Sampler3D t ar) V4F V3F V3F

IsTextureProjGrad * * * * (Sampler2DRect t ar) V4F V2F V2F

IsVec * * 4 (V4 Bool) Bool

IsVec * * 4 (V4 Float) Float

IsVec * * 4 (V4 Int32) Int32

IsVec * * 4 (V4 Word32) Word32

IsVecScalar * * 4 (V4 Bool) Bool

IsVecScalar * * 4 (V4 Float) Float

IsVecScalar * * 4 (V4 Int32) Int32

IsVecScalar * * 4 (V4 Word32) Word32

IsTextureProj * * * (Sampler1D t ar) V4F Float

IsTextureProj * * * (Sampler2D t ar) V4F Float

IsTextureProj * * * (Sampler3D t ar) V4F Float

IsTextureProj * * * (Sampler2DRect t ar) V4F ()

IsTextureProjLod * * * (Sampler1D t ar) V4F Float

IsTextureProjLod * * * (Sampler2D t ar) V4F Float

IsTextureProjLod * * * (Sampler3D t ar) V4F Float

IsMatVecScalar * * (V4 Bool) Bool

IsMatVecScalar * * (V4 Float) Float

IsMatVecScalar * * (V4 Int32) Int32

IsMatVecScalar * * (V4 Word32) Word32

IsMatVec * * (V4 Bool) Bool

IsMatVec * * (V4 Float) Float

IsMatVec * * (V4 Int32) Int32

IsMatVec * * (V4 Word32) Word32

Eq a => Eq (V4 a)

Ord a => Ord (V4 a)

Read a => Read (V4 a)

Show a => Show (V4 a)

SpecialConstant a => SpecialConstant (V4 a)

(GPU (V4 t), IsNumComponent * t, IsMatVec * * (V4 t) c, IsNum c) => OperatorArithmetic (Exp stage (V4 t)) (Exp stage (V4 t))

(GPU c, GPU (V4 t), IsNumComponent * t, IsMatVecScalar * * (V4 t) c, IsNum c) => OperatorArithmetic (Exp stage (V4 t)) (Exp stage c)

BuiltinStep (Exp stage V4F) (Exp stage V4F)

type EltRepr M24F = ((), M24F)

type EltRepr M34F = ((), M34F)

type EltRepr M42F = ((), M42F)

type EltRepr M43F = ((), M43F)

type EltRepr M44F = ((), M44F)

type EltRepr V4F = ((), V4F)

type EltRepr V4I = ((), V4I)

type EltRepr V4U = ((), V4U)

type EltRepr V4B = ((), V4B)

type EltRepr' M24F = M24F

type EltRepr' M34F = M34F

type EltRepr' M42F = M42F

type EltRepr' M43F = M43F

type EltRepr' M44F = M44F

type EltRepr' V4F = V4F

type EltRepr' V4I = V4I

type EltRepr' V4U = V4U

type EltRepr' V4B = V4B

type M22F = V2 V2F

type M23F = V3 V2F

type M24F = V4 V2F

type M32F = V2 V3F

type M33F = V3 V3F

type M34F = V4 V3F

type M42F = V2 V4F

type M43F = V3 V4F

type M44F = V4 V4F

type V2F = V2 Float

type V3F = V3 Float

type V4F = V4 Float

type V2I = V2 Int32

type V3I = V3 Int32

type V4I = V4 Int32

type V2U = V2 Word32

type V3U = V3 Word32

type V4U = V4 Word32

type V2B = V2 Bool

type V3B = V3 Bool

type V4B = V4 Bool

data PointSpriteCoordOrigin :: *

Constructors

LowerLeft

UpperLeft

Instances

Eq PointSpriteCoordOrigin

Ord PointSpriteCoordOrigin

Read PointSpriteCoordOrigin

Show PointSpriteCoordOrigin

data PointSize :: *

Constructors

PointSize Float

ProgramPointSize

Instances

Eq PointSize

Ord PointSize

Read PointSize

Show PointSize

data PolygonOffset :: *

Constructors

NoOffset

Offset Float Float

Instances

Eq PolygonOffset

Ord PolygonOffset

Read PolygonOffset

Show PolygonOffset

data FrontFace :: *

Constructors

CCW

CW

Instances

Eq FrontFace

Ord FrontFace

Read FrontFace

Show FrontFace

data PolygonMode :: *

Constructors

PolygonPoint PointSize

PolygonLine Float

PolygonFill

Instances

Eq PolygonMode

Ord PolygonMode

Read PolygonMode

Show PolygonMode

data ProvokingVertex :: *

Constructors

FirstVertex

LastVertex

Instances

Bounded ProvokingVertex

Enum ProvokingVertex

Eq ProvokingVertex

Ord ProvokingVertex

Read ProvokingVertex

Show ProvokingVertex

data CullMode :: *

Constructors

CullNone

CullFront FrontFace

CullBack FrontFace

Instances

Eq CullMode

Ord CullMode

Read CullMode

Show CullMode

type DepthFunction = ComparisonFunction

data ComparisonFunction :: *

Constructors

Never

Less

Equal

Lequal

Greater

Notequal

Gequal

Always

Instances

Eq ComparisonFunction

Ord ComparisonFunction

Read ComparisonFunction

Show ComparisonFunction

data StencilOperation :: *

Constructors

OpZero

OpKeep

OpReplace

OpIncr

OpIncrWrap

OpDecr

OpDecrWrap

OpInvert

Instances

Eq StencilOperation

Ord StencilOperation

Read StencilOperation

Show StencilOperation

data BlendEquation :: *

Constructors

FuncAdd

FuncSubtract

FuncReverseSubtract

Min

Max

Instances

Eq BlendEquation

Ord BlendEquation

Read BlendEquation

Show BlendEquation

data BlendingFactor :: *

Constructors

Zero

One

SrcColor

OneMinusSrcColor

DstColor

OneMinusDstColor

SrcAlpha

OneMinusSrcAlpha

DstAlpha

OneMinusDstAlpha

ConstantColor

OneMinusConstantColor

ConstantAlpha

OneMinusConstantAlpha

SrcAlphaSaturate

Instances

Eq BlendingFactor

Ord BlendingFactor

Read BlendingFactor

Show BlendingFactor

data LogicOperation :: *

Constructors

Clear

And

AndReverse

Copy

AndInverted

Noop

Xor

Or

Nor

Equiv

Invert

OrReverse

CopyInverted

OrInverted

Nand

Set

Instances

Eq LogicOperation

Ord LogicOperation

Read LogicOperation

Show LogicOperation

data StencilOps :: *

Constructors

StencilOps

Fields

frontStencilOp :: StencilOperation

Used for front faced triangles and other primitives.

backStencilOp :: StencilOperation

Used for back faced triangles.

Instances

Eq StencilOps

Ord StencilOps

Read StencilOps

Show StencilOps

data StencilTests :: *

Constructors

StencilTests StencilTest StencilTest

Instances

Eq StencilTests

Ord StencilTests

Read StencilTests

Show StencilTests

data StencilTest :: *

Constructors

StencilTest

Fields

stencilComparision :: ComparisonFunction

The function used to compare the stencilReference and the stencil buffers value with.

stencilReference :: Int32

The value to compare with the stencil buffer's value.

stencilMask :: Word32

A bit mask with ones in each position that should be compared and written to the stencil buffer.

Instances

Eq StencilTest

Ord StencilTest

Read StencilTest

Show StencilTest

data Filter :: *

Constructors

PointFilter

LinearFilter

Instances

Eq Filter

Ord Filter

Read Filter

Show Filter

data EdgeMode :: *

Constructors

Repeat

MirroredRepeat

ClampToEdge

ClampToBorder

Instances

Eq EdgeMode

Ord EdgeMode

Read EdgeMode

Show EdgeMode

type InputSetter = Input Setter

type BufferSetter = (Ptr () -> IO ()) -> IO ()

data ArrayType

Constructors

ArrWord8

ArrWord16

ArrWord32

ArrInt8

ArrInt16

ArrInt32

ArrFloat

ArrHalf

Instances

Eq ArrayType

Ord ArrayType

Read ArrayType

Show ArrayType

data Array

Constructors

Array ArrayType Int BufferSetter

data Primitive

Constructors

TriangleStrip

TriangleList

TriangleFan

LineStrip

LineList

PointList

TriangleStripAdjacency

TriangleListAdjacency

LineStripAdjacency

LineListAdjacency

Instances

Bounded Primitive

Enum Primitive

Eq Primitive

Ord Primitive

Read Primitive

Show Primitive

data StreamType

Constructors

TWord

TV2U

TV3U

TV4U

TInt

TV2I

TV3I

TV4I

TFloat

TV2F

TV3F

TV4F

TM22F

TM23F

TM24F

TM32F

TM33F

TM34F

TM42F

TM43F

TM44F

Instances

Eq StreamType

Ord StreamType

Read StreamType

Show StreamType

data Stream b

Constructors

ConstWord Word32

ConstV2U V2U

ConstV3U V3U

ConstV4U V4U

ConstInt Int32

ConstV2I V2I

ConstV3I V3I

ConstV4I V4I

ConstFloat Float

ConstV2F V2F

ConstV3F V3F

ConstV4F V4F

ConstM22F M22F

ConstM23F M23F

ConstM24F M24F

ConstM32F M32F

ConstM33F M33F

ConstM34F M34F

ConstM42F M42F

ConstM43F M43F

ConstM44F M44F

Stream

Fields

streamType :: StreamType

streamBuffer :: b

streamArrIdx :: Int

streamStart :: Int

streamLength :: Int

data IndexStream b

Constructors

IndexStream

Fields

indexBuffer :: b

indexArrIdx :: Int

indexStart :: Int

indexLength :: Int

data TextureData

Constructors

TextureData

Fields

textureObject :: GLuint

Instances

Show TextureData

type SetterFun a = a -> IO ()