Safe Haskell	None
Language	Haskell2010

FWGL.Shader.Language.Functions

Synopsis

Documentation

class Base a b | a -> b Source

Instances

class (Base a aBase, Base b bBase) => Arithmetic aBase bBase a b result | a b -> result, b -> aBase bBase, a -> aBase bBase, result -> aBase bBase Source

Instances

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
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

class (Base a aBase, Base b bBase) => Mul aBase bBase a b result | a b -> result, b -> aBase bBase, a -> aBase bBase, result -> aBase bBase Source

Types that can be multiplied.

Instances

Arithmetic aBase bBase a b result => Mul aBase bBase a b result 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

class (ShaderType a, Base a Float) => FloatVec a Source

Instances

FloatVec Vec4 Source
FloatVec Vec3 Source
FloatVec Vec2 Source

class ShaderType a => GenType a Source

Floats or vectors.

Instances

FloatVec a => GenType a Source
GenType Float Source

type family GenTypeFloatConstr a b Source

Equations

GenTypeFloatConstr a Float = GenType a
GenTypeFloatConstr a a = GenType a

type GenTypeFloat a b = (GenTypeFloatConstr a b, ShaderType a, ShaderType b) Source

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

(/) :: (Arithmetic aBase bBase a b c, ShaderType a, ShaderType b, ShaderType c) => a -> b -> c infixl 7 Source

(+) :: (Arithmetic aBase bBase a b c, ShaderType a, ShaderType b, ShaderType c) => a -> b -> c infixl 6 Source

(-) :: (Arithmetic aBase bBase a b c, ShaderType a, ShaderType b, ShaderType c) => a -> b -> c infixl 6 Source

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

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

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

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

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

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

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

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

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

class ShaderType a => VecOrd a Source

Instances

VecOrd IVec4 Source
VecOrd IVec3 Source
VecOrd IVec2 Source
VecOrd Vec4 Source
VecOrd Vec3 Source
VecOrd Vec2 Source

class ShaderType a => VecEq a Source

Instances

VecEq BVec4 Source
VecEq BVec3 Source
VecEq BVec2 Source
VecEq IVec4 Source
VecEq IVec3 Source
VecEq IVec2 Source
VecEq Vec4 Source
VecEq Vec3 Source
VecEq Vec2 Source

lessThan :: VecOrd a => a -> a -> Bool Source

lessThanEqual :: VecOrd a => a -> a -> Bool Source

greaterThan :: VecOrd a => a -> a -> Bool Source

greaterThanEqual :: VecOrd a => a -> a -> Bool Source

equal :: VecEq a => a -> a -> Bool Source

notEqual :: VecEq a => a -> a -> Bool Source

class ShaderType a => BoolVector a Source

Instances

BoolVector BVec4 Source
BoolVector BVec3 Source
BoolVector BVec2 Source

anyB :: BoolVector a => a -> Bool Source

allB :: BoolVector a => a -> Bool Source

notB :: BoolVector a => a -> Bool Source

negate :: GenType a => a -> a Source

not :: GenType a => a -> a Source

class (ShaderType a, Base a a) => Num a where Source

Methods

fromInteger :: Integer -> a Source

Instances

Num Int Source
Num Float Source

fromRational :: Rational -> Float Source

radians :: GenType a => a -> a Source

degrees :: GenType a => a -> a Source

sin :: GenType a => a -> a Source

cos :: GenType a => a -> a Source

tan :: GenType a => a -> a Source

asin :: GenType a => a -> a Source

acos :: GenType a => a -> a Source

atan :: GenType a => a -> a Source

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

exp :: GenType a => a -> a Source

log :: GenType a => a -> a Source

exp2 :: GenType a => a -> a Source

log2 :: GenType a => a -> a Source

sqrt :: GenType a => a -> a Source

inversesqrt :: GenType a => a -> a Source

abs :: GenType a => a -> a Source

sign :: GenType a => a -> a Source

floor :: GenType a => a -> a Source

ceil :: GenType a => a -> a Source

fract :: GenType a => a -> a Source

mod :: GenTypeFloat a b => a -> b -> a Source

min :: GenTypeFloat a b => a -> b -> a Source

max :: GenTypeFloat a b => a -> b -> a Source

clamp :: GenTypeFloat a b => a -> b -> b -> a Source

mix :: GenTypeFloat a b => a -> a -> b -> a Source

step :: GenTypeFloat a b => b -> a -> a Source

smoothstep :: GenTypeFloat a b => b -> b -> a -> a Source

length :: GenType a => a -> Float Source

arrayLength :: (ShaderType t, KnownNat n) => Array n t -> Int Source

(!) :: (ShaderType t, KnownNat n) => Array n t -> Int -> t Source

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

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

cross :: Vec3 -> Vec3 -> Vec3 Source

normalize :: GenType a => a -> a Source

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

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

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

class ShaderType a => Matrix a Source

Instances

Matrix Mat4 Source
Matrix Mat3 Source
Matrix Mat2 Source

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

store :: ShaderType a => a -> a Source

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

true :: Bool Source

false :: Bool Source

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

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

loop Source

Arguments

:: ShaderType a
=> Int	Maximum number of iterations (should be as low as possible, must be an integer literal)
-> a	Initial value
-> (Int -> a -> (a, Bool))	Iteration -> Old value -> (Next, Stop)
-> a

texture2D :: Sampler2D -> Vec2 -> Vec4 Source

texture2DBias :: Sampler2D -> Vec2 -> Float -> Vec4 Source

texture2DProj :: Sampler2D -> Vec3 -> Vec4 Source

texture2DProjBias :: Sampler2D -> Vec3 -> Float -> Vec4 Source

texture2DProj4 :: Sampler2D -> Vec4 -> Vec4 Source

texture2DProjBias4 :: Sampler2D -> Vec4 -> Float -> Vec4 Source

texture2DLod :: Sampler2D -> Vec2 -> Float -> Vec4 Source

texture2DProjLod :: Sampler2D -> Vec3 -> Float -> Vec4 Source

texture2DProjLod4 :: Sampler2D -> Vec4 -> Float -> Vec4 Source

textureCube :: SamplerCube -> Vec3 -> Vec4 Source

textureCubeBias :: SamplerCube -> Vec3 -> Float -> Vec4 Source

textureCubeLod :: SamplerCube -> Vec3 -> Float -> Vec4 Source

position :: Vec4 Source

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

fragColor :: Vec4 Source

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

fragCoord :: Vec4 Source

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

fragFrontFacing :: Bool Source

If the fragment belongs to a front-facing primitive (only works in the fragment shader).

class ShaderType t => ToInt t Source

Instances

ToInt Int Source
ToInt Float Source
ToInt Bool Source

int :: ToInt t => t -> Int Source

class ShaderType t => ToBool t Source

Instances

ToBool Int Source
ToBool Float Source
ToBool Bool Source

bool :: ToBool t => t -> Bool Source

class ShaderType t => ToFloat t Source

Instances

ToFloat Int Source
ToFloat Float Source
ToFloat Bool Source

float :: ToFloat t => t -> Float Source

class ToVec2 t where Source

Methods

vec2 :: t -> Vec2 Source

Instances

((<=) (Components Vec2) n, ToCompList t n) => ToVec2 t Source
ToVec2 Float Source

class ToVec3 t where Source

Methods

vec3 :: t -> Vec3 Source

Instances

((<=) (Components Vec3) n, ToCompList t n) => ToVec3 t Source
ToVec3 Float Source

class ToVec4 t where Source

Methods

vec4 :: t -> Vec4 Source

Instances

((<=) (Components Vec4) n, ToCompList t n) => ToVec4 t Source
ToVec4 Float Source

class ToIVec2 t where Source

Methods

ivec2 :: t -> IVec2 Source

Instances

((<=) (Components IVec2) n, ToCompList t n) => ToIVec2 t Source
ToIVec2 Float Source

class ToIVec3 t where Source

Methods

ivec3 :: t -> IVec3 Source

Instances

((<=) (Components IVec3) n, ToCompList t n) => ToIVec3 t Source
ToIVec3 Float Source

class ToIVec4 t where Source

Methods

ivec4 :: t -> IVec4 Source

Instances

((<=) (Components IVec4) n, ToCompList t n) => ToIVec4 t Source
ToIVec4 Float Source

class ToBVec2 t where Source

Methods

bvec2 :: t -> BVec2 Source

Instances

((<=) (Components BVec2) n, ToCompList t n) => ToBVec2 t Source
ToBVec2 Float Source

class ToBVec3 t where Source

Methods

bvec3 :: t -> BVec3 Source

Instances

((<=) (Components BVec3) n, ToCompList t n) => ToBVec3 t Source
ToBVec3 Float Source

class ToBVec4 t where Source

Methods

bvec4 :: t -> BVec4 Source

Instances

((<=) (Components BVec4) n, ToCompList t n) => ToBVec4 t Source
ToBVec4 Float Source

class ToMat2 t where Source

Methods

mat2 :: t -> Mat2 Source

Instances

((<=) (Components Mat2) n, ToCompList t n) => ToMat2 t Source
ToMat2 Float Source

class ToMat3 t where Source

Methods

mat3 :: t -> Mat3 Source

Instances

((<=) (Components Mat3) n, ToCompList t n) => ToMat3 t Source
ToMat3 Float Source

class ToMat4 t where Source

Methods

mat4 :: t -> Mat4 Source

Instances

((<=) (Components Mat4) n, ToCompList t n) => ToMat4 t Source
ToMat4 Float Source

data CompList count where Source

Useful type for constructing vectors and matrices from scalars, vectors and matrices.

Constructors

CL :: (1 <= Components t, ShaderType t) => t -> CompList (Components t)
CLAppend :: CompList x -> CompList y -> CompList (x + y)

Instances

ToCompList (CompList n) n Source

class ToCompList x n | x -> n where Source

Methods

toCompList :: x -> CompList n Source

Instances

((<=) 1 n, ShaderType t, (~) Nat n (Components t)) => ToCompList t n Source
ToCompList (CompList n) n Source

(#) :: (ToCompList x xn, ToCompList y yn) => x -> y -> CompList (xn + yn) infixr 5 Source

You can call *vec* and mat* with a single scalar or with a CompList containing enough components. This function helps you create CompLists.

Examples:

vec2 0
mat2 $ Vec2 2 4 # Vec2 1 3
vec4 $ mat2 (0 # 1 # vec2 2) # 9  -- 9 is discarded
mat4 $ 5 # vec2 5 # Vec3 1 2 3 # Mat2 (vec2 0) (Vec2 1 2) # mat3 0
vec4 $ 1 # vec2 0 -- Not enough components, fails with "Couldn't match type
                  -- ‘'Prelude.False’ with 'Prelude.True’" (because
                  -- Components Vec4 <=? 3 ~ False).

type family Components t :: Nat Source

Equations

Components Int = 1
Components Float = 1
Components Bool = 1
Components Vec2 = 2
Components IVec2 = 2
Components BVec2 = 2
Components Vec3 = 3
Components IVec3 = 3
Components BVec3 = 3
Components Vec4 = 4
Components IVec4 = 4
Components BVec4 = 4
Components Mat2 = 4
Components Mat3 = 9
Components Mat4 = 16
Components x = 0

op1 :: (ShaderType a, ShaderType b) => String -> a -> b Source

op2 :: (ShaderType a, ShaderType b, ShaderType c) => String -> a -> b -> c Source

fun1 :: (ShaderType a, ShaderType b) => String -> a -> b Source

fun2 :: (ShaderType a, ShaderType b, ShaderType c) => String -> a -> b -> c Source

fun3 :: (ShaderType a, ShaderType b, ShaderType c, ShaderType d) => String -> a -> b -> c -> d Source

funCompList :: (ToCompList cl n, ShaderType r) => String -> cl -> r Source

Base Mat4 Float Source
Base Mat3 Float Source
Base Mat2 Float Source
Base IVec4 Int Source
Base IVec3 Int Source
Base IVec2 Int Source
Base Vec4 Float Source
Base Vec3 Float Source
Base Vec2 Float Source
Base Int Int Source
Base Float Float Source