LC_T_Language

Documentation

class OperatorArithmetic a b where

Methods

(@+) :: a -> b -> a

(@-) :: a -> b -> a

(@*) :: a -> b -> a

Instances

(GPU a, GPU t, IsNum t, IsMatVecScalar a t) => OperatorArithmetic (Exp stage a) (Exp stage t)

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

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

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

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

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

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

class OperatorDivide a b where

Methods

(@/) :: a -> b -> a

(@%) :: a -> b -> a

Instances

(GPU a, GPU t, IsNum t, IsVecScalar d a t) => OperatorDivide (Exp stage a) (Exp stage t)

(GPU a, IsNum t, IsVecScalar d a t) => OperatorDivide (Exp stage a) (Exp stage a)

class OperatorBit a b where

Methods

(@&) :: a -> b -> a

(@|) :: a -> b -> a

(@^) :: a -> b -> a

Instances

(GPU a, GPU t, IsIntegral t, IsVecScalar d a t) => OperatorBit (Exp stage a) (Exp stage t)

(GPU a, IsIntegral t, IsVecScalar d a t) => OperatorBit (Exp stage a) (Exp stage a)

class OperatorShift a b where

Methods

(@>>) :: a -> b -> a

(@<<) :: a -> b -> a

Instances

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

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

class OperatorEq a b where

Methods

(@==) :: a -> a -> b

(@/=) :: a -> a -> b

Instances

(GPU a, IsMatVecScalar a t) => OperatorEq (Exp stage a) (Exp stage Bool)

(GPU a, GPU b, IsNum t, IsVecScalar d a t, IsVecScalar d b Bool) => OperatorEq (Exp stage a) (Exp stage b)

class OperatorRelational a b where

Methods

(@<=) :: a -> a -> b

(@>=) :: a -> a -> b

(@<) :: a -> a -> b

(@>) :: a -> a -> b

Instances

(GPU a, GPU b, IsNum t, IsVecScalar d a t, IsVecScalar d b Bool) => OperatorRelational (Exp stage a) (Exp stage b)

(@&&) :: Exp stage Bool -> Exp stage Bool -> Exp stage Bool

(@||) :: Exp stage Bool -> Exp stage Bool -> Exp stage Bool

xor' :: Exp stage Bool -> Exp stage Bool -> Exp stage Bool

not' :: (IsVecScalar d r Bool, GPU r) => Exp stage r -> Exp stage r

any' :: (IsVecScalar d a Bool, GPU a) => Exp stage a -> Exp stage Bool

all' :: (IsVecScalar d a Bool, GPU a) => Exp stage a -> Exp stage Bool

acos' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

acosh' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

asin' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

asinh' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

atan' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

atan2' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r -> Exp stage r

atanh' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

cos' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

cosh' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

degrees' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

radians' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

sin' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

sinh' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

tan' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

tanh' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

pow' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r -> Exp stage r

exp' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

log' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

exp2' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

log2' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

sqrt' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

invsqrt' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

isnan' :: (IsVecScalar d a Float, IsVecScalar d r Bool, GPU a, GPU r) => Exp stage a -> Exp stage r

isinf' :: (IsVecScalar d a Float, IsVecScalar d r Bool, GPU a, GPU r) => Exp stage a -> Exp stage r

abs' :: (IsSigned t, IsVecScalar d r t, GPU r) => Exp stage r -> Exp stage r

sign' :: (IsSigned t, IsVecScalar d r t, GPU r) => Exp stage r -> Exp stage r

floor' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

trunc' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

round' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

roundEven' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

ceil' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

fract' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

floatBitsToInt' :: (IsVecScalar d a Float, IsVecScalar d r Int32, GPU a, GPU r) => Exp stage a -> Exp stage r

floatBitsToUint' :: (IsVecScalar d a Float, IsVecScalar d r Word32, GPU a, GPU r) => Exp stage a -> Exp stage r

intBitsToFloat' :: (IsVecScalar d r Float, IsVecScalar d a Int32, GPU a, GPU r) => Exp stage a -> Exp stage r

uintBitsToFloat' :: (IsVecScalar d r Float, IsVecScalar d a Word32, GPU a, GPU r) => Exp stage a -> Exp stage r

length' :: (IsVecScalar d a Float, GPU a) => Exp stage a -> Exp stage Float

distance' :: (IsVecScalar d a Float, GPU a) => Exp stage a -> Exp stage a -> Exp stage Float

dot' :: (IsVecScalar d a Float, GPU a) => Exp stage a -> Exp stage a -> Exp stage Float

cross' :: Exp stage (V3 Float) -> Exp stage (V3 Float) -> Exp stage (V3 Float)

normalize' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r

faceforward' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r -> Exp stage r -> Exp stage r

reflect' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r -> Exp stage r

refract' :: (IsVecScalar d r Float, GPU r) => Exp stage r -> Exp stage r -> Exp stage r -> Exp stage r

transpose' :: (IsMat a h w, IsMat r w h, GPU a, GPU r) => Exp stage a -> Exp stage r

determinant' :: (IsMat a s s, GPU a) => Exp stage a -> Exp stage Float

inverse' :: (IsMat r h w, GPU r) => Exp stage r -> Exp stage r

outerProduct' :: (IsMat r h w, GPU w, GPU h, GPU r) => Exp stage w -> Exp stage h -> Exp stage r

dFdx' :: (IsVecScalar d r Float, GPU r) => Exp F r -> Exp F r

dFdy' :: (IsVecScalar d r Float, GPU r) => Exp F r -> Exp F r

fwidth' :: (IsVecScalar d r Float, GPU r) => Exp F r -> Exp F r

noise1' :: (IsVecScalar d a Float, GPU a) => Exp stage a -> Exp stage Float

noise2' :: (IsVecScalar d a Float, GPU a) => Exp stage a -> Exp stage (V2 Float)

noise3' :: (IsVecScalar d a Float, GPU a) => Exp stage a -> Exp stage (V3 Float)

noise4' :: (IsVecScalar d a Float, GPU a) => Exp stage a -> Exp stage (V4 Float)

textureSize' :: (GPU sampler, GPU lod, GPU r, IsTextureSize sampler lod r) => Exp stage sampler -> Exp stage lod -> Exp stage r

texture' :: (GPU sampler, GPU coord, GPU (TexelRepr sampler), IsTexture sampler coord bias) => Exp stage sampler -> Exp stage coord -> Exp stage (TexelRepr sampler)

textureB' :: (GPU sampler, GPU coord, GPU bias, GPU (TexelRepr sampler), IsTexture sampler coord bias) => Exp F sampler -> Exp F coord -> Exp F bias -> Exp F (TexelRepr sampler)

textureProj' :: (GPU sampler, GPU coord, GPU (TexelRepr sampler), IsTextureProj sampler coord bias) => Exp stage sampler -> Exp stage coord -> Exp stage (TexelRepr sampler)

textureProjB' :: (GPU sampler, GPU coord, GPU bias, GPU (TexelRepr sampler), IsTextureProj sampler coord bias) => Exp F sampler -> Exp F coord -> Exp F bias -> Exp F (TexelRepr sampler)

textureLod' :: (GPU sampler, GPU coord, GPU lod, GPU (TexelRepr sampler), IsTextureLod sampler coord lod) => Exp stage sampler -> Exp stage coord -> Exp stage lod -> Exp stage (TexelRepr sampler)

textureOffset' :: (GPU sampler, GPU coord, GPU offset, GPU (TexelRepr sampler), IsTextureOffset sampler coord offset bias) => Exp stage sampler -> Exp stage coord -> Exp stage offset -> Exp stage (TexelRepr sampler)

textureOffsetB' :: (GPU sampler, GPU coord, GPU offset, GPU bias, GPU (TexelRepr sampler), IsTextureOffset sampler coord offset bias) => Exp F sampler -> Exp F coord -> Exp F offset -> Exp F bias -> Exp F (TexelRepr sampler)

texelFetch' :: (GPU sampler, GPU coord, GPU lod, GPU (TexelRepr sampler), IsTexelFetch sampler coord lod) => Exp stage sampler -> Exp stage coord -> Exp stage lod -> Exp stage (TexelRepr sampler)

texelFetchOffset' :: (GPU sampler, GPU coord, GPU lod, GPU offset, GPU (TexelRepr sampler), IsTexelFetchOffset sampler coord lod offset) => Exp stage sampler -> Exp stage coord -> Exp stage lod -> Exp stage offset -> Exp stage (TexelRepr sampler)

textureProjOffset' :: (GPU sampler, GPU coord, GPU offset, GPU (TexelRepr sampler), IsTextureProjOffset sampler coord offset bias) => Exp stage sampler -> Exp stage coord -> Exp stage offset -> Exp stage (TexelRepr sampler)

textureProjOffsetB' :: (GPU sampler, GPU coord, GPU offset, GPU bias, GPU (TexelRepr sampler), IsTextureProjOffset sampler coord offset bias) => Exp F sampler -> Exp F coord -> Exp F offset -> Exp F bias -> Exp F (TexelRepr sampler)

textureLodOffset' :: (GPU sampler, GPU coord, GPU lod, GPU offset, GPU (TexelRepr sampler), IsTextureLodOffset sampler coord lod offset) => Exp stage sampler -> Exp stage coord -> Exp stage lod -> Exp stage offset -> Exp stage (TexelRepr sampler)

textureProjLod' :: (GPU sampler, GPU coord, GPU lod, GPU (TexelRepr sampler), IsTextureProjLod sampler coord lod) => Exp stage sampler -> Exp stage coord -> Exp stage lod -> Exp stage (TexelRepr sampler)

textureProjLodOffset' :: (GPU sampler, GPU coord, GPU lod, GPU offset, GPU (TexelRepr sampler), IsTextureProjLodOffset sampler coord lod offset) => Exp stage sampler -> Exp stage coord -> Exp stage lod -> Exp stage offset -> Exp stage (TexelRepr sampler)

textureGrad' :: (GPU sampler, GPU coord, GPU dx, GPU dy, GPU (TexelRepr sampler), IsTextureGrad sampler coord dx dy) => Exp stage sampler -> Exp stage coord -> Exp stage dx -> Exp stage dy -> Exp stage (TexelRepr sampler)

textureGradOffset' :: (GPU sampler, GPU coord, GPU dx, GPU dy, GPU offset, GPU (TexelRepr sampler), IsTextureGradOffset sampler coord dx dy offset) => Exp stage sampler -> Exp stage coord -> Exp stage dx -> Exp stage dy -> Exp stage offset -> Exp stage (TexelRepr sampler)

textureProjGrad' :: (GPU sampler, GPU coord, GPU dx, GPU dy, GPU (TexelRepr sampler), IsTextureProjGrad sampler coord dx dy) => Exp stage sampler -> Exp stage coord -> Exp stage dx -> Exp stage dy -> Exp stage (TexelRepr sampler)

textureProjGradOffset' :: (GPU sampler, GPU coord, GPU dx, GPU dy, GPU offset, GPU (TexelRepr sampler), IsTextureProjGradOffset sampler coord dx dy offset) => Exp stage sampler -> Exp stage coord -> Exp stage dx -> Exp stage dy -> Exp stage offset -> Exp stage (TexelRepr sampler)

class BuiltinCommon a b where

Methods

min' :: a -> b -> a

max' :: a -> b -> a

clamp' :: a -> b -> b -> a

Instances

(GPU a, GPU t, IsNum t, IsVecScalar d a t) => BuiltinCommon (Exp stage a) (Exp stage t)

(GPU a, IsNum t, IsVecScalar d a t) => BuiltinCommon (Exp stage a) (Exp stage a)

class BuiltinMix a b where

Methods

mix' :: a -> a -> b -> a

Instances

(GPU a, GPU b, IsVecScalar d a Float, IsVecScalar d b Bool) => BuiltinMix (Exp stage a) (Exp stage b)

(GPU a, IsVecScalar d a Float) => BuiltinMix (Exp stage a) (Exp stage Float)

(GPU a, IsVecScalar d a Float) => BuiltinMix (Exp stage a) (Exp stage a)

class BuiltinStep a b where

Methods

step' :: b -> a -> a

smoothstep' :: b -> b -> a -> a

Instances

(GPU a, IsVecScalar d a Float) => BuiltinStep (Exp stage a) (Exp stage Float)

BuiltinStep (Exp stage V4F) (Exp stage V4F)

BuiltinStep (Exp stage V3F) (Exp stage V3F)

BuiltinStep (Exp stage V2F) (Exp stage V2F)

(@.) :: (IsVecScalar d a Float, GPU a) => Exp stage a -> Exp stage a -> Exp stage Float

(@#) :: Exp stage (V3 Float) -> Exp stage (V3 Float) -> Exp stage (V3 Float)

(@*.) :: (IsMat m r w, GPU m, GPU w, GPU r) => Exp stage m -> Exp stage w -> Exp stage r

(@.*) :: (IsMat m h r, GPU h, GPU m, GPU r) => Exp stage h -> Exp stage m -> Exp stage r

(@.*.) :: (IsMat a i j, IsMat b j k, IsMat r i k, GPU a, GPU b, GPU r) => Exp stage a -> Exp stage b -> Exp stage r

complement' :: (IsIntegral t, IsVecScalar d r t, GPU r) => Exp stage r -> Exp stage r

neg' :: (IsSigned t, IsMatVecScalar r t, GPU r) => Exp stage r -> Exp stage r

modf' :: (IsVecScalar d a Float, GPU a) => Exp stage a -> Exp stage (a, a)

class SpecialConstant a where

Methods

zero' :: a

one' :: a

Instances

SpecialConstant Bool

SpecialConstant Float

SpecialConstant Int32

SpecialConstant Word32

SpecialConstant a => SpecialConstant (V4 a)

SpecialConstant a => SpecialConstant (V3 a)

SpecialConstant a => SpecialConstant (V2 a)

class IdentityMatrix a where

Methods

idmtx' :: a

Instances

IdentityMatrix M44F

IdentityMatrix M33F

IdentityMatrix M22F

class PkgVec v where

Methods

unpack' :: (GPU a, GPU (v a), IsComponent a) => Exp stage (v a) -> v (Exp stage a)

pack' :: (GPU a, GPU (v a), IsComponent a) => v (Exp stage a) -> Exp stage (v a)

Instances

PkgVec V4

PkgVec V3

PkgVec V2

tup0 :: Exp freq ()

tup2 :: (GPU a, GPU b) => (Exp stage a, Exp stage b) -> Exp stage (a, b)

tup3 :: (GPU a, GPU b, GPU c) => (Exp stage a, Exp stage b, Exp stage c) -> Exp stage (a, b, c)

tup4 :: (GPU a, GPU b, GPU c, GPU d) => (Exp stage a, Exp stage b, Exp stage c, Exp stage d) -> Exp stage (a, b, c, d)

tup5 :: (GPU a, GPU b, GPU c, GPU d, GPU e) => (Exp stage a, Exp stage b, Exp stage c, Exp stage d, Exp stage e) -> Exp stage (a, b, c, d, e)

tup6 :: (GPU a, GPU b, GPU c, GPU d, GPU e, GPU f) => (Exp stage a, Exp stage b, Exp stage c, Exp stage d, Exp stage e, Exp stage f) -> Exp stage (a, b, c, d, e, f)

tup7 :: (GPU a, GPU b, GPU c, GPU d, GPU e, GPU f, GPU g) => (Exp stage a, Exp stage b, Exp stage c, Exp stage d, Exp stage e, Exp stage f, Exp stage g) -> Exp stage (a, b, c, d, e, f, g)

tup8 :: (GPU a, GPU b, GPU c, GPU d, GPU e, GPU f, GPU g, GPU h) => (Exp stage a, Exp stage b, Exp stage c, Exp stage d, Exp stage e, Exp stage f, Exp stage g, Exp stage h) -> Exp stage (a, b, c, d, e, f, g, h)

tup9 :: (GPU a, GPU b, GPU c, GPU d, GPU e, GPU f, GPU g, GPU h, GPU i) => (Exp stage a, Exp stage b, Exp stage c, Exp stage d, Exp stage e, Exp stage f, Exp stage g, Exp stage h, Exp stage i) -> Exp stage (a, b, c, d, e, f, g, h, i)

untup2 :: (GPU a, GPU b) => Exp stage (a, b) -> (Exp stage a, Exp stage b)

untup3 :: (GPU a, GPU b, GPU c) => Exp stage (a, b, c) -> (Exp stage a, Exp stage b, Exp stage c)

untup4 :: (GPU a, GPU b, GPU c, GPU d) => Exp stage (a, b, c, d) -> (Exp stage a, Exp stage b, Exp stage c, Exp stage d)

untup5 :: (GPU a, GPU b, GPU c, GPU d, GPU e) => Exp stage (a, b, c, d, e) -> (Exp stage a, Exp stage b, Exp stage c, Exp stage d, Exp stage e)

untup6 :: (GPU a, GPU b, GPU c, GPU d, GPU e, GPU f) => Exp stage (a, b, c, d, e, f) -> (Exp stage a, Exp stage b, Exp stage c, Exp stage d, Exp stage e, Exp stage f)

untup7 :: (GPU a, GPU b, GPU c, GPU d, GPU e, GPU f, GPU g) => Exp stage (a, b, c, d, e, f, g) -> (Exp stage a, Exp stage b, Exp stage c, Exp stage d, Exp stage e, Exp stage f, Exp stage g)

untup8 :: (GPU a, GPU b, GPU c, GPU d, GPU e, GPU f, GPU g, GPU h) => Exp stage (a, b, c, d, e, f, g, h) -> (Exp stage a, Exp stage b, Exp stage c, Exp stage d, Exp stage e, Exp stage f, Exp stage g, Exp stage h)

untup9 :: (GPU a, GPU b, GPU c, GPU d, GPU e, GPU f, GPU g, GPU h, GPU i) => Exp stage (a, b, c, d, e, f, g, h, i) -> (Exp stage a, Exp stage b, Exp stage c, Exp stage d, Exp stage e, Exp stage f, Exp stage g, Exp stage h, Exp stage i)

vertexID' :: Exp V Int32

instanceID' :: Exp V Int32

primitiveIDIn' :: Exp G Int32

fragCoord' :: Exp F V4F

frontFacing' :: Exp F Bool

pointCoord' :: Exp F V2F

primitiveID' :: Exp F Int32