License	BSD3
Maintainer	ziocroc@gmail.com
Stability	experimental
Portability	GHC only
Safe Haskell	None
Language	Haskell2010

Graphics.Rendering.Ombra.Shader.Language

Contents

Types
- GPU types
GPU functions
Orphan instances

Description

This module exports the shader EDSL.

Synopsis

Documentation

module Data.Boolean

Types

GPU types

data GBool Source #

A GPU boolean.

Instances

ToGFloat GBool Source #

ToGBool GBool Source #

ToGInt GBool Source #

GLES => GeometryVertex GBool Source #
Associated Types type AttributeTypes GBool :: [] Source # type Vertex GBool = (v :: ) Source # Methods toVertexAttributes :: Vertex GBool -> VertexAttributes (AttributeTypes GBool) Source # fromVertexAttributes :: VertexAttributes (AttributeTypes GBool) -> Vertex GBool Source #
GLES => Uniform GBool Source #
Associated Types type CPUUniform GBool :: * Source # Methods foldrUniform :: Proxy * GBool -> (UniformValue -> b -> b) -> b -> CPUUniform GBool -> b Source #
ShaderInput GBool Source #
Methods buildMST :: (forall x. ShaderType x => Int -> x) -> Int -> (GBool, Int) Source # foldrMST :: (forall x. ShaderType x => x -> b -> b) -> b -> GBool -> b Source #
MultiShaderType GBool Source #
Associated Types type ExprMST GBool :: * Source # Methods mapMST :: (forall x. ShaderType x => x -> x) -> GBool -> GBool Source # toExprMST :: GBool -> ExprMST GBool Source # fromExprMST :: ExprMST GBool -> GBool Source #
type BooleanOf GBool #
type BooleanOf GBool = GBool
data (:->:) GBool #
data (:->:) GBool = GBoolTrie ((:->:) (ExprMST GBool) b)
type AttributeTypes GBool Source #
type AttributeTypes GBool = (:) * GBool ([] *)
type Vertex GBool Source #
type Vertex GBool = Bool
type CPUUniform GBool Source #
type CPUUniform GBool
type ExprMST GBool Source #
type ExprMST GBool

data GFloat Source #

A GPU 32-bit float.

Instances

ToGFloat GFloat Source #

ToGBool GFloat Source #

ToGInt GFloat Source #

GenType GFloat Source #

GLES => GeometryVertex GFloat Source #
Associated Types type AttributeTypes GFloat :: [] Source # type Vertex GFloat = (v :: ) Source # Methods toVertexAttributes :: Vertex GFloat -> VertexAttributes (AttributeTypes GFloat) Source # fromVertexAttributes :: VertexAttributes (AttributeTypes GFloat) -> Vertex GFloat Source #
FragmentShaderOutput GFloat Source #
Associated Types type NFloats GFloat :: Nat Source # Methods fromGFloats :: [GFloat] -> (GFloat, [GFloat]) Source # toGFloats :: GFloat -> [GFloat] -> [GFloat] Source #
GLES => Uniform GFloat Source #
Associated Types type CPUUniform GFloat :: * Source # Methods foldrUniform :: Proxy * GFloat -> (UniformValue -> b -> b) -> b -> CPUUniform GFloat -> b Source #
ShaderInput GFloat Source #
Methods buildMST :: (forall x. ShaderType x => Int -> x) -> Int -> (GFloat, Int) Source # foldrMST :: (forall x. ShaderType x => x -> b -> b) -> b -> GFloat -> b Source #
MultiShaderType GFloat Source #
Associated Types type ExprMST GFloat :: * Source # Methods mapMST :: (forall x. ShaderType x => x -> x) -> GFloat -> GFloat Source # toExprMST :: GFloat -> ExprMST GFloat Source # fromExprMST :: ExprMST GFloat -> GFloat Source #
type IntegerOf GFloat #
type IntegerOf GFloat = GInt
type BooleanOf GFloat #
type BooleanOf GFloat = GBool
data (:->:) GFloat #
data (:->:) GFloat = GFloatTrie ((:->:) (ExprMST GFloat) b)
type AttributeTypes GFloat Source #
type AttributeTypes GFloat = (:) * GFloat ([] *)
type Vertex GFloat Source #
type Vertex GFloat = Float
type NFloats GFloat Source #
type NFloats GFloat = 1
type CPUUniform GFloat Source #
type CPUUniform GFloat
type ExprMST GFloat Source #
type ExprMST GFloat

data GInt Source #

A GPU 32-bit integer.

Instances

ToGFloat GInt Source #

ToGBool GInt Source #

ToGInt GInt Source #

GLES => GeometryVertex GInt Source #
Associated Types type AttributeTypes GInt :: [] Source # type Vertex GInt = (v :: ) Source # Methods toVertexAttributes :: Vertex GInt -> VertexAttributes (AttributeTypes GInt) Source # fromVertexAttributes :: VertexAttributes (AttributeTypes GInt) -> Vertex GInt Source #
GLES => Uniform GInt Source #
Associated Types type CPUUniform GInt :: * Source # Methods foldrUniform :: Proxy * GInt -> (UniformValue -> b -> b) -> b -> CPUUniform GInt -> b Source #
ShaderInput GInt Source #
Methods buildMST :: (forall x. ShaderType x => Int -> x) -> Int -> (GInt, Int) Source # foldrMST :: (forall x. ShaderType x => x -> b -> b) -> b -> GInt -> b Source #
MultiShaderType GInt Source #
Associated Types type ExprMST GInt :: * Source # Methods mapMST :: (forall x. ShaderType x => x -> x) -> GInt -> GInt Source # toExprMST :: GInt -> ExprMST GInt Source # fromExprMST :: ExprMST GInt -> GInt Source #
type IntegerOf GInt #
type IntegerOf GInt = GInt
type BooleanOf GInt #
type BooleanOf GInt = GBool
data (:->:) GInt #
data (:->:) GInt = GIntTrie ((:->:) (ExprMST GInt) b)
type AttributeTypes GInt Source #
type AttributeTypes GInt = (:) * GInt ([] *)
type Vertex GInt Source #
type Vertex GInt = Int32
type CPUUniform GInt Source #
type CPUUniform GInt
type ExprMST GInt Source #
type ExprMST GInt

type TextureSampler = GSampler2D Source #

data GVec2 Source #

A GPU 2D float vector.

Constructors

GVec2 GFloat GFloat

Instances

VecEq GVec2 Source #

VecOrd GVec2 Source #

GLES => GeometryVertex GVec2 Source #
Associated Types type AttributeTypes GVec2 :: [] Source # type Vertex GVec2 = (v :: ) Source # Methods toVertexAttributes :: Vertex GVec2 -> VertexAttributes (AttributeTypes GVec2) Source # fromVertexAttributes :: VertexAttributes (AttributeTypes GVec2) -> Vertex GVec2 Source #
FragmentShaderOutput GVec2 Source #
Associated Types type NFloats GVec2 :: Nat Source # Methods fromGFloats :: [GFloat] -> (GVec2, [GFloat]) Source # toGFloats :: GVec2 -> [GFloat] -> [GFloat] Source #
GLES => Uniform GVec2 Source #
Associated Types type CPUUniform GVec2 :: * Source # Methods foldrUniform :: Proxy * GVec2 -> (UniformValue -> b -> b) -> b -> CPUUniform GVec2 -> b Source #
ShaderInput GVec2 Source #
Methods buildMST :: (forall x. ShaderType x => Int -> x) -> Int -> (GVec2, Int) Source # foldrMST :: (forall x. ShaderType x => x -> b -> b) -> b -> GVec2 -> b Source #
MultiShaderType GVec2 Source #
Associated Types type ExprMST GVec2 :: * Source # Methods mapMST :: (forall x. ShaderType x => x -> x) -> GVec2 -> GVec2 Source # toExprMST :: GVec2 -> ExprMST GVec2 Source # fromExprMST :: ExprMST GVec2 -> GVec2 Source #
type BooleanOf GVec2 #
type BooleanOf GVec2 = GBool
data (:->:) GVec2 #
data (:->:) GVec2 = GVec2Trie ((:->:) (ExprMST GVec2) b)
type Scalar GVec2 #
type Scalar GVec2 = GFloat
type Extended GVec2 Source #
type Extended GVec2 = GVec3
type AttributeTypes GVec2 Source #
type AttributeTypes GVec2 = (:) * GVec2 ([] *)
type Vertex GVec2 Source #
type Vertex GVec2 = Vec2
type NFloats GVec2 Source #
type NFloats GVec2 = 2
type CPUUniform GVec2 Source #
type CPUUniform GVec2
type ExprMST GVec2 Source #
type ExprMST GVec2

data GVec3 Source #

A GPU 3D float vector.

Constructors

GVec3 GFloat GFloat GFloat

Instances

VecEq GVec3 Source #

VecOrd GVec3 Source #

GLES => GeometryVertex GVec3 Source #
Associated Types type AttributeTypes GVec3 :: [] Source # type Vertex GVec3 = (v :: ) Source # Methods toVertexAttributes :: Vertex GVec3 -> VertexAttributes (AttributeTypes GVec3) Source # fromVertexAttributes :: VertexAttributes (AttributeTypes GVec3) -> Vertex GVec3 Source #
FragmentShaderOutput GVec3 Source #
Associated Types type NFloats GVec3 :: Nat Source # Methods fromGFloats :: [GFloat] -> (GVec3, [GFloat]) Source # toGFloats :: GVec3 -> [GFloat] -> [GFloat] Source #
GLES => Uniform GVec3 Source #
Associated Types type CPUUniform GVec3 :: * Source # Methods foldrUniform :: Proxy * GVec3 -> (UniformValue -> b -> b) -> b -> CPUUniform GVec3 -> b Source #
ShaderInput GVec3 Source #
Methods buildMST :: (forall x. ShaderType x => Int -> x) -> Int -> (GVec3, Int) Source # foldrMST :: (forall x. ShaderType x => x -> b -> b) -> b -> GVec3 -> b Source #
MultiShaderType GVec3 Source #
Associated Types type ExprMST GVec3 :: * Source # Methods mapMST :: (forall x. ShaderType x => x -> x) -> GVec3 -> GVec3 Source # toExprMST :: GVec3 -> ExprMST GVec3 Source # fromExprMST :: ExprMST GVec3 -> GVec3 Source #
type BooleanOf GVec3 #
type BooleanOf GVec3 = GBool
data (:->:) GVec3 #
data (:->:) GVec3 = GVec3Trie ((:->:) (ExprMST GVec3) b)
type Scalar GVec3 #
type Scalar GVec3 = GFloat
type Extended GVec3 Source #
type Extended GVec3 = GVec4
type AttributeTypes GVec3 Source #
type AttributeTypes GVec3 = (:) * GVec3 ([] *)
type Vertex GVec3 Source #
type Vertex GVec3 = Vec3
type NFloats GVec3 Source #
type NFloats GVec3 = 3
type CPUUniform GVec3 Source #
type CPUUniform GVec3
type ExprMST GVec3 Source #
type ExprMST GVec3

data GVec4 Source #

A GPU 4D float vector.

Constructors

GVec4 GFloat GFloat GFloat GFloat

Instances

VecEq GVec4 Source #

VecOrd GVec4 Source #

GLES => GeometryVertex GVec4 Source #
Associated Types type AttributeTypes GVec4 :: [] Source # type Vertex GVec4 = (v :: ) Source # Methods toVertexAttributes :: Vertex GVec4 -> VertexAttributes (AttributeTypes GVec4) Source # fromVertexAttributes :: VertexAttributes (AttributeTypes GVec4) -> Vertex GVec4 Source #
FragmentShaderOutput GVec4 Source #
Associated Types type NFloats GVec4 :: Nat Source # Methods fromGFloats :: [GFloat] -> (GVec4, [GFloat]) Source # toGFloats :: GVec4 -> [GFloat] -> [GFloat] Source #
GLES => Uniform GVec4 Source #
Associated Types type CPUUniform GVec4 :: * Source # Methods foldrUniform :: Proxy * GVec4 -> (UniformValue -> b -> b) -> b -> CPUUniform GVec4 -> b Source #
ShaderInput GVec4 Source #
Methods buildMST :: (forall x. ShaderType x => Int -> x) -> Int -> (GVec4, Int) Source # foldrMST :: (forall x. ShaderType x => x -> b -> b) -> b -> GVec4 -> b Source #
MultiShaderType GVec4 Source #
Associated Types type ExprMST GVec4 :: * Source # Methods mapMST :: (forall x. ShaderType x => x -> x) -> GVec4 -> GVec4 Source # toExprMST :: GVec4 -> ExprMST GVec4 Source # fromExprMST :: ExprMST GVec4 -> GVec4 Source #
GLES => MonadRead GVec4 Draw Source #
Methods readColor :: (Int, Int, Int, Int) -> Draw GVec4 [Color] Source # readColorFloat :: (Int, Int, Int, Int) -> Draw GVec4 [Vec4] Source # readDepth :: (Int, Int, Int, Int) -> Draw GVec4 [Word16] Source # readDepthFloat :: (Int, Int, Int, Int) -> Draw GVec4 [Float] Source # readStencil :: (Int, Int, Int, Int) -> Draw GVec4 [Word8] Source #
type BooleanOf GVec4 #
type BooleanOf GVec4 = GBool
data (:->:) GVec4 #
data (:->:) GVec4 = GVec4Trie ((:->:) (ExprMST GVec4) b)
type Scalar GVec4 #
type Scalar GVec4 = GFloat
type AttributeTypes GVec4 Source #
type AttributeTypes GVec4 = (:) * GVec4 ([] *)
type Vertex GVec4 Source #
type Vertex GVec4 = Vec4
type NFloats GVec4 Source #
type NFloats GVec4 = 4
type CPUUniform GVec4 Source #
type CPUUniform GVec4
type ExprMST GVec4 Source #
type ExprMST GVec4

data GBVec2 Source #

A GPU 2D boolean vector.

Constructors

GBVec2 GBool GBool

Instances

GBoolVector GBVec2 Source #

VecEq GBVec2 Source #

GLES => Uniform GBVec2 Source #
Associated Types type CPUUniform GBVec2 :: * Source # Methods foldrUniform :: Proxy * GBVec2 -> (UniformValue -> b -> b) -> b -> CPUUniform GBVec2 -> b Source #
ShaderInput GBVec2 Source #
Methods buildMST :: (forall x. ShaderType x => Int -> x) -> Int -> (GBVec2, Int) Source # foldrMST :: (forall x. ShaderType x => x -> b -> b) -> b -> GBVec2 -> b Source #
MultiShaderType GBVec2 Source #
Associated Types type ExprMST GBVec2 :: * Source # Methods mapMST :: (forall x. ShaderType x => x -> x) -> GBVec2 -> GBVec2 Source # toExprMST :: GBVec2 -> ExprMST GBVec2 Source # fromExprMST :: ExprMST GBVec2 -> GBVec2 Source #
type BooleanOf GBVec2 #
type BooleanOf GBVec2 = GBool
data (:->:) GBVec2 #
data (:->:) GBVec2 = GBVec2Trie ((:->:) (ExprMST GBVec2) b)
type CPUUniform GBVec2 Source #
type CPUUniform GBVec2
type ExprMST GBVec2 Source #
type ExprMST GBVec2

data GBVec3 Source #

A GPU 3D boolean vector.

Constructors

GBVec3 GBool GBool GBool

Instances

GBoolVector GBVec3 Source #

VecEq GBVec3 Source #

GLES => Uniform GBVec3 Source #
Associated Types type CPUUniform GBVec3 :: * Source # Methods foldrUniform :: Proxy * GBVec3 -> (UniformValue -> b -> b) -> b -> CPUUniform GBVec3 -> b Source #
ShaderInput GBVec3 Source #
Methods buildMST :: (forall x. ShaderType x => Int -> x) -> Int -> (GBVec3, Int) Source # foldrMST :: (forall x. ShaderType x => x -> b -> b) -> b -> GBVec3 -> b Source #
MultiShaderType GBVec3 Source #
Associated Types type ExprMST GBVec3 :: * Source # Methods mapMST :: (forall x. ShaderType x => x -> x) -> GBVec3 -> GBVec3 Source # toExprMST :: GBVec3 -> ExprMST GBVec3 Source # fromExprMST :: ExprMST GBVec3 -> GBVec3 Source #
type BooleanOf GBVec3 #
type BooleanOf GBVec3 = GBool
data (:->:) GBVec3 #
data (:->:) GBVec3 = GBVec3Trie ((:->:) (ExprMST GBVec3) b)
type CPUUniform GBVec3 Source #
type CPUUniform GBVec3
type ExprMST GBVec3 Source #
type ExprMST GBVec3

data GBVec4 Source #

A GPU 4D boolean vector.

Constructors

GBVec4 GBool GBool GBool GBool

Instances

GBoolVector GBVec4 Source #

VecEq GBVec4 Source #

GLES => Uniform GBVec4 Source #
Associated Types type CPUUniform GBVec4 :: * Source # Methods foldrUniform :: Proxy * GBVec4 -> (UniformValue -> b -> b) -> b -> CPUUniform GBVec4 -> b Source #
ShaderInput GBVec4 Source #
Methods buildMST :: (forall x. ShaderType x => Int -> x) -> Int -> (GBVec4, Int) Source # foldrMST :: (forall x. ShaderType x => x -> b -> b) -> b -> GBVec4 -> b Source #
MultiShaderType GBVec4 Source #
Associated Types type ExprMST GBVec4 :: * Source # Methods mapMST :: (forall x. ShaderType x => x -> x) -> GBVec4 -> GBVec4 Source # toExprMST :: GBVec4 -> ExprMST GBVec4 Source # fromExprMST :: ExprMST GBVec4 -> GBVec4 Source #
type BooleanOf GBVec4 #
type BooleanOf GBVec4 = GBool
data (:->:) GBVec4 #
data (:->:) GBVec4 = GBVec4Trie ((:->:) (ExprMST GBVec4) b)
type CPUUniform GBVec4 Source #
type CPUUniform GBVec4
type ExprMST GBVec4 Source #
type ExprMST GBVec4

data GIVec2 Source #

A GPU 2D integer vector.

Constructors

GIVec2 GInt GInt

Instances

VecEq GIVec2 Source #

VecOrd GIVec2 Source #

GLES => GeometryVertex GIVec2 Source #
Associated Types type AttributeTypes GIVec2 :: [] Source # type Vertex GIVec2 = (v :: ) Source # Methods toVertexAttributes :: Vertex GIVec2 -> VertexAttributes (AttributeTypes GIVec2) Source # fromVertexAttributes :: VertexAttributes (AttributeTypes GIVec2) -> Vertex GIVec2 Source #
GLES => Uniform GIVec2 Source #
Associated Types type CPUUniform GIVec2 :: * Source # Methods foldrUniform :: Proxy * GIVec2 -> (UniformValue -> b -> b) -> b -> CPUUniform GIVec2 -> b Source #
ShaderInput GIVec2 Source #
Methods buildMST :: (forall x. ShaderType x => Int -> x) -> Int -> (GIVec2, Int) Source # foldrMST :: (forall x. ShaderType x => x -> b -> b) -> b -> GIVec2 -> b Source #
MultiShaderType GIVec2 Source #
Associated Types type ExprMST GIVec2 :: * Source # Methods mapMST :: (forall x. ShaderType x => x -> x) -> GIVec2 -> GIVec2 Source # toExprMST :: GIVec2 -> ExprMST GIVec2 Source # fromExprMST :: ExprMST GIVec2 -> GIVec2 Source #
type BooleanOf GIVec2 #
type BooleanOf GIVec2 = GBool
data (:->:) GIVec2 #
data (:->:) GIVec2 = GIVec2Trie ((:->:) (ExprMST GIVec2) b)
type AttributeTypes GIVec2 Source #
type AttributeTypes GIVec2 = (:) * GIVec2 ([] *)
type Vertex GIVec2 Source #
type Vertex GIVec2 = IVec2
type CPUUniform GIVec2 Source #
type CPUUniform GIVec2
type ExprMST GIVec2 Source #
type ExprMST GIVec2

data GIVec3 Source #

A GPU 3D integer vector.

Constructors

GIVec3 GInt GInt GInt

Instances

VecEq GIVec3 Source #

VecOrd GIVec3 Source #

GLES => GeometryVertex GIVec3 Source #
Associated Types type AttributeTypes GIVec3 :: [] Source # type Vertex GIVec3 = (v :: ) Source # Methods toVertexAttributes :: Vertex GIVec3 -> VertexAttributes (AttributeTypes GIVec3) Source # fromVertexAttributes :: VertexAttributes (AttributeTypes GIVec3) -> Vertex GIVec3 Source #
GLES => Uniform GIVec3 Source #
Associated Types type CPUUniform GIVec3 :: * Source # Methods foldrUniform :: Proxy * GIVec3 -> (UniformValue -> b -> b) -> b -> CPUUniform GIVec3 -> b Source #
ShaderInput GIVec3 Source #
Methods buildMST :: (forall x. ShaderType x => Int -> x) -> Int -> (GIVec3, Int) Source # foldrMST :: (forall x. ShaderType x => x -> b -> b) -> b -> GIVec3 -> b Source #
MultiShaderType GIVec3 Source #
Associated Types type ExprMST GIVec3 :: * Source # Methods mapMST :: (forall x. ShaderType x => x -> x) -> GIVec3 -> GIVec3 Source # toExprMST :: GIVec3 -> ExprMST GIVec3 Source # fromExprMST :: ExprMST GIVec3 -> GIVec3 Source #
type BooleanOf GIVec3 #
type BooleanOf GIVec3 = GBool
data (:->:) GIVec3 #
data (:->:) GIVec3 = GIVec3Trie ((:->:) (ExprMST GIVec3) b)
type AttributeTypes GIVec3 Source #
type AttributeTypes GIVec3 = (:) * GIVec3 ([] *)
type Vertex GIVec3 Source #
type Vertex GIVec3 = IVec3
type CPUUniform GIVec3 Source #
type CPUUniform GIVec3
type ExprMST GIVec3 Source #
type ExprMST GIVec3

data GIVec4 Source #

A GPU 4D integer vector.

Constructors

GIVec4 GInt GInt GInt GInt

Instances

VecEq GIVec4 Source #

VecOrd GIVec4 Source #

GLES => GeometryVertex GIVec4 Source #
Associated Types type AttributeTypes GIVec4 :: [] Source # type Vertex GIVec4 = (v :: ) Source # Methods toVertexAttributes :: Vertex GIVec4 -> VertexAttributes (AttributeTypes GIVec4) Source # fromVertexAttributes :: VertexAttributes (AttributeTypes GIVec4) -> Vertex GIVec4 Source #
GLES => Uniform GIVec4 Source #
Associated Types type CPUUniform GIVec4 :: * Source # Methods foldrUniform :: Proxy * GIVec4 -> (UniformValue -> b -> b) -> b -> CPUUniform GIVec4 -> b Source #
ShaderInput GIVec4 Source #
Methods buildMST :: (forall x. ShaderType x => Int -> x) -> Int -> (GIVec4, Int) Source # foldrMST :: (forall x. ShaderType x => x -> b -> b) -> b -> GIVec4 -> b Source #
MultiShaderType GIVec4 Source #
Associated Types type ExprMST GIVec4 :: * Source # Methods mapMST :: (forall x. ShaderType x => x -> x) -> GIVec4 -> GIVec4 Source # toExprMST :: GIVec4 -> ExprMST GIVec4 Source # fromExprMST :: ExprMST GIVec4 -> GIVec4 Source #
type BooleanOf GIVec4 #
type BooleanOf GIVec4 = GBool
data (:->:) GIVec4 #
data (:->:) GIVec4 = GIVec4Trie ((:->:) (ExprMST GIVec4) b)
type AttributeTypes GIVec4 Source #
type AttributeTypes GIVec4 = (:) * GIVec4 ([] *)
type Vertex GIVec4 Source #
type Vertex GIVec4 = IVec4
type CPUUniform GIVec4 Source #
type CPUUniform GIVec4
type ExprMST GIVec4 Source #
type ExprMST GIVec4

data GMat2 Source #

A GPU 2x2 float matrix.

Constructors

GMat2 GVec2 GVec2

Instances

GLES => Uniform GMat2 Source #
Associated Types type CPUUniform GMat2 :: * Source # Methods foldrUniform :: Proxy * GMat2 -> (UniformValue -> b -> b) -> b -> CPUUniform GMat2 -> b Source #
ShaderInput GMat2 Source #
Methods buildMST :: (forall x. ShaderType x => Int -> x) -> Int -> (GMat2, Int) Source # foldrMST :: (forall x. ShaderType x => x -> b -> b) -> b -> GMat2 -> b Source #
MultiShaderType GMat2 Source #
Associated Types type ExprMST GMat2 :: * Source # Methods mapMST :: (forall x. ShaderType x => x -> x) -> GMat2 -> GMat2 Source # toExprMST :: GMat2 -> ExprMST GMat2 Source # fromExprMST :: ExprMST GMat2 -> GMat2 Source #
type BooleanOf GMat2 #
type BooleanOf GMat2 = GBool
data (:->:) GMat2 #
data (:->:) GMat2 = GMat2Trie ((:->:) (ExprMST GMat2) b)
type Scalar GMat2 #
type Scalar GMat2 = GFloat
type Row GMat2 Source #
type Row GMat2 = GVec2
type Extended GMat2 Source #
type Extended GMat2 = GMat3
type CPUUniform GMat2 Source #
type CPUUniform GMat2
type ExprMST GMat2 Source #
type ExprMST GMat2

data GMat3 Source #

A GPU 3x3 float matrix.

Constructors

GMat3 GVec3 GVec3 GVec3

Instances

GLES => Uniform GMat3 Source #
Associated Types type CPUUniform GMat3 :: * Source # Methods foldrUniform :: Proxy * GMat3 -> (UniformValue -> b -> b) -> b -> CPUUniform GMat3 -> b Source #
ShaderInput GMat3 Source #
Methods buildMST :: (forall x. ShaderType x => Int -> x) -> Int -> (GMat3, Int) Source # foldrMST :: (forall x. ShaderType x => x -> b -> b) -> b -> GMat3 -> b Source #
MultiShaderType GMat3 Source #
Associated Types type ExprMST GMat3 :: * Source # Methods mapMST :: (forall x. ShaderType x => x -> x) -> GMat3 -> GMat3 Source # toExprMST :: GMat3 -> ExprMST GMat3 Source # fromExprMST :: ExprMST GMat3 -> GMat3 Source #
type BooleanOf GMat3 #
type BooleanOf GMat3 = GBool
data (:->:) GMat3 #
data (:->:) GMat3 = GMat3Trie ((:->:) (ExprMST GMat3) b)
type Scalar GMat3 #
type Scalar GMat3 = GFloat
type Row GMat3 Source #
type Row GMat3 = GVec3
type Extended GMat3 Source #
type Extended GMat3 = GMat4
type CPUUniform GMat3 Source #
type CPUUniform GMat3
type ExprMST GMat3 Source #
type ExprMST GMat3

data GMat4 Source #

A GPU 4x4 float matrix.

Constructors

GMat4 GVec4 GVec4 GVec4 GVec4

Instances

GLES => Uniform GMat4 Source #
Associated Types type CPUUniform GMat4 :: * Source # Methods foldrUniform :: Proxy * GMat4 -> (UniformValue -> b -> b) -> b -> CPUUniform GMat4 -> b Source #
ShaderInput GMat4 Source #
Methods buildMST :: (forall x. ShaderType x => Int -> x) -> Int -> (GMat4, Int) Source # foldrMST :: (forall x. ShaderType x => x -> b -> b) -> b -> GMat4 -> b Source #
MultiShaderType GMat4 Source #
Associated Types type ExprMST GMat4 :: * Source # Methods mapMST :: (forall x. ShaderType x => x -> x) -> GMat4 -> GMat4 Source # toExprMST :: GMat4 -> ExprMST GMat4 Source # fromExprMST :: ExprMST GMat4 -> GMat4 Source #
type BooleanOf GMat4 #
type BooleanOf GMat4 = GBool
data (:->:) GMat4 #
data (:->:) GMat4 = GMat4Trie ((:->:) (ExprMST GMat4) b)
type Scalar GMat4 #
type Scalar GMat4 = GFloat
type Row GMat4 Source #
type Row GMat4 = GVec4
type CPUUniform GMat4 Source #
type CPUUniform GMat4
type ExprMST GMat4 Source #
type ExprMST GMat4

class ShaderType a => GenType a Source #

GFloats or float vectors.

Instances

(GFloatVec a, ShaderType a) => GenType a Source #

GenType GFloat Source #

type GenTypeGFloat a b = (GenTypeGFloatConstr a b, ShaderType a, ShaderType b) Source #

a must be a GenType, while b can either be the same as a, or a GFloat.

data GArray n t Source #

A GPU array.

Instances

(KnownNat n, ShaderType t, BaseUniform (GArray n t), GLES) => Uniform (GArray n t) Source #
Associated Types type CPUUniform (GArray n t) :: * Source # Methods foldrUniform :: Proxy * (GArray n t) -> (UniformValue -> b -> b) -> b -> CPUUniform (GArray n t) -> b Source #
(KnownNat n, ShaderType t) => ShaderInput (GArray n t) Source #
Methods buildMST :: (forall x. ShaderType x => Int -> x) -> Int -> (GArray n t, Int) Source # foldrMST :: (forall x. ShaderType x => x -> b -> b) -> b -> GArray n t -> b Source #
(KnownNat n, ShaderType t) => MultiShaderType (GArray n t) Source #
Associated Types type ExprMST (GArray n t) :: * Source # Methods mapMST :: (forall x. ShaderType x => x -> x) -> GArray n t -> GArray n t Source # toExprMST :: GArray n t -> ExprMST (GArray n t) Source # fromExprMST :: ExprMST (GArray n t) -> GArray n t Source #
type BooleanOf (GArray n t) #
type BooleanOf (GArray n t) = GBool
data (:->:) (GArray n t) #
data (:->:) (GArray n t) = GArrayTrie ((:->:) (ExprMST (GArray n t)) b)
type CPUUniform (GArray n t) Source #
type CPUUniform (GArray n t)
type ExprMST (GArray n t) Source #
type ExprMST (GArray n t)

GPU functions

(!) :: forall t n. (ShaderType t, KnownNat n) => GArray n t -> GInt -> t Source #

Access an array element at a given index.

sampleTexture :: TextureSampler -> GVec2 -> GVec4 Source #

Sample a texel from a texture. Sampling in the vertex shader is not supported on some hardware.

sample :: TextureSampler -> GVec2 -> GVec4 Source #

Alias for sampleTexture.

arrayLength :: (ShaderType t, KnownNat n) => GArray n t -> GInt Source #

Various math functions

class Matrix a where Source #

Minimal complete definition

idmtx, transpose, (.*.), (.*)

Associated Types

type Row a = b | b -> a Source #

Methods

idmtx :: a Source #

transpose :: a -> a Source #

(.*.) :: a -> a -> a infixl 7 Source #

(.*) :: a -> Row a -> Row a infixl 7 Source #

(*.) :: Row a -> a -> Row a infixr 7 Source #

Instances

Matrix Mat4 Source #
Associated Types type Row Mat4 = (b :: ) Source # Methods idmtx :: Mat4 Source # transpose :: Mat4 -> Mat4 Source # (..) :: Mat4 -> Mat4 -> Mat4 Source # (.) :: Mat4 -> Row Mat4 -> Row Mat4 Source # (.) :: Row Mat4 -> Mat4 -> Row Mat4 Source #
Matrix Mat3 Source #
Associated Types type Row Mat3 = (b :: ) Source # Methods idmtx :: Mat3 Source # transpose :: Mat3 -> Mat3 Source # (..) :: Mat3 -> Mat3 -> Mat3 Source # (.) :: Mat3 -> Row Mat3 -> Row Mat3 Source # (.) :: Row Mat3 -> Mat3 -> Row Mat3 Source #
Matrix Mat2 Source #
Associated Types type Row Mat2 = (b :: ) Source # Methods idmtx :: Mat2 Source # transpose :: Mat2 -> Mat2 Source # (..) :: Mat2 -> Mat2 -> Mat2 Source # (.) :: Mat2 -> Row Mat2 -> Row Mat2 Source # (.) :: Row Mat2 -> Mat2 -> Row Mat2 Source #

class VectorSpace v => Ext v where Source #

Minimal complete definition

(^|), (^|^), extract

Associated Types

type Extended v = w | w -> v Source #

Methods

(^|) :: v -> Scalar v -> Extended v infixl 5 Source #

Extend the vector with a specified scalar.

(^|^) :: v -> Extended v -> Extended v infixl 5 Source #

Extend the first vector using the components of the second vector.

For instance: Mat2 (Vec2 x y) (Vec2 z w) ^|^ idmtx = Mat3 (Vec3 x y 0) (Vec3 z w 0) (Vec3 0 0 1)

extract :: Extended v -> v Source #

Extract a smaller vector.

Instances

Ext Mat3 Source #
Associated Types type Extended Mat3 = (w :: *) Source # Methods (^\|) :: Mat3 -> Scalar Mat3 -> Extended Mat3 Source # (^\|^) :: Mat3 -> Extended Mat3 -> Extended Mat3 Source # extract :: Extended Mat3 -> Mat3 Source #
Ext Mat2 Source #
Associated Types type Extended Mat2 = (w :: *) Source # Methods (^\|) :: Mat2 -> Scalar Mat2 -> Extended Mat2 Source # (^\|^) :: Mat2 -> Extended Mat2 -> Extended Mat2 Source # extract :: Extended Mat2 -> Mat2 Source #
Ext Vec3 Source #
Associated Types type Extended Vec3 = (w :: *) Source # Methods (^\|) :: Vec3 -> Scalar Vec3 -> Extended Vec3 Source # (^\|^) :: Vec3 -> Extended Vec3 -> Extended Vec3 Source # extract :: Extended Vec3 -> Vec3 Source #
Ext Vec2 Source #
Associated Types type Extended Vec2 = (w :: *) Source # Methods (^\|) :: Vec2 -> Scalar Vec2 -> Extended Vec2 Source # (^\|^) :: Vec2 -> Extended Vec2 -> Extended Vec2 Source # extract :: Extended Vec2 -> Vec2 Source #

minG :: GenTypeGFloat a b => a -> b -> a Source #

Faster GPU 'min'/'B.minB'.

maxG :: GenTypeGFloat a b => a -> b -> a Source #

Faster GPU 'max'/'B.maxB'.

modG :: GenType a => a -> a -> a Source #

GPU mod that can be used on floats and float vectors.

floorG :: GenType a => a -> a Source #

ceilingG :: GenType a => a -> a Source #

radians :: GenType a => a -> a Source #

degrees :: GenType a => a -> a Source #

exp2 :: GenType a => a -> a Source #

log2 :: GenType a => a -> a Source #

inversesqrt :: GenType a => a -> a Source #

fract :: GenType a => a -> a Source #

clamp :: GenTypeGFloat a b => a -> b -> b -> a Source #

mix :: GenTypeGFloat a b => a -> a -> b -> a Source #

Linear interpolation between two values.

mix x y t = x*(1-t) + y*t

step :: GenTypeGFloat a b => b -> a -> a Source #

step e x returns 0 if x < e, 1 otherwise.

distance :: GenType a => a -> a -> GFloat Source #

faceforward :: GenType a => a -> a -> a -> a Source #

reflect :: GenType a => a -> a -> a Source #

refract :: GenType a => a -> a -> GFloat -> a Source #

matrixCompMult :: GMatrix a => a -> a -> a Source #

Component-wise multiplication of matrices.

Vector relational functions

class ShaderType a => VecOrd a Source #

Instances

VecOrd GIVec4 Source #

VecOrd GIVec3 Source #

VecOrd GIVec2 Source #

VecOrd GVec4 Source #

VecOrd GVec3 Source #

VecOrd GVec2 Source #

class ShaderType a => VecEq a Source #

Instances

lessThan :: VecOrd a => a -> a -> GBool Source #

lessThanEqual :: VecOrd a => a -> a -> GBool Source #

greaterThan :: VecOrd a => a -> a -> GBool Source #

greaterThanEqual :: VecOrd a => a -> a -> GBool Source #

equal :: VecEq a => a -> a -> GBool Source #

notEqual :: VecEq a => a -> a -> GBool Source #

class ShaderType a => GBoolVector a Source #

Instances

GBoolVector GBVec4 Source #

GBoolVector GBVec3 Source #

GBoolVector GBVec2 Source #

anyBV :: GBoolVector a => a -> GBool Source #

allBV :: GBoolVector a => a -> GBool Source #

notBV :: GBoolVector a => a -> GBool Source #

Constructors

class ShaderType t => ToGBool t Source #

Instances

ToGBool GInt Source #

ToGBool GFloat Source #

ToGBool GBool Source #

bool :: ToGBool t => t -> GBool Source #

class ShaderType t => ToGInt t Source #

Instances

ToGInt GInt Source #

ToGInt GFloat Source #

ToGInt GBool Source #

int :: ToGInt t => t -> GInt Source #

class ShaderType t => ToGFloat t Source #

Instances

ToGFloat GInt Source #

ToGFloat GFloat Source #

ToGFloat GBool Source #

float :: ToGFloat t => t -> GFloat Source #

Other

Orphan instances

Floating GFloat Source #
Methods pi :: GFloat # exp :: GFloat -> GFloat # log :: GFloat -> GFloat # sqrt :: GFloat -> GFloat # (**) :: GFloat -> GFloat -> GFloat # logBase :: GFloat -> GFloat -> GFloat # sin :: GFloat -> GFloat # cos :: GFloat -> GFloat # tan :: GFloat -> GFloat # asin :: GFloat -> GFloat # acos :: GFloat -> GFloat # atan :: GFloat -> GFloat # sinh :: GFloat -> GFloat # cosh :: GFloat -> GFloat # tanh :: GFloat -> GFloat # asinh :: GFloat -> GFloat # acosh :: GFloat -> GFloat # atanh :: GFloat -> GFloat # log1p :: GFloat -> GFloat # expm1 :: GFloat -> GFloat # log1pexp :: GFloat -> GFloat # log1mexp :: GFloat -> GFloat #
Fractional GFloat Source #
Methods (/) :: GFloat -> GFloat -> GFloat # recip :: GFloat -> GFloat # fromRational :: Rational -> GFloat #
Num GInt Source #
Methods (+) :: GInt -> GInt -> GInt # (-) :: GInt -> GInt -> GInt # (*) :: GInt -> GInt -> GInt # negate :: GInt -> GInt # abs :: GInt -> GInt # signum :: GInt -> GInt # fromInteger :: Integer -> GInt #
Num GFloat Source #
Methods (+) :: GFloat -> GFloat -> GFloat # (-) :: GFloat -> GFloat -> GFloat # (*) :: GFloat -> GFloat -> GFloat # negate :: GFloat -> GFloat # abs :: GFloat -> GFloat # signum :: GFloat -> GFloat # fromInteger :: Integer -> GFloat #
NumB GInt Source #
Associated Types type IntegerOf GInt :: * # Methods fromIntegerB :: IntegerOf GInt -> GInt #
NumB GFloat Source #
Associated Types type IntegerOf GFloat :: * # Methods fromIntegerB :: IntegerOf GFloat -> GFloat #
IntegralB GInt Source #
Methods quot :: GInt -> GInt -> GInt # rem :: GInt -> GInt -> GInt # div :: GInt -> GInt -> GInt # mod :: GInt -> GInt -> GInt # quotRem :: GInt -> GInt -> (GInt, GInt) # divMod :: GInt -> GInt -> (GInt, GInt) # toIntegerB :: GInt -> IntegerOf GInt #
RealFracB GFloat Source #
Methods properFraction :: ((* ~ IntegerOf GFloat) (IntegerOf b), IntegralB b) => GFloat -> (b, GFloat) # truncate :: ((* ~ IntegerOf GFloat) (IntegerOf b), IntegralB b) => GFloat -> b # round :: ((* ~ IntegerOf GFloat) (IntegerOf b), IntegralB b) => GFloat -> b # ceiling :: ((* ~ IntegerOf GFloat) (IntegerOf b), IntegralB b) => GFloat -> b # floor :: ((* ~ IntegerOf GFloat) (IntegerOf b), IntegralB b) => GFloat -> b #
RealFloatB GFloat Source #
Methods isNaN :: GFloat -> BooleanOf GFloat # isInfinite :: GFloat -> BooleanOf GFloat # isNegativeZero :: GFloat -> BooleanOf GFloat # isIEEE :: GFloat -> BooleanOf GFloat # atan2 :: GFloat -> GFloat -> GFloat #
Boolean GBool Source #
Methods true :: GBool # false :: GBool # notB :: GBool -> GBool # (&&) :: GBool -> GBool -> GBool # (\|\|) :: GBool -> GBool -> GBool #
(ShaderType a, (~) * (BooleanOf a) GBool) => IfB a Source #
Methods ifB :: (* ~ bool) (BooleanOf a) => bool -> a -> a -> a #
(ShaderType a, (~) * (BooleanOf a) GBool) => EqB a Source #
Methods (==) :: ( ~ bool) (BooleanOf a) => a -> a -> bool # (/=) :: ( ~ bool) (BooleanOf a) => a -> a -> bool #
(ShaderType a, (~) * (BooleanOf a) GBool) => OrdB a Source #
Methods (<) :: ( ~ bool) (BooleanOf a) => a -> a -> bool # (<=) :: ( ~ bool) (BooleanOf a) => a -> a -> bool # (>) :: ( ~ bool) (BooleanOf a) => a -> a -> bool # (>=) :: ( ~ bool) (BooleanOf a) => a -> a -> bool #
HasCross3 GVec3 Source #
Methods cross3 :: GVec3 -> GVec3 -> GVec3 #
VectorSpace GMat4 Source #
Associated Types type Scalar GMat4 :: * # Methods (*^) :: Scalar GMat4 -> GMat4 -> GMat4 #
VectorSpace GMat3 Source #
Associated Types type Scalar GMat3 :: * # Methods (*^) :: Scalar GMat3 -> GMat3 -> GMat3 #
VectorSpace GMat2 Source #
Associated Types type Scalar GMat2 :: * # Methods (*^) :: Scalar GMat2 -> GMat2 -> GMat2 #
VectorSpace GVec4 Source #
Associated Types type Scalar GVec4 :: * # Methods (*^) :: Scalar GVec4 -> GVec4 -> GVec4 #
VectorSpace GVec3 Source #
Associated Types type Scalar GVec3 :: * # Methods (*^) :: Scalar GVec3 -> GVec3 -> GVec3 #
VectorSpace GVec2 Source #
Associated Types type Scalar GVec2 :: * # Methods (*^) :: Scalar GVec2 -> GVec2 -> GVec2 #
InnerSpace GVec4 Source #
Methods (<.>) :: GVec4 -> GVec4 -> Scalar GVec4 #
InnerSpace GVec3 Source #
Methods (<.>) :: GVec3 -> GVec3 -> Scalar GVec3 #
InnerSpace GVec2 Source #
Methods (<.>) :: GVec2 -> GVec2 -> Scalar GVec2 #
AdditiveGroup GMat4 Source #
Methods zeroV :: GMat4 # (^+^) :: GMat4 -> GMat4 -> GMat4 # negateV :: GMat4 -> GMat4 # (^-^) :: GMat4 -> GMat4 -> GMat4 #
AdditiveGroup GMat3 Source #
Methods zeroV :: GMat3 # (^+^) :: GMat3 -> GMat3 -> GMat3 # negateV :: GMat3 -> GMat3 # (^-^) :: GMat3 -> GMat3 -> GMat3 #
AdditiveGroup GMat2 Source #
Methods zeroV :: GMat2 # (^+^) :: GMat2 -> GMat2 -> GMat2 # negateV :: GMat2 -> GMat2 # (^-^) :: GMat2 -> GMat2 -> GMat2 #
AdditiveGroup GVec4 Source #
Methods zeroV :: GVec4 # (^+^) :: GVec4 -> GVec4 -> GVec4 # negateV :: GVec4 -> GVec4 # (^-^) :: GVec4 -> GVec4 -> GVec4 #
AdditiveGroup GVec3 Source #
Methods zeroV :: GVec3 # (^+^) :: GVec3 -> GVec3 -> GVec3 # negateV :: GVec3 -> GVec3 # (^-^) :: GVec3 -> GVec3 -> GVec3 #
AdditiveGroup GVec2 Source #
Methods zeroV :: GVec2 # (^+^) :: GVec2 -> GVec2 -> GVec2 # negateV :: GVec2 -> GVec2 # (^-^) :: GVec2 -> GVec2 -> GVec2 #
AdditiveGroup GFloat Source #
Methods zeroV :: GFloat # (^+^) :: GFloat -> GFloat -> GFloat # negateV :: GFloat -> GFloat # (^-^) :: GFloat -> GFloat -> GFloat #
Matrix GMat4 Source #
Associated Types type Row GMat4 = (b :: ) Source # Methods idmtx :: GMat4 Source # transpose :: GMat4 -> GMat4 Source # (..) :: GMat4 -> GMat4 -> GMat4 Source # (.) :: GMat4 -> Row GMat4 -> Row GMat4 Source # (.) :: Row GMat4 -> GMat4 -> Row GMat4 Source #
Matrix GMat3 Source #
Associated Types type Row GMat3 = (b :: ) Source # Methods idmtx :: GMat3 Source # transpose :: GMat3 -> GMat3 Source # (..) :: GMat3 -> GMat3 -> GMat3 Source # (.) :: GMat3 -> Row GMat3 -> Row GMat3 Source # (.) :: Row GMat3 -> GMat3 -> Row GMat3 Source #
Matrix GMat2 Source #
Associated Types type Row GMat2 = (b :: ) Source # Methods idmtx :: GMat2 Source # transpose :: GMat2 -> GMat2 Source # (..) :: GMat2 -> GMat2 -> GMat2 Source # (.) :: GMat2 -> Row GMat2 -> Row GMat2 Source # (.) :: Row GMat2 -> GMat2 -> Row GMat2 Source #
Ext GMat3 Source #
Associated Types type Extended GMat3 = (w :: *) Source # Methods (^\|) :: GMat3 -> Scalar GMat3 -> Extended GMat3 Source # (^\|^) :: GMat3 -> Extended GMat3 -> Extended GMat3 Source # extract :: Extended GMat3 -> GMat3 Source #
Ext GMat2 Source #
Associated Types type Extended GMat2 = (w :: *) Source # Methods (^\|) :: GMat2 -> Scalar GMat2 -> Extended GMat2 Source # (^\|^) :: GMat2 -> Extended GMat2 -> Extended GMat2 Source # extract :: Extended GMat2 -> GMat2 Source #
Ext GVec3 Source #
Associated Types type Extended GVec3 = (w :: *) Source # Methods (^\|) :: GVec3 -> Scalar GVec3 -> Extended GVec3 Source # (^\|^) :: GVec3 -> Extended GVec3 -> Extended GVec3 Source # extract :: Extended GVec3 -> GVec3 Source #
Ext GVec2 Source #
Associated Types type Extended GVec2 = (w :: *) Source # Methods (^\|) :: GVec2 -> Scalar GVec2 -> Extended GVec2 Source # (^\|^) :: GVec2 -> Extended GVec2 -> Extended GVec2 Source # extract :: Extended GVec2 -> GVec2 Source #