Safe Haskell	None
Language	Haskell2010

Language.ECMAScript3.Syntax

Contents

Orphan instances

Description

ECMAScript 3 syntax. Spec refers to the ECMA-262 specification, 3rd edition.

Synopsis

data JavaScript a = Script a [Statement a]
unJavaScript :: JavaScript a -> [Statement a]
data Statement a
- = 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]
isIterationStmt :: Statement a -> Bool
data CaseClause a
- = CaseClause a (Expression a) [Statement a]
- | CaseDefault a [Statement a]
data CatchClause a = CatchClause a (Id a) (Statement a)
data ForInit a
- = NoInit
- | VarInit [VarDecl a]
- | ExprInit (Expression a)
data ForInInit a
- = ForInVar (Id a)
- | ForInLVal (LValue a)
data VarDecl a = VarDecl a (Id a) (Maybe (Expression a))
data Expression a
- = 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)
- | ListExpr a [Expression a]
- | CallExpr a (Expression a) [Expression a]
- | FuncExpr a (Maybe (Id a)) [Id a] [Statement a]
data InfixOp
- = OpLT
- | OpLEq
- | OpGT
- | OpGEq
- | OpIn
- | OpInstanceof
- | OpEq
- | OpNEq
- | OpStrictEq
- | OpStrictNEq
- | OpLAnd
- | OpLOr
- | OpMul
- | OpDiv
- | OpMod
- | OpSub
- | OpLShift
- | OpSpRShift
- | OpZfRShift
- | OpBAnd
- | OpBXor
- | OpBOr
- | OpAdd
data AssignOp
- = OpAssign
- | OpAssignAdd
- | OpAssignSub
- | OpAssignMul
- | OpAssignDiv
- | OpAssignMod
- | OpAssignLShift
- | OpAssignSpRShift
- | OpAssignZfRShift
- | OpAssignBAnd
- | OpAssignBXor
- | OpAssignBOr
data Id a = Id a String
unId :: Id a -> String
data PrefixOp
- = PrefixLNot
- | PrefixBNot
- | PrefixPlus
- | PrefixMinus
- | PrefixTypeof
- | PrefixVoid
- | PrefixDelete
data Prop a
- = PropId a (Id a)
- | PropString a String
- | PropNum a Integer
data UnaryAssignOp
- = PrefixInc
- | PrefixDec
- | PostfixInc
- | PostfixDec
data LValue a
- = LVar a String
- | LDot a (Expression a) String
- | LBracket a (Expression a) (Expression a)
data SourcePos
isValid :: forall a. (Data a, Typeable a) => JavaScript a -> Bool
isValidIdentifier :: Id a -> Bool
isValidIdentifierName :: String -> Bool
isReservedWord :: String -> Bool
isValidIdStart :: Char -> Bool
isValidIdPart :: Char -> Bool
data EnclosingStatement
- = EnclosingIter [Label]
- | EnclosingSwitch [Label]
- | EnclosingOther [Label]
pushLabel :: Monad m => Id b -> StateT ([Label], [EnclosingStatement]) m a -> StateT ([Label], [EnclosingStatement]) m a
pushEnclosing :: Monad m => ([Label] -> EnclosingStatement) -> StateT ([Label], [EnclosingStatement]) m a -> StateT ([Label], [EnclosingStatement]) m a
class HasLabelSet a where
- getLabelSet :: a -> [Label]
- setLabelSet :: [Label] -> a -> a
isIter :: EnclosingStatement -> Bool
isIterSwitch :: EnclosingStatement -> Bool

Documentation

data JavaScript a #

Constructors

Script a [Statement a]

A script in <script> ... </script> tags.

Instances

Functor JavaScript #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> JavaScript a -> JavaScript b # (<$) :: a -> JavaScript b -> JavaScript a #
Foldable JavaScript #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => JavaScript m -> m # foldMap :: Monoid m => (a -> m) -> JavaScript a -> m # foldr :: (a -> b -> b) -> b -> JavaScript a -> b # foldr' :: (a -> b -> b) -> b -> JavaScript a -> b # foldl :: (b -> a -> b) -> b -> JavaScript a -> b # foldl' :: (b -> a -> b) -> b -> JavaScript a -> b # foldr1 :: (a -> a -> a) -> JavaScript a -> a # foldl1 :: (a -> a -> a) -> JavaScript a -> a # toList :: JavaScript a -> [a] # null :: JavaScript a -> Bool # length :: JavaScript a -> Int # elem :: Eq a => a -> JavaScript a -> Bool # maximum :: Ord a => JavaScript a -> a # minimum :: Ord a => JavaScript a -> a # sum :: Num a => JavaScript a -> a # product :: Num a => JavaScript a -> a #
Traversable JavaScript #
Instance details Defined in Language.ECMAScript3.Syntax Methods traverse :: Applicative f => (a -> f b) -> JavaScript a -> f (JavaScript b) # sequenceA :: Applicative f => JavaScript (f a) -> f (JavaScript a) # mapM :: Monad m => (a -> m b) -> JavaScript a -> m (JavaScript b) # sequence :: Monad m => JavaScript (m a) -> m (JavaScript a) #
Eq a => Eq (JavaScript a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: JavaScript a -> JavaScript a -> Bool # (/=) :: JavaScript a -> JavaScript a -> Bool #
Data a => Data (JavaScript a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> JavaScript a -> c (JavaScript a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (JavaScript a) # toConstr :: JavaScript a -> Constr # dataTypeOf :: JavaScript a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (JavaScript a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (JavaScript a)) # gmapT :: (forall b. Data b => b -> b) -> JavaScript a -> JavaScript a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> JavaScript a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> JavaScript a -> r # gmapQ :: (forall d. Data d => d -> u) -> JavaScript a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> JavaScript a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> JavaScript a -> m (JavaScript a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> JavaScript a -> m (JavaScript a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> JavaScript a -> m (JavaScript a) #
Ord a => Ord (JavaScript a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods compare :: JavaScript a -> JavaScript a -> Ordering # (<) :: JavaScript a -> JavaScript a -> Bool # (<=) :: JavaScript a -> JavaScript a -> Bool # (>) :: JavaScript a -> JavaScript a -> Bool # (>=) :: JavaScript a -> JavaScript a -> Bool # max :: JavaScript a -> JavaScript a -> JavaScript a # min :: JavaScript a -> JavaScript a -> JavaScript a #
Show a => Show (JavaScript a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> JavaScript a -> ShowS # show :: JavaScript a -> String # showList :: [JavaScript a] -> ShowS #
Default a => Default (JavaScript a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods def :: JavaScript a #
Pretty (JavaScript a) #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: JavaScript a -> Doc #

unJavaScript :: JavaScript a -> [Statement a] #

extracts statements from a JavaScript type

data Statement a #

Statements, spec 12.

Constructors

BlockStmt a [Statement a]	`{stmts}`, spec 12.1
EmptyStmt a	`;`, spec 12.3
ExprStmt a (Expression a)	`expr;`, spec 12.4
IfStmt a (Expression a) (Statement a) (Statement a)	`if (e) stmt`, spec 12.5
IfSingleStmt a (Expression a) (Statement a)	`if (e) stmt1 else stmt2`, spec 12.5
SwitchStmt a (Expression a) [CaseClause a]	`switch (e) clauses`, spec 12.11
WhileStmt a (Expression a) (Statement a)	`while (e) do stmt`, spec 12.6
DoWhileStmt a (Statement a) (Expression a)	`do stmt while (e);`, spec 12.6
BreakStmt a (Maybe (Id a))	`break lab;`, spec 12.8
ContinueStmt a (Maybe (Id a))	`continue lab;`, spec 12.7
LabelledStmt a (Id a) (Statement a)	`lab: stmt`, spec 12.12
ForInStmt a (ForInInit a) (Expression a) (Statement a)	`for (x in o) stmt`, spec 12.6
ForStmt a (ForInit a) (Maybe (Expression a)) (Maybe (Expression a)) (Statement a)	`ForStmt a init test increment body`, `for (init; test, increment) body`, spec 12.6
TryStmt a (Statement a) (Maybe (CatchClause a)) (Maybe (Statement a))	`try stmt catch(x) stmt finally stmt`, spec 12.14
ThrowStmt a (Expression a)	`throw expr;`, spec 12.13
ReturnStmt a (Maybe (Expression a))	`return expr;`, spec 12.9
WithStmt a (Expression a) (Statement a)	`with (o) stmt`, spec 12.10
VarDeclStmt a [VarDecl a]	`var x, y=42;`, spec 12.2
FunctionStmt a (Id a) [Id a] [Statement a]	`function f(x, y, z) {...}`, spec 13

Instances

Functor Statement #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> Statement a -> Statement b # (<$) :: a -> Statement b -> Statement a #
Foldable Statement #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => Statement m -> m # foldMap :: Monoid m => (a -> m) -> Statement a -> m # foldr :: (a -> b -> b) -> b -> Statement a -> b # foldr' :: (a -> b -> b) -> b -> Statement a -> b # foldl :: (b -> a -> b) -> b -> Statement a -> b # foldl' :: (b -> a -> b) -> b -> Statement a -> b # foldr1 :: (a -> a -> a) -> Statement a -> a # foldl1 :: (a -> a -> a) -> Statement a -> a # toList :: Statement a -> [a] # null :: Statement a -> Bool # length :: Statement a -> Int # elem :: Eq a => a -> Statement a -> Bool # maximum :: Ord a => Statement a -> a # minimum :: Ord a => Statement a -> a # sum :: Num a => Statement a -> a # product :: Num a => Statement a -> a #
Traversable Statement #
Instance details Defined in Language.ECMAScript3.Syntax Methods traverse :: Applicative f => (a -> f b) -> Statement a -> f (Statement b) # sequenceA :: Applicative f => Statement (f a) -> f (Statement a) # mapM :: Monad m => (a -> m b) -> Statement a -> m (Statement b) # sequence :: Monad m => Statement (m a) -> m (Statement a) #
HasAnnotation Statement #
Instance details Defined in Language.ECMAScript3.Syntax.Annotations Methods getAnnotation :: Statement b -> b # setAnnotation :: b -> Statement b -> Statement b #
Eq a => Eq (Statement a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: Statement a -> Statement a -> Bool # (/=) :: Statement a -> Statement a -> Bool #
Data a => Data (Statement a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Statement a -> c (Statement a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Statement a) # toConstr :: Statement a -> Constr # dataTypeOf :: Statement a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Statement a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Statement a)) # gmapT :: (forall b. Data b => b -> b) -> Statement a -> Statement a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Statement a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Statement a -> r # gmapQ :: (forall d. Data d => d -> u) -> Statement a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Statement a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Statement a -> m (Statement a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement a -> m (Statement a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Statement a -> m (Statement a) #
Ord a => Ord (Statement a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods compare :: Statement a -> Statement a -> Ordering # (<) :: Statement a -> Statement a -> Bool # (<=) :: Statement a -> Statement a -> Bool # (>) :: Statement a -> Statement a -> Bool # (>=) :: Statement a -> Statement a -> Bool # max :: Statement a -> Statement a -> Statement a # min :: Statement a -> Statement a -> Statement a #
Show a => Show (Statement a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> Statement a -> ShowS # show :: Statement a -> String # showList :: [Statement a] -> ShowS #
Pretty [Statement a] #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: [Statement a] -> Doc #
Pretty (Statement a) #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: Statement a -> Doc #

isIterationStmt :: Statement a -> Bool #

Returns True if the statement is an IterationStatement according to spec 12.6.

data CaseClause a #

Case clauses, spec 12.11

Constructors

CaseClause a (Expression a) [Statement a]	case e: stmts;
CaseDefault a [Statement a]	default: stmts;

Instances

Functor CaseClause #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> CaseClause a -> CaseClause b # (<$) :: a -> CaseClause b -> CaseClause a #
Foldable CaseClause #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => CaseClause m -> m # foldMap :: Monoid m => (a -> m) -> CaseClause a -> m # foldr :: (a -> b -> b) -> b -> CaseClause a -> b # foldr' :: (a -> b -> b) -> b -> CaseClause a -> b # foldl :: (b -> a -> b) -> b -> CaseClause a -> b # foldl' :: (b -> a -> b) -> b -> CaseClause a -> b # foldr1 :: (a -> a -> a) -> CaseClause a -> a # foldl1 :: (a -> a -> a) -> CaseClause a -> a # toList :: CaseClause a -> [a] # null :: CaseClause a -> Bool # length :: CaseClause a -> Int # elem :: Eq a => a -> CaseClause a -> Bool # maximum :: Ord a => CaseClause a -> a # minimum :: Ord a => CaseClause a -> a # sum :: Num a => CaseClause a -> a # product :: Num a => CaseClause a -> a #
Traversable CaseClause #
Instance details Defined in Language.ECMAScript3.Syntax Methods traverse :: Applicative f => (a -> f b) -> CaseClause a -> f (CaseClause b) # sequenceA :: Applicative f => CaseClause (f a) -> f (CaseClause a) # mapM :: Monad m => (a -> m b) -> CaseClause a -> m (CaseClause b) # sequence :: Monad m => CaseClause (m a) -> m (CaseClause a) #
HasAnnotation CaseClause #
Instance details Defined in Language.ECMAScript3.Syntax.Annotations Methods getAnnotation :: CaseClause b -> b # setAnnotation :: b -> CaseClause b -> CaseClause b #
Eq a => Eq (CaseClause a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: CaseClause a -> CaseClause a -> Bool # (/=) :: CaseClause a -> CaseClause a -> Bool #
Data a => Data (CaseClause a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CaseClause a -> c (CaseClause a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CaseClause a) # toConstr :: CaseClause a -> Constr # dataTypeOf :: CaseClause a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CaseClause a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CaseClause a)) # gmapT :: (forall b. Data b => b -> b) -> CaseClause a -> CaseClause a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CaseClause a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CaseClause a -> r # gmapQ :: (forall d. Data d => d -> u) -> CaseClause a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CaseClause a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CaseClause a -> m (CaseClause a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CaseClause a -> m (CaseClause a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CaseClause a -> m (CaseClause a) #
Ord a => Ord (CaseClause a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods compare :: CaseClause a -> CaseClause a -> Ordering # (<) :: CaseClause a -> CaseClause a -> Bool # (<=) :: CaseClause a -> CaseClause a -> Bool # (>) :: CaseClause a -> CaseClause a -> Bool # (>=) :: CaseClause a -> CaseClause a -> Bool # max :: CaseClause a -> CaseClause a -> CaseClause a # min :: CaseClause a -> CaseClause a -> CaseClause a #
Show a => Show (CaseClause a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> CaseClause a -> ShowS # show :: CaseClause a -> String # showList :: [CaseClause a] -> ShowS #
Pretty (CaseClause a) #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: CaseClause a -> Doc #

data CatchClause a #

Catch clause, spec 12.14

Constructors

CatchClause a (Id a) (Statement a)

catch (x) {...}

Instances

Functor CatchClause #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> CatchClause a -> CatchClause b # (<$) :: a -> CatchClause b -> CatchClause a #
Foldable CatchClause #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => CatchClause m -> m # foldMap :: Monoid m => (a -> m) -> CatchClause a -> m # foldr :: (a -> b -> b) -> b -> CatchClause a -> b # foldr' :: (a -> b -> b) -> b -> CatchClause a -> b # foldl :: (b -> a -> b) -> b -> CatchClause a -> b # foldl' :: (b -> a -> b) -> b -> CatchClause a -> b # foldr1 :: (a -> a -> a) -> CatchClause a -> a # foldl1 :: (a -> a -> a) -> CatchClause a -> a # toList :: CatchClause a -> [a] # null :: CatchClause a -> Bool # length :: CatchClause a -> Int # elem :: Eq a => a -> CatchClause a -> Bool # maximum :: Ord a => CatchClause a -> a # minimum :: Ord a => CatchClause a -> a # sum :: Num a => CatchClause a -> a # product :: Num a => CatchClause a -> a #
Traversable CatchClause #
Instance details Defined in Language.ECMAScript3.Syntax Methods traverse :: Applicative f => (a -> f b) -> CatchClause a -> f (CatchClause b) # sequenceA :: Applicative f => CatchClause (f a) -> f (CatchClause a) # mapM :: Monad m => (a -> m b) -> CatchClause a -> m (CatchClause b) # sequence :: Monad m => CatchClause (m a) -> m (CatchClause a) #
HasAnnotation CatchClause #
Instance details Defined in Language.ECMAScript3.Syntax.Annotations Methods getAnnotation :: CatchClause b -> b # setAnnotation :: b -> CatchClause b -> CatchClause b #
Eq a => Eq (CatchClause a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: CatchClause a -> CatchClause a -> Bool # (/=) :: CatchClause a -> CatchClause a -> Bool #
Data a => Data (CatchClause a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CatchClause a -> c (CatchClause a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (CatchClause a) # toConstr :: CatchClause a -> Constr # dataTypeOf :: CatchClause a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (CatchClause a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (CatchClause a)) # gmapT :: (forall b. Data b => b -> b) -> CatchClause a -> CatchClause a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CatchClause a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CatchClause a -> r # gmapQ :: (forall d. Data d => d -> u) -> CatchClause a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CatchClause a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CatchClause a -> m (CatchClause a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CatchClause a -> m (CatchClause a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CatchClause a -> m (CatchClause a) #
Ord a => Ord (CatchClause a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods compare :: CatchClause a -> CatchClause a -> Ordering # (<) :: CatchClause a -> CatchClause a -> Bool # (<=) :: CatchClause a -> CatchClause a -> Bool # (>) :: CatchClause a -> CatchClause a -> Bool # (>=) :: CatchClause a -> CatchClause a -> Bool # max :: CatchClause a -> CatchClause a -> CatchClause a # min :: CatchClause a -> CatchClause a -> CatchClause a #
Show a => Show (CatchClause a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> CatchClause a -> ShowS # show :: CatchClause a -> String # showList :: [CatchClause a] -> ShowS #
Pretty (CatchClause a) #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: CatchClause a -> Doc #

data ForInit a #

for initializer, spec 12.6

Constructors

NoInit	empty
VarInit [VarDecl a]	var x, y=42
ExprInit (Expression a)	expr

Instances

Functor ForInit #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> ForInit a -> ForInit b # (<$) :: a -> ForInit b -> ForInit a #
Foldable ForInit #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => ForInit m -> m # foldMap :: Monoid m => (a -> m) -> ForInit a -> m # foldr :: (a -> b -> b) -> b -> ForInit a -> b # foldr' :: (a -> b -> b) -> b -> ForInit a -> b # foldl :: (b -> a -> b) -> b -> ForInit a -> b # foldl' :: (b -> a -> b) -> b -> ForInit a -> b # foldr1 :: (a -> a -> a) -> ForInit a -> a # foldl1 :: (a -> a -> a) -> ForInit a -> a # toList :: ForInit a -> [a] # null :: ForInit a -> Bool # length :: ForInit a -> Int # elem :: Eq a => a -> ForInit a -> Bool # maximum :: Ord a => ForInit a -> a # minimum :: Ord a => ForInit a -> a # sum :: Num a => ForInit a -> a # product :: Num a => ForInit a -> a #
Traversable ForInit #
Instance details Defined in Language.ECMAScript3.Syntax Methods traverse :: Applicative f => (a -> f b) -> ForInit a -> f (ForInit b) # sequenceA :: Applicative f => ForInit (f a) -> f (ForInit a) # mapM :: Monad m => (a -> m b) -> ForInit a -> m (ForInit b) # sequence :: Monad m => ForInit (m a) -> m (ForInit a) #
Eq a => Eq (ForInit a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: ForInit a -> ForInit a -> Bool # (/=) :: ForInit a -> ForInit a -> Bool #
Data a => Data (ForInit a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForInit a -> c (ForInit a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ForInit a) # toConstr :: ForInit a -> Constr # dataTypeOf :: ForInit a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ForInit a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ForInit a)) # gmapT :: (forall b. Data b => b -> b) -> ForInit a -> ForInit a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForInit a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForInit a -> r # gmapQ :: (forall d. Data d => d -> u) -> ForInit a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ForInit a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForInit a -> m (ForInit a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForInit a -> m (ForInit a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForInit a -> m (ForInit a) #
Ord a => Ord (ForInit a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods compare :: ForInit a -> ForInit a -> Ordering # (<) :: ForInit a -> ForInit a -> Bool # (<=) :: ForInit a -> ForInit a -> Bool # (>) :: ForInit a -> ForInit a -> Bool # (>=) :: ForInit a -> ForInit a -> Bool # max :: ForInit a -> ForInit a -> ForInit a # min :: ForInit a -> ForInit a -> ForInit a #
Show a => Show (ForInit a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> ForInit a -> ShowS # show :: ForInit a -> String # showList :: [ForInit a] -> ShowS #
Pretty (ForInit a) #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: ForInit a -> Doc #

data ForInInit a #

for..in initializer, spec 12.6

Constructors

ForInVar (Id a)	var x
ForInLVal (LValue a)	`foo.baz`, `foo[bar]`, `z`

Instances

Functor ForInInit #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> ForInInit a -> ForInInit b # (<$) :: a -> ForInInit b -> ForInInit a #
Foldable ForInInit #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => ForInInit m -> m # foldMap :: Monoid m => (a -> m) -> ForInInit a -> m # foldr :: (a -> b -> b) -> b -> ForInInit a -> b # foldr' :: (a -> b -> b) -> b -> ForInInit a -> b # foldl :: (b -> a -> b) -> b -> ForInInit a -> b # foldl' :: (b -> a -> b) -> b -> ForInInit a -> b # foldr1 :: (a -> a -> a) -> ForInInit a -> a # foldl1 :: (a -> a -> a) -> ForInInit a -> a # toList :: ForInInit a -> [a] # null :: ForInInit a -> Bool # length :: ForInInit a -> Int # elem :: Eq a => a -> ForInInit a -> Bool # maximum :: Ord a => ForInInit a -> a # minimum :: Ord a => ForInInit a -> a # sum :: Num a => ForInInit a -> a # product :: Num a => ForInInit a -> a #
Traversable ForInInit #
Instance details Defined in Language.ECMAScript3.Syntax Methods traverse :: Applicative f => (a -> f b) -> ForInInit a -> f (ForInInit b) # sequenceA :: Applicative f => ForInInit (f a) -> f (ForInInit a) # mapM :: Monad m => (a -> m b) -> ForInInit a -> m (ForInInit b) # sequence :: Monad m => ForInInit (m a) -> m (ForInInit a) #
Eq a => Eq (ForInInit a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: ForInInit a -> ForInInit a -> Bool # (/=) :: ForInInit a -> ForInInit a -> Bool #
Data a => Data (ForInInit a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForInInit a -> c (ForInInit a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (ForInInit a) # toConstr :: ForInInit a -> Constr # dataTypeOf :: ForInInit a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (ForInInit a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (ForInInit a)) # gmapT :: (forall b. Data b => b -> b) -> ForInInit a -> ForInInit a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForInInit a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForInInit a -> r # gmapQ :: (forall d. Data d => d -> u) -> ForInInit a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ForInInit a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForInInit a -> m (ForInInit a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForInInit a -> m (ForInInit a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForInInit a -> m (ForInInit a) #
Ord a => Ord (ForInInit a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods compare :: ForInInit a -> ForInInit a -> Ordering # (<) :: ForInInit a -> ForInInit a -> Bool # (<=) :: ForInInit a -> ForInInit a -> Bool # (>) :: ForInInit a -> ForInInit a -> Bool # (>=) :: ForInInit a -> ForInInit a -> Bool # max :: ForInInit a -> ForInInit a -> ForInInit a # min :: ForInInit a -> ForInInit a -> ForInInit a #
Show a => Show (ForInInit a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> ForInInit a -> ShowS # show :: ForInInit a -> String # showList :: [ForInInit a] -> ShowS #
Pretty (ForInInit a) #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: ForInInit a -> Doc #

data VarDecl a #

A variable declaration, spec 12.2

Constructors

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

var x = e;

Instances

Functor VarDecl #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> VarDecl a -> VarDecl b # (<$) :: a -> VarDecl b -> VarDecl a #
Foldable VarDecl #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => VarDecl m -> m # foldMap :: Monoid m => (a -> m) -> VarDecl a -> m # foldr :: (a -> b -> b) -> b -> VarDecl a -> b # foldr' :: (a -> b -> b) -> b -> VarDecl a -> b # foldl :: (b -> a -> b) -> b -> VarDecl a -> b # foldl' :: (b -> a -> b) -> b -> VarDecl a -> b # foldr1 :: (a -> a -> a) -> VarDecl a -> a # foldl1 :: (a -> a -> a) -> VarDecl a -> a # toList :: VarDecl a -> [a] # null :: VarDecl a -> Bool # length :: VarDecl a -> Int # elem :: Eq a => a -> VarDecl a -> Bool # maximum :: Ord a => VarDecl a -> a # minimum :: Ord a => VarDecl a -> a # sum :: Num a => VarDecl a -> a # product :: Num a => VarDecl a -> a #
Traversable VarDecl #
Instance details Defined in Language.ECMAScript3.Syntax Methods traverse :: Applicative f => (a -> f b) -> VarDecl a -> f (VarDecl b) # sequenceA :: Applicative f => VarDecl (f a) -> f (VarDecl a) # mapM :: Monad m => (a -> m b) -> VarDecl a -> m (VarDecl b) # sequence :: Monad m => VarDecl (m a) -> m (VarDecl a) #
HasAnnotation VarDecl #
Instance details Defined in Language.ECMAScript3.Syntax.Annotations Methods getAnnotation :: VarDecl b -> b # setAnnotation :: b -> VarDecl b -> VarDecl b #
Eq a => Eq (VarDecl a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: VarDecl a -> VarDecl a -> Bool # (/=) :: VarDecl a -> VarDecl a -> Bool #
Data a => Data (VarDecl a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VarDecl a -> c (VarDecl a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (VarDecl a) # toConstr :: VarDecl a -> Constr # dataTypeOf :: VarDecl a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (VarDecl a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (VarDecl a)) # gmapT :: (forall b. Data b => b -> b) -> VarDecl a -> VarDecl a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VarDecl a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VarDecl a -> r # gmapQ :: (forall d. Data d => d -> u) -> VarDecl a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> VarDecl a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> VarDecl a -> m (VarDecl a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VarDecl a -> m (VarDecl a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VarDecl a -> m (VarDecl a) #
Ord a => Ord (VarDecl a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods compare :: VarDecl a -> VarDecl a -> Ordering # (<) :: VarDecl a -> VarDecl a -> Bool # (<=) :: VarDecl a -> VarDecl a -> Bool # (>) :: VarDecl a -> VarDecl a -> Bool # (>=) :: VarDecl a -> VarDecl a -> Bool # max :: VarDecl a -> VarDecl a -> VarDecl a # min :: VarDecl a -> VarDecl a -> VarDecl a #
Show a => Show (VarDecl a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> VarDecl a -> ShowS # show :: VarDecl a -> String # showList :: [VarDecl a] -> ShowS #
Pretty (VarDecl a) #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: VarDecl a -> Doc #

data Expression a #

Expressions, see spec 11

Constructors

StringLit a String	`"foo"`, spec 11.1.3, 7.8
RegexpLit a String Bool Bool	`RegexpLit a regexp global? case_insensitive?` -- regular expression, see spec 11.1.3, 7.8
NumLit a Double	`41.99999`, spec 11.1.3, 7.8
IntLit a Int	`42`, spec 11.1.3, 7.8
BoolLit a Bool	`true`, spec 11.1.3, 7.8
NullLit a	`null`, spec 11.1.3, 7.8
ArrayLit a [Expression a]	`[1,2,3]`, spec 11.1.4
ObjectLit a [(Prop a, Expression a)]	`{foo:"bar", baz: 42}`, spec 11.1.5
ThisRef a	`this`, spec 11.1.1
VarRef a (Id a)	`foo`, spec 11.1.2
DotRef a (Expression a) (Id a)	`foo.bar`, spec 11.2.1
BracketRef a (Expression a) (Expression a)	`foo[bar`, spec 11.2.1
NewExpr a (Expression a) [Expression a]	`new foo(bar)`, spec 11.2.2
PrefixExpr a PrefixOp (Expression a)	`@e`, spec 11.4 (excluding 11.4.4, 111.4.5)
UnaryAssignExpr a UnaryAssignOp (LValue a)	`++x`, `x--` etc., spec 11.3, 11.4.4, 11.4.5
InfixExpr a InfixOp (Expression a) (Expression a)	`e1@e2`, spec 11.5, 11.6, 11.7, 11.8, 11.9, 11.10, 11.11
CondExpr a (Expression a) (Expression a) (Expression a)	`e1 ? e2 : e3`, spec 11.12
AssignExpr a AssignOp (LValue a) (Expression a)	`e1 @=e2`, spec 11.13
ListExpr a [Expression a]	`e1, e2`, spec 11.14
CallExpr a (Expression a) [Expression a]	`f(x,y,z)`, spec 11.2.3 funcexprs are optionally named
FuncExpr a (Maybe (Id a)) [Id a] [Statement a]	`function f (x,y,z) {...}`, spec 11.2.5, 13

Instances

Functor Expression #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> Expression a -> Expression b # (<$) :: a -> Expression b -> Expression a #
Foldable Expression #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => Expression m -> m # foldMap :: Monoid m => (a -> m) -> Expression a -> m # foldr :: (a -> b -> b) -> b -> Expression a -> b # foldr' :: (a -> b -> b) -> b -> Expression a -> b # foldl :: (b -> a -> b) -> b -> Expression a -> b # foldl' :: (b -> a -> b) -> b -> Expression a -> b # foldr1 :: (a -> a -> a) -> Expression a -> a # foldl1 :: (a -> a -> a) -> Expression a -> a # toList :: Expression a -> [a] # null :: Expression a -> Bool # length :: Expression a -> Int # elem :: Eq a => a -> Expression a -> Bool # maximum :: Ord a => Expression a -> a # minimum :: Ord a => Expression a -> a # sum :: Num a => Expression a -> a # product :: Num a => Expression a -> a #
Traversable Expression #
Instance details Defined in Language.ECMAScript3.Syntax Methods traverse :: Applicative f => (a -> f b) -> Expression a -> f (Expression b) # sequenceA :: Applicative f => Expression (f a) -> f (Expression a) # mapM :: Monad m => (a -> m b) -> Expression a -> m (Expression b) # sequence :: Monad m => Expression (m a) -> m (Expression a) #
HasAnnotation Expression #
Instance details Defined in Language.ECMAScript3.Syntax.Annotations Methods getAnnotation :: Expression b -> b # setAnnotation :: b -> Expression b -> Expression b #
Eq a => Eq (Expression a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: Expression a -> Expression a -> Bool # (/=) :: Expression a -> Expression a -> Bool #
Data a => Data (Expression a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Expression a -> c (Expression a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Expression a) # toConstr :: Expression a -> Constr # dataTypeOf :: Expression a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Expression a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Expression a)) # gmapT :: (forall b. Data b => b -> b) -> Expression a -> Expression a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Expression a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Expression a -> r # gmapQ :: (forall d. Data d => d -> u) -> Expression a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Expression a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Expression a -> m (Expression a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Expression a -> m (Expression a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Expression a -> m (Expression a) #
Ord a => Ord (Expression a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods compare :: Expression a -> Expression a -> Ordering # (<) :: Expression a -> Expression a -> Bool # (<=) :: Expression a -> Expression a -> Bool # (>) :: Expression a -> Expression a -> Bool # (>=) :: Expression a -> Expression a -> Bool # max :: Expression a -> Expression a -> Expression a # min :: Expression a -> Expression a -> Expression a #
Show a => Show (Expression a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> Expression a -> ShowS # show :: Expression a -> String # showList :: [Expression a] -> ShowS #
Default a => IsString (Expression a) #
Instance details Defined in Language.ECMAScript3.Syntax.CodeGen Methods fromString :: String -> Expression a #
Pretty (Expression a) #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: Expression a -> Doc #

data InfixOp #

Infix operators: see spec 11.5-11.11

Constructors

OpLT	<
OpLEq	<=
OpGT	>
OpGEq	>=
OpIn	in
OpInstanceof	instanceof
OpEq	==
OpNEq	!=
OpStrictEq	===
OpStrictNEq	!===
OpLAnd	&&
OpLOr	\|\|
OpMul	*
OpDiv	/
OpMod	%
OpSub	-
OpLShift	<<
OpSpRShift	>>
OpZfRShift	>>>
OpBAnd	&
OpBXor	^
OpBOr	\|
OpAdd	+

Instances

Enum InfixOp #
Instance details Defined in Language.ECMAScript3.Syntax Methods succ :: InfixOp -> InfixOp # pred :: InfixOp -> InfixOp # toEnum :: Int -> InfixOp # fromEnum :: InfixOp -> Int # enumFrom :: InfixOp -> [InfixOp] # enumFromThen :: InfixOp -> InfixOp -> [InfixOp] # enumFromTo :: InfixOp -> InfixOp -> [InfixOp] # enumFromThenTo :: InfixOp -> InfixOp -> InfixOp -> [InfixOp] #
Eq InfixOp #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: InfixOp -> InfixOp -> Bool # (/=) :: InfixOp -> InfixOp -> Bool #
Data InfixOp #
Instance details Defined in Language.ECMAScript3.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InfixOp -> c InfixOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InfixOp # toConstr :: InfixOp -> Constr # dataTypeOf :: InfixOp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InfixOp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InfixOp) # gmapT :: (forall b. Data b => b -> b) -> InfixOp -> InfixOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InfixOp -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InfixOp -> r # gmapQ :: (forall d. Data d => d -> u) -> InfixOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> InfixOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> InfixOp -> m InfixOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InfixOp -> m InfixOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InfixOp -> m InfixOp #
Ord InfixOp #
Instance details Defined in Language.ECMAScript3.Syntax Methods compare :: InfixOp -> InfixOp -> Ordering # (<) :: InfixOp -> InfixOp -> Bool # (<=) :: InfixOp -> InfixOp -> Bool # (>) :: InfixOp -> InfixOp -> Bool # (>=) :: InfixOp -> InfixOp -> Bool # max :: InfixOp -> InfixOp -> InfixOp # min :: InfixOp -> InfixOp -> InfixOp #
Show InfixOp #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> InfixOp -> ShowS # show :: InfixOp -> String # showList :: [InfixOp] -> ShowS #
Pretty InfixOp #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: InfixOp -> Doc #

data AssignOp #

Assignment operators: see spec 11.13

Constructors

OpAssign	simple assignment, `=`
OpAssignAdd	+=
OpAssignSub	-=
OpAssignMul	*=
OpAssignDiv	/=
OpAssignMod	%=
OpAssignLShift	<<=
OpAssignSpRShift	>>=
OpAssignZfRShift	>>>=
OpAssignBAnd	&=
OpAssignBXor	^=
OpAssignBOr	\|=

Instances

Eq AssignOp #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: AssignOp -> AssignOp -> Bool # (/=) :: AssignOp -> AssignOp -> Bool #
Data AssignOp #
Instance details Defined in Language.ECMAScript3.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AssignOp -> c AssignOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AssignOp # toConstr :: AssignOp -> Constr # dataTypeOf :: AssignOp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AssignOp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AssignOp) # gmapT :: (forall b. Data b => b -> b) -> AssignOp -> AssignOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AssignOp -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AssignOp -> r # gmapQ :: (forall d. Data d => d -> u) -> AssignOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AssignOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AssignOp -> m AssignOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AssignOp -> m AssignOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AssignOp -> m AssignOp #
Ord AssignOp #
Instance details Defined in Language.ECMAScript3.Syntax Methods compare :: AssignOp -> AssignOp -> Ordering # (<) :: AssignOp -> AssignOp -> Bool # (<=) :: AssignOp -> AssignOp -> Bool # (>) :: AssignOp -> AssignOp -> Bool # (>=) :: AssignOp -> AssignOp -> Bool # max :: AssignOp -> AssignOp -> AssignOp # min :: AssignOp -> AssignOp -> AssignOp #
Show AssignOp #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> AssignOp -> ShowS # show :: AssignOp -> String # showList :: [AssignOp] -> ShowS #
Pretty AssignOp #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: AssignOp -> Doc #

data Id a #

Constructors

Id a String

Instances

Functor Id #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> Id a -> Id b # (<$) :: a -> Id b -> Id a #
Foldable Id #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => Id m -> m # foldMap :: Monoid m => (a -> m) -> Id a -> m # foldr :: (a -> b -> b) -> b -> Id a -> b # foldr' :: (a -> b -> b) -> b -> Id a -> b # foldl :: (b -> a -> b) -> b -> Id a -> b # foldl' :: (b -> a -> b) -> b -> Id a -> b # foldr1 :: (a -> a -> a) -> Id a -> a # foldl1 :: (a -> a -> a) -> Id a -> a # toList :: Id a -> [a] # null :: Id a -> Bool # length :: Id a -> Int # elem :: Eq a => a -> Id a -> Bool # maximum :: Ord a => Id a -> a # minimum :: Ord a => Id a -> a # sum :: Num a => Id a -> a # product :: Num a => Id a -> a #
Traversable Id #
Instance details Defined in Language.ECMAScript3.Syntax Methods traverse :: Applicative f => (a -> f b) -> Id a -> f (Id b) # sequenceA :: Applicative f => Id (f a) -> f (Id a) # mapM :: Monad m => (a -> m b) -> Id a -> m (Id b) # sequence :: Monad m => Id (m a) -> m (Id a) #
HasAnnotation Id #
Instance details Defined in Language.ECMAScript3.Syntax.Annotations Methods getAnnotation :: Id b -> b # setAnnotation :: b -> Id b -> Id b #
Eq a => Eq (Id a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: Id a -> Id a -> Bool # (/=) :: Id a -> Id a -> Bool #
Data a => Data (Id a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Id a -> c (Id a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Id a) # toConstr :: Id a -> Constr # dataTypeOf :: Id a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Id a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Id a)) # gmapT :: (forall b. Data b => b -> b) -> Id a -> Id a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Id a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Id a -> r # gmapQ :: (forall d. Data d => d -> u) -> Id a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Id a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Id a -> m (Id a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Id a -> m (Id a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Id a -> m (Id a) #
Ord a => Ord (Id a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods compare :: Id a -> Id a -> Ordering # (<) :: Id a -> Id a -> Bool # (<=) :: Id a -> Id a -> Bool # (>) :: Id a -> Id a -> Bool # (>=) :: Id a -> Id a -> Bool # max :: Id a -> Id a -> Id a # min :: Id a -> Id a -> Id a #
Show a => Show (Id a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> Id a -> ShowS # show :: Id a -> String # showList :: [Id a] -> ShowS #
Default a => IsString (Id a) #
Instance details Defined in Language.ECMAScript3.Syntax.CodeGen Methods fromString :: String -> Id a #
Pretty (Id a) #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: Id a -> Doc #

unId :: Id a -> String #

data PrefixOp #

Prefix operators: see spec 11.4 (excluding 11.4.4, 11.4.5)

Constructors

PrefixLNot	!
PrefixBNot	~
PrefixPlus	+
PrefixMinus	-
PrefixTypeof	typeof
PrefixVoid	void
PrefixDelete	delete

Instances

Eq PrefixOp #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: PrefixOp -> PrefixOp -> Bool # (/=) :: PrefixOp -> PrefixOp -> Bool #
Data PrefixOp #
Instance details Defined in Language.ECMAScript3.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PrefixOp -> c PrefixOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PrefixOp # toConstr :: PrefixOp -> Constr # dataTypeOf :: PrefixOp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PrefixOp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PrefixOp) # gmapT :: (forall b. Data b => b -> b) -> PrefixOp -> PrefixOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PrefixOp -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PrefixOp -> r # gmapQ :: (forall d. Data d => d -> u) -> PrefixOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PrefixOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PrefixOp -> m PrefixOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PrefixOp -> m PrefixOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PrefixOp -> m PrefixOp #
Ord PrefixOp #
Instance details Defined in Language.ECMAScript3.Syntax Methods compare :: PrefixOp -> PrefixOp -> Ordering # (<) :: PrefixOp -> PrefixOp -> Bool # (<=) :: PrefixOp -> PrefixOp -> Bool # (>) :: PrefixOp -> PrefixOp -> Bool # (>=) :: PrefixOp -> PrefixOp -> Bool # max :: PrefixOp -> PrefixOp -> PrefixOp # min :: PrefixOp -> PrefixOp -> PrefixOp #
Show PrefixOp #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> PrefixOp -> ShowS # show :: PrefixOp -> String # showList :: [PrefixOp] -> ShowS #
Pretty PrefixOp #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: PrefixOp -> Doc #

data Prop a #

Property names in an object initializer: see spec 11.1.5

Constructors

PropId a (Id a)	property name is an identifier, `foo`
PropString a String	property name is a string, `"foo"`
PropNum a Integer	property name is an integer, `42`

Instances

Functor Prop #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> Prop a -> Prop b # (<$) :: a -> Prop b -> Prop a #
Foldable Prop #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => Prop m -> m # foldMap :: Monoid m => (a -> m) -> Prop a -> m # foldr :: (a -> b -> b) -> b -> Prop a -> b # foldr' :: (a -> b -> b) -> b -> Prop a -> b # foldl :: (b -> a -> b) -> b -> Prop a -> b # foldl' :: (b -> a -> b) -> b -> Prop a -> b # foldr1 :: (a -> a -> a) -> Prop a -> a # foldl1 :: (a -> a -> a) -> Prop a -> a # toList :: Prop a -> [a] # null :: Prop a -> Bool # length :: Prop a -> Int # elem :: Eq a => a -> Prop a -> Bool # maximum :: Ord a => Prop a -> a # minimum :: Ord a => Prop a -> a # sum :: Num a => Prop a -> a # product :: Num a => Prop a -> a #
Traversable Prop #
Instance details Defined in Language.ECMAScript3.Syntax Methods traverse :: Applicative f => (a -> f b) -> Prop a -> f (Prop b) # sequenceA :: Applicative f => Prop (f a) -> f (Prop a) # mapM :: Monad m => (a -> m b) -> Prop a -> m (Prop b) # sequence :: Monad m => Prop (m a) -> m (Prop a) #
HasAnnotation Prop #
Instance details Defined in Language.ECMAScript3.Syntax.Annotations Methods getAnnotation :: Prop b -> b # setAnnotation :: b -> Prop b -> Prop b #
Eq a => Eq (Prop a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: Prop a -> Prop a -> Bool # (/=) :: Prop a -> Prop a -> Bool #
Data a => Data (Prop a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Prop a -> c (Prop a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Prop a) # toConstr :: Prop a -> Constr # dataTypeOf :: Prop a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Prop a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Prop a)) # gmapT :: (forall b. Data b => b -> b) -> Prop a -> Prop a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Prop a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Prop a -> r # gmapQ :: (forall d. Data d => d -> u) -> Prop a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Prop a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Prop a -> m (Prop a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Prop a -> m (Prop a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Prop a -> m (Prop a) #
Ord a => Ord (Prop a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods compare :: Prop a -> Prop a -> Ordering # (<) :: Prop a -> Prop a -> Bool # (<=) :: Prop a -> Prop a -> Bool # (>) :: Prop a -> Prop a -> Bool # (>=) :: Prop a -> Prop a -> Bool # max :: Prop a -> Prop a -> Prop a # min :: Prop a -> Prop a -> Prop a #
Show a => Show (Prop a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> Prop a -> ShowS # show :: Prop a -> String # showList :: [Prop a] -> ShowS #
Default a => IsString (Prop a) #
Instance details Defined in Language.ECMAScript3.Syntax.CodeGen Methods fromString :: String -> Prop a #
Pretty (Prop a) #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: Prop a -> Doc #

data UnaryAssignOp #

Unary assignment operators: see spec 11.3, 11.4.4, 11.4.5

Constructors

PrefixInc	++x
PrefixDec	--x
PostfixInc	x++
PostfixDec	x--

Instances

Eq UnaryAssignOp #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: UnaryAssignOp -> UnaryAssignOp -> Bool # (/=) :: UnaryAssignOp -> UnaryAssignOp -> Bool #
Data UnaryAssignOp #
Instance details Defined in Language.ECMAScript3.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UnaryAssignOp -> c UnaryAssignOp # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UnaryAssignOp # toConstr :: UnaryAssignOp -> Constr # dataTypeOf :: UnaryAssignOp -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UnaryAssignOp) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UnaryAssignOp) # gmapT :: (forall b. Data b => b -> b) -> UnaryAssignOp -> UnaryAssignOp # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UnaryAssignOp -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UnaryAssignOp -> r # gmapQ :: (forall d. Data d => d -> u) -> UnaryAssignOp -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> UnaryAssignOp -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> UnaryAssignOp -> m UnaryAssignOp # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UnaryAssignOp -> m UnaryAssignOp # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UnaryAssignOp -> m UnaryAssignOp #
Ord UnaryAssignOp #
Instance details Defined in Language.ECMAScript3.Syntax Methods compare :: UnaryAssignOp -> UnaryAssignOp -> Ordering # (<) :: UnaryAssignOp -> UnaryAssignOp -> Bool # (<=) :: UnaryAssignOp -> UnaryAssignOp -> Bool # (>) :: UnaryAssignOp -> UnaryAssignOp -> Bool # (>=) :: UnaryAssignOp -> UnaryAssignOp -> Bool # max :: UnaryAssignOp -> UnaryAssignOp -> UnaryAssignOp # min :: UnaryAssignOp -> UnaryAssignOp -> UnaryAssignOp #
Show UnaryAssignOp #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> UnaryAssignOp -> ShowS # show :: UnaryAssignOp -> String # showList :: [UnaryAssignOp] -> ShowS #

data LValue a #

Left-hand side expressions: see spec 11.2

Constructors

LVar a String	variable reference, `foo`
LDot a (Expression a) String	foo.bar
LBracket a (Expression a) (Expression a)	foo[bar]

Instances

Functor LValue #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> LValue a -> LValue b # (<$) :: a -> LValue b -> LValue a #
Foldable LValue #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => LValue m -> m # foldMap :: Monoid m => (a -> m) -> LValue a -> m # foldr :: (a -> b -> b) -> b -> LValue a -> b # foldr' :: (a -> b -> b) -> b -> LValue a -> b # foldl :: (b -> a -> b) -> b -> LValue a -> b # foldl' :: (b -> a -> b) -> b -> LValue a -> b # foldr1 :: (a -> a -> a) -> LValue a -> a # foldl1 :: (a -> a -> a) -> LValue a -> a # toList :: LValue a -> [a] # null :: LValue a -> Bool # length :: LValue a -> Int # elem :: Eq a => a -> LValue a -> Bool # maximum :: Ord a => LValue a -> a # minimum :: Ord a => LValue a -> a # sum :: Num a => LValue a -> a # product :: Num a => LValue a -> a #
Traversable LValue #
Instance details Defined in Language.ECMAScript3.Syntax Methods traverse :: Applicative f => (a -> f b) -> LValue a -> f (LValue b) # sequenceA :: Applicative f => LValue (f a) -> f (LValue a) # mapM :: Monad m => (a -> m b) -> LValue a -> m (LValue b) # sequence :: Monad m => LValue (m a) -> m (LValue a) #
HasAnnotation LValue #
Instance details Defined in Language.ECMAScript3.Syntax.Annotations Methods getAnnotation :: LValue b -> b # setAnnotation :: b -> LValue b -> LValue b #
Eq a => Eq (LValue a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: LValue a -> LValue a -> Bool # (/=) :: LValue a -> LValue a -> Bool #
Data a => Data (LValue a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LValue a -> c (LValue a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (LValue a) # toConstr :: LValue a -> Constr # dataTypeOf :: LValue a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (LValue a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (LValue a)) # gmapT :: (forall b. Data b => b -> b) -> LValue a -> LValue a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LValue a -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LValue a -> r # gmapQ :: (forall d. Data d => d -> u) -> LValue a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> LValue a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> LValue a -> m (LValue a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LValue a -> m (LValue a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LValue a -> m (LValue a) #
Ord a => Ord (LValue a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods compare :: LValue a -> LValue a -> Ordering # (<) :: LValue a -> LValue a -> Bool # (<=) :: LValue a -> LValue a -> Bool # (>) :: LValue a -> LValue a -> Bool # (>=) :: LValue a -> LValue a -> Bool # max :: LValue a -> LValue a -> LValue a # min :: LValue a -> LValue a -> LValue a #
Show a => Show (LValue a) #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> LValue a -> ShowS # show :: LValue a -> String # showList :: [LValue a] -> ShowS #
Default a => IsString (LValue a) #
Instance details Defined in Language.ECMAScript3.Syntax.CodeGen Methods fromString :: String -> LValue a #
Pretty (LValue a) #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: LValue a -> Doc #

data SourcePos #

The abstract data type SourcePos represents source positions. It contains the name of the source (i.e. file name), a line number and a column number. SourcePos is an instance of the Show, Eq and Ord class.

Instances

Eq SourcePos
Instance details Defined in Text.Parsec.Pos Methods (==) :: SourcePos -> SourcePos -> Bool # (/=) :: SourcePos -> SourcePos -> Bool #
Data SourcePos
Instance details Defined in Text.Parsec.Pos Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourcePos -> c SourcePos # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourcePos # toConstr :: SourcePos -> Constr # dataTypeOf :: SourcePos -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourcePos) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourcePos) # gmapT :: (forall b. Data b => b -> b) -> SourcePos -> SourcePos # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourcePos -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourcePos -> r # gmapQ :: (forall d. Data d => d -> u) -> SourcePos -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SourcePos -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourcePos -> m SourcePos #
Ord SourcePos
Instance details Defined in Text.Parsec.Pos Methods compare :: SourcePos -> SourcePos -> Ordering # (<) :: SourcePos -> SourcePos -> Bool # (<=) :: SourcePos -> SourcePos -> Bool # (>) :: SourcePos -> SourcePos -> Bool # (>=) :: SourcePos -> SourcePos -> Bool # max :: SourcePos -> SourcePos -> SourcePos # min :: SourcePos -> SourcePos -> SourcePos #
Show SourcePos
Instance details Defined in Text.Parsec.Pos Methods showsPrec :: Int -> SourcePos -> ShowS # show :: SourcePos -> String # showList :: [SourcePos] -> ShowS #
Default SourcePos #
Instance details Defined in Language.ECMAScript3.Syntax Methods def :: SourcePos #

isValid :: forall a. (Data a, Typeable a) => JavaScript a -> Bool #

The ECMAScript standard defines certain syntactic restrictions on programs (or, more precisely, statements) that aren't easily enforced in the AST datatype. These restrictions have to do with labeled statements and break/continue statement, as well as identifier names. Thus, it is possible to manually generate AST's that correspond to syntactically incorrect programs. Use this predicate to check if an JavaScript AST corresponds to a syntactically correct ECMAScript program.

isValidIdentifier :: Id a -> Bool #

Checks if an identifier name is valid according to the spec

isValidIdentifierName :: String -> Bool #

Checks if the String represents a valid identifier name

isReservedWord :: String -> Bool #

Checks if a string is in the list of reserved ECMAScript words

isValidIdStart :: Char -> Bool #

Checks if a character is valid at the start of an identifier

isValidIdPart :: Char -> Bool #

Checks if a character is valid in an identifier part

data EnclosingStatement #

Constructors

EnclosingIter [Label]	The enclosing statement is an iteration statement
EnclosingSwitch [Label]	The enclosing statement is a switch statement
EnclosingOther [Label]	The enclosing statement is some other statement. Note, `EnclosingOther` is never pushed if the current `labelSet` is empty, so the list of labels in this constructor should always be non-empty

Instances

Show EnclosingStatement #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> EnclosingStatement -> ShowS # show :: EnclosingStatement -> String # showList :: [EnclosingStatement] -> ShowS #
HasLabelSet EnclosingStatement #
Instance details Defined in Language.ECMAScript3.Syntax Methods getLabelSet :: EnclosingStatement -> [Label] # setLabelSet :: [Label] -> EnclosingStatement -> EnclosingStatement #

pushLabel :: Monad m => Id b -> StateT ([Label], [EnclosingStatement]) m a -> StateT ([Label], [EnclosingStatement]) m a #

pushEnclosing :: Monad m => ([Label] -> EnclosingStatement) -> StateT ([Label], [EnclosingStatement]) m a -> StateT ([Label], [EnclosingStatement]) m a #

class HasLabelSet a where #

Methods

getLabelSet :: a -> [Label] #

setLabelSet :: [Label] -> a -> a #

Instances

HasLabelSet EnclosingStatement #
Instance details Defined in Language.ECMAScript3.Syntax Methods getLabelSet :: EnclosingStatement -> [Label] # setLabelSet :: [Label] -> EnclosingStatement -> EnclosingStatement #

isIter :: EnclosingStatement -> Bool #

isIterSwitch :: EnclosingStatement -> Bool #

Orphan instances

Default SourcePos #
Instance details Methods def :: SourcePos #