ShaderInputs
Fields shaderUsedUniformBlocks :: !(IntMap UniformId (GlobDeclM ())) shaderUsedSamplers :: !(IntMap SamplerId (GlobDeclM ())) shaderUsedInput :: !(IntMap Int (GlobDeclM (), (ExprM (), GlobDeclM ()))) shaderGeometry :: !(Maybe (GlobDeclM ()))

emptyShaderInputs :: ShaderInputs Source #

data ExprResult Source #

Constructors

ExprResult

Fields

finalSource :: !Text
Shader source produced.
unis :: ![UniformId]
Uniforms used in this shader.
samps :: ![SamplerId]
Samplers used in this shader.
inps :: [Int]
Inputs used in this shader (only varying or uniforms too?). Lazy, because it's not used for fragment and geometry shaders.
prevDecls :: GlobDeclM ()
Output declarations required in the previous shader (how it differs from the inputs used?). Lazy, because it's not used in the vertex shader.
prevSs :: ExprM ()
Expression to construct in the previous shader. Lazy, because it's not used in the vertex shader.

runExprM :: GlobDeclM () -> ExprM () -> IO ExprResult Source #

data ShaderStageInput Source #

Constructors

ShaderStageInput
Fields outputDeclarations :: !(GlobDeclM ()) expression :: !(ExprM ())

data ShaderStageOutput Source #

Constructors

ShaderStageOutput

Fields

source :: !Text
The shader GLSL source to be compiled.
uniforms :: ![UniformId]
The uniforms used in this shader.
samplers :: ![SamplerId]
The samplers used in this shader.
inputs :: ![Int]
The input variables used in this shader.
previousDeclarations :: !(GlobDeclM ())
The output declations to include in the previous shader to provide the needed input variables.
prevExpression :: !(ExprM ())
The expression to evaluate in order to produce the previous shader.

evaluateExpression :: [ExprM ()] -> ExprM () -> GlobDeclM () -> IO ShaderStageOutput Source #

newtype S x a Source #

Constructors

S
Fields unS :: ExprM Text

Instances

Instances details

FragmentInput VBool Source #
Instance details Defined in Graphics.GPipe.Internal.FragmentStream Associated Types type FragmentFormat VBool Source # Methods toFragment :: ToFragment VBool (FragmentFormat VBool) Source #
FragmentInput VWord Source #
Instance details Defined in Graphics.GPipe.Internal.FragmentStream Associated Types type FragmentFormat VWord Source # Methods toFragment :: ToFragment VWord (FragmentFormat VWord) Source #
FragmentInput VInt Source #
Instance details Defined in Graphics.GPipe.Internal.FragmentStream Associated Types type FragmentFormat VInt Source # Methods toFragment :: ToFragment VInt (FragmentFormat VInt) Source #
FragmentInput VFloat Source #
Instance details Defined in Graphics.GPipe.Internal.FragmentStream Associated Types type FragmentFormat VFloat Source # Methods toFragment :: ToFragment VFloat (FragmentFormat VFloat) Source #
FragmentCreator VBool Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods createFragment :: State Int VBool Source #
FragmentCreator VWord Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods createFragment :: State Int VWord Source #
FragmentCreator VInt Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods createFragment :: State Int VInt Source #
FragmentCreator VFloat Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods createFragment :: State Int VFloat Source #
AnotherFragmentInput VBool Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods toFragment2 :: ToAnotherFragment VBool (FragmentFormat VBool) Source #
AnotherFragmentInput VWord Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods toFragment2 :: ToAnotherFragment VWord (FragmentFormat VWord) Source #
AnotherFragmentInput VInt Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods toFragment2 :: ToAnotherFragment VInt (FragmentFormat VInt) Source #
AnotherFragmentInput VFloat Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods toFragment2 :: ToAnotherFragment VFloat (FragmentFormat VFloat) Source #
GeometryExplosive VBool Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods exploseGeometry :: VBool -> Int -> ExprM Int Source # declareGeometry :: VBool -> State Int (GlobDeclM ()) Source # enumerateVaryings :: VBool -> State Int [Text] Source #
GeometryExplosive VWord Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods exploseGeometry :: VWord -> Int -> ExprM Int Source # declareGeometry :: VWord -> State Int (GlobDeclM ()) Source # enumerateVaryings :: VWord -> State Int [Text] Source #
GeometryExplosive VInt Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods exploseGeometry :: VInt -> Int -> ExprM Int Source # declareGeometry :: VInt -> State Int (GlobDeclM ()) Source # enumerateVaryings :: VInt -> State Int [Text] Source #
GeometryExplosive VFloat Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods exploseGeometry :: VFloat -> Int -> ExprM Int Source # declareGeometry :: VFloat -> State Int (GlobDeclM ()) Source # enumerateVaryings :: VFloat -> State Int [Text] Source #
AnotherVertexInput VBool Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods toAnotherVertex :: ToAnotherVertex VBool VBool Source #
AnotherVertexInput VWord Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods toAnotherVertex :: ToAnotherVertex VWord VWord Source #
AnotherVertexInput VInt Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods toAnotherVertex :: ToAnotherVertex VInt VInt Source #
AnotherVertexInput VFloat Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods toAnotherVertex :: ToAnotherVertex VFloat VFloat Source #
ResultValue (V4 (S x Float)) Source #
Instance details Defined in Graphics.GPipe.Debugger.Compile Methods resultExpr :: V4 (S x Float) -> ExprM Text Source # resultType :: V4 (S x Float) -> SType Source #
ResultValue (V3 (S x Float)) Source #
Instance details Defined in Graphics.GPipe.Debugger.Compile Methods resultExpr :: V3 (S x Float) -> ExprM Text Source # resultType :: V3 (S x Float) -> SType Source #
ResultValue (V2 (S x Float)) Source #
Instance details Defined in Graphics.GPipe.Debugger.Compile Methods resultExpr :: V2 (S x Float) -> ExprM Text Source # resultType :: V2 (S x Float) -> SType Source #
Floating (S x Float) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods pi :: S x Float # exp :: S x Float -> S x Float # log :: S x Float -> S x Float # sqrt :: S x Float -> S x Float # (**) :: S x Float -> S x Float -> S x Float # logBase :: S x Float -> S x Float -> S x Float # sin :: S x Float -> S x Float # cos :: S x Float -> S x Float # tan :: S x Float -> S x Float # asin :: S x Float -> S x Float # acos :: S x Float -> S x Float # atan :: S x Float -> S x Float # sinh :: S x Float -> S x Float # cosh :: S x Float -> S x Float # tanh :: S x Float -> S x Float # asinh :: S x Float -> S x Float # acosh :: S x Float -> S x Float # atanh :: S x Float -> S x Float # log1p :: S x Float -> S x Float # expm1 :: S x Float -> S x Float # log1pexp :: S x Float -> S x Float # log1mexp :: S x Float -> S x Float #
Fractional (S x Float) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods (/) :: S x Float -> S x Float -> S x Float # recip :: S x Float -> S x Float # fromRational :: Rational -> S x Float #
Num (S x Word) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods (+) :: S x Word -> S x Word -> S x Word # (-) :: S x Word -> S x Word -> S x Word # (*) :: S x Word -> S x Word -> S x Word # negate :: S x Word -> S x Word # abs :: S x Word -> S x Word # signum :: S x Word -> S x Word # fromInteger :: Integer -> S x Word #
Num (S x Int) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods (+) :: S x Int -> S x Int -> S x Int # (-) :: S x Int -> S x Int -> S x Int # (*) :: S x Int -> S x Int -> S x Int # negate :: S x Int -> S x Int # abs :: S x Int -> S x Int # signum :: S x Int -> S x Int # fromInteger :: Integer -> S x Int #
Num (S x Float) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods (+) :: S x Float -> S x Float -> S x Float # (-) :: S x Float -> S x Float -> S x Float # (*) :: S x Float -> S x Float -> S x Float # negate :: S x Float -> S x Float # abs :: S x Float -> S x Float # signum :: S x Float -> S x Float # fromInteger :: Integer -> S x Float #
Boolean (S x Bool) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods true :: S x Bool # false :: S x Bool # notB :: S x Bool -> S x Bool # (&&) :: S x Bool -> S x Bool -> S x Bool # (\|\|) :: S x Bool -> S x Bool -> S x Bool #
IfB (S x (GenerativeGeometry p b)) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods ifB :: bool ~ BooleanOf (S x (GenerativeGeometry p b)) => bool -> S x (GenerativeGeometry p b) -> S x (GenerativeGeometry p b) -> S x (GenerativeGeometry p b) #
IfB (S x Bool) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods ifB :: bool ~ BooleanOf (S x Bool) => bool -> S x Bool -> S x Bool -> S x Bool #
IfB (S x Word) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods ifB :: bool ~ BooleanOf (S x Word) => bool -> S x Word -> S x Word -> S x Word #
IfB (S x Int) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods ifB :: bool ~ BooleanOf (S x Int) => bool -> S x Int -> S x Int -> S x Int #
IfB (S x Float) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods ifB :: bool ~ BooleanOf (S x Float) => bool -> S x Float -> S x Float -> S x Float #
Eq a => EqB (S x a) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods (==) :: bool ~ BooleanOf (S x a) => S x a -> S x a -> bool # (/=) :: bool ~ BooleanOf (S x a) => S x a -> S x a -> bool #
Ord a => OrdB (S x a) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods (<) :: bool ~ BooleanOf (S x a) => S x a -> S x a -> bool # (<=) :: bool ~ BooleanOf (S x a) => S x a -> S x a -> bool # (>) :: bool ~ BooleanOf (S x a) => S x a -> S x a -> bool # (>=) :: bool ~ BooleanOf (S x a) => S x a -> S x a -> bool #
Conjugate (S x Word) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods conjugate :: S x Word -> S x Word #
Conjugate (S x Int) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods conjugate :: S x Int -> S x Int #
Conjugate (S x Float) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods conjugate :: S x Float -> S x Float #
TrivialConjugate (S x Word) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr
TrivialConjugate (S x Int) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr
TrivialConjugate (S x Float) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr
Convert (S x Word) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ConvertFloat (S x Word) Source # type ConvertInt (S x Word) Source # type ConvertWord (S x Word) Source # Methods toFloat :: S x Word -> ConvertFloat (S x Word) Source # toInt :: S x Word -> ConvertInt (S x Word) Source # toWord :: S x Word -> ConvertWord (S x Word) Source #
Convert (S x Int) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ConvertFloat (S x Int) Source # type ConvertInt (S x Int) Source # type ConvertWord (S x Int) Source # Methods toFloat :: S x Int -> ConvertFloat (S x Int) Source # toInt :: S x Int -> ConvertInt (S x Int) Source # toWord :: S x Int -> ConvertWord (S x Int) Source #
Convert (S x Float) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ConvertFloat (S x Float) Source # type ConvertInt (S x Float) Source # type ConvertWord (S x Float) Source # Methods toFloat :: S x Float -> ConvertFloat (S x Float) Source # toInt :: S x Float -> ConvertInt (S x Float) Source # toWord :: S x Float -> ConvertWord (S x Float) Source #
FloatingOrd (S x Float) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods clamp :: S x Float -> S x Float -> S x Float -> S x Float Source # saturate :: S x Float -> S x Float Source # step :: S x Float -> S x Float -> S x Float Source # smoothstep :: S x Float -> S x Float -> S x Float -> S x Float Source #
Real' (S x Float) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods rsqrt :: S x Float -> S x Float Source # exp2 :: S x Float -> S x Float Source # log2 :: S x Float -> S x Float Source # floor' :: S x Float -> S x Float Source # ceiling' :: S x Float -> S x Float Source # fract' :: S x Float -> S x Float Source # mod'' :: S x Float -> S x Float -> S x Float Source # mix :: S x Float -> S x Float -> S x Float -> S x Float Source # atan2' :: S x Float -> S x Float -> S x Float Source #
Bits' (S x Word) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods and' :: S x Word -> S x Word -> S x Word Source # or' :: S x Word -> S x Word -> S x Word Source # xor' :: S x Word -> S x Word -> S x Word Source # complement' :: S x Word -> S x Word Source # shiftL' :: S x Word -> S x Word -> S x Word Source # shiftR' :: S x Word -> S x Word -> S x Word Source # bitSize' :: S x Word -> Int Source #
Bits' (S x Int) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods and' :: S x Int -> S x Int -> S x Int Source # or' :: S x Int -> S x Int -> S x Int Source # xor' :: S x Int -> S x Int -> S x Int Source # complement' :: S x Int -> S x Int Source # shiftL' :: S x Int -> S x Int -> S x Int Source # shiftR' :: S x Int -> S x Int -> S x Int Source # bitSize' :: S x Int -> Int Source #
Integral' (S x Word) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods div' :: S x Word -> S x Word -> S x Word Source # mod' :: S x Word -> S x Word -> S x Word Source #
Integral' (S x Int) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods div' :: S x Int -> S x Int -> S x Int Source # mod' :: S x Int -> S x Int -> S x Int Source #
ResultValue (S x Float) Source #
Instance details Defined in Graphics.GPipe.Debugger.Compile Methods resultExpr :: S x Float -> ExprM Text Source # resultType :: S x Float -> SType Source #
ShaderType (S x (GenerativeGeometry p a)) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (S x (GenerativeGeometry p a)) Source # Methods toBase :: x -> S x (GenerativeGeometry p a) -> ShaderBase (ShaderBaseType (S x (GenerativeGeometry p a))) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (S x (GenerativeGeometry p a))) x -> S x (GenerativeGeometry p a) Source #
ShaderType (S x Bool) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (S x Bool) Source # Methods toBase :: x -> S x Bool -> ShaderBase (ShaderBaseType (S x Bool)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (S x Bool)) x -> S x Bool Source #
ShaderType (S x Word) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (S x Word) Source # Methods toBase :: x -> S x Word -> ShaderBase (ShaderBaseType (S x Word)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (S x Word)) x -> S x Word Source #
ShaderType (S x Int) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (S x Int) Source # Methods toBase :: x -> S x Int -> ShaderBase (ShaderBaseType (S x Int)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (S x Int)) x -> S x Int Source #
ShaderType (S x Float) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (S x Float) Source # Methods toBase :: x -> S x Float -> ShaderBase (ShaderBaseType (S x Float)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (S x Float)) x -> S x Float Source #
type FragmentFormat VBool Source #
Instance details Defined in Graphics.GPipe.Internal.FragmentStream type FragmentFormat VBool = FBool
type FragmentFormat VWord Source #
Instance details Defined in Graphics.GPipe.Internal.FragmentStream type FragmentFormat VWord = FWord
type FragmentFormat VInt Source #
Instance details Defined in Graphics.GPipe.Internal.FragmentStream type FragmentFormat VInt = FInt
type FragmentFormat VFloat Source #
Instance details Defined in Graphics.GPipe.Internal.FragmentStream type FragmentFormat VFloat = FFloat
type BooleanOf (S x a) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr type BooleanOf (S x a) = S x Bool
type ConvertFloat (S x Word) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr type ConvertFloat (S x Word) = S x Float
type ConvertFloat (S x Int) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr type ConvertFloat (S x Int) = S x Float
type ConvertFloat (S x Float) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr type ConvertFloat (S x Float) = S x Float
type ConvertInt (S x Word) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr type ConvertInt (S x Word) = S x Int
type ConvertInt (S x Int) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr type ConvertInt (S x Int) = S x Int
type ConvertInt (S x Float) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr type ConvertInt (S x Float) = S x Int
type ConvertWord (S x Word) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr type ConvertWord (S x Word) = S x Word
type ConvertWord (S x Int) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr type ConvertWord (S x Int) = S x Word
type ConvertWord (S x Float) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr type ConvertWord (S x Float) = S x Word
type ShaderBaseType (S x (GenerativeGeometry p a)) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr type ShaderBaseType (S x (GenerativeGeometry p a)) = S x (GenerativeGeometry p a)
type ShaderBaseType (S x Bool) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr type ShaderBaseType (S x Bool) = S x Bool
type ShaderBaseType (S x Word) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr type ShaderBaseType (S x Word) = S x Word
type ShaderBaseType (S x Int) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr type ShaderBaseType (S x Int) = S x Int
type ShaderBaseType (S x Float) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr type ShaderBaseType (S x Float) = S x Float

scalarS :: SType -> ExprM RValue -> S c a Source #

vec2S :: SType -> ExprM RValue -> V2 (S c a) Source #

vec3S :: SType -> ExprM RValue -> V3 (S c a) Source #

vec4S :: SType -> ExprM RValue -> V4 (S c a) Source #

scalarS' :: RValue -> S c a Source #

vec2S' :: RValue -> V2 (S c a) Source #

vec3S' :: RValue -> V3 (S c a) Source #

vec4S' :: RValue -> V4 (S c a) Source #

vec2S'' :: S c a -> V2 (S c a) Source #

vec3S'' :: S c a -> V3 (S c a) Source #

vec4S'' :: S c a -> V4 (S c a) Source #

data V Source #

Phantom type used as first argument in S V a that denotes that the shader value is a vertex value

Instances

Instances details

FragmentInput VBool Source #
Instance details Defined in Graphics.GPipe.Internal.FragmentStream Associated Types type FragmentFormat VBool Source # Methods toFragment :: ToFragment VBool (FragmentFormat VBool) Source #
FragmentInput VWord Source #
Instance details Defined in Graphics.GPipe.Internal.FragmentStream Associated Types type FragmentFormat VWord Source # Methods toFragment :: ToFragment VWord (FragmentFormat VWord) Source #
FragmentInput VInt Source #
Instance details Defined in Graphics.GPipe.Internal.FragmentStream Associated Types type FragmentFormat VInt Source # Methods toFragment :: ToFragment VInt (FragmentFormat VInt) Source #
FragmentInput VFloat Source #
Instance details Defined in Graphics.GPipe.Internal.FragmentStream Associated Types type FragmentFormat VFloat Source # Methods toFragment :: ToFragment VFloat (FragmentFormat VFloat) Source #
FragmentCreator VBool Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods createFragment :: State Int VBool Source #
FragmentCreator VWord Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods createFragment :: State Int VWord Source #
FragmentCreator VInt Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods createFragment :: State Int VInt Source #
FragmentCreator VFloat Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods createFragment :: State Int VFloat Source #
AnotherFragmentInput VBool Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods toFragment2 :: ToAnotherFragment VBool (FragmentFormat VBool) Source #
AnotherFragmentInput VWord Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods toFragment2 :: ToAnotherFragment VWord (FragmentFormat VWord) Source #
AnotherFragmentInput VInt Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods toFragment2 :: ToAnotherFragment VInt (FragmentFormat VInt) Source #
AnotherFragmentInput VFloat Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods toFragment2 :: ToAnotherFragment VFloat (FragmentFormat VFloat) Source #
GeometryExplosive VBool Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods exploseGeometry :: VBool -> Int -> ExprM Int Source # declareGeometry :: VBool -> State Int (GlobDeclM ()) Source # enumerateVaryings :: VBool -> State Int [Text] Source #
GeometryExplosive VWord Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods exploseGeometry :: VWord -> Int -> ExprM Int Source # declareGeometry :: VWord -> State Int (GlobDeclM ()) Source # enumerateVaryings :: VWord -> State Int [Text] Source #
GeometryExplosive VInt Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods exploseGeometry :: VInt -> Int -> ExprM Int Source # declareGeometry :: VInt -> State Int (GlobDeclM ()) Source # enumerateVaryings :: VInt -> State Int [Text] Source #
GeometryExplosive VFloat Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods exploseGeometry :: VFloat -> Int -> ExprM Int Source # declareGeometry :: VFloat -> State Int (GlobDeclM ()) Source # enumerateVaryings :: VFloat -> State Int [Text] Source #
AnotherVertexInput VBool Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods toAnotherVertex :: ToAnotherVertex VBool VBool Source #
AnotherVertexInput VWord Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods toAnotherVertex :: ToAnotherVertex VWord VWord Source #
AnotherVertexInput VInt Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods toAnotherVertex :: ToAnotherVertex VInt VInt Source #
AnotherVertexInput VFloat Source #
Instance details Defined in Graphics.GPipe.Internal.GeometryStream Methods toAnotherVertex :: ToAnotherVertex VFloat VFloat Source #
type FragmentFormat VBool Source #
Instance details Defined in Graphics.GPipe.Internal.FragmentStream type FragmentFormat VBool = FBool
type FragmentFormat VWord Source #
Instance details Defined in Graphics.GPipe.Internal.FragmentStream type FragmentFormat VWord = FWord
type FragmentFormat VInt Source #
Instance details Defined in Graphics.GPipe.Internal.FragmentStream type FragmentFormat VInt = FInt
type FragmentFormat VFloat Source #
Instance details Defined in Graphics.GPipe.Internal.FragmentStream type FragmentFormat VFloat = FFloat

data F Source #

Phantom type used as first argument in S F a that denotes that the shader value is a fragment value

type G = V Source #

We reuse V for geometry shader, which simplify things and makes sense save the GenerativeGeometry…

newtype GenerativeGeometry p a Source #

Constructors

GenerativeGeometry a

Instances

Instances details

IfB (S x (GenerativeGeometry p b)) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods ifB :: bool ~ BooleanOf (S x (GenerativeGeometry p b)) => bool -> S x (GenerativeGeometry p b) -> S x (GenerativeGeometry p b) -> S x (GenerativeGeometry p b) #
ShaderType (S x (GenerativeGeometry p a)) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (S x (GenerativeGeometry p a)) Source # Methods toBase :: x -> S x (GenerativeGeometry p a) -> ShaderBase (ShaderBaseType (S x (GenerativeGeometry p a))) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (S x (GenerativeGeometry p a))) x -> S x (GenerativeGeometry p a) Source #
type ShaderBaseType (S x (GenerativeGeometry p a)) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr type ShaderBaseType (S x (GenerativeGeometry p a)) = S x (GenerativeGeometry p a)

type VFloat = S V Float Source #

type VInt = S V Int Source #

type VWord = S V Word Source #

type VBool = S V Bool Source #

type GGenerativeGeometry p a = S G (GenerativeGeometry p a) Source #

type FFloat = S F Float Source #

type FInt = S F Int Source #

type FWord = S F Word Source #

type FBool = S F Bool Source #

useVInput :: SType -> Int -> ExprM Text Source #

useGInput :: Text -> SType -> Int -> Int -> ExprM Text -> ExprM Text Source #

useFInputFromG :: Text -> SType -> Int -> ExprM Text -> ExprM Text Source #

useFInput :: Text -> Text -> SType -> Int -> ExprM Text -> ExprM Text Source #

declareGeometryLayout :: Text -> Text -> Int -> ExprM () Source #

useUniform :: GlobDeclM () -> UniformId -> Int -> ExprM Text Source #

useSampler :: Text -> Text -> SamplerId -> ExprM Text Source #

getNext :: Monad m => StateT ExprState m Int Source #

type RValue = Text Source #

tellAssignment :: SType -> ExprM RValue -> ExprM Text Source #

tellAssignment' :: Text -> RValue -> ExprM () Source #

tellST :: Text -> StateT ExprState IO () Source #

discard :: FBool -> ExprM () Source #

tellGlobalLn :: Text -> GlobDeclM () Source #

tellGlobal :: Text -> GlobDeclM () Source #

data ShaderBase a x where Source #

An opaque type

Constructors

ShaderBaseFloat :: S x Float -> ShaderBase (S x Float) x
ShaderBaseInt :: S x Int -> ShaderBase (S x Int) x
ShaderBaseWord :: S x Word -> ShaderBase (S x Word) x
ShaderBaseBool :: S x Bool -> ShaderBase (S x Bool) x
ShaderBaseUnit :: ShaderBase () x
ShaderBaseProd :: ShaderBase a x -> ShaderBase b x -> ShaderBase (a, b) x
ShaderBaseGenerativeGeometry :: S x (GenerativeGeometry p a) -> ShaderBase (S x (GenerativeGeometry p a)) x

shaderbaseDeclare :: ShaderBase a x -> WriterT [Text] ExprM (ShaderBase a x) Source #

shaderbaseAssign :: ShaderBase a x -> StateT [Text] ExprM () Source #

shaderbaseReturn :: ShaderBase a x -> ReaderT (ExprM [Text]) (State ExprState) (ShaderBase a x) Source #

shaderbaseDeclareDef :: SType -> WriterT [Text] ExprM (S x a) Source #

shaderbaseAssignDef :: S x a -> StateT [Text] ExprM () Source #

shaderbaseReturnDef :: ReaderT (ExprM [Text]) (State ExprState) (S x a) Source #

class ShaderType a x where Source #

Constraint for types that may pass in and out of shader control structures. Define your own instances in terms of others and make sure to make toBase as lazy as possible.

Associated Types

type ShaderBaseType a Source #

A base type that this type can convert into. Use the ShaderBaseType function on an existing instance of ShaderType to define this in your instance.

Methods

toBase :: x -> a -> ShaderBase (ShaderBaseType a) x Source #

Convert this type to the shader base type. Make sure this is as lazy as possible (e.g. use tilde (~) on each pattern match).

fromBase :: x -> ShaderBase (ShaderBaseType a) x -> a Source #

Convert back from the shader base type to this type.

Instances

Instances details

ShaderType () x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType () Source # Methods toBase :: x -> () -> ShaderBase (ShaderBaseType ()) x Source # fromBase :: x -> ShaderBase (ShaderBaseType ()) x -> () Source #
ShaderType a x => ShaderType (V0 a) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (V0 a) Source # Methods toBase :: x -> V0 a -> ShaderBase (ShaderBaseType (V0 a)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (V0 a)) x -> V0 a Source #
ShaderType a x => ShaderType (V4 a) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (V4 a) Source # Methods toBase :: x -> V4 a -> ShaderBase (ShaderBaseType (V4 a)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (V4 a)) x -> V4 a Source #
ShaderType a x => ShaderType (V3 a) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (V3 a) Source # Methods toBase :: x -> V3 a -> ShaderBase (ShaderBaseType (V3 a)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (V3 a)) x -> V3 a Source #
ShaderType a x => ShaderType (V2 a) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (V2 a) Source # Methods toBase :: x -> V2 a -> ShaderBase (ShaderBaseType (V2 a)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (V2 a)) x -> V2 a Source #
ShaderType a x => ShaderType (V1 a) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (V1 a) Source # Methods toBase :: x -> V1 a -> ShaderBase (ShaderBaseType (V1 a)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (V1 a)) x -> V1 a Source #
(ShaderType a x, ShaderType b x) => ShaderType (a, b) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (a, b) Source # Methods toBase :: x -> (a, b) -> ShaderBase (ShaderBaseType (a, b)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (a, b)) x -> (a, b) Source #
ShaderType (S x (GenerativeGeometry p a)) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (S x (GenerativeGeometry p a)) Source # Methods toBase :: x -> S x (GenerativeGeometry p a) -> ShaderBase (ShaderBaseType (S x (GenerativeGeometry p a))) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (S x (GenerativeGeometry p a))) x -> S x (GenerativeGeometry p a) Source #
ShaderType (S x Bool) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (S x Bool) Source # Methods toBase :: x -> S x Bool -> ShaderBase (ShaderBaseType (S x Bool)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (S x Bool)) x -> S x Bool Source #
ShaderType (S x Word) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (S x Word) Source # Methods toBase :: x -> S x Word -> ShaderBase (ShaderBaseType (S x Word)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (S x Word)) x -> S x Word Source #
ShaderType (S x Int) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (S x Int) Source # Methods toBase :: x -> S x Int -> ShaderBase (ShaderBaseType (S x Int)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (S x Int)) x -> S x Int Source #
ShaderType (S x Float) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (S x Float) Source # Methods toBase :: x -> S x Float -> ShaderBase (ShaderBaseType (S x Float)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (S x Float)) x -> S x Float Source #
(ShaderType a x, ShaderType b x, ShaderType c x) => ShaderType (a, b, c) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (a, b, c) Source # Methods toBase :: x -> (a, b, c) -> ShaderBase (ShaderBaseType (a, b, c)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (a, b, c)) x -> (a, b, c) Source #
(ShaderType a x, ShaderType b x, ShaderType c x, ShaderType d x) => ShaderType (a, b, c, d) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (a, b, c, d) Source # Methods toBase :: x -> (a, b, c, d) -> ShaderBase (ShaderBaseType (a, b, c, d)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (a, b, c, d)) x -> (a, b, c, d) Source #
(ShaderType a x, ShaderType b x, ShaderType c x, ShaderType d x, ShaderType e x) => ShaderType (a, b, c, d, e) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (a, b, c, d, e) Source # Methods toBase :: x -> (a, b, c, d, e) -> ShaderBase (ShaderBaseType (a, b, c, d, e)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (a, b, c, d, e)) x -> (a, b, c, d, e) Source #
(ShaderType a x, ShaderType b x, ShaderType c x, ShaderType d x, ShaderType e x, ShaderType f x) => ShaderType (a, b, c, d, e, f) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (a, b, c, d, e, f) Source # Methods toBase :: x -> (a, b, c, d, e, f) -> ShaderBase (ShaderBaseType (a, b, c, d, e, f)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (a, b, c, d, e, f)) x -> (a, b, c, d, e, f) Source #
(ShaderType a x, ShaderType b x, ShaderType c x, ShaderType d x, ShaderType e x, ShaderType f x, ShaderType g x) => ShaderType (a, b, c, d, e, f, g) x Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ShaderBaseType (a, b, c, d, e, f, g) Source # Methods toBase :: x -> (a, b, c, d, e, f, g) -> ShaderBase (ShaderBaseType (a, b, c, d, e, f, g)) x Source # fromBase :: x -> ShaderBase (ShaderBaseType (a, b, c, d, e, f, g)) x -> (a, b, c, d, e, f, g) Source #

ifThenElse' :: forall a x. ShaderType a x => S x Bool -> a -> a -> a Source #

Works just like ifB, return second argument if first is true otherwise return third argument.

The difference from ifB is that it in most cases generate more efficient code when a is a compound type (e.g. a tuple or a vector). For simple types such as S x Float, ifThenElse' == ifB.

ifThenElse :: forall a b x. (ShaderType a x, ShaderType b x) => S x Bool -> (a -> b) -> (a -> b) -> a -> b Source #

ifThenElse c f g x will return f x if c evaluates to true or g x otherwise.

In most cases functionally equivalent to ifThenElse' but usually generate smaller shader code since the last argument is not inlined into the two branches, which also would affect implicit derivates (e.g. dFdx, dFdy or sampling using SampleAuto)

ifThen :: forall a x. ShaderType a x => S x Bool -> (a -> a) -> a -> a Source #

ifThen c f x will return f x if c evaluates to true or x otherwise.

In most cases functionally equivalent to ifThenElse' but usually generate smaller shader code since the last argument is not inlined into the two branches, which also would affect implicit derivates (e.g. dFdx, dFdy or sampling using SampleAuto)

tellIf :: RValue -> ExprM () Source #

while :: forall a x. ShaderType a x => (a -> S x Bool) -> (a -> a) -> a -> a Source #

while f g x will iteratively transform x with g as long as f generates true.

errShaderType :: a Source #

bin :: SType -> Text -> S c x -> S c y -> S c z Source #

fun1 :: SType -> Text -> S c x -> S c y Source #

fun2 :: SType -> Text -> S c x -> S c y -> S c z Source #

fun3 :: SType -> Text -> S c x -> S c y -> S c z -> S c w Source #

fun4 :: SType -> Text -> S c x -> S c y -> S c z -> S c w -> S c r Source #

postop :: SType -> Text -> S c x -> S c y Source #

preop :: SType -> Text -> S c x -> S c y Source #

binf :: Text -> S c x -> S c y -> S c Float Source #

fun1f :: Text -> S c x -> S c Float Source #

fun2f :: Text -> S c x -> S c y -> S c Float Source #

fun3f :: Text -> S c x -> S c y -> S c z -> S c Float Source #

preopf :: Text -> S c x -> S c Float Source #

postopf :: Text -> S c x -> S c Float Source #

bini :: Text -> S c x -> S c y -> S c Int Source #

fun1i :: Text -> S c x -> S c Int Source #

preopi :: Text -> S c x -> S c Int Source #

binu :: Text -> S c x -> S c y -> S c Word Source #

fun1u :: Text -> S c x -> S c Word Source #

preopu :: Text -> S c x -> S c Word Source #

class Integral' a where Source #

Methods

div' :: a -> a -> a Source #

mod' :: a -> a -> a Source #

Instances

Instances details

Integral' Int Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods div' :: Int -> Int -> Int Source # mod' :: Int -> Int -> Int Source #
Integral' Int8 Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods div' :: Int8 -> Int8 -> Int8 Source # mod' :: Int8 -> Int8 -> Int8 Source #
Integral' Int16 Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods div' :: Int16 -> Int16 -> Int16 Source # mod' :: Int16 -> Int16 -> Int16 Source #
Integral' Int32 Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods div' :: Int32 -> Int32 -> Int32 Source # mod' :: Int32 -> Int32 -> Int32 Source #
Integral' Word Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods div' :: Word -> Word -> Word Source # mod' :: Word -> Word -> Word Source #
Integral' Word8 Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods div' :: Word8 -> Word8 -> Word8 Source # mod' :: Word8 -> Word8 -> Word8 Source #
Integral' Word16 Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods div' :: Word16 -> Word16 -> Word16 Source # mod' :: Word16 -> Word16 -> Word16 Source #
Integral' Word32 Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods div' :: Word32 -> Word32 -> Word32 Source # mod' :: Word32 -> Word32 -> Word32 Source #
Integral' a => Integral' (V0 a) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods div' :: V0 a -> V0 a -> V0 a Source # mod' :: V0 a -> V0 a -> V0 a Source #
Integral' a => Integral' (V4 a) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods div' :: V4 a -> V4 a -> V4 a Source # mod' :: V4 a -> V4 a -> V4 a Source #
Integral' a => Integral' (V3 a) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods div' :: V3 a -> V3 a -> V3 a Source # mod' :: V3 a -> V3 a -> V3 a Source #
Integral' a => Integral' (V2 a) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods div' :: V2 a -> V2 a -> V2 a Source # mod' :: V2 a -> V2 a -> V2 a Source #
Integral' a => Integral' (V1 a) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods div' :: V1 a -> V1 a -> V1 a Source # mod' :: V1 a -> V1 a -> V1 a Source #
Integral' (S x Word) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods div' :: S x Word -> S x Word -> S x Word Source # mod' :: S x Word -> S x Word -> S x Word Source #
Integral' (S x Int) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods div' :: S x Int -> S x Int -> S x Int Source # mod' :: S x Int -> S x Int -> S x Int Source #

class Bits' a where Source #

Methods

and' :: a -> a -> a Source #

or' :: a -> a -> a Source #

xor' :: a -> a -> a Source #

complement' :: a -> a Source #

shiftL' :: a -> a -> a Source #

shiftR' :: a -> a -> a Source #

bitSize' :: a -> Int Source #

Instances

Instances details

Bits' (S x Word) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods and' :: S x Word -> S x Word -> S x Word Source # or' :: S x Word -> S x Word -> S x Word Source # xor' :: S x Word -> S x Word -> S x Word Source # complement' :: S x Word -> S x Word Source # shiftL' :: S x Word -> S x Word -> S x Word Source # shiftR' :: S x Word -> S x Word -> S x Word Source # bitSize' :: S x Word -> Int Source #
Bits' (S x Int) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods and' :: S x Int -> S x Int -> S x Int Source # or' :: S x Int -> S x Int -> S x Int Source # xor' :: S x Int -> S x Int -> S x Int Source # complement' :: S x Int -> S x Int Source # shiftL' :: S x Int -> S x Int -> S x Int Source # shiftR' :: S x Int -> S x Int -> S x Int Source # bitSize' :: S x Int -> Int Source #

class Floating a => Real' a where Source #

This class provides the GPU functions either not found in Prelude's numerical classes, or that has wrong types. Instances are also provided for normal Floats and Doubles.

Minimal complete definition

(floor' | ceiling'), atan2'

Methods

rsqrt :: a -> a Source #

exp2 :: a -> a Source #

log2 :: a -> a Source #

floor' :: a -> a Source #

ceiling' :: a -> a Source #

fract' :: a -> a Source #

mod'' :: a -> a -> a Source #

mix :: a -> a -> a -> a Source #

atan2' :: a -> a -> a Source #

Instances

Instances details

Real' Double Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods rsqrt :: Double -> Double Source # exp2 :: Double -> Double Source # log2 :: Double -> Double Source # floor' :: Double -> Double Source # ceiling' :: Double -> Double Source # fract' :: Double -> Double Source # mod'' :: Double -> Double -> Double Source # mix :: Double -> Double -> Double -> Double Source # atan2' :: Double -> Double -> Double Source #
Real' Float Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods rsqrt :: Float -> Float Source # exp2 :: Float -> Float Source # log2 :: Float -> Float Source # floor' :: Float -> Float Source # ceiling' :: Float -> Float Source # fract' :: Float -> Float Source # mod'' :: Float -> Float -> Float Source # mix :: Float -> Float -> Float -> Float Source # atan2' :: Float -> Float -> Float Source #
Real' a => Real' (V0 a) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods rsqrt :: V0 a -> V0 a Source # exp2 :: V0 a -> V0 a Source # log2 :: V0 a -> V0 a Source # floor' :: V0 a -> V0 a Source # ceiling' :: V0 a -> V0 a Source # fract' :: V0 a -> V0 a Source # mod'' :: V0 a -> V0 a -> V0 a Source # mix :: V0 a -> V0 a -> V0 a -> V0 a Source # atan2' :: V0 a -> V0 a -> V0 a Source #
Real' a => Real' (V4 a) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods rsqrt :: V4 a -> V4 a Source # exp2 :: V4 a -> V4 a Source # log2 :: V4 a -> V4 a Source # floor' :: V4 a -> V4 a Source # ceiling' :: V4 a -> V4 a Source # fract' :: V4 a -> V4 a Source # mod'' :: V4 a -> V4 a -> V4 a Source # mix :: V4 a -> V4 a -> V4 a -> V4 a Source # atan2' :: V4 a -> V4 a -> V4 a Source #
Real' a => Real' (V3 a) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods rsqrt :: V3 a -> V3 a Source # exp2 :: V3 a -> V3 a Source # log2 :: V3 a -> V3 a Source # floor' :: V3 a -> V3 a Source # ceiling' :: V3 a -> V3 a Source # fract' :: V3 a -> V3 a Source # mod'' :: V3 a -> V3 a -> V3 a Source # mix :: V3 a -> V3 a -> V3 a -> V3 a Source # atan2' :: V3 a -> V3 a -> V3 a Source #
Real' a => Real' (V2 a) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods rsqrt :: V2 a -> V2 a Source # exp2 :: V2 a -> V2 a Source # log2 :: V2 a -> V2 a Source # floor' :: V2 a -> V2 a Source # ceiling' :: V2 a -> V2 a Source # fract' :: V2 a -> V2 a Source # mod'' :: V2 a -> V2 a -> V2 a Source # mix :: V2 a -> V2 a -> V2 a -> V2 a Source # atan2' :: V2 a -> V2 a -> V2 a Source #
Real' a => Real' (V1 a) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods rsqrt :: V1 a -> V1 a Source # exp2 :: V1 a -> V1 a Source # log2 :: V1 a -> V1 a Source # floor' :: V1 a -> V1 a Source # ceiling' :: V1 a -> V1 a Source # fract' :: V1 a -> V1 a Source # mod'' :: V1 a -> V1 a -> V1 a Source # mix :: V1 a -> V1 a -> V1 a -> V1 a Source # atan2' :: V1 a -> V1 a -> V1 a Source #
Real' (S x Float) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods rsqrt :: S x Float -> S x Float Source # exp2 :: S x Float -> S x Float Source # log2 :: S x Float -> S x Float Source # floor' :: S x Float -> S x Float Source # ceiling' :: S x Float -> S x Float Source # fract' :: S x Float -> S x Float Source # mod'' :: S x Float -> S x Float -> S x Float Source # mix :: S x Float -> S x Float -> S x Float -> S x Float Source # atan2' :: S x Float -> S x Float -> S x Float Source #

class (IfB a, OrdB a, Floating a) => FloatingOrd a where Source #

This class provides various order comparing functions

Minimal complete definition

Nothing

Methods

clamp :: a -> a -> a -> a Source #

saturate :: a -> a Source #

step :: a -> a -> a Source #

smoothstep :: a -> a -> a -> a Source #

Instances

Instances details

FloatingOrd Double Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods clamp :: Double -> Double -> Double -> Double Source # saturate :: Double -> Double Source # step :: Double -> Double -> Double Source # smoothstep :: Double -> Double -> Double -> Double Source #
FloatingOrd Float Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods clamp :: Float -> Float -> Float -> Float Source # saturate :: Float -> Float Source # step :: Float -> Float -> Float Source # smoothstep :: Float -> Float -> Float -> Float Source #
FloatingOrd (S x Float) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Methods clamp :: S x Float -> S x Float -> S x Float -> S x Float Source # saturate :: S x Float -> S x Float Source # step :: S x Float -> S x Float -> S x Float Source # smoothstep :: S x Float -> S x Float -> S x Float -> S x Float Source #

class Convert a where Source #

Provides a common way to convert numeric types to integer and floating point representations.

Associated Types

type ConvertFloat a Source #

type ConvertInt a Source #

type ConvertWord a Source #

Methods

toFloat :: a -> ConvertFloat a Source #

Convert to a floating point number.

toInt :: a -> ConvertInt a Source #

Convert to an integral number, using truncation if necessary.

toWord :: a -> ConvertWord a Source #

Convert to an unsigned integral number, using truncation if necessary.

Instances

Instances details

Convert Float Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ConvertFloat Float Source # type ConvertInt Float Source # type ConvertWord Float Source # Methods toFloat :: Float -> ConvertFloat Float Source # toInt :: Float -> ConvertInt Float Source # toWord :: Float -> ConvertWord Float Source #
Convert Int Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ConvertFloat Int Source # type ConvertInt Int Source # type ConvertWord Int Source # Methods toFloat :: Int -> ConvertFloat Int Source # toInt :: Int -> ConvertInt Int Source # toWord :: Int -> ConvertWord Int Source #
Convert Word Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ConvertFloat Word Source # type ConvertInt Word Source # type ConvertWord Word Source # Methods toFloat :: Word -> ConvertFloat Word Source # toInt :: Word -> ConvertInt Word Source # toWord :: Word -> ConvertWord Word Source #
Convert (S x Word) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ConvertFloat (S x Word) Source # type ConvertInt (S x Word) Source # type ConvertWord (S x Word) Source # Methods toFloat :: S x Word -> ConvertFloat (S x Word) Source # toInt :: S x Word -> ConvertInt (S x Word) Source # toWord :: S x Word -> ConvertWord (S x Word) Source #
Convert (S x Int) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ConvertFloat (S x Int) Source # type ConvertInt (S x Int) Source # type ConvertWord (S x Int) Source # Methods toFloat :: S x Int -> ConvertFloat (S x Int) Source # toInt :: S x Int -> ConvertInt (S x Int) Source # toWord :: S x Int -> ConvertWord (S x Int) Source #
Convert (S x Float) Source #
Instance details Defined in Graphics.GPipe.Internal.Expr Associated Types type ConvertFloat (S x Float) Source # type ConvertInt (S x Float) Source # type ConvertWord (S x Float) Source # Methods toFloat :: S x Float -> ConvertFloat (S x Float) Source # toInt :: S x Float -> ConvertInt (S x Float) Source # toWord :: S x Float -> ConvertWord (S x Float) Source #

dFdx :: FFloat -> FFloat Source #

The derivative in x using local differencing of the rasterized value.

dFdy :: FFloat -> FFloat Source #

The derivative in y using local differencing of the rasterized value.

fwidth :: FFloat -> FFloat Source #

The sum of the absolute derivative in x and y using local differencing of the rasterized value.

fromV :: Foldable t => (a -> S x b) -> Text -> t a -> S x (t b) Source #

fromVec4 :: V4 (S x Float) -> S x (V4 Float) Source #

fromVec3 :: V3 (S x Float) -> S x (V3 Float) Source #

fromVec2 :: V2 (S x Float) -> S x (V2 Float) Source #

fromMat22 :: V2 (V2 (S x Float)) -> S x (V2 (V2 Float)) Source #

fromMat23 :: V2 (V3 (S x Float)) -> S x (V2 (V3 Float)) Source #

fromMat24 :: V2 (V4 (S x Float)) -> S x (V2 (V4 Float)) Source #

fromMat32 :: V3 (V2 (S x Float)) -> S x (V3 (V2 Float)) Source #

fromMat33 :: V3 (V3 (S x Float)) -> S x (V3 (V3 Float)) Source #

fromMat34 :: V3 (V4 (S x Float)) -> S x (V3 (V4 Float)) Source #

fromMat42 :: V4 (V2 (S x Float)) -> S x (V4 (V2 Float)) Source #

fromMat43 :: V4 (V3 (S x Float)) -> S x (V4 (V3 Float)) Source #

fromMat44 :: V4 (V4 (S x Float)) -> S x (V4 (V4 Float)) Source #

mulToV4 :: S x (f1 a) -> S x (f2 b) -> V4 (S x Float) Source #

mulToV3 :: S x (f1 a) -> S x (f2 b) -> V3 (S x Float) Source #

mulToV2 :: S x (f1 a) -> S x (f2 b) -> V2 (S x Float) Source #

mulToM :: Functor f => (Int, S c z -> f a) -> (Int, a -> b) -> S c x -> S c y -> f b Source #

d2 :: Num a => (a, S x b -> V2 (S x b)) Source #

d3 :: Num a => (a, S x b -> V3 (S x b)) Source #

d4 :: Num a => (a, S x b -> V4 (S x b)) Source #

unV1 :: V1 t -> t Source #

outerToM :: Functor f => (Int, S c z -> f a) -> (Int, a -> b) -> S c x -> S c y -> f b Source #

length4 :: V4 (S x Float) -> S x Float Source #

length3 :: V3 (S x Float) -> S x Float Source #

length2 :: V2 (S x Float) -> S x Float Source #

normalize4 :: V4 (S x Float) -> V4 (S x Float) Source #

normalize3 :: V3 (S x Float) -> V3 (S x Float) Source #

normalize2 :: V2 (S x Float) -> V2 (S x Float) Source #

dist4 :: V4 (S x Float) -> V4 (S x Float) -> S x Float Source #

dist3 :: V3 (S x Float) -> V3 (S x Float) -> S x Float Source #

dist2 :: V2 (S x Float) -> V2 (S x Float) -> S x Float Source #

crossS :: V3 (S x Float) -> V3 (S x Float) -> V3 (S x Float) Source #

minS :: S x Float -> S x Float -> S x Float Source #

maxS :: S x Float -> S x Float -> S x Float Source #

mul_12_21vv :: V2 (S x Float) -> V2 (S x Float) -> S x Float Source #

mul_13_31vv :: V3 (S x Float) -> V3 (S x Float) -> S x Float Source #

mul_14_41vv :: V4 (S x Float) -> V4 (S x Float) -> S x Float Source #

mul_12_21vm :: V2 (S x Float) -> V2 (V1 (S x Float)) -> V1 (S x Float) Source #

mul_13_31vm :: V3 (S x Float) -> V3 (V1 (S x Float)) -> V1 (S x Float) Source #

mul_14_41vm :: V4 (S x Float) -> V4 (V1 (S x Float)) -> V1 (S x Float) Source #

mul_12_21mv :: V1 (V2 (S x Float)) -> V2 (S x Float) -> V1 (S x Float) Source #

mul_13_31mv :: V1 (V3 (S x Float)) -> V3 (S x Float) -> V1 (S x Float) Source #

mul_14_41mv :: V1 (V4 (S x Float)) -> V4 (S x Float) -> V1 (S x Float) Source #

mul_12_21mm :: V1 (V2 (S x Float)) -> V2 (V1 (S x Float)) -> V1 (V1 (S x Float)) Source #

mul_13_31mm :: V1 (V3 (S x Float)) -> V3 (V1 (S x Float)) -> V1 (V1 (S x Float)) Source #

mul_14_41mm :: V1 (V4 (S x Float)) -> V4 (V1 (S x Float)) -> V1 (V1 (S x Float)) Source #

mul_21_12 :: V2 (S x Float) -> V2 (S x Float) -> V2 (V2 (S x Float)) Source #

mul_21_13 :: V2 (S x Float) -> V3 (S x Float) -> V2 (V3 (S x Float)) Source #

mul_21_14 :: V2 (S x Float) -> V4 (S x Float) -> V2 (V4 (S x Float)) Source #

mul_31_12 :: V3 (S x Float) -> V2 (S x Float) -> V3 (V2 (S x Float)) Source #

mul_31_13 :: V3 (S x Float) -> V3 (S x Float) -> V3 (V3 (S x Float)) Source #

mul_31_14 :: V3 (S x Float) -> V4 (S x Float) -> V3 (V4 (S x Float)) Source #

mul_41_12 :: V4 (S x Float) -> V2 (S x Float) -> V4 (V2 (S x Float)) Source #

mul_41_13 :: V4 (S x Float) -> V3 (S x Float) -> V4 (V3 (S x Float)) Source #

mul_41_14 :: V4 (S x Float) -> V4 (S x Float) -> V4 (V4 (S x Float)) Source #

mul_21_12m :: V2 (V1 (S x Float)) -> V1 (V2 (S x Float)) -> V2 (V2 (S x Float)) Source #

mul_21_13m :: V2 (V1 (S x Float)) -> V1 (V3 (S x Float)) -> V2 (V3 (S x Float)) Source #

mul_21_14m :: V2 (V1 (S x Float)) -> V1 (V4 (S x Float)) -> V2 (V4 (S x Float)) Source #

mul_31_12m :: V3 (V1 (S x Float)) -> V1 (V2 (S x Float)) -> V3 (V2 (S x Float)) Source #

mul_31_13m :: V3 (V1 (S x Float)) -> V1 (V3 (S x Float)) -> V3 (V3 (S x Float)) Source #

mul_31_14m :: V3 (V1 (S x Float)) -> V1 (V4 (S x Float)) -> V3 (V4 (S x Float)) Source #

mul_41_12m :: V4 (V1 (S x Float)) -> V1 (V2 (S x Float)) -> V4 (V2 (S x Float)) Source #

mul_41_13m :: V4 (V1 (S x Float)) -> V1 (V3 (S x Float)) -> V4 (V3 (S x Float)) Source #

mul_41_14m :: V4 (V1 (S x Float)) -> V1 (V4 (S x Float)) -> V4 (V4 (S x Float)) Source #

mul_12_22 :: V2 (S x Float) -> V2 (V2 (S x Float)) -> V2 (S x Float) Source #

mul_13_32 :: V3 (S x Float) -> V3 (V2 (S x Float)) -> V2 (S x Float) Source #

mul_14_42 :: V4 (S x Float) -> V4 (V2 (S x Float)) -> V2 (S x Float) Source #

mul_12_23 :: V2 (S x Float) -> V2 (V3 (S x Float)) -> V3 (S x Float) Source #

mul_13_33 :: V3 (S x Float) -> V3 (V3 (S x Float)) -> V3 (S x Float) Source #

mul_14_43 :: V4 (S x Float) -> V4 (V3 (S x Float)) -> V3 (S x Float) Source #

mul_12_24 :: V2 (S x Float) -> V2 (V4 (S x Float)) -> V4 (S x Float) Source #

mul_13_34 :: V3 (S x Float) -> V3 (V4 (S x Float)) -> V4 (S x Float) Source #

mul_14_44 :: V4 (S x Float) -> V4 (V4 (S x Float)) -> V4 (S x Float) Source #

mul_12_22m :: V1 (V2 (S x Float)) -> V2 (V2 (S x Float)) -> V1 (V2 (S x Float)) Source #

mul_13_32m :: V1 (V3 (S x Float)) -> V3 (V2 (S x Float)) -> V1 (V2 (S x Float)) Source #

mul_14_42m :: V1 (V4 (S x Float)) -> V4 (V2 (S x Float)) -> V1 (V2 (S x Float)) Source #

mul_12_23m :: V1 (V2 (S x Float)) -> V2 (V3 (S x Float)) -> V1 (V3 (S x Float)) Source #

mul_13_33m :: V1 (V3 (S x Float)) -> V3 (V3 (S x Float)) -> V1 (V3 (S x Float)) Source #

mul_14_43m :: V1 (V4 (S x Float)) -> V4 (V3 (S x Float)) -> V1 (V3 (S x Float)) Source #

mul_12_24m :: V1 (V2 (S x Float)) -> V2 (V4 (S x Float)) -> V1 (V4 (S x Float)) Source #

mul_13_34m :: V1 (V3 (S x Float)) -> V3 (V4 (S x Float)) -> V1 (V4 (S x Float)) Source #

mul_14_44m :: V1 (V4 (S x Float)) -> V4 (V4 (S x Float)) -> V1 (V4 (S x Float)) Source #

mul_22_21 :: V2 (V2 (S x Float)) -> V2 (S x Float) -> V2 (S x Float) Source #

mul_23_31 :: V2 (V3 (S x Float)) -> V3 (S x Float) -> V2 (S x Float) Source #

mul_24_41 :: V2 (V4 (S x Float)) -> V4 (S x Float) -> V2 (S x Float) Source #

mul_32_21 :: V3 (V2 (S x Float)) -> V2 (S x Float) -> V3 (S x Float) Source #

mul_33_31 :: V3 (V3 (S x Float)) -> V3 (S x Float) -> V3 (S x Float) Source #

mul_34_41 :: V3 (V4 (S x Float)) -> V4 (S x Float) -> V3 (S x Float) Source #

mul_42_21 :: V4 (V2 (S x Float)) -> V2 (S x Float) -> V4 (S x Float) Source #

mul_43_31 :: V4 (V3 (S x Float)) -> V3 (S x Float) -> V4 (S x Float) Source #

mul_44_41 :: V4 (V4 (S x Float)) -> V4 (S x Float) -> V4 (S x Float) Source #

mul_22_21m :: V2 (V2 (S x Float)) -> V2 (V1 (S x Float)) -> V2 (V1 (S x Float)) Source #

mul_23_31m :: V2 (V3 (S x Float)) -> V3 (V1 (S x Float)) -> V2 (V1 (S x Float)) Source #

mul_24_41m :: V2 (V4 (S x Float)) -> V4 (V1 (S x Float)) -> V2 (V1 (S x Float)) Source #

mul_32_21m :: V3 (V2 (S x Float)) -> V2 (V1 (S x Float)) -> V3 (V1 (S x Float)) Source #

mul_33_31m :: V3 (V3 (S x Float)) -> V3 (V1 (S x Float)) -> V3 (V1 (S x Float)) Source #

mul_34_41m :: V3 (V4 (S x Float)) -> V4 (V1 (S x Float)) -> V3 (V1 (S x Float)) Source #

mul_42_21m :: V4 (V2 (S x Float)) -> V2 (V1 (S x Float)) -> V4 (V1 (S x Float)) Source #

mul_43_31m :: V4 (V3 (S x Float)) -> V3 (V1 (S x Float)) -> V4 (V1 (S x Float)) Source #

mul_44_41m :: V4 (V4 (S x Float)) -> V4 (V1 (S x Float)) -> V4 (V1 (S x Float)) Source #

mul_22_22 :: V2 (V2 (S x Float)) -> V2 (V2 (S x Float)) -> V2 (V2 (S x Float)) Source #

mul_23_32 :: V2 (V3 (S x Float)) -> V3 (V2 (S x Float)) -> V2 (V2 (S x Float)) Source #

mul_24_42 :: V2 (V4 (S x Float)) -> V4 (V2 (S x Float)) -> V2 (V2 (S x Float)) Source #

mul_22_23 :: V2 (V2 (S x Float)) -> V2 (V3 (S x Float)) -> V2 (V3 (S x Float)) Source #

mul_23_33 :: V2 (V3 (S x Float)) -> V3 (V3 (S x Float)) -> V2 (V3 (S x Float)) Source #

mul_24_43 :: V2 (V4 (S x Float)) -> V4 (V3 (S x Float)) -> V2 (V3 (S x Float)) Source #

mul_22_24 :: V2 (V2 (S x Float)) -> V2 (V4 (S x Float)) -> V2 (V4 (S x Float)) Source #

mul_23_34 :: V2 (V3 (S x Float)) -> V3 (V4 (S x Float)) -> V2 (V4 (S x Float)) Source #

mul_24_44 :: V2 (V4 (S x Float)) -> V4 (V4 (S x Float)) -> V2 (V4 (S x Float)) Source #

mul_32_22 :: V3 (V2 (S x Float)) -> V2 (V2 (S x Float)) -> V3 (V2 (S x Float)) Source #

mul_33_32 :: V3 (V3 (S x Float)) -> V3 (V2 (S x Float)) -> V3 (V2 (S x Float)) Source #

mul_34_42 :: V3 (V4 (S x Float)) -> V4 (V2 (S x Float)) -> V3 (V2 (S x Float)) Source #

mul_32_23 :: V3 (V2 (S x Float)) -> V2 (V3 (S x Float)) -> V3 (V3 (S x Float)) Source #

mul_33_33 :: V3 (V3 (S x Float)) -> V3 (V3 (S x Float)) -> V3 (V3 (S x Float)) Source #

mul_34_43 :: V3 (V4 (S x Float)) -> V4 (V3 (S x Float)) -> V3 (V3 (S x Float)) Source #

mul_32_24 :: V3 (V2 (S x Float)) -> V2 (V4 (S x Float)) -> V3 (V4 (S x Float)) Source #

mul_33_34 :: V3 (V3 (S x Float)) -> V3 (V4 (S x Float)) -> V3 (V4 (S x Float)) Source #

mul_34_44 :: V3 (V4 (S x Float)) -> V4 (V4 (S x Float)) -> V3 (V4 (S x Float)) Source #

mul_42_22 :: V4 (V2 (S x Float)) -> V2 (V2 (S x Float)) -> V4 (V2 (S x Float)) Source #

mul_43_32 :: V4 (V3 (S x Float)) -> V3 (V2 (S x Float)) -> V4 (V2 (S x Float)) Source #

mul_44_42 :: V4 (V4 (S x Float)) -> V4 (V2 (S x Float)) -> V4 (V2 (S x Float)) Source #

mul_42_23 :: V4 (V2 (S x Float)) -> V2 (V3 (S x Float)) -> V4 (V3 (S x Float)) Source #

mul_43_33 :: V4 (V3 (S x Float)) -> V3 (V3 (S x Float)) -> V4 (V3 (S x Float)) Source #

mul_44_43 :: V4 (V4 (S x Float)) -> V4 (V3 (S x Float)) -> V4 (V3 (S x Float)) Source #

mul_42_24 :: V4 (V2 (S x Float)) -> V2 (V4 (S x Float)) -> V4 (V4 (S x Float)) Source #

mul_43_34 :: V4 (V3 (S x Float)) -> V3 (V4 (S x Float)) -> V4 (V4 (S x Float)) Source #

mul_44_44 :: V4 (V4 (S x Float)) -> V4 (V4 (S x Float)) -> V4 (V4 (S x Float)) Source #