Safe Haskell	Safe
Language	Haskell98

Language.GLSL.Syntax

Documentation

data TranslationUnit Source #

Constructors

TranslationUnit [ExternalDeclaration]

Instances

Eq TranslationUnit Source #
Methods (==) :: TranslationUnit -> TranslationUnit -> Bool # (/=) :: TranslationUnit -> TranslationUnit -> Bool #
Show TranslationUnit Source #
Methods showsPrec :: Int -> TranslationUnit -> ShowS # show :: TranslationUnit -> String # showList :: [TranslationUnit] -> ShowS #

data ExternalDeclaration Source #

Constructors

FunctionDeclaration FunctionPrototype
FunctionDefinition FunctionPrototype Compound
Declaration Declaration

Instances

Eq ExternalDeclaration Source #
Methods (==) :: ExternalDeclaration -> ExternalDeclaration -> Bool # (/=) :: ExternalDeclaration -> ExternalDeclaration -> Bool #
Show ExternalDeclaration Source #
Methods showsPrec :: Int -> ExternalDeclaration -> ShowS # show :: ExternalDeclaration -> String # showList :: [ExternalDeclaration] -> ShowS #

data Declaration Source #

Constructors

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

Instances

Eq Declaration Source #
Methods (==) :: Declaration -> Declaration -> Bool # (/=) :: Declaration -> Declaration -> Bool #
Show Declaration Source #
Methods showsPrec :: Int -> Declaration -> ShowS # show :: Declaration -> String # showList :: [Declaration] -> ShowS #

data InitDeclarator Source #

Constructors

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

Instances

Eq InitDeclarator Source #
Methods (==) :: InitDeclarator -> InitDeclarator -> Bool # (/=) :: InitDeclarator -> InitDeclarator -> Bool #
Show InitDeclarator Source #
Methods showsPrec :: Int -> InitDeclarator -> ShowS # show :: InitDeclarator -> String # showList :: [InitDeclarator] -> ShowS #

data InvariantOrType Source #

Constructors

InvariantDeclarator
TypeDeclarator FullType

Instances

Eq InvariantOrType Source #
Methods (==) :: InvariantOrType -> InvariantOrType -> Bool # (/=) :: InvariantOrType -> InvariantOrType -> Bool #
Show InvariantOrType Source #
Methods showsPrec :: Int -> InvariantOrType -> ShowS # show :: InvariantOrType -> String # showList :: [InvariantOrType] -> ShowS #

data FunctionPrototype Source #

Constructors

FuncProt FullType String [ParameterDeclaration]

Instances

Eq FunctionPrototype Source #
Methods (==) :: FunctionPrototype -> FunctionPrototype -> Bool # (/=) :: FunctionPrototype -> FunctionPrototype -> Bool #
Show FunctionPrototype Source #
Methods showsPrec :: Int -> FunctionPrototype -> ShowS # show :: FunctionPrototype -> String # showList :: [FunctionPrototype] -> ShowS #

data ParameterDeclaration Source #

Constructors

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

Instances

Eq ParameterDeclaration Source #
Methods (==) :: ParameterDeclaration -> ParameterDeclaration -> Bool # (/=) :: ParameterDeclaration -> ParameterDeclaration -> Bool #
Show ParameterDeclaration Source #
Methods showsPrec :: Int -> ParameterDeclaration -> ShowS # show :: ParameterDeclaration -> String # showList :: [ParameterDeclaration] -> ShowS #

data FullType Source #

Constructors

FullType (Maybe TypeQualifier) TypeSpecifier

Instances

Eq FullType Source #
Methods (==) :: FullType -> FullType -> Bool # (/=) :: FullType -> FullType -> Bool #
Show FullType Source #
Methods showsPrec :: Int -> FullType -> ShowS # show :: FullType -> String # showList :: [FullType] -> ShowS #

data TypeQualifier Source #

Constructors

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

Instances

Eq TypeQualifier Source #
Methods (==) :: TypeQualifier -> TypeQualifier -> Bool # (/=) :: TypeQualifier -> TypeQualifier -> Bool #
Show TypeQualifier Source #
Methods showsPrec :: Int -> TypeQualifier -> ShowS # show :: TypeQualifier -> String # showList :: [TypeQualifier] -> ShowS #

data TypeSpecifier Source #

Constructors

TypeSpec (Maybe PrecisionQualifier) TypeSpecifierNoPrecision

Instances

Eq TypeSpecifier Source #
Methods (==) :: TypeSpecifier -> TypeSpecifier -> Bool # (/=) :: TypeSpecifier -> TypeSpecifier -> Bool #
Show TypeSpecifier Source #
Methods showsPrec :: Int -> TypeSpecifier -> ShowS # show :: TypeSpecifier -> String # showList :: [TypeSpecifier] -> ShowS #

data InvariantQualifier Source #

Constructors

Invariant

Instances

Eq InvariantQualifier Source #
Methods (==) :: InvariantQualifier -> InvariantQualifier -> Bool # (/=) :: InvariantQualifier -> InvariantQualifier -> Bool #
Show InvariantQualifier Source #
Methods showsPrec :: Int -> InvariantQualifier -> ShowS # show :: InvariantQualifier -> String # showList :: [InvariantQualifier] -> ShowS #

data InterpolationQualifier Source #

Constructors

Smooth
Flat
NoPerspective

Instances

Eq InterpolationQualifier Source #
Methods (==) :: InterpolationQualifier -> InterpolationQualifier -> Bool # (/=) :: InterpolationQualifier -> InterpolationQualifier -> Bool #
Show InterpolationQualifier Source #
Methods showsPrec :: Int -> InterpolationQualifier -> ShowS # show :: InterpolationQualifier -> String # showList :: [InterpolationQualifier] -> ShowS #

data LayoutQualifier Source #

Constructors

Layout [LayoutQualifierId]

Instances

Eq LayoutQualifier Source #
Methods (==) :: LayoutQualifier -> LayoutQualifier -> Bool # (/=) :: LayoutQualifier -> LayoutQualifier -> Bool #
Show LayoutQualifier Source #
Methods showsPrec :: Int -> LayoutQualifier -> ShowS # show :: LayoutQualifier -> String # showList :: [LayoutQualifier] -> ShowS #

data LayoutQualifierId Source #

Constructors

LayoutQualId String (Maybe Expr)

Instances

Eq LayoutQualifierId Source #
Methods (==) :: LayoutQualifierId -> LayoutQualifierId -> Bool # (/=) :: LayoutQualifierId -> LayoutQualifierId -> Bool #
Show LayoutQualifierId Source #
Methods showsPrec :: Int -> LayoutQualifierId -> ShowS # show :: LayoutQualifierId -> String # showList :: [LayoutQualifierId] -> ShowS #

data Statement Source #

Instances

Eq Statement Source #
Methods (==) :: Statement -> Statement -> Bool # (/=) :: Statement -> Statement -> Bool #
Show Statement Source #
Methods showsPrec :: Int -> Statement -> ShowS # show :: Statement -> String # showList :: [Statement] -> ShowS #

data Compound Source #

Constructors

Compound [Statement]

Instances

Eq Compound Source #
Methods (==) :: Compound -> Compound -> Bool # (/=) :: Compound -> Compound -> Bool #
Show Compound Source #
Methods showsPrec :: Int -> Compound -> ShowS # show :: Compound -> String # showList :: [Compound] -> ShowS #

data Condition Source #

Constructors

Condition Expr
InitializedCondition FullType String Expr

Instances

Eq Condition Source #
Methods (==) :: Condition -> Condition -> Bool # (/=) :: Condition -> Condition -> Bool #
Show Condition Source #
Methods showsPrec :: Int -> Condition -> ShowS # show :: Condition -> String # showList :: [Condition] -> ShowS #

data CaseLabel Source #

Constructors

Case Expr
Default

Instances

Eq CaseLabel Source #
Methods (==) :: CaseLabel -> CaseLabel -> Bool # (/=) :: CaseLabel -> CaseLabel -> Bool #
Show CaseLabel Source #
Methods showsPrec :: Int -> CaseLabel -> ShowS # show :: CaseLabel -> String # showList :: [CaseLabel] -> ShowS #

data StorageQualifier Source #

Constructors

Const
Attribute
Varying
CentroidVarying
In
Out
CentroidIn
CentroidOut
Uniform

Instances

Eq StorageQualifier Source #
Methods (==) :: StorageQualifier -> StorageQualifier -> Bool # (/=) :: StorageQualifier -> StorageQualifier -> Bool #
Show StorageQualifier Source #
Methods showsPrec :: Int -> StorageQualifier -> ShowS # show :: StorageQualifier -> String # showList :: [StorageQualifier] -> ShowS #

data TypeSpecifierNoPrecision Source #

Constructors

TypeSpecNoPrecision TypeSpecifierNonArray (Maybe (Maybe Expr))

Instances

Eq TypeSpecifierNoPrecision Source #
Methods (==) :: TypeSpecifierNoPrecision -> TypeSpecifierNoPrecision -> Bool # (/=) :: TypeSpecifierNoPrecision -> TypeSpecifierNoPrecision -> Bool #
Show TypeSpecifierNoPrecision Source #
Methods showsPrec :: Int -> TypeSpecifierNoPrecision -> ShowS # show :: TypeSpecifierNoPrecision -> String # showList :: [TypeSpecifierNoPrecision] -> ShowS #

data TypeSpecifierNonArray Source #

Instances

Eq TypeSpecifierNonArray Source #
Methods (==) :: TypeSpecifierNonArray -> TypeSpecifierNonArray -> Bool # (/=) :: TypeSpecifierNonArray -> TypeSpecifierNonArray -> Bool #
Show TypeSpecifierNonArray Source #
Methods showsPrec :: Int -> TypeSpecifierNonArray -> ShowS # show :: TypeSpecifierNonArray -> String # showList :: [TypeSpecifierNonArray] -> ShowS #

data PrecisionQualifier Source #

Constructors

HighP
MediumP
LowP

Instances

Eq PrecisionQualifier Source #
Methods (==) :: PrecisionQualifier -> PrecisionQualifier -> Bool # (/=) :: PrecisionQualifier -> PrecisionQualifier -> Bool #
Show PrecisionQualifier Source #
Methods showsPrec :: Int -> PrecisionQualifier -> ShowS # show :: PrecisionQualifier -> String # showList :: [PrecisionQualifier] -> ShowS #

data Field Source #

Constructors

Field (Maybe TypeQualifier) TypeSpecifier [StructDeclarator]

Instances

Eq Field Source #
Methods (==) :: Field -> Field -> Bool # (/=) :: Field -> Field -> Bool #
Show Field Source #
Methods showsPrec :: Int -> Field -> ShowS # show :: Field -> String # showList :: [Field] -> ShowS #

data StructDeclarator Source #

Constructors

StructDeclarator String (Maybe (Maybe Expr))

Instances

Eq StructDeclarator Source #
Methods (==) :: StructDeclarator -> StructDeclarator -> Bool # (/=) :: StructDeclarator -> StructDeclarator -> Bool #
Show StructDeclarator Source #
Methods showsPrec :: Int -> StructDeclarator -> ShowS # show :: StructDeclarator -> String # showList :: [StructDeclarator] -> ShowS #

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 Source #
Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #
Show Expr Source #
Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #

data IntConstantKind Source #

Constructors

Hexadecimal
Octal
Decimal

Instances

Eq IntConstantKind Source #
Methods (==) :: IntConstantKind -> IntConstantKind -> Bool # (/=) :: IntConstantKind -> IntConstantKind -> Bool #
Show IntConstantKind Source #
Methods showsPrec :: Int -> IntConstantKind -> ShowS # show :: IntConstantKind -> String # showList :: [IntConstantKind] -> ShowS #

data Parameters Source #

Constructors

ParamVoid
Params [Expr]

Instances

Eq Parameters Source #
Methods (==) :: Parameters -> Parameters -> Bool # (/=) :: Parameters -> Parameters -> Bool #
Show Parameters Source #
Methods showsPrec :: Int -> Parameters -> ShowS # show :: Parameters -> String # showList :: [Parameters] -> ShowS #

data ParameterQualifier Source #

Constructors

InParameter
OutParameter
InOutParameter

Instances

Eq ParameterQualifier Source #
Methods (==) :: ParameterQualifier -> ParameterQualifier -> Bool # (/=) :: ParameterQualifier -> ParameterQualifier -> Bool #
Show ParameterQualifier Source #
Methods showsPrec :: Int -> ParameterQualifier -> ShowS # show :: ParameterQualifier -> String # showList :: [ParameterQualifier] -> ShowS #

data ParameterTypeQualifier Source #

Constructors

ConstParameter

Instances

Eq ParameterTypeQualifier Source #
Methods (==) :: ParameterTypeQualifier -> ParameterTypeQualifier -> Bool # (/=) :: ParameterTypeQualifier -> ParameterTypeQualifier -> Bool #
Show ParameterTypeQualifier Source #
Methods showsPrec :: Int -> ParameterTypeQualifier -> ShowS # show :: ParameterTypeQualifier -> String # showList :: [ParameterTypeQualifier] -> ShowS #

data FunctionIdentifier Source #

Constructors

FuncIdTypeSpec TypeSpecifier
FuncId String

Instances

Eq FunctionIdentifier Source #
Methods (==) :: FunctionIdentifier -> FunctionIdentifier -> Bool # (/=) :: FunctionIdentifier -> FunctionIdentifier -> Bool #
Show FunctionIdentifier Source #
Methods showsPrec :: Int -> FunctionIdentifier -> ShowS # show :: FunctionIdentifier -> String # showList :: [FunctionIdentifier] -> ShowS #

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