Moduleghc-9.10.3GHC2021

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.

8 types
1 value

Packageghc-9.10.3
Exports31
LanguageGHC2021
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-9.10.3 · GHC.JS.JStg.Syntax
Generic JStgStatDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
Semigroup JStgStatDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
Monoid JStgStatDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
ToStat JStgStatDefined in ghc-9.10.3 · GHC.JS.Make
ToStat [JStgStat]Defined in ghc-9.10.3 · GHC.JS.Make
type Rep JStgStat = D1 ('MetaData "JStgStat" "GHC.JS.JStg.Syntax" "ghc-9.10.3-cff4" '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-9.10.3 · 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-9.10.3 · GHC.JS.JStg.Syntax
Fractional JStgExprDefined in ghc-9.10.3 · GHC.JS.Make · orphan
Num JStgExprDefined in ghc-9.10.3 · GHC.JS.Make · orphan
Generic JStgExprDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
Outputable JStgExprDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
JVarMagic JStgExprDefined in ghc-9.10.3 · GHC.JS.Make
ToJExpr JStgExprDefined in ghc-9.10.3 · GHC.JS.Make
ToStat JStgExprDefined in ghc-9.10.3 · GHC.JS.Make
ToStat [JStgExpr]Defined in ghc-9.10.3 · GHC.JS.Make
type Rep JStgExpr = D1 ('MetaData "JStgExpr" "GHC.JS.JStg.Syntax" "ghc-9.10.3-cff4" '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-9.10.3 · 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-9.10.3 · GHC.JS.JStg.Syntax
Generic JValDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
JVarMagic JValDefined in ghc-9.10.3 · GHC.JS.Make
ToJExpr JValDefined in ghc-9.10.3 · GHC.JS.Make
type Rep JVal = D1 ('MetaData "JVal" "GHC.JS.JStg.Syntax" "ghc-9.10.3-cff4" '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-9.10.3 · 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-9.10.3 · GHC.JS.JStg.Syntax
Eq OpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
Data OpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
Ord OpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
Show OpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
Generic OpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
NFData OpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
type Rep Op = D1 ('MetaData "Op" "GHC.JS.JStg.Syntax" "ghc-9.10.3-cff4" '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-9.10.3 · 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-9.10.3 · GHC.JS.JStg.Syntax
Eq AOpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
Data AOpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
Ord AOpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
Show AOpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
Generic AOpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
NFData AOpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
type Rep AOp = D1 ('MetaData "AOp" "GHC.JS.JStg.Syntax" "ghc-9.10.3-cff4" 'False) (C1 ('MetaCons "AssignOp" 'PrefixI 'False) U1 :+: (C1 ('MetaCons "AddAssignOp" 'PrefixI 'False) U1 :+: C1 ('MetaCons "SubAssignOp" 'PrefixI 'False) U1))Defined in ghc-9.10.3 · 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-9.10.3 · GHC.JS.JStg.Syntax
Eq UOpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
Data UOpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
Ord UOpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
Show UOpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
Generic UOpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
NFData UOpDefined in ghc-9.10.3 · GHC.JS.JStg.Syntax
type Rep UOp = D1 ('MetaData "UOp" "GHC.JS.JStg.Syntax" "ghc-9.10.3-cff4" '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-9.10.3 · 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

3 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-9.10.3 · GHC.Types.SaneDouble
Fractional SaneDoubleDefined in ghc-9.10.3 · GHC.Types.SaneDouble
Num SaneDoubleDefined in ghc-9.10.3 · GHC.Types.SaneDouble
Ord SaneDoubleDefined in ghc-9.10.3 · GHC.Types.SaneDouble
Show SaneDoubleDefined in ghc-9.10.3 · GHC.Types.SaneDouble
Binary SaneDoubleDefined in ghc-9.10.3 · GHC.Types.SaneDouble

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

pattern synonym to create an anonymous function

valuevar :: FastString -> JStgExpr

construct a JS variable reference