FWGL.Shader.Language

Documentation

class ShaderType t where

A type in the GPU.

Methods

zero :: t

toExpr :: t -> Expr

fromExpr :: Expr -> t

typeName :: t -> String

size :: t -> CInt

Instances

ShaderType Mat4

ShaderType Mat3

ShaderType Mat2

ShaderType Vec4

ShaderType Vec3

ShaderType Vec2

ShaderType Unknown

ShaderType Sampler2D

ShaderType Float

ShaderType FragmentShaderOutput

ShaderType VertexShaderOutput

ShaderType UV

ShaderType Position2

ShaderType View2

ShaderType Transform2

ShaderType Depth

ShaderType Image

ShaderType UV

ShaderType Normal3

ShaderType Position3

ShaderType View3

ShaderType Transform3

ShaderType Texture2

data Expr

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 CInt

ContextVar CInt ContextVarType

Instances

Eq Expr

Hashable Expr

data Action

Expressions that are transformed to statements.

Constructors

Store String Expr

If Expr String Expr Expr

For CInt String Expr (Expr -> Expr -> (Expr, Expr))

Instances

Eq Action

Hashable Action

data ContextVarType

Constructors

LoopIteration

LoopValue

Instances

Eq ContextVarType

newtype Float

A GPU float.

Constructors

Float Expr

Instances

Sum Float

ShaderType Float

Typeable * Float

GLES => AttributeCPU Float Float

GLES => UniformCPU Float Float

Mul Mat4 Float Mat4

Mul Mat3 Float Mat3

Mul Mat2 Float Mat2

Mul Vec4 Float Vec4

Mul Vec3 Float Vec3

Mul Vec2 Float Vec2

Mul Float Mat4 Mat4

Mul Float Mat3 Mat3

Mul Float Mat2 Mat2

Mul Float Vec4 Vec4

Mul Float Vec3 Vec3

Mul Float Vec2 Vec2

Mul Float Float Float

newtype Unknown

The type of a generic expression.

Constructors

Unknown Expr

Instances

ShaderType Unknown

newtype Sampler2D

A GPU sampler (sampler2D in GLSL).

Constructors

Sampler2D Expr

Instances

ShaderType Sampler2D

Typeable * Sampler2D

GLES => UniformCPU ActiveTexture Sampler2D

data Vec2

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

Constructors

Vec2 Float Float

Instances

Sum Vec2

ShaderType Vec2

Typeable * Vec2

GLES => AttributeCPU Vec2 Vec2

GLES => UniformCPU Vec2 Vec2

Mul Mat2 Vec2 Vec2

Mul Vec2 Mat2 Vec2

Mul Vec2 Vec2 Vec2

Mul Vec2 Float Vec2

Mul Float Vec2 Vec2

data Vec3

A GPU 3D vector.

Constructors

Vec3 Float Float Float

Instances

Sum Vec3

ShaderType Vec3

Typeable * Vec3

GLES => AttributeCPU Vec3 Vec3

GLES => UniformCPU Vec3 Vec3

Mul Mat3 Vec3 Vec3

Mul Vec3 Mat3 Vec3

Mul Vec3 Vec3 Vec3

Mul Vec3 Float Vec3

Mul Float Vec3 Vec3

data Vec4

A GPU 4D vector.

Constructors

Vec4 Float Float Float Float

Instances

Sum Vec4

ShaderType Vec4

Typeable * Vec4

GLES => AttributeCPU Vec4 Vec4

GLES => UniformCPU Vec4 Vec4

Mul Mat4 Vec4 Vec4

Mul Vec4 Mat4 Vec4

Mul Vec4 Vec4 Vec4

Mul Vec4 Float Vec4

Mul Float Vec4 Vec4

data Mat2

A GPU 2x2 matrix.

Constructors

Mat2 Vec2 Vec2

Instances

Sum Mat2

ShaderType Mat2

Typeable * Mat2

GLES => UniformCPU Mat2 Mat2

Mul Mat2 Mat2 Mat2

Mul Mat2 Vec2 Vec2

Mul Mat2 Float Mat2

Mul Vec2 Mat2 Vec2

Mul Float Mat2 Mat2

data Mat3

A GPU 3x3 matrix.

Constructors

Mat3 Vec3 Vec3 Vec3

Instances

Sum Mat3

ShaderType Mat3

Typeable * Mat3

GLES => UniformCPU Mat3 Mat3

Mul Mat3 Mat3 Mat3

Mul Mat3 Vec3 Vec3

Mul Mat3 Float Mat3

Mul Vec3 Mat3 Vec3

Mul Float Mat3 Mat3

data Mat4

A GPU 4x4 matrix.

Constructors

Mat4 Vec4 Vec4 Vec4 Vec4

Instances

Sum Mat4

ShaderType Mat4

Typeable * Mat4

GLES => UniformCPU Mat4 Mat4

Mul Mat4 Mat4 Mat4

Mul Mat4 Vec4 Vec4

Mul Mat4 Float Mat4

Mul Vec4 Mat4 Vec4

Mul Float Mat4 Mat4

fromRational :: Rational -> Float

fromInteger :: Integer -> Float

negate :: GenType a => a -> a

class Mul a b c | a b -> c

Types that can be multiplied.

Instances

Mul Mat4 Mat4 Mat4

Mul Mat4 Vec4 Vec4

Mul Mat4 Float Mat4

Mul Mat3 Mat3 Mat3

Mul Mat3 Vec3 Vec3

Mul Mat3 Float Mat3

Mul Mat2 Mat2 Mat2

Mul Mat2 Vec2 Vec2

Mul Mat2 Float Mat2

Mul Vec4 Mat4 Vec4

Mul Vec4 Vec4 Vec4

Mul Vec4 Float Vec4

Mul Vec3 Mat3 Vec3

Mul Vec3 Vec3 Vec3

Mul Vec3 Float Vec3

Mul Vec2 Mat2 Vec2

Mul Vec2 Vec2 Vec2

Mul Vec2 Float Vec2

Mul Float Mat4 Mat4

Mul Float Mat3 Mat3

Mul Float Mat2 Mat2

Mul Float Vec4 Vec4

Mul Float Vec3 Vec3

Mul Float Vec2 Vec2

Mul Float Float Float

(*) :: (Mul a b c, ShaderType a, ShaderType b, ShaderType c) => a -> b -> c infixl 7

(/) :: (Mul a b c, ShaderType a, ShaderType b, ShaderType c) => a -> b -> c infixl 7

class Sum a

Types that can be added.

Instances

Sum Mat4

Sum Mat3

Sum Mat2

Sum Vec4

Sum Vec3

Sum Vec2

Sum Float

(+) :: (Sum a, ShaderType a) => a -> a -> a infixl 6

(-) :: (Sum a, ShaderType a) => a -> a -> a infixl 6

(^) :: (ShaderType a, ShaderType b) => a -> b -> a infixr 8

(&&) :: Bool -> Bool -> Bool infixr 3

(||) :: Bool -> Bool -> Bool infixr 2

(==) :: ShaderType a => a -> a -> Bool infix 4

(>=) :: ShaderType a => a -> a -> Bool infix 4

(<=) :: ShaderType a => a -> a -> Bool infix 4

(<) :: ShaderType a => a -> a -> Bool infix 4

(>) :: ShaderType a => a -> a -> Bool infix 4

ifThenElse :: ShaderType a => Bool -> a -> a -> a

Rebound if. You don't need to use this function, with -XRebindableSyntax.

loop

Arguments

:: ShaderType a

=> Float

Maximum number of iterations (should be as low as possible, must be an integer literal)

-> a

Initial value

-> (Float -> a -> (a, Bool))

Iteration -> Old value -> (Next, Stop)

-> a

true :: Bool

false :: Bool

store :: ShaderType a => a -> a

Avoid executing this expression more than one time. Conditionals and loops imply it.

texture2D :: Sampler2D -> Vec2 -> Vec4

radians :: GenType a => a -> a

degrees :: GenType a => a -> a

sin :: GenType a => a -> a

cos :: GenType a => a -> a

tan :: GenType a => a -> a

asin :: GenType a => a -> a

acos :: GenType a => a -> a

atan :: GenType a => a -> a

atan2 :: GenType a => a -> a -> a

exp :: GenType a => a -> a

log :: GenType a => a -> a

exp2 :: GenType a => a -> a

log2 :: GenType a => a -> a

sqrt :: GenType a => a -> a

inversesqrt :: GenType a => a -> a

abs :: GenType a => a -> a

sign :: GenType a => a -> a

floor :: GenType a => a -> a

ceil :: GenType a => a -> a

fract :: GenType a => a -> a

mod :: (GenType a, GenType b) => a -> b -> a

min :: GenType a => a -> a -> a

max :: GenType a => a -> a -> a

clamp :: (GenType a, GenType b) => a -> b -> b -> a

mix :: (GenType a, GenType b) => a -> a -> b -> a

step :: GenType a => a -> a -> a

smoothstep :: (GenType a, GenType b) => b -> b -> a -> a

length :: GenType a => a -> Float

distance :: GenType a => a -> a -> Float

dot :: GenType a => a -> a -> Float

cross :: Vec3 -> Vec3 -> Vec3

normalize :: GenType a => a -> a

faceforward :: GenType a => a -> a -> a -> a

reflect :: GenType a => a -> a -> a

refract :: GenType a => a -> a -> Float -> a

matrixCompMult :: (Matrix a, Matrix b, Matrix c) => a -> b -> c

position :: Vec4

The position of the vertex (only works in the vertex shader).

fragColor :: Vec4

The color of the fragment (only works in the fragment shader).