Graphics.GPipe.Expr

This module provides the DSL for shader operations in GPipe. The type S x a is an opaque type that represents a value of type a in a shader stage x, eg S F Float means a floating point value in a fragment stream.

Atomic shader type

data S x a

Instances

FragmentInput VBool

FragmentInput VWord

FragmentInput VInt

FragmentInput VFloat

Floating (S a Float)

Fractional (S a Float)

Num (S a Word)

Num (S a Int)

Num (S a Float)

Ord x => OrdB (S a x)

IfB (S a x)

Eq x => EqB (S a x)

Boolean (S a Bool)

Convert (S x Word)

Convert (S x Int)

Convert (S x Float)

Real' (S x Float)

Integral' (S a Word)

Integral' (S a Int)

ShaderType (S x Bool) x

ShaderType (S x Word) x

ShaderType (S x Int) x

ShaderType (S x Float) x

type FragmentFormat VBool = FBool

type FragmentFormat VWord = FWord

type FragmentFormat VInt = FInt

type FragmentFormat VFloat = FFloat

type BooleanOf (S a x) = S a Bool

type ConvertFloat (S x Word) = S x Float

type ConvertFloat (S x Int) = S x Float

type ConvertFloat (S x Float) = S x Float

type ConvertInt (S x Word) = S x Int

type ConvertInt (S x Int) = S x Int

type ConvertInt (S x Float) = S x Int

type ConvertWord (S x Word) = S x Word

type ConvertWord (S x Int) = S x Word

type ConvertWord (S x Float) = S x Word

type ShaderBaseType (S x Bool) = S x Bool

type ShaderBaseType (S x Word) = S x Word

type ShaderBaseType (S x Int) = S x Int

type ShaderBaseType (S x Float) = S x Float

data V

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

Instances

FragmentInput VBool

FragmentInput VWord

FragmentInput VInt

FragmentInput VFloat

type FragmentFormat VBool = FBool

type FragmentFormat VWord = FWord

type FragmentFormat VInt = FInt

type FragmentFormat VFloat = FFloat

data F

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

type VFloat = S V Float

type VInt = S V Int

type VWord = S V Word

type VBool = S V Bool

type FFloat = S F Float

type FInt = S F Int

type FWord = S F Word

type FBool = S F Bool

Type classes where the Prelude ones are lacking

class Convert a where

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

Associated Types

type ConvertFloat a

type ConvertInt a

type ConvertWord a

Methods

toFloat :: a -> ConvertFloat a

Convert to a floating point number.

toInt :: a -> ConvertInt a

Convert to an integral number, using truncation if necessary.

toWord :: a -> ConvertWord a

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

Instances

Convert Float

Convert Int

Convert Word

Convert (S x Word)

Convert (S x Int)

Convert (S x Float)

class Integral' a where

Methods

div' :: a -> a -> a

mod' :: a -> a -> a

Instances

Integral' Int

Integral' Word

Integral' (S a Word)

Integral' (S a Int)

class (IfB a, OrdB a, Floating a) => Real' a where

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' or ceiling'.

Minimal complete definition

floor' | ceiling'

Methods

rsqrt :: a -> a

exp2 :: a -> a

log2 :: a -> a

floor' :: a -> a

ceiling' :: a -> a

fract' :: a -> a

mod'' :: a -> a -> a

clamp :: a -> a -> a -> a

saturate :: a -> a

mix :: a -> a -> a -> a

step :: a -> a -> a

smoothstep :: a -> a -> a -> a

Instances

Real' Double

Real' Float

Real' (S x Float)

Additional functions

dFdx :: FFloat -> FFloat

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

dFdy :: FFloat -> FFloat

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

fwidth :: FFloat -> FFloat

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

Shader control structures

data ShaderBase a x

class ShaderType a x where

Associated Types

type ShaderBaseType a

Methods

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

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

Instances

ShaderType () x

ShaderType a x => ShaderType (V3 a) x

ShaderType a x => ShaderType (V2 a) x

ShaderType a x => ShaderType (V4 a) x

ShaderType a x => ShaderType (V1 a) x

ShaderType a x => ShaderType (V0 a) x

(ShaderType a x, ShaderType b x) => ShaderType (a, b) x

ShaderType (S x Bool) x

ShaderType (S x Word) x

ShaderType (S x Int) x

ShaderType (S x Float) x

(ShaderType a x, ShaderType b x, ShaderType c x) => ShaderType (a, b, c) x

(ShaderType a x, ShaderType b x, ShaderType c x, ShaderType d x) => ShaderType (a, b, c, d) x

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

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

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

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