Safe Haskell	Safe
Language	Haskell2010

FWGL.Shader.Language.Types

Synopsis

Documentation

type MInt = Int Source

CPU integer, used in the shader compiler.

data Expr Source

An expression.

Constructors

Empty
Read String
Op1 String Expr
Op2 String Expr Expr
Apply String [Expr]
X Expr
Y Expr
Z Expr
W Expr
Literal String
Action Action
Dummy MInt
ArrayIndex Expr Expr
ContextVar MInt ContextVarType

Instances

Eq Expr Source
Hashable Expr Source

data Action Source

Expressions that are transformed to statements.

Constructors

Store String Expr
If Expr String Expr Expr
For MInt String Expr (Expr -> Expr -> (Expr, Expr))

Instances

Eq Action Source
Hashable Action Source

data ContextVarType Source

Constructors

LoopIteration
LoopValue

Instances

Eq ContextVarType Source

newtype Bool Source

A GPU boolean.

Constructors

Bool Expr

Instances

ShaderType Bool Source
ToFloat Bool Source
ToBool Bool Source
ToInt Bool Source
GLES => AttributeCPU Int32 Bool Source
GLES => UniformCPU Int32 Bool Source
(Typeable Nat n, GLES) => UniformCPU [Int32] (Array n Bool) Source

newtype Float Source

A GPU float.

Constructors

Float Expr

Instances

ShaderType Float Source
ToMat4 Float Source
ToMat3 Float Source
ToMat2 Float Source
ToBVec4 Float Source
ToBVec3 Float Source
ToBVec2 Float Source
ToIVec4 Float Source
ToIVec3 Float Source
ToIVec2 Float Source
ToVec4 Float Source
ToVec3 Float Source
ToVec2 Float Source
ToFloat Float Source
ToBool Float Source
ToInt Float Source
Num Float Source
GenType Float Source
Base Mat4 Float Source
Base Mat3 Float Source
Base Mat2 Float Source
Base Vec4 Float Source
Base Vec3 Float Source
Base Vec2 Float Source
Base Float Float Source
GLES => AttributeCPU Float Float Source
GLES => UniformCPU Float Float Source
Mul Float Float Mat4 Vec4 Vec4 Source
Mul Float Float Mat3 Vec3 Vec3 Source
Mul Float Float Mat2 Vec2 Vec2 Source
Mul Float Float Vec4 Mat4 Vec4 Source
Mul Float Float Vec3 Mat3 Vec3 Source
Mul Float Float Vec2 Mat2 Vec2 Source
Arithmetic Float Float Mat4 Mat4 Mat4 Source
Arithmetic Float Float Mat4 Float Mat4 Source
Arithmetic Float Float Mat3 Mat3 Mat3 Source
Arithmetic Float Float Mat3 Float Mat3 Source
Arithmetic Float Float Mat2 Mat2 Mat2 Source
Arithmetic Float Float Mat2 Float Mat2 Source
Arithmetic Float Float Vec4 Vec4 Vec4 Source
Arithmetic Float Float Vec4 Float Vec4 Source
Arithmetic Float Float Vec3 Vec3 Vec3 Source
Arithmetic Float Float Vec3 Float Vec3 Source
Arithmetic Float Float Vec2 Vec2 Vec2 Source
Arithmetic Float Float Vec2 Float Vec2 Source
Arithmetic Float Float Float Mat4 Mat4 Source
Arithmetic Float Float Float Mat3 Mat3 Source
Arithmetic Float Float Float Mat2 Mat2 Source
Arithmetic Float Float Float Vec4 Vec4 Source
Arithmetic Float Float Float Vec3 Vec3 Source
Arithmetic Float Float Float Vec2 Vec2 Source
Arithmetic Float Float Float Float Float Source
(Typeable Nat n, GLES) => UniformCPU [Float] (Array n Float) Source

newtype Int Source

A GPU integer.

Constructors

Int Expr

newtype Sampler2D Source

A GPU 2D texture handle.

Constructors

Sampler2D Expr

Instances

ShaderType Sampler2D Source
GLES => UniformCPU ActiveTexture Sampler2D Source

newtype SamplerCube Source

A GPU cube texture handler.

Constructors

SamplerCube Expr

Instances

ShaderType SamplerCube Source
GLES => UniformCPU ActiveTexture SamplerCube Source

newtype Unknown Source

The type of a generic expression.

Constructors

Unknown Expr

Instances

ShaderType Unknown Source

data Vec2 Source

A GPU 2D float vector. NB: This is a different type from Data.Vect.Float.Vec2.

Constructors

Vec2 Float Float

Instances

data Vec3 Source

A GPU 3D float vector.

Constructors

Vec3 Float Float Float

Instances

data Vec4 Source

A GPU 4D float vector.

Constructors

Vec4 Float Float Float Float

Instances

data IVec2 Source

A GPU 2D integer vector.

Constructors

IVec2 Int Int

Instances

data IVec3 Source

A GPU 3D integer vector.

Constructors

IVec3 Int Int Int

Instances

data IVec4 Source

A GPU 4D integer vector.

Constructors

IVec4 Int Int Int Int

Instances

data BVec2 Source

A GPU 2D boolean vector.

Constructors

BVec2 Bool Bool

Instances

ShaderType BVec2 Source
BoolVector BVec2 Source
VecEq BVec2 Source
GLES => AttributeCPU IVec2 BVec2 Source
GLES => UniformCPU IVec2 BVec2 Source
(Typeable Nat n, GLES) => UniformCPU [IVec2] (Array n BVec2) Source

data BVec3 Source

A GPU 3D boolean vector.

Constructors

BVec3 Bool Bool Bool

Instances

ShaderType BVec3 Source
BoolVector BVec3 Source
VecEq BVec3 Source
GLES => AttributeCPU IVec3 BVec3 Source
GLES => UniformCPU IVec3 BVec3 Source
(Typeable Nat n, GLES) => UniformCPU [IVec3] (Array n BVec3) Source

data BVec4 Source

A GPU 4D boolean vector.

Constructors

BVec4 Bool Bool Bool Bool

Instances

ShaderType BVec4 Source
BoolVector BVec4 Source
VecEq BVec4 Source
GLES => AttributeCPU IVec4 BVec4 Source
GLES => UniformCPU IVec4 BVec4 Source
(Typeable Nat n, GLES) => UniformCPU [IVec4] (Array n BVec4) Source

data Mat2 Source

A GPU 2x2 float matrix.

Constructors

Mat2 Vec2 Vec2

data Mat3 Source

A GPU 3x3 float matrix.

Constructors

Mat3 Vec3 Vec3 Vec3

data Mat4 Source

A GPU 4x4 float matrix.

Constructors

Mat4 Vec4 Vec4 Vec4 Vec4

data Array n t Source

A GPU array.

Constructors

Array Expr

Instances

(Typeable Nat n, GLES) => UniformCPU [Float] (Array n Float) Source
(Typeable Nat n, GLES) => UniformCPU [Int32] (Array n Int) Source
(Typeable Nat n, GLES) => UniformCPU [Int32] (Array n Bool) Source
(Typeable Nat n, GLES) => UniformCPU [Vec2] (Array n Vec2) Source
(Typeable Nat n, GLES) => UniformCPU [Vec3] (Array n Vec3) Source
(Typeable Nat n, GLES) => UniformCPU [Vec4] (Array n Vec4) Source
(Typeable Nat n, GLES) => UniformCPU [IVec4] (Array n BVec4) Source
(Typeable Nat n, GLES) => UniformCPU [IVec4] (Array n IVec4) Source
(Typeable Nat n, GLES) => UniformCPU [IVec3] (Array n BVec3) Source
(Typeable Nat n, GLES) => UniformCPU [IVec3] (Array n IVec3) Source
(Typeable Nat n, GLES) => UniformCPU [IVec2] (Array n BVec2) Source
(Typeable Nat n, GLES) => UniformCPU [IVec2] (Array n IVec2) Source
(ShaderType t, KnownNat n) => ShaderType (Array n t) Source

class ShaderType t where Source

A type in the GPU.

Methods

zero :: t Source

toExpr :: t -> Expr Source

fromExpr :: Expr -> t Source

typeName :: t -> String Source

size :: t -> MInt Source

Instances

ShaderType Mat4 Source
ShaderType Mat3 Source
ShaderType Mat2 Source
ShaderType BVec4 Source
ShaderType BVec3 Source
ShaderType BVec2 Source
ShaderType IVec4 Source
ShaderType IVec3 Source
ShaderType IVec2 Source
ShaderType Vec4 Source
ShaderType Vec3 Source
ShaderType Vec2 Source
ShaderType Unknown Source
ShaderType SamplerCube Source
ShaderType Sampler2D Source
ShaderType Int Source
ShaderType Float Source
ShaderType Bool Source
ShaderType FragmentShaderOutput Source
ShaderType VertexShaderOutput Source
ShaderType UV Source
ShaderType Position2 Source
ShaderType View2 Source
ShaderType Transform2 Source
ShaderType Depth Source
ShaderType Image Source
ShaderType UV Source
ShaderType Normal3 Source
ShaderType Position3 Source
ShaderType View3 Source
ShaderType Transform3 Source
ShaderType Texture2 Source
(ShaderType t, KnownNat n) => ShaderType (Array n t) Source

hash2 :: Hashable a => MInt -> MInt -> a -> MInt Source

ShaderType Int Source
ToFloat Int Source
ToBool Int Source
ToInt Int Source
Num Int Source
Base IVec4 Int Source
Base IVec3 Int Source
Base IVec2 Int Source
Base Int Int Source
GLES => AttributeCPU Int32 Int Source
GLES => UniformCPU Int32 Int Source
Arithmetic Int Int IVec4 IVec4 IVec4 Source
Arithmetic Int Int IVec4 Int IVec4 Source
Arithmetic Int Int IVec3 IVec3 IVec3 Source
Arithmetic Int Int IVec3 Int IVec3 Source
Arithmetic Int Int IVec2 IVec2 IVec2 Source
Arithmetic Int Int IVec2 Int IVec2 Source
Arithmetic Int Int Int IVec4 IVec4 Source
Arithmetic Int Int Int IVec3 IVec3 Source
Arithmetic Int Int Int IVec2 IVec2 Source
Arithmetic Int Int Int Int Int Source
(Typeable Nat n, GLES) => UniformCPU [Int32] (Array n Int) Source

ShaderType IVec2 Source
VecEq IVec2 Source
VecOrd IVec2 Source
Base IVec2 Int Source
GLES => AttributeCPU IVec2 IVec2 Source
GLES => UniformCPU IVec2 IVec2 Source
Arithmetic Int Int IVec2 IVec2 IVec2 Source
Arithmetic Int Int IVec2 Int IVec2 Source
Arithmetic Int Int Int IVec2 IVec2 Source
(Typeable Nat n, GLES) => UniformCPU [IVec2] (Array n IVec2) Source

ShaderType IVec3 Source
VecEq IVec3 Source
VecOrd IVec3 Source
Base IVec3 Int Source
GLES => AttributeCPU IVec3 IVec3 Source
GLES => UniformCPU IVec3 IVec3 Source
Arithmetic Int Int IVec3 IVec3 IVec3 Source
Arithmetic Int Int IVec3 Int IVec3 Source
Arithmetic Int Int Int IVec3 IVec3 Source
(Typeable Nat n, GLES) => UniformCPU [IVec3] (Array n IVec3) Source

ShaderType IVec4 Source
VecEq IVec4 Source
VecOrd IVec4 Source
Base IVec4 Int Source
GLES => AttributeCPU IVec4 IVec4 Source
GLES => UniformCPU IVec4 IVec4 Source
Arithmetic Int Int IVec4 IVec4 IVec4 Source
Arithmetic Int Int IVec4 Int IVec4 Source
Arithmetic Int Int Int IVec4 IVec4 Source
(Typeable Nat n, GLES) => UniformCPU [IVec4] (Array n IVec4) Source

ShaderType Vec2 Source
VecEq Vec2 Source
VecOrd Vec2 Source
FloatVec Vec2 Source
Base Vec2 Float Source
GLES => AttributeCPU Vec2 Vec2 Source
GLES => UniformCPU Vec2 Vec2 Source
Mul Float Float Mat2 Vec2 Vec2 Source
Mul Float Float Vec2 Mat2 Vec2 Source
Arithmetic Float Float Vec2 Vec2 Vec2 Source
Arithmetic Float Float Vec2 Float Vec2 Source
Arithmetic Float Float Float Vec2 Vec2 Source
(Typeable Nat n, GLES) => UniformCPU [Vec2] (Array n Vec2) Source

ShaderType Vec3 Source
VecEq Vec3 Source
VecOrd Vec3 Source
FloatVec Vec3 Source
Base Vec3 Float Source
GLES => AttributeCPU Vec3 Vec3 Source
GLES => UniformCPU Vec3 Vec3 Source
Mul Float Float Mat3 Vec3 Vec3 Source
Mul Float Float Vec3 Mat3 Vec3 Source
Arithmetic Float Float Vec3 Vec3 Vec3 Source
Arithmetic Float Float Vec3 Float Vec3 Source
Arithmetic Float Float Float Vec3 Vec3 Source
(Typeable Nat n, GLES) => UniformCPU [Vec3] (Array n Vec3) Source

ShaderType Vec4 Source
VecEq Vec4 Source
VecOrd Vec4 Source
FloatVec Vec4 Source
Base Vec4 Float Source
GLES => AttributeCPU Vec4 Vec4 Source
GLES => UniformCPU Vec4 Vec4 Source
Mul Float Float Mat4 Vec4 Vec4 Source
Mul Float Float Vec4 Mat4 Vec4 Source
Arithmetic Float Float Vec4 Vec4 Vec4 Source
Arithmetic Float Float Vec4 Float Vec4 Source
Arithmetic Float Float Float Vec4 Vec4 Source
(Typeable Nat n, GLES) => UniformCPU [Vec4] (Array n Vec4) Source

ShaderType Mat2 Source
Matrix Mat2 Source
Base Mat2 Float Source
GLES => UniformCPU Mat2 Mat2 Source
Mul Float Float Mat2 Vec2 Vec2 Source
Mul Float Float Vec2 Mat2 Vec2 Source
Arithmetic Float Float Mat2 Mat2 Mat2 Source
Arithmetic Float Float Mat2 Float Mat2 Source
Arithmetic Float Float Float Mat2 Mat2 Source

ShaderType Mat3 Source
Matrix Mat3 Source
Base Mat3 Float Source
GLES => UniformCPU Mat3 Mat3 Source
Mul Float Float Mat3 Vec3 Vec3 Source
Mul Float Float Vec3 Mat3 Vec3 Source
Arithmetic Float Float Mat3 Mat3 Mat3 Source
Arithmetic Float Float Mat3 Float Mat3 Source
Arithmetic Float Float Float Mat3 Mat3 Source

ShaderType Mat4 Source
Matrix Mat4 Source
Base Mat4 Float Source
GLES => UniformCPU Mat4 Mat4 Source
Mul Float Float Mat4 Vec4 Vec4 Source
Mul Float Float Vec4 Mat4 Vec4 Source
Arithmetic Float Float Mat4 Mat4 Mat4 Source
Arithmetic Float Float Mat4 Float Mat4 Source
Arithmetic Float Float Float Mat4 Mat4 Source