Language.PureScript.CoreImp.AST

Data types for the imperative core AST

Documentation

data UnaryOperator

Built-in unary operators

Constructors

Negate

Not

BitwiseNot

Positive

New

Instances

Eq UnaryOperator

Methods

(==) :: UnaryOperator -> UnaryOperator -> Bool

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

Show UnaryOperator

Methods

showsPrec :: Int -> UnaryOperator -> ShowS

show :: UnaryOperator -> String

showList :: [UnaryOperator] -> ShowS

data BinaryOperator

Built-in binary operators

Constructors

Add

Subtract

Multiply

Divide

Modulus

EqualTo

NotEqualTo

LessThan

LessThanOrEqualTo

GreaterThan

GreaterThanOrEqualTo

And

Or

BitwiseAnd

BitwiseOr

BitwiseXor

ShiftLeft

ShiftRight

ZeroFillShiftRight

Instances

Eq BinaryOperator

Methods

(==) :: BinaryOperator -> BinaryOperator -> Bool

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

Show BinaryOperator

Methods

showsPrec :: Int -> BinaryOperator -> ShowS

show :: BinaryOperator -> String

showList :: [BinaryOperator] -> ShowS

data AST

Data type for simplified JavaScript expressions

Constructors

NumericLiteral (Maybe SourceSpan) (Either Integer Double)

A numeric literal

StringLiteral (Maybe SourceSpan) PSString

A string literal

BooleanLiteral (Maybe SourceSpan) Bool

A boolean literal

Unary (Maybe SourceSpan) UnaryOperator AST

A unary operator application

Binary (Maybe SourceSpan) BinaryOperator AST AST

A binary operator application

ArrayLiteral (Maybe SourceSpan) [AST]

An array literal

Indexer (Maybe SourceSpan) AST AST

An array indexer expression

ObjectLiteral (Maybe SourceSpan) [(PSString, AST)]

An object literal

Function (Maybe SourceSpan) (Maybe Text) [Text] AST

A function introduction (optional name, arguments, body)

App (Maybe SourceSpan) AST [AST]

Function application

Var (Maybe SourceSpan) Text

Variable

Block (Maybe SourceSpan) [AST]

A block of expressions in braces

VariableIntroduction (Maybe SourceSpan) Text (Maybe AST)

A variable introduction and optional initialization

Assignment (Maybe SourceSpan) AST AST

A variable assignment

While (Maybe SourceSpan) AST AST

While loop

For (Maybe SourceSpan) Text AST AST AST

For loop

ForIn (Maybe SourceSpan) Text AST AST

ForIn loop

IfElse (Maybe SourceSpan) AST AST (Maybe AST)

If-then-else statement

Return (Maybe SourceSpan) AST

Return statement

ReturnNoResult (Maybe SourceSpan)

Return statement with no return value

Throw (Maybe SourceSpan) AST

Throw statement

InstanceOf (Maybe SourceSpan) AST AST

instanceof check

Comment (Maybe SourceSpan) [Comment] AST

Commented JavaScript

Instances

Eq AST

Methods

(==) :: AST -> AST -> Bool

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

Show AST

Methods

showsPrec :: Int -> AST -> ShowS

show :: AST -> String

showList :: [AST] -> ShowS

withSourceSpan :: SourceSpan -> AST -> AST

getSourceSpan :: AST -> Maybe SourceSpan

everywhere :: (AST -> AST) -> AST -> AST

everywhereTopDown :: (AST -> AST) -> AST -> AST

everywhereTopDownM :: Monad m => (AST -> m AST) -> AST -> m AST

everything :: (r -> r -> r) -> (AST -> r) -> AST -> r