Moduleghc-10.0.0.20260917GHC2024

GHC.JS.JStg.Syntax

Domain and Purpose
GHC.JS.JStg.Syntax defines the eDSL that the JS backend's runtime system is written in. Nothing fancy, its just a straightforward deeply embedded DSL.
In general, one should not use these constructors explicitly in the JS backend. Instead, prefer using the combinators in GHC.JS.Make, if those are suitable then prefer using the patterns exported from this module

8 types
2 values

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

Deeply embedded JS datatypes

7 declarations

datadata JStgStat

JavaScript statements, see the ECMA262 Reference for details

Constructors

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

Instances7Eq, Generic, Semigroup, Monoid, ToStat, Rep, …

Eq JStgStatDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Generic JStgStatDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Semigroup JStgStatDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Monoid JStgStatDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
ToStat JStgStatDefined in ghc-10.0.0.20260917 · GHC.JS.Make
ToStat [JStgStat]Defined in ghc-10.0.0.20260917 · GHC.JS.Make
type Rep JStgStat = D1 ('MetaData "JStgStat" "GHC.JS.JStg.Syntax" "ghc-10.0.0.20260917-8308" 'False) ((((C1 ('MetaCons "DeclStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ident) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe JStgExpr))) :+: C1 ('MetaCons "ReturnStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr))) :+: (C1 ('MetaCons "IfStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgStat) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgStat))) :+: C1 ('MetaCons "WhileStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgStat))))) :+: ((C1 ('MetaCons "ForStat" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgStat) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgStat) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgStat))) :+: 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 JStgExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgStat)))) :+: (C1 ('MetaCons "SwitchStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(JStgExpr, JStgStat)]) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgStat))) :+: C1 ('MetaCons "TryStat" 'PrefixI 'False) ((S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgStat) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgStat) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgStat)))))) :+: (((C1 ('MetaCons "BlockStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [JStgStat])) :+: C1 ('MetaCons "ApplStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [JStgExpr]))) :+: (C1 ('MetaCons "UOpStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UOp) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr)) :+: C1 ('MetaCons "AssignStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AOp) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr))))) :+: ((C1 ('MetaCons "LabelStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JsLabel) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgStat)) :+: C1 ('MetaCons "BreakStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe JsLabel)))) :+: (C1 ('MetaCons "ContinueStat" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe JsLabel))) :+: 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 JStgStat)))))))Defined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax

datadata JStgExpr

JavaScript Expressions

Constructors

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

Instances10Eq, Fractional, Num, Generic, Outputable, JVarMagic, …

Eq JStgExprDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Fractional JStgExprDefined in ghc-10.0.0.20260917 · GHC.JS.Make · orphan
Num JStgExprDefined in ghc-10.0.0.20260917 · GHC.JS.Make · orphan
Generic JStgExprDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Outputable JStgExprDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
JVarMagic JStgExprDefined in ghc-10.0.0.20260917 · GHC.JS.Make
ToJExpr JStgExprDefined in ghc-10.0.0.20260917 · GHC.JS.Make
ToStat JStgExprDefined in ghc-10.0.0.20260917 · GHC.JS.Make
ToStat [JStgExpr]Defined in ghc-10.0.0.20260917 · GHC.JS.Make
type Rep JStgExpr = D1 ('MetaData "JStgExpr" "GHC.JS.JStg.Syntax" "ghc-10.0.0.20260917-8308" '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 JStgExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: C1 ('MetaCons "IdxExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr)))) :+: ((C1 ('MetaCons "InfixExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Op) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr))) :+: C1 ('MetaCons "UOpExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UOp) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr))) :+: (C1 ('MetaCons "IfExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr) :*: (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr))) :+: C1 ('MetaCons "ApplExpr" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgExpr) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [JStgExpr])))))Defined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax

datadata JVal

JavaScript values

Constructors

JVar Ident
A variable reference
JList [JStgExpr]
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 JStgExpr)
A JS HashMap: {"foo": 0}
JFunc [Ident] JStgStat
A function

Instances5Eq, Generic, JVarMagic, ToJExpr, Rep

Eq JValDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Generic JValDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
JVarMagic JValDefined in ghc-10.0.0.20260917 · GHC.JS.Make
ToJExpr JValDefined in ghc-10.0.0.20260917 · GHC.JS.Make
type Rep JVal = D1 ('MetaData "JVal" "GHC.JS.JStg.Syntax" "ghc-10.0.0.20260917-8308" '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 [JStgExpr]))) :+: (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 JStgExpr))) :+: C1 ('MetaCons "JFunc" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Ident]) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStgStat))))))Defined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax

datadata Op

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
```

Instances8Enum, Eq, Data, Ord, Show, Generic, …

Enum OpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Eq OpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Data OpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Ord OpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Show OpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Generic OpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
NFData OpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
type Rep Op = D1 ('MetaData "Op" "GHC.JS.JStg.Syntax" "ghc-10.0.0.20260917-8308" '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.JStg.Syntax

datadata AOp

JS Unary Operators

Constructors

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

Instances8Enum, Eq, Data, Ord, Show, Generic, …

Enum AOpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Eq AOpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Data AOpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Ord AOpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Show AOpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Generic AOpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
NFData AOpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
type Rep AOp = D1 ('MetaData "AOp" "GHC.JS.JStg.Syntax" "ghc-10.0.0.20260917-8308" '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.JStg.Syntax

datadata UOp

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

Instances8Enum, Eq, Data, Ord, Show, Generic, …

Enum UOpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Eq UOpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Data UOpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Ord UOpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Show UOpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
Generic UOpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
NFData UOpDefined in ghc-10.0.0.20260917 · GHC.JS.JStg.Syntax
type Rep UOp = D1 ('MetaData "UOp" "GHC.JS.JStg.Syntax" "ghc-10.0.0.20260917-8308" '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.JStg.Syntax

typetype JsLabel = LexicalFastString

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

pattern synonyms over JS operators

21 declarations

patternpattern New :: JStgExpr -> JStgExpr

pattern synonym for a unary operator new

patternpattern Not :: JStgExpr -> JStgExpr

pattern synonym for logical not !

patternpattern Negate :: JStgExpr -> JStgExpr

pattern synonym for unary negation -

patternpattern Add :: JStgExpr -> JStgExpr -> JStgExpr

pattern synonym for addition +

patternpattern Sub :: JStgExpr -> JStgExpr -> JStgExpr

pattern synonym for subtraction -

patternpattern Mul :: JStgExpr -> JStgExpr -> JStgExpr

pattern synonym for multiplication *

patternpattern Div :: JStgExpr -> JStgExpr -> JStgExpr

pattern synonym for division *

patternpattern Mod :: JStgExpr -> JStgExpr -> JStgExpr

pattern synonym for remainder %

patternpattern BOr :: JStgExpr -> JStgExpr -> JStgExpr

pattern synonym for Bitwise Or |

patternpattern BAnd :: JStgExpr -> JStgExpr -> JStgExpr

pattern synonym for Bitwise And &

patternpattern BXor :: JStgExpr -> JStgExpr -> JStgExpr

pattern synonym for Bitwise XOr ^

patternpattern BNot :: JStgExpr -> JStgExpr

pattern synonym for Bitwise Not ~

patternpattern LOr :: JStgExpr -> JStgExpr -> JStgExpr

pattern synonym for logical Or ||

patternpattern LAnd :: JStgExpr -> JStgExpr -> JStgExpr

pattern synonym for logical And &&

patternpattern Int :: Integer -> JStgExpr

pattern synonym to create integer values

patternpattern String :: FastString -> JStgExpr

pattern synonym to create string values

patternpattern Var :: Ident -> JStgExpr

pattern synonym to create a local variable reference

patternpattern PreInc :: JStgExpr -> JStgExpr

pattern synonym for prefix increment ++x

patternpattern PostInc :: JStgExpr -> JStgExpr

pattern synonym for postfix increment x++

patternpattern PreDec :: JStgExpr -> JStgExpr

pattern synonym for prefix decrement --x

patternpattern PostDec :: JStgExpr -> JStgExpr

pattern synonym for postfix decrement --x

Utility

4 declarations

newtypenewtype SaneDouble

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

patternpattern Func :: [Ident] -> JStgStat -> JStgExpr

pattern synonym to create an anonymous function

valueglobal :: FastString -> JStgExpr

construct a JS reference, intended to refer to a global name

valuelocal :: FastString -> JStgExpr

construct a JS reference, intended to refer to a local name