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

Contents

Deeply embedded JS datatypes
pattern synonyms over JS operators
Utility

Synopsis

data JStgStat
data JStgExpr
data JVal
data Op
data AOp
data UOp
type JsLabel
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
pattern Func
value global
value local

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

Deeply embedded JS datatypes

datadata JStgStat

Source#

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-c91b" '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

Source#

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

Source#

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

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

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-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.JStg.Syntax

datadata AOp

Source#

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

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-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.JStg.Syntax

typetype JsLabel = LexicalFastString

Source#

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

pattern synonyms over JS operators

patternpattern New :: JStgExpr -> JStgExpr

Source#

pattern synonym for a unary operator new

patternpattern Not :: JStgExpr -> JStgExpr

Source#

pattern synonym for logical not !

patternpattern Negate :: JStgExpr -> JStgExpr

Source#

pattern synonym for unary negation -

patternpattern Add :: JStgExpr -> JStgExpr -> JStgExpr

Source#

pattern synonym for addition +

patternpattern Sub :: JStgExpr -> JStgExpr -> JStgExpr

Source#

pattern synonym for subtraction -

patternpattern Mul :: JStgExpr -> JStgExpr -> JStgExpr

Source#

pattern synonym for multiplication *

patternpattern Div :: JStgExpr -> JStgExpr -> JStgExpr

Source#

pattern synonym for division *

patternpattern Mod :: JStgExpr -> JStgExpr -> JStgExpr

Source#

pattern synonym for remainder %

patternpattern BOr :: JStgExpr -> JStgExpr -> JStgExpr

Source#

pattern synonym for Bitwise Or |

patternpattern BAnd :: JStgExpr -> JStgExpr -> JStgExpr

Source#

pattern synonym for Bitwise And &

patternpattern BXor :: JStgExpr -> JStgExpr -> JStgExpr

Source#

pattern synonym for Bitwise XOr ^

patternpattern BNot :: JStgExpr -> JStgExpr

Source#

pattern synonym for Bitwise Not ~

patternpattern LOr :: JStgExpr -> JStgExpr -> JStgExpr

Source#

pattern synonym for logical Or ||

patternpattern LAnd :: JStgExpr -> JStgExpr -> JStgExpr

Source#

pattern synonym for logical And &&

patternpattern Int :: Integer -> JStgExpr

Source#

pattern synonym to create integer values

patternpattern String :: FastString -> JStgExpr

Source#

pattern synonym to create string values

patternpattern Var :: Ident -> JStgExpr

Source#

pattern synonym to create a local variable reference

patternpattern PreInc :: JStgExpr -> JStgExpr

Source#

pattern synonym for prefix increment ++x

patternpattern PostInc :: JStgExpr -> JStgExpr

Source#

pattern synonym for postfix increment x++

patternpattern PreDec :: JStgExpr -> JStgExpr

Source#

pattern synonym for prefix decrement --x

patternpattern PostDec :: JStgExpr -> JStgExpr

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

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

Source#

pattern synonym to create an anonymous function

valueglobal :: FastString -> JStgExpr

Source#

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

valuelocal :: FastString -> JStgExpr

Source#

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