Graphics.Rendering.Ombra.Shader.ShaderVar

Synopsis

• type Shader gs is os = SVList gs -> SVList is -> SVList os
• 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 ...
• type family Insert y (xs :: [*]) where ...
• data SVList :: [*] -> * where
  • N :: SVList '[]
  • (:-) :: ShaderVar a => a -> SVList xs -> SVList (a ': xs)
• class ShaderVar g where
• type ShaderVars = Set ShaderVar
• 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

Documentation