Safe Haskell	Safe-Inferred
Language	Haskell2010

Parser

Documentation

parse :: ByteString -> Either [CompileError] Program Source #

data Program Source #

Constructors

Program
Fields importDecls :: ![Located ImportDecl] fieldDecls :: ![Located FieldDecl] methodDecls :: ![Located MethodDecl]

Instances

Instances details

Show Program Source #
Instance details Defined in Parser.Tree Methods showsPrec :: Int -> Program -> ShowS # show :: Program -> String # showList :: [Program] -> ShowS #

data ImportDecl Source #

Constructors

ImportDecl
Fields importId :: !Text

Instances

Instances details

Show ImportDecl Source #
Instance details Defined in Parser.Tree Methods showsPrec :: Int -> ImportDecl -> ShowS # show :: ImportDecl -> String # showList :: [ImportDecl] -> ShowS #

data FieldDecl Source #

Constructors

FieldDecl
Fields fieldType :: !Type elems :: ![Located FieldElem]

Instances

Instances details

Show FieldDecl Source #
Instance details Defined in Parser.Tree Methods showsPrec :: Int -> FieldDecl -> ShowS # show :: FieldDecl -> String # showList :: [FieldDecl] -> ShowS #

data MethodDecl Source #

Constructors

MethodDecl
Fields methodId :: !Text returnType :: !(Maybe Type) arguments :: ![Located Argument] block :: !Block

Instances

Instances details

Show MethodDecl Source #
Instance details Defined in Parser.Tree Methods showsPrec :: Int -> MethodDecl -> ShowS # show :: MethodDecl -> String # showList :: [MethodDecl] -> ShowS #

data FieldElem Source #

Constructors

ScalarField
Fields fieldId :: !Text
VectorField
Fields fieldId :: !Text size :: !Text

Instances

Instances details

Show FieldElem Source #
Instance details Defined in Parser.Tree Methods showsPrec :: Int -> FieldElem -> ShowS # show :: FieldElem -> String # showList :: [FieldElem] -> ShowS #

data Type Source #

Constructors

IntType
BoolType

Instances

Instances details

Show Type Source #
Instance details Defined in Parser.Tree Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #

data Argument Source #

Constructors

Argument
Fields argumentId :: !Text argumentType :: !Type

Instances

Instances details

Show Argument Source #
Instance details Defined in Parser.Tree Methods showsPrec :: Int -> Argument -> ShowS # show :: Argument -> String # showList :: [Argument] -> ShowS #

data Block Source #

Constructors

Block
Fields blockFieldDecls :: ![Located FieldDecl] blockStatements :: ![Located Statement]

Instances

Instances details

Show Block Source #
Instance details Defined in Parser.Tree Methods showsPrec :: Int -> Block -> ShowS # show :: Block -> String # showList :: [Block] -> ShowS #

data Statement Source #

Constructors

AssignStatement
Fields assignLocation :: !Location assignExpr :: !AssignExpr
MethodCallStatement
Fields methodCallStatement :: !MethodCall
IfStatement
Fields ifExpr :: !(Located Expr) ifBlock :: !Block
IfElseStatement
Fields ifExpr :: !(Located Expr) ifBlock :: !Block elseBlock :: !Block
ForStatement
Fields counterId :: !Text counterExpr :: !(Located Expr) forPredExpr :: !(Located Expr) counterUpdate :: !CounterUpdate forBlock :: !Block
WhileStatement
Fields whileExpr :: !(Located Expr) whileBlock :: !Block
ReturnVoidStatement
ReturnExprStatement
Fields returnExpr :: !(Located Expr)
BreakStatement
ContinueStatement
ErrorStatement

Instances

Instances details

Show Statement Source #
Instance details Defined in Parser.Tree Methods showsPrec :: Int -> Statement -> ShowS # show :: Statement -> String # showList :: [Statement] -> ShowS #

data Location Source #

Constructors

ScalarLocation
Fields locationId :: !Text
VectorLocation
Fields locationId :: !Text arrayIndexExpr :: !(Located Expr)

Instances

Instances details

Show Location Source #
Instance details Defined in Parser.Tree Methods showsPrec :: Int -> Location -> ShowS # show :: Location -> String # showList :: [Location] -> ShowS #

data AssignExpr Source #

Constructors

AssignExpr
Fields assignOp :: !Text assignSourceExpr :: !(Located Expr)
IncrementExpr
Fields incrementOp :: !Text

Instances

Instances details

Show AssignExpr Source #
Instance details Defined in Parser.Tree Methods showsPrec :: Int -> AssignExpr -> ShowS # show :: AssignExpr -> String # showList :: [AssignExpr] -> ShowS #

data MethodCall Source #

Constructors

MethodCall
Fields methodName :: !Text importArguments :: ![Located ImportArg]

Instances

Instances details

Show MethodCall Source #
Instance details Defined in Parser.Tree Methods showsPrec :: Int -> MethodCall -> ShowS # show :: MethodCall -> String # showList :: [MethodCall] -> ShowS #

data ImportArg Source #

Constructors

ExprImportArg
Fields argumentExpr :: !(Located Expr)
StringImportArg
Fields argumentString :: !Text

Instances

Instances details

Show ImportArg Source #
Instance details Defined in Parser.Tree Methods showsPrec :: Int -> ImportArg -> ShowS # show :: ImportArg -> String # showList :: [ImportArg] -> ShowS #

data CounterUpdate Source #

Constructors

CounterUpdate
Fields counterLocation :: !Location updateExpr :: !AssignExpr

Instances

Instances details

Show CounterUpdate Source #
Instance details Defined in Parser.Tree Methods showsPrec :: Int -> CounterUpdate -> ShowS # show :: CounterUpdate -> String # showList :: [CounterUpdate] -> ShowS #

data Expr Source #

Constructors

LocationExpr
Fields location :: !Location
MethodCallExpr
Fields methodCallExpr :: !MethodCall
IntLiteralExpr
Fields intLiteral :: !Text
CharLiteralExpr
Fields charLiteral :: !Text
BoolLiteralExpr
Fields boolLiteral :: !Text
LenExpr
Fields lenId :: !Text
ArithOpExpr
Fields arithOp :: !Text lExpr :: !(Located Expr) rExpr :: !(Located Expr)
RelOpExpr
Fields relOp :: !Text lExpr :: !(Located Expr) rExpr :: !(Located Expr)
EqOpExpr
Fields eqOp :: !Text lExpr :: !(Located Expr) rExpr :: !(Located Expr)
CondOpExpr
Fields condOp :: !Text lExpr :: !(Located Expr) rExpr :: !(Located Expr)
NegativeExpr
Fields negativeExpr :: !(Located Expr)
NegateExpr
Fields negateExpr :: !(Located Expr)
ParenExpr
Fields parenExpr :: !(Located Expr)
ChoiceExpr
Fields choicePredExpr :: !(Located Expr) lExpr :: !(Located Expr) rExpr :: !(Located Expr)

Instances

Instances details

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