Safe Haskell	Safe-Inferred

Language.GLSL.Syntax

Documentation

data TranslationUnit Source

Constructors

TranslationUnit [ExternalDeclaration]

Instances

Eq TranslationUnit
Show TranslationUnit
Pretty TranslationUnit

data ExternalDeclaration Source

Constructors

FunctionDeclaration FunctionPrototype
FunctionDefinition FunctionPrototype Compound
Declaration Declaration

Instances

Eq ExternalDeclaration
Show ExternalDeclaration
Pretty ExternalDeclaration

data Declaration Source

Constructors

InitDeclaration InvariantOrType [InitDeclarator]
Precision PrecisionQualifier TypeSpecifierNoPrecision
Block TypeQualifier String [Field] (Maybe (String, Maybe (Maybe Expr)))
TQ TypeQualifier

Instances

Eq Declaration
Show Declaration
Pretty Declaration

data InitDeclarator Source

Constructors

InitDecl String (Maybe (Maybe Expr)) (Maybe Expr)

Instances

Eq InitDeclarator
Show InitDeclarator
Pretty InitDeclarator

data InvariantOrType Source

Constructors

InvariantDeclarator
TypeDeclarator FullType

Instances

Eq InvariantOrType
Show InvariantOrType
Pretty InvariantOrType

data FunctionPrototype Source

Constructors

FuncProt FullType String [ParameterDeclaration]

Instances

Eq FunctionPrototype
Show FunctionPrototype
Pretty FunctionPrototype

data ParameterDeclaration Source

Constructors

ParameterDeclaration (Maybe ParameterTypeQualifier) (Maybe ParameterQualifier) TypeSpecifier (Maybe (String, Maybe Expr))

Instances

Eq ParameterDeclaration
Show ParameterDeclaration
Pretty ParameterDeclaration

data FullType Source

Constructors

FullType (Maybe TypeQualifier) TypeSpecifier

Instances

Eq FullType
Show FullType
Pretty FullType

data TypeSpecifier Source

Constructors

TypeSpec (Maybe PrecisionQualifier) TypeSpecifierNoPrecision

Instances

Eq TypeSpecifier
Show TypeSpecifier
Pretty TypeSpecifier

data InvariantQualifier Source

Constructors

Invariant

Instances

Eq InvariantQualifier
Show InvariantQualifier
Pretty InvariantQualifier

data InterpolationQualifier Source

Constructors

Smooth
Flat
NoPerspective

Instances

Eq InterpolationQualifier
Show InterpolationQualifier
Pretty InterpolationQualifier

data LayoutQualifier Source

Constructors

Layout [LayoutQualifierId]

Instances

Eq LayoutQualifier
Show LayoutQualifier
Pretty LayoutQualifier

data LayoutQualifierId Source

Constructors

LayoutQualId String (Maybe Expr)

Instances

Eq LayoutQualifierId
Show LayoutQualifierId
Pretty LayoutQualifierId

data Compound Source

Constructors

Compound [Statement]

Instances

Eq Compound
Show Compound
Pretty Compound

data Condition Source

Constructors

Condition Expr
InitializedCondition FullType String Expr

Instances

Eq Condition
Show Condition
Pretty Condition

data CaseLabel Source

Constructors

Case Expr
Default

Instances

Eq CaseLabel
Show CaseLabel
Pretty CaseLabel

data StorageQualifier Source

Constructors

Const
Attribute
Varying
CentroidVarying
In
Out
CentroidIn
CentroidOut
Uniform

Instances

Eq StorageQualifier
Show StorageQualifier
Pretty StorageQualifier

data TypeSpecifierNoPrecision Source

Constructors

TypeSpecNoPrecision TypeSpecifierNonArray (Maybe (Maybe Expr))

Instances

Eq TypeSpecifierNoPrecision
Show TypeSpecifierNoPrecision
Pretty TypeSpecifierNoPrecision

data TypeSpecifierNonArray Source

Instances

Eq TypeSpecifierNonArray
Show TypeSpecifierNonArray
Pretty TypeSpecifierNonArray

data PrecisionQualifier Source

Constructors

HighP
MediumP
LowP

Instances

Eq PrecisionQualifier
Show PrecisionQualifier
Pretty PrecisionQualifier

data Field Source

Constructors

Field (Maybe TypeQualifier) TypeSpecifier [StructDeclarator]

Instances

Eq Field
Show Field
Pretty Field

data StructDeclarator Source

Constructors

StructDeclarator String (Maybe (Maybe Expr))

Instances

Eq StructDeclarator
Show StructDeclarator
Pretty StructDeclarator

data Expr Source

Constructors

Variable String
IntConstant IntConstantKind Integer
FloatConstant Float
BoolConstant Bool
Bracket Expr Expr
FieldSelection Expr String
MethodCall Expr FunctionIdentifier Parameters
FunctionCall FunctionIdentifier Parameters
PostInc Expr
PostDec Expr
PreInc Expr
PreDec Expr
UnaryPlus Expr
UnaryNegate Expr
UnaryNot Expr
UnaryOneComplement Expr
Mul Expr Expr
Div Expr Expr
Mod Expr Expr
Add Expr Expr
Sub Expr Expr
LeftShift Expr Expr
RightShift Expr Expr
Lt Expr Expr
Gt Expr Expr
Lte Expr Expr
Gte Expr Expr
Equ Expr Expr
Neq Expr Expr
BitAnd Expr Expr
BitXor Expr Expr
BitOr Expr Expr
And Expr Expr
Or Expr Expr
Selection Expr Expr Expr
Equal Expr Expr
MulAssign Expr Expr
DivAssign Expr Expr
ModAssign Expr Expr
AddAssign Expr Expr
SubAssign Expr Expr
LeftAssign Expr Expr
RightAssign Expr Expr
AndAssign Expr Expr
XorAssign Expr Expr
OrAssign Expr Expr
Sequence Expr Expr

Instances

Eq Expr
Show Expr
Pretty Expr

data IntConstantKind Source

Constructors

Hexadecimal
Octal
Decimal

Instances

Eq IntConstantKind
Show IntConstantKind

data Parameters Source

Constructors

ParamVoid
Params [Expr]

Instances

Eq Parameters
Show Parameters
Pretty Parameters

data ParameterQualifier Source

Constructors

InParameter
OutParameter
InOutParameter

Instances

Eq ParameterQualifier
Show ParameterQualifier
Pretty ParameterQualifier

data ParameterTypeQualifier Source

Constructors

ConstParameter

Instances

Eq ParameterTypeQualifier
Show ParameterTypeQualifier
Pretty ParameterTypeQualifier

data FunctionIdentifier Source

Constructors

FuncIdTypeSpec TypeSpecifier
FuncId String

Instances

Eq FunctionIdentifier
Show FunctionIdentifier
Pretty FunctionIdentifier

TypeQualSto StorageQualifier
TypeQualLay LayoutQualifier (Maybe StorageQualifier)
TypeQualInt InterpolationQualifier (Maybe StorageQualifier)
TypeQualInv InvariantQualifier (Maybe StorageQualifier)
TypeQualInv3 InvariantQualifier InterpolationQualifier StorageQualifier

DeclarationStatement Declaration
Continue
Break
Return (Maybe Expr)
Discard
CompoundStatement Compound
ExpressionStatement (Maybe Expr)
SelectionStatement Expr Statement (Maybe Statement)
SwitchStatement Expr [Statement]
CaseLabel CaseLabel
While Condition Statement
DoWhile Statement Expr
For (Either (Maybe Expr) Declaration) (Maybe Condition) (Maybe Expr) Statement

Void
Float
Int
UInt
Bool
Vec2
Vec3
Vec4
BVec2
BVec3
BVec4
IVec2
IVec3
IVec4
UVec2
UVec3
UVec4
Mat2
Mat3
Mat4
Mat2x2
Mat2x3
Mat2x4
Mat3x2
Mat3x3
Mat3x4
Mat4x2
Mat4x3
Mat4x4
Sampler1D
Sampler2D
Sampler3D
SamplerCube
Sampler1DShadow
Sampler2DShadow
SamplerCubeShadow
Sampler1DArray
Sampler2DArray
Sampler1DArrayShadow
Sampler2DArrayShadow
ISampler1D
ISampler2D
ISampler3D
ISamplerCube
ISampler1DArray
ISampler2DArray
USampler1D
USampler2D
USampler3D
USamplerCube
USampler1DArray
USampler2DArray
Sampler2DRect
Sampler2DRectShadow
ISampler2DRect
USampler2DRect
SamplerBuffer
ISamplerBuffer
USamplerBuffer
Sampler2DMS
ISampler2DMS
USampler2DMS
Sampler2DMSArray
ISampler2DMSArray
USampler2DMSArray
StructSpecifier (Maybe String) [Field]
TypeName String