Safe Haskell	None
Language	Haskell2010

Language.GLSL.Types

Documentation

parseShader :: Annot a => Text -> Either String (GLSL a) Source #

printShader :: Annot a => GLSL a -> Text Source #

data GLSL a Source #

Constructors

GLSL Version [TopDecl a]

Instances

Instances details

Functor GLSL Source #
Instance details Defined in Language.GLSL.Types Methods fmap :: (a -> b) -> GLSL a -> GLSL b # (<$) :: a -> GLSL b -> GLSL a #
Foldable GLSL Source #
Instance details Defined in Language.GLSL.Types 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 Source #
Instance details Defined in Language.GLSL.Types 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) #
Show a => Show (GLSL a) Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> GLSL a -> ShowS # show :: GLSL a -> String # showList :: [GLSL a] -> ShowS #

parseGLSL :: Annot a => Parser (GLSL a) Source #

ppGLSL :: Annot a => GLSL a -> Builder Source #

newtype Version Source #

Constructors

Version Int

Instances

Instances details

Show Version Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> Version -> ShowS # show :: Version -> String # showList :: [Version] -> ShowS #

parseVersion :: Parser Version Source #

ppVersion :: Version -> Builder Source #

data TopDecl a Source #

Constructors

LayoutDecl LayoutSpec GlobalDecl
GlobalDecl GlobalDecl
ProcDecl ProcName [ParamDecl] [StmtAnnot a]

Instances

Instances details

Functor TopDecl Source #
Instance details Defined in Language.GLSL.Types Methods fmap :: (a -> b) -> TopDecl a -> TopDecl b # (<$) :: a -> TopDecl b -> TopDecl a #
Foldable TopDecl Source #
Instance details Defined in Language.GLSL.Types 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 Source #
Instance details Defined in Language.GLSL.Types 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) #
Show a => Show (TopDecl a) Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> TopDecl a -> ShowS # show :: TopDecl a -> String # showList :: [TopDecl a] -> ShowS #

parseTopDecl :: Annot a => Parser (TopDecl a) Source #

ppTopDecl :: Annot a => TopDecl a -> Builder Source #

data ProcName Source #

Constructors

ProcMain
ProcName NameId

Instances

Instances details

Show ProcName Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> ProcName -> ShowS # show :: ProcName -> String # showList :: [ProcName] -> ShowS #

parseProcName :: Parser ProcName Source #

ppProcName :: ProcName -> Builder Source #

data LayoutSpec Source #

Constructors

LayoutStd140
LayoutLocation Int

Instances

Instances details

Show LayoutSpec Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> LayoutSpec -> ShowS # show :: LayoutSpec -> String # showList :: [LayoutSpec] -> ShowS #

parseLayoutSpec :: Parser LayoutSpec Source #

ppLayoutSpec :: LayoutSpec -> Builder Source #

data ParamDecl Source #

Constructors

Param ParamKind LocalDecl

Instances

Instances details

Show ParamDecl Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> ParamDecl -> ShowS # show :: ParamDecl -> String # showList :: [ParamDecl] -> ShowS #

parseParamDecl :: Parser ParamDecl Source #

ppParamDecl :: ParamDecl -> Builder Source #

data ParamKind Source #

Constructors

PkIn
PkOut
PkInout

Instances

Instances details

Show ParamKind Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> ParamKind -> ShowS # show :: ParamKind -> String # showList :: [ParamKind] -> ShowS #

parseParamKind :: Parser ParamKind Source #

ppParamKind :: ParamKind -> Builder Source #

data LocalDecl Source #

Constructors

LDecl Type NameId (Maybe Expr)

Instances

Instances details

Show LocalDecl Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> LocalDecl -> ShowS # show :: LocalDecl -> String # showList :: [LocalDecl] -> ShowS #

parseLocalDecl :: Parser LocalDecl Source #

ppLocalDecl :: LocalDecl -> Builder Source #

data GlobalDecl Source #

Constructors

GDecl GDeclKind Type Name

Instances

Instances details

Show GlobalDecl Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> GlobalDecl -> ShowS # show :: GlobalDecl -> String # showList :: [GlobalDecl] -> ShowS #

parseGlobalDecl :: Parser GlobalDecl Source #

ppGlobalDecl :: GlobalDecl -> Builder Source #

data GDeclKind Source #

Constructors

GkIn
GkOut
GkUniform

Instances

Instances details

Show GDeclKind Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> GDeclKind -> ShowS # show :: GDeclKind -> String # showList :: [GDeclKind] -> ShowS #

parseGDeclKind :: Parser GDeclKind Source #

ppGDeclKind :: GDeclKind -> Builder Source #

data Type Source #

Constructors

TyBool
TyFloat
TySampler2D
TyVec Int
TyMat Int Int
TyStruct NameId [(Type, NameId)]

Instances

Instances details

Eq Type Source #
Instance details Defined in Language.GLSL.Types Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Show Type Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #

parseType :: Parser Type Source #

ppType :: Type -> Builder Source #

newtype NameId Source #

Constructors

NameId Int

Instances

Instances details

Eq NameId Source #
Instance details Defined in Language.GLSL.Types Methods (==) :: NameId -> NameId -> Bool # (/=) :: NameId -> NameId -> Bool #
Show NameId Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> NameId -> ShowS # show :: NameId -> String # showList :: [NameId] -> ShowS #

parseNameId :: Parser NameId Source #

ppNameId :: NameId -> Builder Source #

data Name Source #

Constructors

Name Namespace NameId

Instances

Instances details

Show Name Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> Name -> ShowS # show :: Name -> String # showList :: [Name] -> ShowS #

parseName :: Parser Name Source #

ppName :: Name -> Builder Source #

data Namespace Source #

Constructors

NsT
NsS
NsU
NsVF
NsIn
NsOut

Instances

Instances details

Eq Namespace Source #
Instance details Defined in Language.GLSL.Types Methods (==) :: Namespace -> Namespace -> Bool # (/=) :: Namespace -> Namespace -> Bool #
Show Namespace Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> Namespace -> ShowS # show :: Namespace -> String # showList :: [Namespace] -> ShowS #

parseNamespace :: Parser Namespace Source #

ppNamespace :: Namespace -> Builder Source #

data FunName Source #

Instances

Instances details

Eq FunName Source #
Instance details Defined in Language.GLSL.Types Methods (==) :: FunName -> FunName -> Bool # (/=) :: FunName -> FunName -> Bool #
Show FunName Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> FunName -> ShowS # show :: FunName -> String # showList :: [FunName] -> ShowS #

parseFunName :: Parser FunName Source #

ppFunName :: FunName -> Builder Source #

data Swizzle Source #

Constructors

X
Y
Z
W

Instances

Instances details

Eq Swizzle Source #
Instance details Defined in Language.GLSL.Types Methods (==) :: Swizzle -> Swizzle -> Bool # (/=) :: Swizzle -> Swizzle -> Bool #
Show Swizzle Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> Swizzle -> ShowS # show :: Swizzle -> String # showList :: [Swizzle] -> ShowS #

parseSwizzle :: Parser Swizzle Source #

ppSwizzle :: Swizzle -> Builder Source #

parseVecIndex :: Parser Swizzle Source #

ppVecIndex :: Swizzle -> Builder Source #

data NameExpr Source #

Constructors

NameExpr Name
UniformExpr NameId NameId

Instances

Instances details

Show NameExpr Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> NameExpr -> ShowS # show :: NameExpr -> String # showList :: [NameExpr] -> ShowS #

parseNameExpr :: Parser NameExpr Source #

ppNameExpr :: NameExpr -> Builder Source #

data Cast Source #

Constructors

Cast
NoCast

Instances

Instances details

Show Cast Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> Cast -> ShowS # show :: Cast -> String # showList :: [Cast] -> ShowS #

data ExprAtom Source #

Constructors

LitIntExpr Cast Int
LitFloatExpr Cast Float
IdentifierExpr NameExpr
SwizzleExpr NameId Swizzle
VecIndexExpr NameExpr Swizzle
MatIndexExpr NameExpr Swizzle Swizzle

Instances

Instances details

Show ExprAtom Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> ExprAtom -> ShowS # show :: ExprAtom -> String # showList :: [ExprAtom] -> ShowS #

parseExprAtom :: Parser ExprAtom Source #

ppExprAtom :: ExprAtom -> Builder Source #

data Expr Source #

Constructors

UnaryExpr UnaryOp ExprAtom
BinaryExpr ExprAtom BinaryOp ExprAtom
FunCallExpr FunName [ExprAtom]
TextureExpr ExprAtom ExprAtom ExprAtom
AtomExpr ExprAtom

Instances

Instances details

Show Expr Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #

parseExpr :: Parser Expr Source #

ppExpr :: Expr -> Builder Source #

data BinaryOp Source #

Constructors

BOpPlus
BOpMinus
BOpMul
BOpDiv
BOpGE
BOpGT
BOpLE
BOpLT
BOpAnd
BOpOr

Instances

Instances details

Eq BinaryOp Source #
Instance details Defined in Language.GLSL.Types Methods (==) :: BinaryOp -> BinaryOp -> Bool # (/=) :: BinaryOp -> BinaryOp -> Bool #
Show BinaryOp Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> BinaryOp -> ShowS # show :: BinaryOp -> String # showList :: [BinaryOp] -> ShowS #

parseBinaryOp :: Parser BinaryOp Source #

ppBinaryOp :: BinaryOp -> Builder Source #

data UnaryOp Source #

Constructors

UOpMinus
UOpNot

Instances

Instances details

Eq UnaryOp Source #
Instance details Defined in Language.GLSL.Types Methods (==) :: UnaryOp -> UnaryOp -> Bool # (/=) :: UnaryOp -> UnaryOp -> Bool #
Show UnaryOp Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> UnaryOp -> ShowS # show :: UnaryOp -> String # showList :: [UnaryOp] -> ShowS #

parseUnaryOp :: Parser UnaryOp Source #

ppUnaryOp :: UnaryOp -> Builder Source #

data StmtAnnot a Source #

Constructors

SA
Fields annot :: a unAnnot :: Stmt a

Instances

Instances details

Functor StmtAnnot Source #
Instance details Defined in Language.GLSL.Types Methods fmap :: (a -> b) -> StmtAnnot a -> StmtAnnot b # (<$) :: a -> StmtAnnot b -> StmtAnnot a #
Applicative StmtAnnot Source #
Instance details Defined in Language.GLSL.Types 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 Source #
Instance details Defined in Language.GLSL.Types 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 Source #
Instance details Defined in Language.GLSL.Types 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) #
Show a => Show (StmtAnnot a) Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> StmtAnnot a -> ShowS # show :: StmtAnnot a -> String # showList :: [StmtAnnot a] -> ShowS #

parseStmtAnnot :: Annot a => Parser (StmtAnnot a) Source #

ppStmtAnnot :: Annot a => StmtAnnot a -> Builder Source #

data Stmt a Source #

Constructors

AssignStmt Name Expr
DeclStmt LocalDecl
EmitStmt Emit
IfStmt NameId [StmtAnnot a] [StmtAnnot a]

Instances

Instances details

Functor Stmt Source #
Instance details Defined in Language.GLSL.Types Methods fmap :: (a -> b) -> Stmt a -> Stmt b # (<$) :: a -> Stmt b -> Stmt a #
Applicative Stmt Source #
Instance details Defined in Language.GLSL.Types 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 Source #
Instance details Defined in Language.GLSL.Types 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 Source #
Instance details Defined in Language.GLSL.Types 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) #
Show a => Show (Stmt a) Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> Stmt a -> ShowS # show :: Stmt a -> String # showList :: [Stmt a] -> ShowS #

parseStmt :: Annot a => Parser (Stmt a) Source #

ppStmt :: Annot a => Stmt a -> Builder Source #

data Emit Source #

Constructors

EmitPosition Expr
EmitFragDepth

Instances

Instances details

Show Emit Source #
Instance details Defined in Language.GLSL.Types Methods showsPrec :: Int -> Emit -> ShowS # show :: Emit -> String # showList :: [Emit] -> ShowS #

parseEmit :: Parser Emit Source #

ppEmit :: Emit -> Builder Source #

ppInt :: Int -> Builder Source #

ppFloat :: Float -> Builder Source #

ppL :: (a -> Builder) -> [a] -> Builder Source #

ppS :: Builder -> (a -> Builder) -> [a] -> Builder Source #

class Annot a where Source #

Methods

parseAnnot :: Parser a Source #

ppAnnot :: a -> Maybe Builder Source #

Instances

Instances details

Annot () Source #
Instance details Defined in Language.GLSL.Types Methods parseAnnot :: Parser () Source # ppAnnot :: () -> Maybe Builder Source #
Annot Liveness Source #
Instance details Defined in Language.GLSL.Optimizer.Liveness Methods parseAnnot :: Parser Liveness Source # ppAnnot :: Liveness -> Maybe Builder Source #
(Annot a, Annot b) => Annot (a, b) Source #
Instance details Defined in Language.GLSL.Types Methods parseAnnot :: Parser (a, b) Source # ppAnnot :: (a, b) -> Maybe Builder Source #

parseTest :: Show a => Parser a -> Text -> IO () Source #

t :: Show a => Parser a -> String -> IO () Source #

pp :: (a -> Builder) -> a -> String Source #

ppl :: (a -> Builder) -> [a] -> String Source #

PrimMain
PrimMat3x3
PrimMat4x4
PrimVec2
PrimVec3
PrimVec4
PrimPow
PrimDot
PrimCos
PrimAtan
PrimMod
PrimAbs
PrimCross
PrimLength
PrimAsin
PrimSmoothstep
PrimStep
PrimFract
PrimFloor
PrimSin
PrimTan
PrimSqrt
PrimNormalize