Safe Haskell	Safe
Language	Haskell98

Language.GLSL.Syntax

Documentation

data TranslationUnit #

Constructors

TranslationUnit [ExternalDeclaration]

Instances

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

data ExternalDeclaration #

Constructors

FunctionDeclaration FunctionPrototype
FunctionDefinition FunctionPrototype Compound
Declaration Declaration

Instances

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

data Declaration #

Constructors

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

Instances

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

data InitDeclarator #

Constructors

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

Instances

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

data InvariantOrType #

Constructors

InvariantDeclarator
TypeDeclarator FullType

Instances

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

data FunctionPrototype #

Constructors

FuncProt FullType String [ParameterDeclaration]

Instances

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

data ParameterDeclaration #

Constructors

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

Instances

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

data FullType #

Constructors

FullType (Maybe TypeQualifier) TypeSpecifier

Instances

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

data TypeQualifier #

Constructors

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

Instances

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

data TypeSpecifier #

Constructors

TypeSpec (Maybe PrecisionQualifier) TypeSpecifierNoPrecision

Instances

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

data InvariantQualifier #

Constructors

Invariant

Instances

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

data InterpolationQualifier #

Constructors

Smooth
Flat
NoPerspective

Instances

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

data LayoutQualifier #

Constructors

Layout [LayoutQualifierId]

Instances

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

data LayoutQualifierId #

Constructors

LayoutQualId String (Maybe Expr)

Instances

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

data Statement #

Instances

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

data Compound #

Constructors

Compound [Statement]

Instances

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

data Condition #

Constructors

Condition Expr
InitializedCondition FullType String Expr

Instances

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

data CaseLabel #

Constructors

Case Expr
Default

Instances

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

data StorageQualifier #

Constructors

Const
Attribute
Varying
CentroidVarying
In
Out
CentroidIn
CentroidOut
Uniform

Instances

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

data TypeSpecifierNoPrecision #

Constructors

TypeSpecNoPrecision TypeSpecifierNonArray (Maybe (Maybe Expr))

Instances

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

data TypeSpecifierNonArray #

Instances

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

data PrecisionQualifier #

Constructors

HighP
MediumP
LowP

Instances

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

data Field #

Constructors

Field (Maybe TypeQualifier) TypeSpecifier [StructDeclarator]

Instances

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

data StructDeclarator #

Constructors

StructDeclarator String (Maybe (Maybe Expr))

Instances

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

data Expr #

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

data IntConstantKind #

Constructors

Hexadecimal
Octal
Decimal

Instances

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

data Parameters #

Constructors

ParamVoid
Params [Expr]

Instances

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

data ParameterQualifier #

Constructors

InParameter
OutParameter
InOutParameter

Instances

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

data ParameterTypeQualifier #

Constructors

ConstParameter

Instances

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

data FunctionIdentifier #

Constructors

FuncIdTypeSpec TypeSpecifier
FuncId String

Instances

Eq FunctionIdentifier #
Methods (==) :: FunctionIdentifier -> FunctionIdentifier -> Bool # (/=) :: FunctionIdentifier -> FunctionIdentifier -> Bool #
Show FunctionIdentifier #
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