BrownPLT.JavaScript.Syntax

JavaScript's syntax.

Documentation

data Expression a

Constructors

StringLit a String

RegexpLit a String Bool Bool

NumLit a Double

IntLit a Int

BoolLit a Bool

NullLit a

ArrayLit a [Expression a]

ObjectLit a [(Prop a, Expression a)]

ThisRef a

VarRef a (Id a)

DotRef a (Expression a) (Id a)

BracketRef a (Expression a) (Expression a)

NewExpr a (Expression a) [Expression a]

PrefixExpr a PrefixOp (Expression a)

UnaryAssignExpr a UnaryAssignOp (LValue a)

InfixExpr a InfixOp (Expression a) (Expression a)

CondExpr a (Expression a) (Expression a) (Expression a)

AssignExpr a AssignOp (LValue a) (Expression a)

ParenExpr a (Expression a)

ListExpr a [Expression a]

CallExpr a (Expression a) [Expression a]

FuncExpr a (Maybe (Id a)) [Id a] (Statement a)

Instances

Typeable1 Expression

Eq a => Eq (Expression a)

Data a => Data (Expression a)

Ord a => Ord (Expression a)

Show a => Show (Expression a)

data CaseClause a

Constructors

CaseClause a (Expression a) [Statement a]

CaseDefault a [Statement a]

Instances

Typeable1 CaseClause

Eq a => Eq (CaseClause a)

Data a => Data (CaseClause a)

Ord a => Ord (CaseClause a)

Show a => Show (CaseClause a)

data Statement a

Constructors

BlockStmt a [Statement a]

EmptyStmt a

ExprStmt a (Expression a)

IfStmt a (Expression a) (Statement a) (Statement a)

IfSingleStmt a (Expression a) (Statement a)

SwitchStmt a (Expression a) [CaseClause a]

WhileStmt a (Expression a) (Statement a)

DoWhileStmt a (Statement a) (Expression a)

BreakStmt a (Maybe (Id a))

ContinueStmt a (Maybe (Id a))

LabelledStmt a (Id a) (Statement a)

ForInStmt a (ForInInit a) (Expression a) (Statement a)

ForStmt a (ForInit a) (Maybe (Expression a)) (Maybe (Expression a)) (Statement a)

TryStmt a (Statement a) (Maybe (CatchClause a)) (Maybe (Statement a))

ThrowStmt a (Expression a)

ReturnStmt a (Maybe (Expression a))

WithStmt a (Expression a) (Statement a)

VarDeclStmt a [VarDecl a]

FunctionStmt a (Id a) [Id a] (Statement a)

Instances

Typeable1 Statement

Eq a => Eq (Statement a)

Data a => Data (Statement a)

Ord a => Ord (Statement a)

Show a => Show (Statement a)

data InfixOp

Constructors

OpLT

OpLEq

OpGT

OpGEq

OpIn

OpInstanceof

OpEq

OpNEq

OpStrictEq

OpStrictNEq

OpLAnd

OpLOr

OpMul

OpDiv

OpMod

OpSub

OpLShift

OpSpRShift

OpZfRShift

OpBAnd

OpBXor

OpBOr

OpAdd

Instances

Enum InfixOp

Eq InfixOp

Data InfixOp

Ord InfixOp

Show InfixOp

Typeable InfixOp

data CatchClause a

Constructors

CatchClause a (Id a) (Statement a)

Instances

Typeable1 CatchClause

Eq a => Eq (CatchClause a)

Data a => Data (CatchClause a)

Ord a => Ord (CatchClause a)

Show a => Show (CatchClause a)

data VarDecl a

Constructors

VarDecl a (Id a) (Maybe (Expression a))

Instances

Typeable1 VarDecl

Eq a => Eq (VarDecl a)

Data a => Data (VarDecl a)

Ord a => Ord (VarDecl a)

Show a => Show (VarDecl a)

data JavaScript a

Constructors

Script a [Statement a]

A script in script ... /script tags. This may seem a little silly, but the Flapjax analogue has an inline variant and attribute-inline variant.

Instances

Typeable1 JavaScript

Eq a => Eq (JavaScript a)

Data a => Data (JavaScript a)

Ord a => Ord (JavaScript a)

Show a => Show (JavaScript a)

data AssignOp

Constructors

OpAssign

OpAssignAdd

OpAssignSub

OpAssignMul

OpAssignDiv

OpAssignMod

OpAssignLShift

OpAssignSpRShift

OpAssignZfRShift

OpAssignBAnd

OpAssignBXor

OpAssignBOr

Instances

Eq AssignOp

Data AssignOp

Ord AssignOp

Show AssignOp

Typeable AssignOp

data Id a

Constructors

Id a String

Instances

Typeable1 Id

Eq a => Eq (Id a)

Data a => Data (Id a)

Ord a => Ord (Id a)

Show a => Show (Id a)

data PrefixOp

Constructors

PrefixLNot

PrefixBNot

PrefixPlus

PrefixMinus

PrefixTypeof

PrefixVoid

PrefixDelete

Instances

Eq PrefixOp

Data PrefixOp

Ord PrefixOp

Show PrefixOp

Typeable PrefixOp

data Prop a

Constructors

PropId a (Id a)

PropString a String

PropNum a Integer

Instances

Typeable1 Prop

Eq a => Eq (Prop a)

Data a => Data (Prop a)

Ord a => Ord (Prop a)

Show a => Show (Prop a)

data ForInit a

Constructors

NoInit

VarInit [VarDecl a]

ExprInit (Expression a)

Instances

Typeable1 ForInit

Eq a => Eq (ForInit a)

Data a => Data (ForInit a)

Ord a => Ord (ForInit a)

Show a => Show (ForInit a)

data ForInInit a

Constructors

ForInVar (Id a)

ForInNoVar (Id a)

Instances

Typeable1 ForInInit

Eq a => Eq (ForInInit a)

Data a => Data (ForInInit a)

Ord a => Ord (ForInInit a)

Show a => Show (ForInInit a)

unId :: Id a -> String

data UnaryAssignOp

Constructors

PrefixInc

PrefixDec

PostfixInc

PostfixDec

Instances

Eq UnaryAssignOp

Data UnaryAssignOp

Ord UnaryAssignOp

Show UnaryAssignOp

Typeable UnaryAssignOp

data LValue a

Constructors

LVar a String

LDot a (Expression a) String

LBracket a (Expression a) (Expression a)

Instances

Typeable1 LValue

Eq a => Eq (LValue a)

Data a => Data (LValue a)

Ord a => Ord (LValue a)

Show a => Show (LValue a)