Stability	experimental
Maintainer	conal@conal.net

Shady.Language.GLSL

Contents

Syntax types
Handy for building bindings
Utilities

Description

Abstract syntax for GLSL. Evolving.

Synopsis

Syntax types

data Program Source

Program: Vertex shader and Fragment shader

Constructors

P
Fields pVertex :: Shader pFragment :: Shader

Instances

Show Program
Pretty Program

data Shader Source

Shader

Constructors

Sh [Declaration] [Definition]

Instances

Show Shader
Pretty Shader

data Declaration Source

Variable declaration/initialization.

Constructors

forall a . D [Qualifier] (Pat a)

Instances

Show Declaration
Pretty Declaration

data Definition Source

Top-level definition

Constructors

forall n a . F (Maybe (VectorT n a)) Id [Param] Statement

Instances

Show Definition
Pretty Definition

data VectorT n a Source

Constructors

VectorT (Nat n) (ScalarT a)

Instances

HasExprU (VectorT n)
Show (VectorT n a)
Pretty (VectorT n a)
HasExpr (VectorT n a)

data ScalarT whereSource

Constructors

Bool :: ScalarT Bool
Int :: ScalarT Int
Float :: ScalarT Float

Instances

HasExprU ScalarT
Show (ScalarT a)
Pretty (ScalarT a)
HasExpr (ScalarT a)

data Param Source

formal parameter

Constructors

forall n a . M (VectorT n a) Id

Instances

Show Param
Pretty Param

type Id = String Source

Variable name

data Bind Source

Variable binding

Constructors

forall a . B (Pat a) (E a)

Instances

Show Bind
Pretty Bind

data Statement Source

Statement

Constructors

Assign Bind
LetS Bind Statement
SkipS
ThenS Statement Statement

Instances

Show Statement
Monoid Statement
Pretty Statement

data Qualifier Source

Storage qualifier

Constructors

Uniform
Attribute
Varying

Instances

Eq Qualifier
Show Qualifier
Pretty Qualifier

Handy for building bindings

data BindO a Source

Binding with open (exposed) type. Build with '(=::)' and '(#)'.

Instances

PairF BindO

(=::) :: HasType a => V a -> E a -> BindO aSource

V specialization of '(=:)'.

closeB :: HasType a => BindO a -> Statement Source

Close an open binding

Utilities

(=:) :: HasType a => Pat a -> E a -> Statement Source

Assignment statement

glPosition :: Pat R4 Source

The standard gl_Position variable, which must be set in a vertex shader

glFragColor :: Pat R4 Source

The standard gl_FragColor variable, which must be set in a fragment shader

vTrans :: E R4 -> E R4 Source

Transform a vertex using the standard model/view matrix

nTrans :: E R3 -> E R3 Source

Transform a normal using the standard normal matrix

mainDef :: Statement -> Definition Source

main in a shader program.