Documentation

type Shader g i o a = PartialShader g i o a Source

type VertexShader g i o = Shader g i (VertexShaderOutput : o) () Source

type FragmentShader g i = Shader g i (FragmentShaderOutput : []) () Source

class Typeable a

class AllTypeable xs Source

class ShaderType t Source

class Typeable g => UniformCPU c g | g -> c Source

class Typeable g => AttributeCPU c g | g -> c Source

data Float Source

data Sampler2D Source

data V2 Source

data V3 Source

data V4 Source

data M2 Source

data M3 Source

data M4 Source

type CFloat = Float Source

type CSampler2D = ActiveTexture Source

type CV2 = V2 Source

type CV3 = V3 Source

type CV4 = V4 Source

type CM2 = M2 Source

type CM3 = M3 Source

type CM4 = M4 Source

negate :: Float -> Float Source

fromInteger :: Integer -> Float Source

fromRational :: Rational -> Float Source

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

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

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

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

(^) :: (ShaderType a, ShaderType b) => a -> b -> 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

abs :: Float -> Float Source

sign :: Float -> Float Source

sqrt :: Float -> Float Source

texture2D :: Sampler2D -> V2 -> V4 Source

(>>=) :: Shader g i o a -> (a -> Shader g i o b) -> Shader g i o b Source

(>>) :: Shader g i o a -> Shader g i o b -> Shader g i o b Source

fail :: String -> Shader g i o a Source

return :: a -> Shader g i o a Source

get :: (Member a i, Typeable a, ShaderType a) => Shader g i o a Source

global :: (Member a g, Typeable a, ShaderType a) => Shader g i o a Source

put :: (Member a o, Typeable a, ShaderType a) => a -> Shader g i o () Source

putVertex :: Member VertexShaderOutput o => V4 -> Shader g i o () Source

putFragment :: Member FragmentShaderOutput o => V4 -> Shader g i o () Source

(.) :: (b -> c) -> (a -> b) -> a -> c infixr 9

id :: a -> a

const :: a -> b -> a

flip :: (a -> b -> c) -> b -> a -> c

($) :: (a -> b) -> a -> b infixr 0

    f $ g $ h x  =  f (g (h x))