Safe Haskell	None
Language	Haskell2010

Language.PureScript.CoreImp.AST

Description

Data types for the imperative core AST

Synopsis

data UnaryOperator
- = Negate
- | Not
- | BitwiseNot
- | Positive
- | New
data BinaryOperator
- = Add
- | Subtract
- | Multiply
- | Divide
- | Modulus
- | EqualTo
- | NotEqualTo
- | LessThan
- | LessThanOrEqualTo
- | GreaterThan
- | GreaterThanOrEqualTo
- | And
- | Or
- | BitwiseAnd
- | BitwiseOr
- | BitwiseXor
- | ShiftLeft
- | ShiftRight
- | ZeroFillShiftRight
data AST
- = NumericLiteral (Maybe SourceSpan) (Either Integer Double)
- | StringLiteral (Maybe SourceSpan) PSString
- | BooleanLiteral (Maybe SourceSpan) Bool
- | Unary (Maybe SourceSpan) UnaryOperator AST
- | Binary (Maybe SourceSpan) BinaryOperator AST AST
- | ArrayLiteral (Maybe SourceSpan) [AST]
- | Indexer (Maybe SourceSpan) AST AST
- | ObjectLiteral (Maybe SourceSpan) [(PSString, AST)]
- | Function (Maybe SourceSpan) (Maybe Text) [Text] AST
- | App (Maybe SourceSpan) AST [AST]
- | Var (Maybe SourceSpan) Text
- | Block (Maybe SourceSpan) [AST]
- | VariableIntroduction (Maybe SourceSpan) Text (Maybe AST)
- | Assignment (Maybe SourceSpan) AST AST
- | While (Maybe SourceSpan) AST AST
- | For (Maybe SourceSpan) Text AST AST AST
- | ForIn (Maybe SourceSpan) Text AST AST
- | IfElse (Maybe SourceSpan) AST AST (Maybe AST)
- | Return (Maybe SourceSpan) AST
- | ReturnNoResult (Maybe SourceSpan)
- | Throw (Maybe SourceSpan) AST
- | InstanceOf (Maybe SourceSpan) AST AST
- | Comment (Maybe SourceSpan) [Comment] AST
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

Documentation

data UnaryOperator Source #

Built-in unary operators

Constructors

Negate
Not
BitwiseNot
Positive
New

Instances

Eq UnaryOperator Source #
Instance details Defined in Language.PureScript.CoreImp.AST Methods (==) :: UnaryOperator -> UnaryOperator -> Bool # (/=) :: UnaryOperator -> UnaryOperator -> Bool #
Show UnaryOperator Source #
Instance details Defined in Language.PureScript.CoreImp.AST Methods showsPrec :: Int -> UnaryOperator -> ShowS # show :: UnaryOperator -> String # showList :: [UnaryOperator] -> ShowS #

data BinaryOperator Source #

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 Source #
Instance details Defined in Language.PureScript.CoreImp.AST Methods (==) :: BinaryOperator -> BinaryOperator -> Bool # (/=) :: BinaryOperator -> BinaryOperator -> Bool #
Show BinaryOperator Source #
Instance details Defined in Language.PureScript.CoreImp.AST Methods showsPrec :: Int -> BinaryOperator -> ShowS # show :: BinaryOperator -> String # showList :: [BinaryOperator] -> ShowS #

data AST Source #

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 Source #
Instance details Defined in Language.PureScript.CoreImp.AST Methods (==) :: AST -> AST -> Bool # (/=) :: AST -> AST -> Bool #
Show AST Source #
Instance details Defined in Language.PureScript.CoreImp.AST Methods showsPrec :: Int -> AST -> ShowS # show :: AST -> String # showList :: [AST] -> ShowS #

withSourceSpan :: SourceSpan -> AST -> AST Source #

getSourceSpan :: AST -> Maybe SourceSpan Source #

everywhere :: (AST -> AST) -> AST -> AST Source #

everywhereTopDown :: (AST -> AST) -> AST -> AST Source #

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

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