Graphics.Rendering.Ombra.Shader.ShaderVar

Documentation

type Shader gs is os = SVList gs -> SVList is -> SVList os

A function from a set of uniforms and a set of inputs (attributes or varyings) to a set of outputs (varyings). It can be used to represent a reusable piece of shader code, other than actual shaders.

type Member x xs = IsMember x xs ~ True

type Subset xs ys = TrueOrErr (IsSubset xs ys) ((((Text "\8216" :<>: ShowType xs) :<>: Text "\8217 is not a subset of \8216") :<>: ShowType ys) :<>: Text "\8217")

type Equal xs ys = IsEqual xs ys ~ True

type family Union (xs :: [*]) (ys :: [*]) where ...

Equations

Union '[] ys = ys

Union (x ': xs) ys = Union xs (Insert x ys)

type family Insert y (xs :: [*]) where ...

Equations

Insert y '[] = '[y]

Insert y (y ': xs) = y ': xs

Insert y (x ': xs) = x ': Insert y xs

data SVList :: [*] -> * where

An heterogeneous list of ShaderVars.

Constructors

N :: SVList '[]

(:-) :: ShaderVar a => a -> SVList xs -> SVList (a ': xs) infixr 4

class ShaderVar g where

Minimal complete definition

varPreName, varBuild, varToList

Methods

varPreName :: g -> String

varBuild :: (forall x. ShaderType x => Int -> x) -> Proxy g -> g

varToList :: (forall x. ShaderType x => Int -> x -> t) -> g -> [t]

Instances

(GShaderVar (Rep g), Generic g) => ShaderVar g

Methods

varPreName :: g -> String

varBuild :: (forall x. ShaderType x => Int -> x) -> Proxy * g -> g

varToList :: (forall x. ShaderType x => Int -> x -> t) -> g -> [t]

ShaderVar FragmentShaderOutput

Methods

varPreName :: FragmentShaderOutput -> String

varBuild :: (forall x. ShaderType x => Int -> x) -> Proxy * FragmentShaderOutput -> FragmentShaderOutput

varToList :: (forall x. ShaderType x => Int -> x -> t) -> FragmentShaderOutput -> [t]

type ShaderVars = Set ShaderVar

A type-level set of ShaderVars.

type BaseTypes g = GBaseTypes (Rep g)

varPreName :: ShaderVar g => g -> String

varBuild :: ShaderVar g => (forall x. ShaderType x => Int -> x) -> Proxy g -> g

varToList :: ShaderVar g => (forall x. ShaderType x => Int -> x -> t) -> g -> [t]

svFold :: (forall x. ShaderVar x => acc -> x -> acc) -> acc -> SVList xs -> acc

svToList :: (forall x. ShaderVar x => x -> [y]) -> SVList xs -> [y]

staticSVList :: ShaderVars xs => Proxy (xs :: [*]) -> (forall x. ShaderVar x => Proxy x -> x) -> SVList xs

Create a SVList with a function.