Language.GLSL.AST

Documentation

data GLSL a

Constructors

GLSL Version [TopDecl a]

Instances

Functor GLSL

Defined in Language.GLSL.AST

Methods

fmap :: (a -> b) -> GLSL a -> GLSL b

(<$) :: a -> GLSL b -> GLSL a

Foldable GLSL

Defined in Language.GLSL.AST

Methods

fold :: Monoid m => GLSL m -> m

foldMap :: Monoid m => (a -> m) -> GLSL a -> m

foldMap' :: Monoid m => (a -> m) -> GLSL a -> m

foldr :: (a -> b -> b) -> b -> GLSL a -> b

foldr' :: (a -> b -> b) -> b -> GLSL a -> b

foldl :: (b -> a -> b) -> b -> GLSL a -> b

foldl' :: (b -> a -> b) -> b -> GLSL a -> b

foldr1 :: (a -> a -> a) -> GLSL a -> a

foldl1 :: (a -> a -> a) -> GLSL a -> a

toList :: GLSL a -> [a]

null :: GLSL a -> Bool

length :: GLSL a -> Int

elem :: Eq a => a -> GLSL a -> Bool

maximum :: Ord a => GLSL a -> a

minimum :: Ord a => GLSL a -> a

sum :: Num a => GLSL a -> a

product :: Num a => GLSL a -> a

Traversable GLSL

Defined in Language.GLSL.AST

Methods

traverse :: Applicative f => (a -> f b) -> GLSL a -> f (GLSL b)

sequenceA :: Applicative f => GLSL (f a) -> f (GLSL a)

mapM :: Monad m => (a -> m b) -> GLSL a -> m (GLSL b)

sequence :: Monad m => GLSL (m a) -> m (GLSL a)

Eq a => Eq (GLSL a)

Defined in Language.GLSL.AST

Methods

(==) :: GLSL a -> GLSL a -> Bool

(/=) :: GLSL a -> GLSL a -> Bool

Show a => Show (GLSL a)

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> GLSL a -> ShowS

show :: GLSL a -> String

showList :: [GLSL a] -> ShowS

Generic (GLSL a)

Defined in Language.GLSL.AST

Associated Types

type Rep (GLSL a) :: Type -> Type

Methods

from :: GLSL a -> Rep (GLSL a) x

to :: Rep (GLSL a) x -> GLSL a

type Rep (GLSL a)

Defined in Language.GLSL.AST

type Rep (GLSL a) = D1 ('MetaData "GLSL" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) (C1 ('MetaCons "GLSL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Version) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TopDecl a])))

newtype Version

Constructors

Version Int

Instances

Eq Version

Defined in Language.GLSL.AST

Methods

(==) :: Version -> Version -> Bool

(/=) :: Version -> Version -> Bool

Show Version

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> Version -> ShowS

show :: Version -> String

showList :: [Version] -> ShowS

Generic Version

Defined in Language.GLSL.AST

Associated Types

type Rep Version :: Type -> Type

Methods

from :: Version -> Rep Version x

to :: Rep Version x -> Version

type Rep Version

Defined in Language.GLSL.AST

type Rep Version = D1 ('MetaData "Version" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'True) (C1 ('MetaCons "Version" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data TopDecl a

Constructors

LayoutDecl LayoutSpec GlobalDecl

GlobalDecl GlobalDecl

ProcDecl ProcName [ParamDecl] [StmtAnnot a]

Instances

Functor TopDecl

Defined in Language.GLSL.AST

Methods

fmap :: (a -> b) -> TopDecl a -> TopDecl b

(<$) :: a -> TopDecl b -> TopDecl a

Foldable TopDecl

Defined in Language.GLSL.AST

Methods

fold :: Monoid m => TopDecl m -> m

foldMap :: Monoid m => (a -> m) -> TopDecl a -> m

foldMap' :: Monoid m => (a -> m) -> TopDecl a -> m

foldr :: (a -> b -> b) -> b -> TopDecl a -> b

foldr' :: (a -> b -> b) -> b -> TopDecl a -> b

foldl :: (b -> a -> b) -> b -> TopDecl a -> b

foldl' :: (b -> a -> b) -> b -> TopDecl a -> b

foldr1 :: (a -> a -> a) -> TopDecl a -> a

foldl1 :: (a -> a -> a) -> TopDecl a -> a

toList :: TopDecl a -> [a]

null :: TopDecl a -> Bool

length :: TopDecl a -> Int

elem :: Eq a => a -> TopDecl a -> Bool

maximum :: Ord a => TopDecl a -> a

minimum :: Ord a => TopDecl a -> a

sum :: Num a => TopDecl a -> a

product :: Num a => TopDecl a -> a

Traversable TopDecl

Defined in Language.GLSL.AST

Methods

traverse :: Applicative f => (a -> f b) -> TopDecl a -> f (TopDecl b)

sequenceA :: Applicative f => TopDecl (f a) -> f (TopDecl a)

mapM :: Monad m => (a -> m b) -> TopDecl a -> m (TopDecl b)

sequence :: Monad m => TopDecl (m a) -> m (TopDecl a)

Eq a => Eq (TopDecl a)

Defined in Language.GLSL.AST

Methods

(==) :: TopDecl a -> TopDecl a -> Bool

(/=) :: TopDecl a -> TopDecl a -> Bool

Show a => Show (TopDecl a)

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> TopDecl a -> ShowS

show :: TopDecl a -> String

showList :: [TopDecl a] -> ShowS

Generic (TopDecl a)

Defined in Language.GLSL.AST

Associated Types

type Rep (TopDecl a) :: Type -> Type

Methods

from :: TopDecl a -> Rep (TopDecl a) x

to :: Rep (TopDecl a) x -> TopDecl a

type Rep (TopDecl a)

Defined in Language.GLSL.AST

type Rep (TopDecl a) = D1 ('MetaData "TopDecl" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) (C1 ('MetaCons "LayoutDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 LayoutSpec) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 GlobalDecl)) :+: (C1 ('MetaCons "GlobalDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 GlobalDecl)) :+: C1 ('MetaCons "ProcDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ProcName) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ParamDecl]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [StmtAnnot a])))))

data ProcName

Constructors

ProcMain

ProcName NameId

Instances

Eq ProcName

Defined in Language.GLSL.AST

Methods

(==) :: ProcName -> ProcName -> Bool

(/=) :: ProcName -> ProcName -> Bool

Show ProcName

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> ProcName -> ShowS

show :: ProcName -> String

showList :: [ProcName] -> ShowS

Generic ProcName

Defined in Language.GLSL.AST

Associated Types

type Rep ProcName :: Type -> Type

Methods

from :: ProcName -> Rep ProcName x

to :: Rep ProcName x -> ProcName

type Rep ProcName

Defined in Language.GLSL.AST

type Rep ProcName = D1 ('MetaData "ProcName" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) (C1 ('MetaCons "ProcMain" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ProcName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NameId)))

data LayoutSpec

Constructors

LayoutStd140

LayoutLocation Int

Instances

Eq LayoutSpec

Defined in Language.GLSL.AST

Methods

(==) :: LayoutSpec -> LayoutSpec -> Bool

(/=) :: LayoutSpec -> LayoutSpec -> Bool

Show LayoutSpec

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> LayoutSpec -> ShowS

show :: LayoutSpec -> String

showList :: [LayoutSpec] -> ShowS

Generic LayoutSpec

Defined in Language.GLSL.AST

Associated Types

type Rep LayoutSpec :: Type -> Type

Methods

from :: LayoutSpec -> Rep LayoutSpec x

to :: Rep LayoutSpec x -> LayoutSpec

type Rep LayoutSpec

Defined in Language.GLSL.AST

type Rep LayoutSpec = D1 ('MetaData "LayoutSpec" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) (C1 ('MetaCons "LayoutStd140" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LayoutLocation" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)))

data ParamDecl

Constructors

Param ParamKind LocalDecl

Instances

Eq ParamDecl

Defined in Language.GLSL.AST

Methods

(==) :: ParamDecl -> ParamDecl -> Bool

(/=) :: ParamDecl -> ParamDecl -> Bool

Show ParamDecl

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> ParamDecl -> ShowS

show :: ParamDecl -> String

showList :: [ParamDecl] -> ShowS

Generic ParamDecl

Defined in Language.GLSL.AST

Associated Types

type Rep ParamDecl :: Type -> Type

Methods

from :: ParamDecl -> Rep ParamDecl x

to :: Rep ParamDecl x -> ParamDecl

type Rep ParamDecl

Defined in Language.GLSL.AST

type Rep ParamDecl = D1 ('MetaData "ParamDecl" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) (C1 ('MetaCons "Param" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ParamKind) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 LocalDecl)))

data ParamKind

Constructors

PkIn

PkOut

PkInout

Instances

Eq ParamKind

Defined in Language.GLSL.AST

Methods

(==) :: ParamKind -> ParamKind -> Bool

(/=) :: ParamKind -> ParamKind -> Bool

Show ParamKind

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> ParamKind -> ShowS

show :: ParamKind -> String

showList :: [ParamKind] -> ShowS

Generic ParamKind

Defined in Language.GLSL.AST

Associated Types

type Rep ParamKind :: Type -> Type

Methods

from :: ParamKind -> Rep ParamKind x

to :: Rep ParamKind x -> ParamKind

type Rep ParamKind

Defined in Language.GLSL.AST

type Rep ParamKind = D1 ('MetaData "ParamKind" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) (C1 ('MetaCons "PkIn" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PkOut" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PkInout" 'PrefixI 'False) (U1 :: Type -> Type)))

data LocalDecl

Constructors

LDecl Type NameId (Maybe Expr)

Instances

Eq LocalDecl

Defined in Language.GLSL.AST

Methods

(==) :: LocalDecl -> LocalDecl -> Bool

(/=) :: LocalDecl -> LocalDecl -> Bool

Show LocalDecl

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> LocalDecl -> ShowS

show :: LocalDecl -> String

showList :: [LocalDecl] -> ShowS

Generic LocalDecl

Defined in Language.GLSL.AST

Associated Types

type Rep LocalDecl :: Type -> Type

Methods

from :: LocalDecl -> Rep LocalDecl x

to :: Rep LocalDecl x -> LocalDecl

type Rep LocalDecl

Defined in Language.GLSL.AST

type Rep LocalDecl = D1 ('MetaData "LocalDecl" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) (C1 ('MetaCons "LDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Type) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NameId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Expr)))))

data GlobalDecl

Constructors

GDecl GDeclKind Type Name

Instances

Eq GlobalDecl

Defined in Language.GLSL.AST

Methods

(==) :: GlobalDecl -> GlobalDecl -> Bool

(/=) :: GlobalDecl -> GlobalDecl -> Bool

Show GlobalDecl

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> GlobalDecl -> ShowS

show :: GlobalDecl -> String

showList :: [GlobalDecl] -> ShowS

Generic GlobalDecl

Defined in Language.GLSL.AST

Associated Types

type Rep GlobalDecl :: Type -> Type

Methods

from :: GlobalDecl -> Rep GlobalDecl x

to :: Rep GlobalDecl x -> GlobalDecl

type Rep GlobalDecl

Defined in Language.GLSL.AST

type Rep GlobalDecl = D1 ('MetaData "GlobalDecl" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) (C1 ('MetaCons "GDecl" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 GDeclKind) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Type) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Name))))

data GDeclKind

Constructors

GkIn

GkOut

GkUniform

Instances

Eq GDeclKind

Defined in Language.GLSL.AST

Methods

(==) :: GDeclKind -> GDeclKind -> Bool

(/=) :: GDeclKind -> GDeclKind -> Bool

Show GDeclKind

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> GDeclKind -> ShowS

show :: GDeclKind -> String

showList :: [GDeclKind] -> ShowS

Generic GDeclKind

Defined in Language.GLSL.AST

Associated Types

type Rep GDeclKind :: Type -> Type

Methods

from :: GDeclKind -> Rep GDeclKind x

to :: Rep GDeclKind x -> GDeclKind

type Rep GDeclKind

Defined in Language.GLSL.AST

type Rep GDeclKind = D1 ('MetaData "GDeclKind" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) (C1 ('MetaCons "GkIn" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GkOut" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GkUniform" 'PrefixI 'False) (U1 :: Type -> Type)))

data Type

Constructors

TyBool

TyFloat

TySampler2D

TyVec Int

TyMat Int Int

TyStruct NameId [(Type, NameId)]

Instances

Eq Type

Defined in Language.GLSL.AST

Methods

(==) :: Type -> Type -> Bool

(/=) :: Type -> Type -> Bool

Show Type

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> Type -> ShowS

show :: Type -> String

showList :: [Type] -> ShowS

Generic Type

Defined in Language.GLSL.AST

Associated Types

type Rep Type :: Type -> Type

Methods

from :: Type -> Rep Type x

to :: Rep Type x -> Type

type Rep Type

Defined in Language.GLSL.AST

type Rep Type = D1 ('MetaData "Type" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) ((C1 ('MetaCons "TyBool" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TyFloat" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TySampler2D" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "TyVec" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :+: (C1 ('MetaCons "TyMat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :+: C1 ('MetaCons "TyStruct" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NameId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [(Type, NameId)])))))

newtype NameId

Constructors

NameId Int

Instances

Eq NameId

Defined in Language.GLSL.AST

Methods

(==) :: NameId -> NameId -> Bool

(/=) :: NameId -> NameId -> Bool

Show NameId

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> NameId -> ShowS

show :: NameId -> String

showList :: [NameId] -> ShowS

Generic NameId

Defined in Language.GLSL.AST

Associated Types

type Rep NameId :: Type -> Type

Methods

from :: NameId -> Rep NameId x

to :: Rep NameId x -> NameId

type Rep NameId

Defined in Language.GLSL.AST

type Rep NameId = D1 ('MetaData "NameId" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'True) (C1 ('MetaCons "NameId" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data Name

Constructors

Name Namespace NameId

Instances

Eq Name

Defined in Language.GLSL.AST

Methods

(==) :: Name -> Name -> Bool

(/=) :: Name -> Name -> Bool

Show Name

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

Generic Name

Defined in Language.GLSL.AST

Associated Types

type Rep Name :: Type -> Type

Methods

from :: Name -> Rep Name x

to :: Rep Name x -> Name

type Rep Name

Defined in Language.GLSL.AST

type Rep Name = D1 ('MetaData "Name" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) (C1 ('MetaCons "Name" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Namespace) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NameId)))

data Namespace

Constructors

NsT

NsS

NsU

NsVF

NsIn

NsOut

Instances

Eq Namespace

Defined in Language.GLSL.AST

Methods

(==) :: Namespace -> Namespace -> Bool

(/=) :: Namespace -> Namespace -> Bool

Show Namespace

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> Namespace -> ShowS

show :: Namespace -> String

showList :: [Namespace] -> ShowS

Generic Namespace

Defined in Language.GLSL.AST

Associated Types

type Rep Namespace :: Type -> Type

Methods

from :: Namespace -> Rep Namespace x

to :: Rep Namespace x -> Namespace

type Rep Namespace

Defined in Language.GLSL.AST

type Rep Namespace = D1 ('MetaData "Namespace" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) ((C1 ('MetaCons "NsT" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NsS" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NsU" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "NsVF" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NsIn" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NsOut" 'PrefixI 'False) (U1 :: Type -> Type))))

data FunName

Constructors

PrimAbs

PrimAsin

PrimAtan

PrimCos

PrimCross

PrimDot

PrimFloor

PrimFract

PrimLength

PrimMat3x3

PrimMat4x4

PrimMod

PrimNormalize

PrimPow

PrimSin

PrimSmoothstep

PrimSqrt

PrimStep

PrimTan

PrimVec2

PrimVec3

PrimVec4

Instances

Eq FunName

Defined in Language.GLSL.AST

Methods

(==) :: FunName -> FunName -> Bool

(/=) :: FunName -> FunName -> Bool

Show FunName

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> FunName -> ShowS

show :: FunName -> String

showList :: [FunName] -> ShowS

Generic FunName

Defined in Language.GLSL.AST

Associated Types

type Rep FunName :: Type -> Type

Methods

from :: FunName -> Rep FunName x

to :: Rep FunName x -> FunName

type Rep FunName

Defined in Language.GLSL.AST

type Rep FunName = D1 ('MetaData "FunName" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) ((((C1 ('MetaCons "PrimAbs" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PrimAsin" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PrimAtan" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PrimCos" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PrimCross" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "PrimDot" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PrimFloor" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PrimFract" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "PrimLength" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PrimMat3x3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PrimMat4x4" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "PrimMod" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PrimNormalize" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PrimPow" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PrimSin" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PrimSmoothstep" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "PrimSqrt" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PrimStep" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PrimTan" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "PrimVec2" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PrimVec3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PrimVec4" 'PrefixI 'False) (U1 :: Type -> Type))))))

data Swizzle

Constructors

X

Y

Z

W

Instances

Eq Swizzle

Defined in Language.GLSL.AST

Methods

(==) :: Swizzle -> Swizzle -> Bool

(/=) :: Swizzle -> Swizzle -> Bool

Show Swizzle

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> Swizzle -> ShowS

show :: Swizzle -> String

showList :: [Swizzle] -> ShowS

Generic Swizzle

Defined in Language.GLSL.AST

Associated Types

type Rep Swizzle :: Type -> Type

Methods

from :: Swizzle -> Rep Swizzle x

to :: Rep Swizzle x -> Swizzle

type Rep Swizzle

Defined in Language.GLSL.AST

type Rep Swizzle = D1 ('MetaData "Swizzle" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) ((C1 ('MetaCons "X" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Y" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Z" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "W" 'PrefixI 'False) (U1 :: Type -> Type)))

data NameExpr

Constructors

NameExpr Name

UniformExpr NameId NameId

Instances

Eq NameExpr

Defined in Language.GLSL.AST

Methods

(==) :: NameExpr -> NameExpr -> Bool

(/=) :: NameExpr -> NameExpr -> Bool

Show NameExpr

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> NameExpr -> ShowS

show :: NameExpr -> String

showList :: [NameExpr] -> ShowS

Generic NameExpr

Defined in Language.GLSL.AST

Associated Types

type Rep NameExpr :: Type -> Type

Methods

from :: NameExpr -> Rep NameExpr x

to :: Rep NameExpr x -> NameExpr

type Rep NameExpr

Defined in Language.GLSL.AST

type Rep NameExpr = D1 ('MetaData "NameExpr" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) (C1 ('MetaCons "NameExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Name)) :+: C1 ('MetaCons "UniformExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NameId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NameId)))

data Cast

Constructors

Cast

NoCast

Instances

Eq Cast

Defined in Language.GLSL.AST

Methods

(==) :: Cast -> Cast -> Bool

(/=) :: Cast -> Cast -> Bool

Show Cast

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> Cast -> ShowS

show :: Cast -> String

showList :: [Cast] -> ShowS

Generic Cast

Defined in Language.GLSL.AST

Associated Types

type Rep Cast :: Type -> Type

Methods

from :: Cast -> Rep Cast x

to :: Rep Cast x -> Cast

type Rep Cast

Defined in Language.GLSL.AST

type Rep Cast = D1 ('MetaData "Cast" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) (C1 ('MetaCons "Cast" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NoCast" 'PrefixI 'False) (U1 :: Type -> Type))

data ExprAtom

Constructors

LitIntExpr Cast Int

LitFloatExpr Cast Float

IdentifierExpr NameExpr

SwizzleExpr NameId Swizzle

VecIndexExpr NameExpr Swizzle

MatIndexExpr NameExpr Swizzle Swizzle

Instances

Eq ExprAtom

Defined in Language.GLSL.AST

Methods

(==) :: ExprAtom -> ExprAtom -> Bool

(/=) :: ExprAtom -> ExprAtom -> Bool

Show ExprAtom

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> ExprAtom -> ShowS

show :: ExprAtom -> String

showList :: [ExprAtom] -> ShowS

Generic ExprAtom

Defined in Language.GLSL.AST

Associated Types

type Rep ExprAtom :: Type -> Type

Methods

from :: ExprAtom -> Rep ExprAtom x

to :: Rep ExprAtom x -> ExprAtom

type Rep ExprAtom

Defined in Language.GLSL.AST

type Rep ExprAtom = D1 ('MetaData "ExprAtom" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) ((C1 ('MetaCons "LitIntExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Cast) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Int)) :+: (C1 ('MetaCons "LitFloatExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Cast) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Float)) :+: C1 ('MetaCons "IdentifierExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NameExpr)))) :+: (C1 ('MetaCons "SwizzleExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NameId) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Swizzle)) :+: (C1 ('MetaCons "VecIndexExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NameExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Swizzle)) :+: C1 ('MetaCons "MatIndexExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NameExpr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Swizzle) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Swizzle))))))

data Expr

Constructors

UnaryExpr UnaryOp ExprAtom

BinaryExpr ExprAtom BinaryOp ExprAtom

FunCallExpr FunName [ExprAtom]

TextureExpr ExprAtom ExprAtom ExprAtom

AtomExpr ExprAtom

Instances

Eq Expr

Defined in Language.GLSL.AST

Methods

(==) :: Expr -> Expr -> Bool

(/=) :: Expr -> Expr -> Bool

Show Expr

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

Generic Expr

Defined in Language.GLSL.AST

Associated Types

type Rep Expr :: Type -> Type

Methods

from :: Expr -> Rep Expr x

to :: Rep Expr x -> Expr

type Rep Expr

Defined in Language.GLSL.AST

type Rep Expr = D1 ('MetaData "Expr" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) ((C1 ('MetaCons "UnaryExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 UnaryOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExprAtom)) :+: C1 ('MetaCons "BinaryExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExprAtom) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 BinaryOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExprAtom)))) :+: (C1 ('MetaCons "FunCallExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 FunName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [ExprAtom])) :+: (C1 ('MetaCons "TextureExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExprAtom) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExprAtom) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExprAtom))) :+: C1 ('MetaCons "AtomExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExprAtom)))))

data BinaryOp

Constructors

BOpPlus

BOpMinus

BOpMul

BOpDiv

BOpGE

BOpGT

BOpLE

BOpLT

BOpAnd

BOpOr

Instances

Eq BinaryOp

Defined in Language.GLSL.AST

Methods

(==) :: BinaryOp -> BinaryOp -> Bool

(/=) :: BinaryOp -> BinaryOp -> Bool

Show BinaryOp

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> BinaryOp -> ShowS

show :: BinaryOp -> String

showList :: [BinaryOp] -> ShowS

Generic BinaryOp

Defined in Language.GLSL.AST

Associated Types

type Rep BinaryOp :: Type -> Type

Methods

from :: BinaryOp -> Rep BinaryOp x

to :: Rep BinaryOp x -> BinaryOp

type Rep BinaryOp

Defined in Language.GLSL.AST

type Rep BinaryOp = D1 ('MetaData "BinaryOp" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) (((C1 ('MetaCons "BOpPlus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BOpMinus" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BOpMul" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BOpDiv" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BOpGE" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "BOpGT" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BOpLE" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BOpLT" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BOpAnd" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BOpOr" 'PrefixI 'False) (U1 :: Type -> Type)))))

data UnaryOp

Constructors

UOpMinus

UOpNot

Instances

Eq UnaryOp

Defined in Language.GLSL.AST

Methods

(==) :: UnaryOp -> UnaryOp -> Bool

(/=) :: UnaryOp -> UnaryOp -> Bool

Show UnaryOp

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> UnaryOp -> ShowS

show :: UnaryOp -> String

showList :: [UnaryOp] -> ShowS

Generic UnaryOp

Defined in Language.GLSL.AST

Associated Types

type Rep UnaryOp :: Type -> Type

Methods

from :: UnaryOp -> Rep UnaryOp x

to :: Rep UnaryOp x -> UnaryOp

type Rep UnaryOp

Defined in Language.GLSL.AST

type Rep UnaryOp = D1 ('MetaData "UnaryOp" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) (C1 ('MetaCons "UOpMinus" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UOpNot" 'PrefixI 'False) (U1 :: Type -> Type))

data StmtAnnot a

Constructors

SA

Fields

• annot :: a
• unAnnot :: Stmt a

Instances

Functor StmtAnnot

Defined in Language.GLSL.AST

Methods

fmap :: (a -> b) -> StmtAnnot a -> StmtAnnot b

(<$) :: a -> StmtAnnot b -> StmtAnnot a

Applicative StmtAnnot

Defined in Language.GLSL.AST

Methods

pure :: a -> StmtAnnot a

(<*>) :: StmtAnnot (a -> b) -> StmtAnnot a -> StmtAnnot b

liftA2 :: (a -> b -> c) -> StmtAnnot a -> StmtAnnot b -> StmtAnnot c

(*>) :: StmtAnnot a -> StmtAnnot b -> StmtAnnot b

(<*) :: StmtAnnot a -> StmtAnnot b -> StmtAnnot a

Foldable StmtAnnot

Defined in Language.GLSL.AST

Methods

fold :: Monoid m => StmtAnnot m -> m

foldMap :: Monoid m => (a -> m) -> StmtAnnot a -> m

foldMap' :: Monoid m => (a -> m) -> StmtAnnot a -> m

foldr :: (a -> b -> b) -> b -> StmtAnnot a -> b

foldr' :: (a -> b -> b) -> b -> StmtAnnot a -> b

foldl :: (b -> a -> b) -> b -> StmtAnnot a -> b

foldl' :: (b -> a -> b) -> b -> StmtAnnot a -> b

foldr1 :: (a -> a -> a) -> StmtAnnot a -> a

foldl1 :: (a -> a -> a) -> StmtAnnot a -> a

toList :: StmtAnnot a -> [a]

null :: StmtAnnot a -> Bool

length :: StmtAnnot a -> Int

elem :: Eq a => a -> StmtAnnot a -> Bool

maximum :: Ord a => StmtAnnot a -> a

minimum :: Ord a => StmtAnnot a -> a

sum :: Num a => StmtAnnot a -> a

product :: Num a => StmtAnnot a -> a

Traversable StmtAnnot

Defined in Language.GLSL.AST

Methods

traverse :: Applicative f => (a -> f b) -> StmtAnnot a -> f (StmtAnnot b)

sequenceA :: Applicative f => StmtAnnot (f a) -> f (StmtAnnot a)

mapM :: Monad m => (a -> m b) -> StmtAnnot a -> m (StmtAnnot b)

sequence :: Monad m => StmtAnnot (m a) -> m (StmtAnnot a)

Eq a => Eq (StmtAnnot a)

Defined in Language.GLSL.AST

Methods

(==) :: StmtAnnot a -> StmtAnnot a -> Bool

(/=) :: StmtAnnot a -> StmtAnnot a -> Bool

Show a => Show (StmtAnnot a)

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> StmtAnnot a -> ShowS

show :: StmtAnnot a -> String

showList :: [StmtAnnot a] -> ShowS

Generic (StmtAnnot a)

Defined in Language.GLSL.AST

Associated Types

type Rep (StmtAnnot a) :: Type -> Type

Methods

from :: StmtAnnot a -> Rep (StmtAnnot a) x

to :: Rep (StmtAnnot a) x -> StmtAnnot a

type Rep (StmtAnnot a)

Defined in Language.GLSL.AST

type Rep (StmtAnnot a) = D1 ('MetaData "StmtAnnot" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) (C1 ('MetaCons "SA" 'PrefixI 'True) (S1 ('MetaSel ('Just "annot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 a) :*: S1 ('MetaSel ('Just "unAnnot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Stmt a))))

data Stmt a

Constructors

AssignStmt Name Expr

DeclStmt LocalDecl

EmitStmt Emit

IfStmt NameId [StmtAnnot a] [StmtAnnot a]

Instances

Functor Stmt

Defined in Language.GLSL.AST

Methods

fmap :: (a -> b) -> Stmt a -> Stmt b

(<$) :: a -> Stmt b -> Stmt a

Applicative Stmt

Defined in Language.GLSL.AST

Methods

pure :: a -> Stmt a

(<*>) :: Stmt (a -> b) -> Stmt a -> Stmt b

liftA2 :: (a -> b -> c) -> Stmt a -> Stmt b -> Stmt c

(*>) :: Stmt a -> Stmt b -> Stmt b

(<*) :: Stmt a -> Stmt b -> Stmt a

Foldable Stmt

Defined in Language.GLSL.AST

Methods

fold :: Monoid m => Stmt m -> m

foldMap :: Monoid m => (a -> m) -> Stmt a -> m

foldMap' :: Monoid m => (a -> m) -> Stmt a -> m

foldr :: (a -> b -> b) -> b -> Stmt a -> b

foldr' :: (a -> b -> b) -> b -> Stmt a -> b

foldl :: (b -> a -> b) -> b -> Stmt a -> b

foldl' :: (b -> a -> b) -> b -> Stmt a -> b

foldr1 :: (a -> a -> a) -> Stmt a -> a

foldl1 :: (a -> a -> a) -> Stmt a -> a

toList :: Stmt a -> [a]

null :: Stmt a -> Bool

length :: Stmt a -> Int

elem :: Eq a => a -> Stmt a -> Bool

maximum :: Ord a => Stmt a -> a

minimum :: Ord a => Stmt a -> a

sum :: Num a => Stmt a -> a

product :: Num a => Stmt a -> a

Traversable Stmt

Defined in Language.GLSL.AST

Methods

traverse :: Applicative f => (a -> f b) -> Stmt a -> f (Stmt b)

sequenceA :: Applicative f => Stmt (f a) -> f (Stmt a)

mapM :: Monad m => (a -> m b) -> Stmt a -> m (Stmt b)

sequence :: Monad m => Stmt (m a) -> m (Stmt a)

Eq a => Eq (Stmt a)

Defined in Language.GLSL.AST

Methods

(==) :: Stmt a -> Stmt a -> Bool

(/=) :: Stmt a -> Stmt a -> Bool

Show a => Show (Stmt a)

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> Stmt a -> ShowS

show :: Stmt a -> String

showList :: [Stmt a] -> ShowS

Generic (Stmt a)

Defined in Language.GLSL.AST

Associated Types

type Rep (Stmt a) :: Type -> Type

Methods

from :: Stmt a -> Rep (Stmt a) x

to :: Rep (Stmt a) x -> Stmt a

type Rep (Stmt a)

Defined in Language.GLSL.AST

type Rep (Stmt a) = D1 ('MetaData "Stmt" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) ((C1 ('MetaCons "AssignStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Name) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Expr)) :+: C1 ('MetaCons "DeclStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 LocalDecl))) :+: (C1 ('MetaCons "EmitStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Emit)) :+: C1 ('MetaCons "IfStmt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 NameId) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [StmtAnnot a]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [StmtAnnot a])))))

data Emit

Constructors

EmitPosition Expr

EmitFragDepth

Instances

Eq Emit

Defined in Language.GLSL.AST

Methods

(==) :: Emit -> Emit -> Bool

(/=) :: Emit -> Emit -> Bool

Show Emit

Defined in Language.GLSL.AST

Methods

showsPrec :: Int -> Emit -> ShowS

show :: Emit -> String

showList :: [Emit] -> ShowS

Generic Emit

Defined in Language.GLSL.AST

Associated Types

type Rep Emit :: Type -> Type

Methods

from :: Emit -> Rep Emit x

to :: Rep Emit x -> Emit

type Rep Emit

Defined in Language.GLSL.AST

type Rep Emit = D1 ('MetaData "Emit" "Language.GLSL.AST" "glsl-0.0.1.0-inplace" 'False) (C1 ('MetaCons "EmitPosition" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Expr)) :+: C1 ('MetaCons "EmitFragDepth" 'PrefixI 'False) (U1 :: Type -> Type))

class Annot a where

Methods

parseAnnot :: Parser a

ppAnnot :: a -> Maybe Builder

Instances

Annot ()

Defined in Language.GLSL.AST

Methods

parseAnnot :: Parser ()

ppAnnot :: () -> Maybe Builder

Annot Liveness

Defined in Language.GLSL.Optimizer.Liveness

Methods

parseAnnot :: Parser Liveness

ppAnnot :: Liveness -> Maybe Builder

(Annot a, Annot b) => Annot (a, b)

Defined in Language.GLSL.AST

Methods

parseAnnot :: Parser (a, b)

ppAnnot :: (a, b) -> Maybe Builder

argCountForFunName :: FunName -> Int

isLitExpr :: ExprAtom -> Bool

isIdentifierExpr :: ExprAtom -> Bool