Safe Haskell	None
Language	Haskell2010

Graphics.IxShader

Synopsis

Documentation

fromInteger :: Integer -> Xint Source #

fromRational :: Rational -> Xfloat Source #

(.=) :: forall a b i ctx. (Socketed a, Socketed b, WriteTo a ~ ReadFrom b) => a -> b -> IxShader ctx i i () infixr 1 Source #

smoothstep :: (Socketed a, Socketed b, Socketed c, Socketed (ReadFrom c), ReadFrom a ~ ReadFrom b, ReadFrom a ~ ReadFrom c) => a -> b -> c -> ReadFrom c Source #

step :: (Socketed a, Socketed b, Socketed c) => a -> b -> c Source #

mkvec2 :: Xfloat -> Xfloat -> Xvec2 Source #

mkvec3 :: Xfloat -> Xfloat -> Xfloat -> Xvec3 Source #

mkvec4 :: Xfloat -> Xfloat -> Xfloat -> Xfloat -> Xvec4 Source #

mkmat4 :: Xvec4 -> Xvec4 -> Xvec4 -> Xvec4 -> Xmat4 Source #

toInt :: Xfloat -> Xint Source #

toFloat :: Xint -> Xfloat Source #

float :: Float -> Xfloat Source #

int :: Int -> Xint Source #

type family LengthOf a where ... Source #

Equations

LengthOf Xfloat = Xfloat
LengthOf Xvec2 = Xfloat
LengthOf Xvec3 = Xfloat
LengthOf Xvec4 = Xfloat
LengthOf (Uniform t n) = LengthOf t
LengthOf (In t n) = LengthOf t
LengthOf (Out t n) = LengthOf t
LengthOf (Const t) = LengthOf t
LengthOf a = Error '(a, "Cannot call length on this type.")

length :: (Socketed a, Socketed (LengthOf a)) => a -> LengthOf a Source #

type family VectOf (n :: Nat) v where ... Source #

Equations

VectOf 1 Xfloat = Xfloat
VectOf 2 Xfloat = Xvec2
VectOf 3 Xfloat = Xvec3
VectOf 4 Xfloat = Xvec4
VectOf 2 Xvec2 = Xmat2
VectOf 3 Xvec2 = Xmat3x2
VectOf 4 Xvec2 = Xmat4x2
VectOf 2 Xvec3 = Xmat2x3
VectOf 3 Xvec3 = Xmat3
VectOf 4 Xvec3 = Xmat4x3
VectOf 2 Xvec4 = Xmat4x2
VectOf 3 Xvec4 = Xmat4x3
VectOf 4 Xvec4 = Xmat4

type family CompType v where ... Source #

Equations

CompType Xfloat = Xfloat
CompType Xvec2 = Xfloat
CompType Xvec3 = Xfloat
CompType Xvec4 = Xfloat
CompType Xmat2 = Xvec2
CompType Xmat2x3 = Xvec3
CompType Xmat2x4 = Xvec4
CompType Xmat3x2 = Xvec2
CompType Xmat3 = Xvec3
CompType Xmat3x4 = Xvec4
CompType Xmat4x2 = Xvec2
CompType Xmat4x3 = Xvec3
CompType Xmat4 = Xvec4

type family NumComps v where ... Source #

Equations

NumComps Xfloat = 1
NumComps Xvec2 = 2
NumComps Xvec3 = 3
NumComps Xvec4 = 4
NumComps Xmat2 = 2
NumComps Xmat2x3 = 3
NumComps Xmat2x4 = 4
NumComps Xmat3x2 = 2
NumComps Xmat3 = 3
NumComps Xmat3x4 = 4
NumComps Xmat4x2 = 2
NumComps Xmat4x3 = 3
NumComps Xmat4 = 4

type family CompCat as bs where ... Source #

Equations

CompCat as bs = VectOf (NumComps as :+ NumComps bs) (CompType as)

(.:) :: forall a b. (KnownTypeSymbol (CompCat (ReadFrom a) (ReadFrom b)), Socketed a, Socketed b, Socketed (CompCat (ReadFrom a) (ReadFrom b))) => a -> b -> CompCat (ReadFrom a) (ReadFrom b) infixr 5 Source #

type IsGLContext ctx = (HasContext ctx, KnownSymbol (GLFragName ctx)) Source #

main_ :: forall ctx i a. IxShader ctx i i a -> IxShader ctx i (i :++ '[Main]) () Source #

(+=) :: Readable a b => a -> b -> ReadFrom a infixr 5 Source #

(-=) :: Readable a b => a -> b -> ReadFrom a infixr 5 Source #

mod :: (Socketed a, Socketed b) => a -> b -> a Source #

at :: (Socketed a, Socketed (CompType a)) => a -> Xint -> CompType a Source #

for :: (Socketed a, KnownTypeSymbol a) => (String, a) -> (a -> (Xbool, a)) -> (a -> IxShader ctx i i b) -> IxShader ctx i i b Source #

bigfattestvertex :: forall ctx. HasContext ctx => IxShader ctx '[] '[Uniform Xvec2 "u_resolution", Out Xvec4 "gl_Position", Function Xint "myFunc" (Xint, Xint), Main] () Source #

class KnownSymbol n #

This class gives the string associated with a type-level symbol. There are instances of the class for every concrete literal: "hello", etc.

Since: 4.7.0.0

Minimal complete definition

symbolSing

(&&&) :: Arrow a => forall b c c'. a b c -> a b c' -> a b (c, c') #

Fanout: send the input to both argument arrows and combine their output.

The default definition may be overridden with a more efficient version if desired.

module Prelude