Moduleghc-10.0.0.20260917GHC2024

GHC.JS.Syntax

Domain and Purpose
GHC.JS.Syntax defines the Syntax for the JS backend in GHC. It comports with the ECMA-262 although not every production rule of the standard is represented. Code in this module is a fork of JMacro (BSD 3 Clause) by Gershom Bazerman, heavily modified to accomodate GHC's constraints.
Strategy
Nothing fancy in this module, this is a classic deeply embedded AST for JS. We define numerous ADTs and pattern synonyms to make pattern matching and constructing ASTs easier.
Consumers
The entire JS backend consumes this module, e.g., the modules in GHC.StgToJS.*. Please see GHC.JS.Make for a module which provides helper functions that use the deeply embedded DSL defined in this module to provide some of the benefits of a shallow embedding.

Contents

Deeply embedded JS datatypes
pattern synonyms over JS operators
Utility

Synopsis

data JStat
data JExpr
data JVal
data Op
data UOp
data AOp
newtype Ident
type JLabel
pattern New
pattern Not
pattern Negate
pattern Add
pattern Sub
pattern Mul
pattern Div
pattern Mod
pattern BOr
pattern BAnd
pattern BXor
pattern BNot
pattern LOr
pattern LAnd
pattern Int
pattern String
pattern Var
pattern PreInc
pattern PostInc
pattern PreDec
pattern PostDec
newtype SaneDouble
value var
value true_
value false_

Packageghc-10.0.0.20260917
Exports33
LanguageGHC2024
LicenceBSD-3-Clause
SourceSyntax.hs

Deeply embedded JS datatypes

datadata JStat

Source#

JavaScript statements, see the ECMA262 Reference for details

Constructors

DeclStat !Ident !(Maybe JExpr)
Variable declarations: var foo [= e]
ReturnStat JExpr
Return
IfStat JExpr JStat JStat
If
WhileStat Bool JExpr JStat
While, bool is "do" when True
ForStat JStat JExpr JStat JStat
For
ForInStat Bool Ident JExpr JStat
For-in, bool is "each' when True
SwitchStat JExpr [(JExpr, JStat)] JStat
Switch
TryStat JStat Ident JStat JStat
Try
BlockStat [JStat]
Blocks
ApplStat JExpr [JExpr]
Application
UOpStat UOp JExpr
Unary operators
AssignStat JExpr AOp JExpr
Binding form: foo op bar
LabelStat JLabel JStat
Statement Labels, makes me nostalgic for qbasic
BreakStat (Maybe JLabel)
Break
ContinueStat (Maybe JLabel)
Continue
FuncStat !Ident [Ident] JStat
an explicit function definition

Instances8Eq, Generic, Semigroup, Monoid, Binary, JsToDoc, …

Eq JStatDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Generic JStatDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Semigroup JStatDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Monoid JStatDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Binary JStatDefined in ghc-10.0.0.20260917 · GHC.StgToJS.Object · orphan
JsToDoc JStatDefined in ghc-10.0.0.20260917 · GHC.JS.Ppr
JsToDoc [JStat]Defined in ghc-10.0.0.20260917 · GHC.JS.Ppr
type Rep JStat = D1 ('MetaData "JStat" "GHC.JS.Syntax" "ghc-10.0.0.20260917-c91b" 'False) ((((C1 ('MetaCons "DeclStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ident) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe JExpr))) :+: C1 ('MetaCons "ReturnStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr))) :+: (C1 ('MetaCons "IfStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat))) :+: C1 ('MetaCons "WhileStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat))))) :+: ((C1 ('MetaCons "ForStat" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat))) :+: C1 ('MetaCons "ForInStat" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat)))) :+: (C1 ('MetaCons "SwitchStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(JExpr, JStat)]) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat))) :+: C1 ('MetaCons "TryStat" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat)))))) :+: (((C1 ('MetaCons "BlockStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [JStat])) :+: C1 ('MetaCons "ApplStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [JExpr]))) :+: (C1 ('MetaCons "UOpStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UOp) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr)) :+: C1 ('MetaCons "AssignStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AOp) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr))))) :+: ((C1 ('MetaCons "LabelStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JLabel) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat)) :+: C1 ('MetaCons "BreakStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe JLabel)))) :+: (C1 ('MetaCons "ContinueStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe JLabel))) :+: C1 ('MetaCons "FuncStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ident) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Ident]) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat)))))))Defined in ghc-10.0.0.20260917 · GHC.JS.Syntax

datadata JExpr

Source#

JavaScript Expressions

Constructors

ValExpr JVal
All values are trivially expressions
SelExpr JExpr Ident
Selection: Obj.foo, see .^
IdxExpr JExpr JExpr
Indexing: Obj[foo], see .!
InfixExpr Op JExpr JExpr
Infix Expressions, see JExpr pattern synonyms
UOpExpr UOp JExpr
Unary Expressions
IfExpr JExpr JExpr JExpr
If-expression
ApplExpr JExpr [JExpr]
Application

Instances7Eq, Generic, Outputable, Binary, JsToDoc, Rep, …

Eq JExprDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Generic JExprDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Outputable JExprDefined in ghc-10.0.0.20260917 · GHC.JS.Ppr · orphan
Binary JExprDefined in ghc-10.0.0.20260917 · GHC.StgToJS.Object · orphan
JsToDoc JExprDefined in ghc-10.0.0.20260917 · GHC.JS.Ppr
JsToDoc [JExpr]Defined in ghc-10.0.0.20260917 · GHC.JS.Ppr
type Rep JExpr = D1 ('MetaData "JExpr" "GHC.JS.Syntax" "ghc-10.0.0.20260917-c91b" 'False) ((C1 ('MetaCons "ValExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JVal)) :+: (C1 ('MetaCons "SelExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: C1 ('MetaCons "IdxExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr)))) :+: ((C1 ('MetaCons "InfixExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Op) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr))) :+: C1 ('MetaCons "UOpExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UOp) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr))) :+: (C1 ('MetaCons "IfExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr))) :+: C1 ('MetaCons "ApplExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [JExpr])))))Defined in ghc-10.0.0.20260917 · GHC.JS.Syntax

datadata JVal

Source#

JavaScript values

Constructors

JVar Ident
A variable reference
JList [JExpr]
A JavaScript list, or what JS calls an Array
JDouble SaneDouble
A Double
JInt Integer
A BigInt
JStr FastString
A String
JRegEx FastString
A Regex
JBool Bool
A Boolean
JHash (UniqMap FastString JExpr)
A JS HashMap: {"foo": 0}
JFunc [Ident] JStat
A function

Instances6Eq, Generic, Outputable, Binary, JsToDoc, Rep

Eq JValDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Generic JValDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Outputable JValDefined in ghc-10.0.0.20260917 · GHC.JS.Ppr · orphan
Binary JValDefined in ghc-10.0.0.20260917 · GHC.StgToJS.Object · orphan
JsToDoc JValDefined in ghc-10.0.0.20260917 · GHC.JS.Ppr
type Rep JVal = D1 ('MetaData "JVal" "GHC.JS.Syntax" "ghc-10.0.0.20260917-c91b" 'False) (((C1 ('MetaCons "JVar" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: C1 ('MetaCons "JList" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [JExpr]))) :+: (C1 ('MetaCons "JDouble" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SaneDouble)) :+: C1 ('MetaCons "JInt" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))) :+: ((C1 ('MetaCons "JStr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FastString)) :+: C1 ('MetaCons "JRegEx" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FastString))) :+: (C1 ('MetaCons "JBool" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: (C1 ('MetaCons "JHash" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UniqMap FastString JExpr))) :+: C1 ('MetaCons "JFunc" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Ident]) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat))))))Defined in ghc-10.0.0.20260917 · GHC.JS.Syntax

datadata Op

Source#

JS Binary Operators. We do not deeply embed the comma operator and the assignment operators

Constructors

EqOp
Equality: ==
StrictEqOp
Strict Equality: ===
NeqOp
InEquality: !=
StrictNeqOp
Strict InEquality !==
GtOp
Greater Than: >
GeOp
Greater Than or Equal: >=
LtOp
Less Than: <
LeOp
Less Than or Equal: <=
AddOp
Addition: +
SubOp
Subtraction: -
MulOp
Multiplication *
DivOp
Division: /
ModOp
Remainder: %
LeftShiftOp
Left Shift: <<
RightShiftOp
Right Shift: >>
ZRightShiftOp
Unsigned RightShift: >>>
BAndOp
Bitwise And: &
BOrOp
Bitwise Or: |
BXorOp
Bitwise XOr: ^
LAndOp
Logical And: &&
LOrOp
Logical Or: ||
InstanceofOp
```
instanceof
```
InOp
```
in
```

Instances9Enum, Eq, Data, Ord, Show, Generic, …

Enum OpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Eq OpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Data OpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Ord OpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Show OpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Generic OpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
NFData OpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Binary OpDefined in ghc-10.0.0.20260917 · GHC.StgToJS.Object · orphan
type Rep Op = D1 ('MetaData "Op" "GHC.JS.Syntax" "ghc-10.0.0.20260917-c91b" 'False) ((((C1 ('MetaCons "EqOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "StrictEqOp" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "NeqOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "StrictNeqOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "GtOp" 'PrefixI 'False) U1))) :+: ((C1 ('MetaCons "GeOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "LtOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "LeOp" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "AddOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "SubOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "MulOp" 'PrefixI 'False) U1)))) :+: (((C1 ('MetaCons "DivOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "ModOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "LeftShiftOp" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "RightShiftOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "ZRightShiftOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "BAndOp" 'PrefixI 'False) U1))) :+: ((C1 ('MetaCons "BOrOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "BXorOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "LAndOp" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "LOrOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "InstanceofOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "InOp" 'PrefixI 'False) U1)))))Defined in ghc-10.0.0.20260917 · GHC.JS.Syntax

datadata UOp

Source#

JS Unary Operators

Constructors

NotOp
Logical Not: !
BNotOp
Bitwise Not: ~
NegOp
Negation: -
PlusOp
Unary Plus: +x
NewOp
new x
TypeofOp
typeof x
DeleteOp
delete x
YieldOp
yield x
VoidOp
void x
PreIncOp
Prefix Increment: ++x
PostIncOp
Postfix Increment: x++
PreDecOp
Prefix Decrement: --x
PostDecOp
Postfix Decrement: x--

Instances9Enum, Eq, Data, Ord, Show, Generic, …

Enum UOpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Eq UOpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Data UOpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Ord UOpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Show UOpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Generic UOpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
NFData UOpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Binary UOpDefined in ghc-10.0.0.20260917 · GHC.StgToJS.Object · orphan
type Rep UOp = D1 ('MetaData "UOp" "GHC.JS.Syntax" "ghc-10.0.0.20260917-c91b" 'False) (((C1 ('MetaCons "NotOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "BNotOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "NegOp" 'PrefixI 'False) U1)) :+: (C1 ('MetaCons "PlusOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "NewOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "TypeofOp" 'PrefixI 'False) U1))) :+: ((C1 ('MetaCons "DeleteOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "YieldOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "VoidOp" 'PrefixI 'False) U1)) :+: ((C1 ('MetaCons "PreIncOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PostIncOp" 'PrefixI 'False) U1) :+: (C1 ('MetaCons "PreDecOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "PostDecOp" 'PrefixI 'False) U1))))Defined in ghc-10.0.0.20260917 · GHC.JS.Syntax

datadata AOp

Source#

JS Unary Operators

Constructors

AssignOp
Vanilla Assignment: =
AddAssignOp
Addition Assignment: +=
SubAssignOp
Subtraction Assignment: -=

Instances9Enum, Eq, Data, Ord, Show, Generic, …

Enum AOpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Eq AOpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Data AOpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Ord AOpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Show AOpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Generic AOpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
NFData AOpDefined in ghc-10.0.0.20260917 · GHC.JS.Syntax
Binary AOpDefined in ghc-10.0.0.20260917 · GHC.StgToJS.Object · orphan
type Rep AOp = D1 ('MetaData "AOp" "GHC.JS.Syntax" "ghc-10.0.0.20260917-c91b" 'False) (C1 ('MetaCons "AssignOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "AddAssignOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "SubAssignOp" 'PrefixI 'False) U1))Defined in ghc-10.0.0.20260917 · GHC.JS.Syntax

newtypenewtype Ident

Source#

A newtype wrapper around FastString for JS identifiers.

Constructors

TxtI
- identFS :: FastString

Instances8Eq, Show, Outputable, Uniquable, Binary, JVarMagic, …

Eq IdentDefined in ghc-10.0.0.20260917 · GHC.JS.Ident
Show IdentDefined in ghc-10.0.0.20260917 · GHC.JS.Ident
Outputable IdentDefined in ghc-10.0.0.20260917 · GHC.JS.Ident
Uniquable IdentDefined in ghc-10.0.0.20260917 · GHC.JS.Ident
Binary IdentDefined in ghc-10.0.0.20260917 · GHC.StgToJS.Object · orphan
JVarMagic IdentDefined in ghc-10.0.0.20260917 · GHC.JS.Make
ToJExpr IdentDefined in ghc-10.0.0.20260917 · GHC.JS.Make
JsToDoc IdentDefined in ghc-10.0.0.20260917 · GHC.JS.Ppr

typetype JLabel = LexicalFastString

Source#

A Label used for JStat, specifically BreakStat, ContinueStat and of course LabelStat

pattern synonyms over JS operators

patternpattern New :: JExpr -> JExpr

Source#

pattern synonym for a unary operator new

patternpattern Not :: JExpr -> JExpr

Source#

pattern synonym for logical not !

patternpattern Negate :: JExpr -> JExpr

Source#

pattern synonym for unary negation -

patternpattern Add :: JExpr -> JExpr -> JExpr

Source#

pattern synonym for addition +

patternpattern Sub :: JExpr -> JExpr -> JExpr

Source#

pattern synonym for subtraction -

patternpattern Mul :: JExpr -> JExpr -> JExpr

Source#

pattern synonym for multiplication *

patternpattern Div :: JExpr -> JExpr -> JExpr

Source#

pattern synonym for division *

patternpattern Mod :: JExpr -> JExpr -> JExpr

Source#

pattern synonym for remainder %

patternpattern BOr :: JExpr -> JExpr -> JExpr

Source#

pattern synonym for Bitwise Or |

patternpattern BAnd :: JExpr -> JExpr -> JExpr

Source#

pattern synonym for Bitwise And &

patternpattern BXor :: JExpr -> JExpr -> JExpr

Source#

pattern synonym for Bitwise XOr ^

patternpattern BNot :: JExpr -> JExpr

Source#

pattern synonym for Bitwise Not ~

patternpattern LOr :: JExpr -> JExpr -> JExpr

Source#

pattern synonym for logical Or ||

patternpattern LAnd :: JExpr -> JExpr -> JExpr

Source#

pattern synonym for logical And &&

patternpattern Int :: Integer -> JExpr

Source#

pattern synonym to create integer values

patternpattern String :: FastString -> JExpr

Source#

pattern synonym to create string values

patternpattern Var :: Ident -> JExpr

Source#

pattern synonym to create a local variable reference

patternpattern PreInc :: JExpr -> JExpr

Source#

pattern synonym for prefix increment ++x

patternpattern PostInc :: JExpr -> JExpr

Source#

pattern synonym for postfix increment x++

patternpattern PreDec :: JExpr -> JExpr

Source#

pattern synonym for prefix decrement --x

patternpattern PostDec :: JExpr -> JExpr

Source#

pattern synonym for postfix decrement --x

Utility

newtypenewtype SaneDouble

Source#

A newtype wrapper around Double to ensure we never generate a Double that becomes a NaN, see instances for details on sanity.

Constructors

SaneDouble
- unSaneDouble :: Double

Instances6Eq, Fractional, Num, Ord, Show, Binary

Eq SaneDoubleDefined in ghc-10.0.0.20260917 · GHC.Types.SaneDouble
Fractional SaneDoubleDefined in ghc-10.0.0.20260917 · GHC.Types.SaneDouble
Num SaneDoubleDefined in ghc-10.0.0.20260917 · GHC.Types.SaneDouble
Ord SaneDoubleDefined in ghc-10.0.0.20260917 · GHC.Types.SaneDouble
Show SaneDoubleDefined in ghc-10.0.0.20260917 · GHC.Types.SaneDouble
Binary SaneDoubleDefined in ghc-10.0.0.20260917 · GHC.Types.SaneDouble

valuevar :: FastString -> JExpr

Source#

construct a JS variable reference

valuetrue_ :: JExpr

Source#

The JS literal true

valuefalse_ :: JExpr

Source#

The JS literal false