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 :: (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 :: forall (m :: Type -> Type) b a. Monad m => Id b -> StateT ([Label], [EnclosingStatement]) m a -> StateT ([Label], [EnclosingStatement]) m a
pushEnclosing :: forall (m :: Type -> Type) a. 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 Source #

Constructors

Script a [Statement a]

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

Instances

Instances details

Functor JavaScript Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> JavaScript a -> JavaScript b (<$) :: a -> JavaScript b -> JavaScript a
Foldable JavaScript Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => JavaScript m -> m foldMap :: Monoid m => (a -> m) -> JavaScript a -> 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 Source #
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)
Default a => Default (JavaScript a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods def :: JavaScript a
Data a => Data (JavaScript a) Source #
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 :: forall r r'. (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)
Show a => Show (JavaScript a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> JavaScript a -> ShowS show :: JavaScript a -> String showList :: [JavaScript a] -> ShowS
Eq a => Eq (JavaScript a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: JavaScript a -> JavaScript a -> Bool (/=) :: JavaScript a -> JavaScript a -> Bool
Ord a => Ord (JavaScript a) Source #
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
Pretty (JavaScript a) Source #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: JavaScript a -> Doc Source #

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

extracts statements from a JavaScript type

data Statement a Source #

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

Instances details

Functor Statement Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> Statement a -> Statement b (<$) :: a -> Statement b -> Statement a
Foldable Statement Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => Statement m -> m foldMap :: Monoid m => (a -> m) -> Statement a -> 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 Source #
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 Source #
Instance details Defined in Language.ECMAScript3.Syntax.Annotations Methods getAnnotation :: Statement b -> b Source # setAnnotation :: b -> Statement b -> Statement b Source #
Data a => Data (Statement a) Source #
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 :: forall r r'. (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)
Show a => Show (Statement a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> Statement a -> ShowS show :: Statement a -> String showList :: [Statement a] -> ShowS
Eq a => Eq (Statement a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: Statement a -> Statement a -> Bool (/=) :: Statement a -> Statement a -> Bool
Ord a => Ord (Statement a) Source #
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
Pretty (Statement a) Source #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: Statement a -> Doc Source #
Pretty [Statement a] Source #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: [Statement a] -> Doc Source #

isIterationStmt :: Statement a -> Bool Source #

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

data CaseClause a Source #

Case clauses, spec 12.11

Constructors

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

Instances

Instances details

Functor CaseClause Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> CaseClause a -> CaseClause b (<$) :: a -> CaseClause b -> CaseClause a
Foldable CaseClause Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => CaseClause m -> m foldMap :: Monoid m => (a -> m) -> CaseClause a -> 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 Source #
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 Source #
Instance details Defined in Language.ECMAScript3.Syntax.Annotations Methods getAnnotation :: CaseClause b -> b Source # setAnnotation :: b -> CaseClause b -> CaseClause b Source #
Data a => Data (CaseClause a) Source #
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 :: forall r r'. (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)
Show a => Show (CaseClause a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> CaseClause a -> ShowS show :: CaseClause a -> String showList :: [CaseClause a] -> ShowS
Eq a => Eq (CaseClause a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: CaseClause a -> CaseClause a -> Bool (/=) :: CaseClause a -> CaseClause a -> Bool
Ord a => Ord (CaseClause a) Source #
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
Pretty (CaseClause a) Source #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: CaseClause a -> Doc Source #

data CatchClause a Source #

Catch clause, spec 12.14

Constructors

CatchClause a (Id a) (Statement a)

catch (x) {...}

Instances

Instances details

Functor CatchClause Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> CatchClause a -> CatchClause b (<$) :: a -> CatchClause b -> CatchClause a
Foldable CatchClause Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => CatchClause m -> m foldMap :: Monoid m => (a -> m) -> CatchClause a -> 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 Source #
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 Source #
Instance details Defined in Language.ECMAScript3.Syntax.Annotations Methods getAnnotation :: CatchClause b -> b Source # setAnnotation :: b -> CatchClause b -> CatchClause b Source #
Data a => Data (CatchClause a) Source #
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 :: forall r r'. (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)
Show a => Show (CatchClause a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> CatchClause a -> ShowS show :: CatchClause a -> String showList :: [CatchClause a] -> ShowS
Eq a => Eq (CatchClause a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: CatchClause a -> CatchClause a -> Bool (/=) :: CatchClause a -> CatchClause a -> Bool
Ord a => Ord (CatchClause a) Source #
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
Pretty (CatchClause a) Source #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: CatchClause a -> Doc Source #

data ForInit a Source #

for initializer, spec 12.6

Constructors

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

Instances

Instances details

Functor ForInit Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> ForInit a -> ForInit b (<$) :: a -> ForInit b -> ForInit a
Foldable ForInit Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => ForInit m -> m foldMap :: Monoid m => (a -> m) -> ForInit a -> 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 Source #
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)
Data a => Data (ForInit a) Source #
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 :: forall r r'. (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)
Show a => Show (ForInit a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> ForInit a -> ShowS show :: ForInit a -> String showList :: [ForInit a] -> ShowS
Eq a => Eq (ForInit a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: ForInit a -> ForInit a -> Bool (/=) :: ForInit a -> ForInit a -> Bool
Ord a => Ord (ForInit a) Source #
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
Pretty (ForInit a) Source #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: ForInit a -> Doc Source #

data ForInInit a Source #

for..in initializer, spec 12.6

Constructors

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

Instances

Instances details

Functor ForInInit Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> ForInInit a -> ForInInit b (<$) :: a -> ForInInit b -> ForInInit a
Foldable ForInInit Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => ForInInit m -> m foldMap :: Monoid m => (a -> m) -> ForInInit a -> 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 Source #
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)
Data a => Data (ForInInit a) Source #
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 :: forall r r'. (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)
Show a => Show (ForInInit a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> ForInInit a -> ShowS show :: ForInInit a -> String showList :: [ForInInit a] -> ShowS
Eq a => Eq (ForInInit a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: ForInInit a -> ForInInit a -> Bool (/=) :: ForInInit a -> ForInInit a -> Bool
Ord a => Ord (ForInInit a) Source #
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
Pretty (ForInInit a) Source #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: ForInInit a -> Doc Source #

data VarDecl a Source #

A variable declaration, spec 12.2

Constructors

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

var x = e;

Instances

Instances details

Functor VarDecl Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> VarDecl a -> VarDecl b (<$) :: a -> VarDecl b -> VarDecl a
Foldable VarDecl Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => VarDecl m -> m foldMap :: Monoid m => (a -> m) -> VarDecl a -> 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 Source #
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 Source #
Instance details Defined in Language.ECMAScript3.Syntax.Annotations Methods getAnnotation :: VarDecl b -> b Source # setAnnotation :: b -> VarDecl b -> VarDecl b Source #
Data a => Data (VarDecl a) Source #
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 :: forall r r'. (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)
Show a => Show (VarDecl a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> VarDecl a -> ShowS show :: VarDecl a -> String showList :: [VarDecl a] -> ShowS
Eq a => Eq (VarDecl a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: VarDecl a -> VarDecl a -> Bool (/=) :: VarDecl a -> VarDecl a -> Bool
Ord a => Ord (VarDecl a) Source #
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
Pretty (VarDecl a) Source #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: VarDecl a -> Doc Source #

data Expression a Source #

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

Instances details

Functor Expression Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> Expression a -> Expression b (<$) :: a -> Expression b -> Expression a
Foldable Expression Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => Expression m -> m foldMap :: Monoid m => (a -> m) -> Expression a -> 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 Source #
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 Source #
Instance details Defined in Language.ECMAScript3.Syntax.Annotations Methods getAnnotation :: Expression b -> b Source # setAnnotation :: b -> Expression b -> Expression b Source #
Data a => Data (Expression a) Source #
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 :: forall r r'. (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)
Default a => IsString (Expression a)
Instance details Defined in Language.ECMAScript3.Syntax.CodeGen Methods fromString :: String -> Expression a
Show a => Show (Expression a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> Expression a -> ShowS show :: Expression a -> String showList :: [Expression a] -> ShowS
Eq a => Eq (Expression a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: Expression a -> Expression a -> Bool (/=) :: Expression a -> Expression a -> Bool
Ord a => Ord (Expression a) Source #
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
Pretty (Expression a) Source #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: Expression a -> Doc Source #

data InfixOp Source #

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

Instances details

Data InfixOp Source #
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 :: forall r r'. (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
Enum InfixOp Source #
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]
Show InfixOp Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> InfixOp -> ShowS show :: InfixOp -> String showList :: [InfixOp] -> ShowS
Eq InfixOp Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: InfixOp -> InfixOp -> Bool (/=) :: InfixOp -> InfixOp -> Bool
Ord InfixOp Source #
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
Pretty InfixOp Source #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: InfixOp -> Doc Source #

data AssignOp Source #

Assignment operators: see spec 11.13

Constructors

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

Instances

Instances details

Data AssignOp Source #
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 :: forall r r'. (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
Show AssignOp Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> AssignOp -> ShowS show :: AssignOp -> String showList :: [AssignOp] -> ShowS
Eq AssignOp Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: AssignOp -> AssignOp -> Bool (/=) :: AssignOp -> AssignOp -> Bool
Ord AssignOp Source #
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
Pretty AssignOp Source #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: AssignOp -> Doc Source #

data Id a Source #

Constructors

Id a String

Instances

Instances details

Functor Id Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> Id a -> Id b (<$) :: a -> Id b -> Id a
Foldable Id Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => Id m -> m foldMap :: Monoid m => (a -> m) -> Id a -> 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 Source #
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 Source #
Instance details Defined in Language.ECMAScript3.Syntax.Annotations Methods getAnnotation :: Id b -> b Source # setAnnotation :: b -> Id b -> Id b Source #
Data a => Data (Id a) Source #
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 :: forall r r'. (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)
Default a => IsString (Id a)
Instance details Defined in Language.ECMAScript3.Syntax.CodeGen Methods fromString :: String -> Id a
Show a => Show (Id a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> Id a -> ShowS show :: Id a -> String showList :: [Id a] -> ShowS
Eq a => Eq (Id a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: Id a -> Id a -> Bool (/=) :: Id a -> Id a -> Bool
Ord a => Ord (Id a) Source #
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
Pretty (Id a) Source #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: Id a -> Doc Source #

unId :: Id a -> String Source #

data PrefixOp Source #

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

Instances details

Data PrefixOp Source #
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 :: forall r r'. (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
Show PrefixOp Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> PrefixOp -> ShowS show :: PrefixOp -> String showList :: [PrefixOp] -> ShowS
Eq PrefixOp Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: PrefixOp -> PrefixOp -> Bool (/=) :: PrefixOp -> PrefixOp -> Bool
Ord PrefixOp Source #
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
Pretty PrefixOp Source #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: PrefixOp -> Doc Source #

data Prop a Source #

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

Instances details

Functor Prop Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> Prop a -> Prop b (<$) :: a -> Prop b -> Prop a
Foldable Prop Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => Prop m -> m foldMap :: Monoid m => (a -> m) -> Prop a -> 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 Source #
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 Source #
Instance details Defined in Language.ECMAScript3.Syntax.Annotations Methods getAnnotation :: Prop b -> b Source # setAnnotation :: b -> Prop b -> Prop b Source #
Data a => Data (Prop a) Source #
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 :: forall r r'. (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)
Default a => IsString (Prop a)
Instance details Defined in Language.ECMAScript3.Syntax.CodeGen Methods fromString :: String -> Prop a
Show a => Show (Prop a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> Prop a -> ShowS show :: Prop a -> String showList :: [Prop a] -> ShowS
Eq a => Eq (Prop a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: Prop a -> Prop a -> Bool (/=) :: Prop a -> Prop a -> Bool
Ord a => Ord (Prop a) Source #
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
Pretty (Prop a) Source #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: Prop a -> Doc Source #

data UnaryAssignOp Source #

Unary assignment operators: see spec 11.3, 11.4.4, 11.4.5

Constructors

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

Instances

Instances details

Data UnaryAssignOp Source #
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 :: forall r r'. (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
Show UnaryAssignOp Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> UnaryAssignOp -> ShowS show :: UnaryAssignOp -> String showList :: [UnaryAssignOp] -> ShowS
Eq UnaryAssignOp Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: UnaryAssignOp -> UnaryAssignOp -> Bool (/=) :: UnaryAssignOp -> UnaryAssignOp -> Bool
Ord UnaryAssignOp Source #
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

data LValue a Source #

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

Instances details

Functor LValue Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fmap :: (a -> b) -> LValue a -> LValue b (<$) :: a -> LValue b -> LValue a
Foldable LValue Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods fold :: Monoid m => LValue m -> m foldMap :: Monoid m => (a -> m) -> LValue a -> 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 Source #
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 Source #
Instance details Defined in Language.ECMAScript3.Syntax.Annotations Methods getAnnotation :: LValue b -> b Source # setAnnotation :: b -> LValue b -> LValue b Source #
Data a => Data (LValue a) Source #
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 :: forall r r'. (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)
Default a => IsString (LValue a)
Instance details Defined in Language.ECMAScript3.Syntax.CodeGen Methods fromString :: String -> LValue a
Show a => Show (LValue a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods showsPrec :: Int -> LValue a -> ShowS show :: LValue a -> String showList :: [LValue a] -> ShowS
Eq a => Eq (LValue a) Source #
Instance details Defined in Language.ECMAScript3.Syntax Methods (==) :: LValue a -> LValue a -> Bool (/=) :: LValue a -> LValue a -> Bool
Ord a => Ord (LValue a) Source #
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
Pretty (LValue a) Source #
Instance details Defined in Language.ECMAScript3.PrettyPrint Methods prettyPrint :: LValue a -> Doc Source #

data SourcePos #

Instances

Instances details

Default SourcePos
Instance details Defined in Language.ECMAScript3.Syntax Methods def :: SourcePos
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 :: forall r r'. (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
Show SourcePos
Instance details Defined in Text.Parsec.Pos Methods showsPrec :: Int -> SourcePos -> ShowS show :: SourcePos -> String showList :: [SourcePos] -> ShowS
Eq SourcePos
Instance details Defined in Text.Parsec.Pos Methods (==) :: SourcePos -> SourcePos -> Bool (/=) :: SourcePos -> SourcePos -> Bool
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

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

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 Source #

Checks if an identifier name is valid according to the spec

isValidIdentifierName :: String -> Bool Source #

Checks if the String represents a valid identifier name

isReservedWord :: String -> Bool Source #

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

isValidIdStart :: Char -> Bool Source #

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

isValidIdPart :: Char -> Bool Source #

Checks if a character is valid in an identifier part

data EnclosingStatement Source #

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

Instances details

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

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

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

class HasLabelSet a where Source #

Methods

getLabelSet :: a -> [Label] Source #

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

Instances

Instances details

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

isIter :: EnclosingStatement -> Bool Source #

isIterSwitch :: EnclosingStatement -> Bool Source #

Orphan instances

Default SourcePos Source #
Instance details Methods def :: SourcePos