Copyright	(c) The University of Glasgow 2001
License	BSD-style (see the file LICENSE)
Maintainer	Jeffrey Young <jeffrey.young@iohk.io> Luite Stegeman <luite.stegeman@iohk.io> Sylvain Henry <sylvain.henry@iohk.io> Josh Meredith <josh.meredith@iohk.io>
Stability	experimental
Safe Haskell	None
Language	GHC2021

GHC.JS.Syntax

Contents

Deeply embedded JS datatypes
pattern synonyms over JS operators
Utility

Description

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

Synopsis

data JStat
- = DeclStat !Ident !(Maybe JExpr)
- | ReturnStat JExpr
- | IfStat JExpr JStat JStat
- | WhileStat Bool JExpr JStat
- | ForStat JStat JExpr JStat JStat
- | ForInStat Bool Ident JExpr JStat
- | SwitchStat JExpr [(JExpr, JStat)] JStat
- | TryStat JStat Ident JStat JStat
- | BlockStat [JStat]
- | ApplStat JExpr [JExpr]
- | UOpStat UOp JExpr
- | AssignStat JExpr AOp JExpr
- | LabelStat JLabel JStat
- | BreakStat (Maybe JLabel)
- | ContinueStat (Maybe JLabel)
- | FuncStat !Ident [Ident] JStat
data JExpr
- = ValExpr JVal
- | SelExpr JExpr Ident
- | IdxExpr JExpr JExpr
- | InfixExpr Op JExpr JExpr
- | UOpExpr UOp JExpr
- | IfExpr JExpr JExpr JExpr
- | ApplExpr JExpr [JExpr]
data JVal
- = JVar Ident
- | JList [JExpr]
- | JDouble SaneDouble
- | JInt Integer
- | JStr FastString
- | JRegEx FastString
- | JBool Bool
- | JHash (UniqMap FastString JExpr)
- | JFunc [Ident] JStat
data Op
- = EqOp
- | StrictEqOp
- | NeqOp
- | StrictNeqOp
- | GtOp
- | GeOp
- | LtOp
- | LeOp
- | AddOp
- | SubOp
- | MulOp
- | DivOp
- | ModOp
- | LeftShiftOp
- | RightShiftOp
- | ZRightShiftOp
- | BAndOp
- | BOrOp
- | BXorOp
- | LAndOp
- | LOrOp
- | InstanceofOp
- | InOp
data UOp
- = NotOp
- | BNotOp
- | NegOp
- | PlusOp
- | NewOp
- | TypeofOp
- | DeleteOp
- | YieldOp
- | VoidOp
- | PreIncOp
- | PostIncOp
- | PreDecOp
- | PostDecOp
data AOp
- = AssignOp
- | AddAssignOp
- | SubAssignOp
newtype Ident = TxtI {
- identFS :: FastString
}
type JLabel = LexicalFastString
pattern New :: JExpr -> JExpr
pattern Not :: JExpr -> JExpr
pattern Negate :: JExpr -> JExpr
pattern Add :: JExpr -> JExpr -> JExpr
pattern Sub :: JExpr -> JExpr -> JExpr
pattern Mul :: JExpr -> JExpr -> JExpr
pattern Div :: JExpr -> JExpr -> JExpr
pattern Mod :: JExpr -> JExpr -> JExpr
pattern BOr :: JExpr -> JExpr -> JExpr
pattern BAnd :: JExpr -> JExpr -> JExpr
pattern BXor :: JExpr -> JExpr -> JExpr
pattern BNot :: JExpr -> JExpr
pattern LOr :: JExpr -> JExpr -> JExpr
pattern LAnd :: JExpr -> JExpr -> JExpr
pattern Int :: Integer -> JExpr
pattern String :: FastString -> JExpr
pattern Var :: Ident -> JExpr
pattern PreInc :: JExpr -> JExpr
pattern PostInc :: JExpr -> JExpr
pattern PreDec :: JExpr -> JExpr
pattern PostDec :: JExpr -> JExpr
newtype SaneDouble = SaneDouble {
- unSaneDouble :: Double
}
var :: FastString -> JExpr
true_ :: JExpr
false_ :: JExpr

Deeply embedded JS datatypes

data JStat #

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

Instances

Instances details

JsToDoc JStat #

Instance details

Defined in GHC.JS.Ppr

Methods

jsToDocR :: JsRender doc => RenderJs doc -> JStat -> doc #

Binary JStat #

Instance details

Defined in GHC.StgToJS.Object

Methods

put_ :: WriteBinHandle -> JStat -> IO () #

put :: WriteBinHandle -> JStat -> IO (Bin JStat) #

get :: ReadBinHandle -> IO JStat #

Monoid JStat #

Instance details

Defined in GHC.JS.Syntax

Methods

mempty :: JStat Source #

mappend :: JStat -> JStat -> JStat Source #

mconcat :: [JStat] -> JStat Source #

Semigroup JStat #

Instance details

Defined in GHC.JS.Syntax

Methods

(<>) :: JStat -> JStat -> JStat Source #

sconcat :: NonEmpty JStat -> JStat Source #

stimes :: Integral b => b -> JStat -> JStat Source #

Eq JStat #

Instance details

Defined in GHC.JS.Syntax

Methods

(==) :: JStat -> JStat -> Bool Source #

(/=) :: JStat -> JStat -> Bool Source #

Generic JStat #

Instance details

Defined in GHC.JS.Syntax

Associated Types

type Rep JStat

Instance details

Defined in GHC.JS.Syntax

Methods

from :: JStat -> Rep JStat x Source #

to :: Rep JStat x -> JStat Source #

JsToDoc [JStat] #

Instance details

Defined in GHC.JS.Ppr

Methods

jsToDocR :: JsRender doc => RenderJs doc -> [JStat] -> doc #

type Rep JStat #

Instance details

Defined in GHC.JS.Syntax

data JExpr #

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

Instances

Instances details

JsToDoc JExpr #

Instance details

Defined in GHC.JS.Ppr

Methods

jsToDocR :: JsRender doc => RenderJs doc -> JExpr -> doc #

Binary JExpr #

Instance details

Defined in GHC.StgToJS.Object

Methods

put_ :: WriteBinHandle -> JExpr -> IO () #

put :: WriteBinHandle -> JExpr -> IO (Bin JExpr) #

get :: ReadBinHandle -> IO JExpr #

Outputable JExpr #

Instance details

Defined in GHC.JS.Ppr

Methods

ppr :: JExpr -> SDoc #

Eq JExpr #

Instance details

Defined in GHC.JS.Syntax

Methods

(==) :: JExpr -> JExpr -> Bool Source #

(/=) :: JExpr -> JExpr -> Bool Source #

Generic JExpr #

Instance details

Defined in GHC.JS.Syntax

Associated Types

type Rep JExpr

Instance details

Defined in GHC.JS.Syntax

Methods

from :: JExpr -> Rep JExpr x Source #

to :: Rep JExpr x -> JExpr Source #

JsToDoc [JExpr] #

Instance details

Defined in GHC.JS.Ppr

Methods

jsToDocR :: JsRender doc => RenderJs doc -> [JExpr] -> doc #

type Rep JExpr #

Instance details

Defined in GHC.JS.Syntax

data JVal #

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

Instances

Instances details

JsToDoc JVal #

Instance details

Defined in GHC.JS.Ppr

Methods

jsToDocR :: JsRender doc => RenderJs doc -> JVal -> doc #

Binary JVal #

Instance details

Defined in GHC.StgToJS.Object

Methods

put_ :: WriteBinHandle -> JVal -> IO () #

put :: WriteBinHandle -> JVal -> IO (Bin JVal) #

get :: ReadBinHandle -> IO JVal #

Outputable JVal #

Instance details

Defined in GHC.JS.Ppr

Methods

ppr :: JVal -> SDoc #

Eq JVal #

Instance details

Defined in GHC.JS.Syntax

Methods

(==) :: JVal -> JVal -> Bool Source #

(/=) :: JVal -> JVal -> Bool Source #

Generic JVal #

Instance details

Defined in GHC.JS.Syntax

Associated Types

type Rep JVal

Instance details

Defined in GHC.JS.Syntax

Methods

from :: JVal -> Rep JVal x Source #

to :: Rep JVal x -> JVal Source #

type Rep JVal #

Instance details

Defined in GHC.JS.Syntax

data 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

Instances

Instances details

NFData Op #

Instance details

Defined in GHC.JS.Syntax

Methods

rnf :: Op -> () Source #

Binary Op #

Instance details

Defined in GHC.StgToJS.Object

Methods

put_ :: WriteBinHandle -> Op -> IO () #

put :: WriteBinHandle -> Op -> IO (Bin Op) #

get :: ReadBinHandle -> IO Op #

Eq Op #

Instance details

Defined in GHC.JS.Syntax

Methods

(==) :: Op -> Op -> Bool Source #

(/=) :: Op -> Op -> Bool Source #

Ord Op #

Instance details

Defined in GHC.JS.Syntax

Methods

compare :: Op -> Op -> Ordering Source #

(<) :: Op -> Op -> Bool Source #

(<=) :: Op -> Op -> Bool Source #

(>) :: Op -> Op -> Bool Source #

(>=) :: Op -> Op -> Bool Source #

max :: Op -> Op -> Op Source #

min :: Op -> Op -> Op Source #

Data Op #

Instance details

Defined in GHC.JS.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Op -> c Op Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Op Source #

toConstr :: Op -> Constr Source #

dataTypeOf :: Op -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Op) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Op) Source #

gmapT :: (forall b. Data b => b -> b) -> Op -> Op Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Op -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Op -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Op -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Op -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Op -> m Op Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Op -> m Op Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Op -> m Op Source #

Enum Op #

Instance details

Defined in GHC.JS.Syntax

Methods

succ :: Op -> Op Source #

pred :: Op -> Op Source #

toEnum :: Int -> Op Source #

fromEnum :: Op -> Int Source #

enumFrom :: Op -> [Op] Source #

enumFromThen :: Op -> Op -> [Op] Source #

enumFromTo :: Op -> Op -> [Op] Source #

enumFromThenTo :: Op -> Op -> Op -> [Op] Source #

Generic Op #

Instance details

Defined in GHC.JS.Syntax

Associated Types

type Rep Op

Instance details

Defined in GHC.JS.Syntax

Methods

from :: Op -> Rep Op x Source #

to :: Rep Op x -> Op Source #

Show Op #

Instance details

Defined in GHC.JS.Syntax

Methods

showsPrec :: Int -> Op -> ShowS Source #

show :: Op -> String Source #

showList :: [Op] -> ShowS Source #

type Rep Op #

Instance details

Defined in GHC.JS.Syntax

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

Instances

Instances details

NFData UOp #

Instance details

Defined in GHC.JS.Syntax

Methods

rnf :: UOp -> () Source #

Binary UOp #

Instance details

Defined in GHC.StgToJS.Object

Methods

put_ :: WriteBinHandle -> UOp -> IO () #

put :: WriteBinHandle -> UOp -> IO (Bin UOp) #

get :: ReadBinHandle -> IO UOp #

Eq UOp #

Instance details

Defined in GHC.JS.Syntax

Methods

(==) :: UOp -> UOp -> Bool Source #

(/=) :: UOp -> UOp -> Bool Source #

Ord UOp #

Instance details

Defined in GHC.JS.Syntax

Methods

compare :: UOp -> UOp -> Ordering Source #

(<) :: UOp -> UOp -> Bool Source #

(<=) :: UOp -> UOp -> Bool Source #

(>) :: UOp -> UOp -> Bool Source #

(>=) :: UOp -> UOp -> Bool Source #

max :: UOp -> UOp -> UOp Source #

min :: UOp -> UOp -> UOp Source #

Data UOp #

Instance details

Defined in GHC.JS.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> UOp -> c UOp Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c UOp Source #

toConstr :: UOp -> Constr Source #

dataTypeOf :: UOp -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c UOp) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c UOp) Source #

gmapT :: (forall b. Data b => b -> b) -> UOp -> UOp Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> UOp -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> UOp -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> UOp -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> UOp -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> UOp -> m UOp Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> UOp -> m UOp Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> UOp -> m UOp Source #

Enum UOp #

Instance details

Defined in GHC.JS.Syntax

Methods

succ :: UOp -> UOp Source #

pred :: UOp -> UOp Source #

toEnum :: Int -> UOp Source #

fromEnum :: UOp -> Int Source #

enumFrom :: UOp -> [UOp] Source #

enumFromThen :: UOp -> UOp -> [UOp] Source #

enumFromTo :: UOp -> UOp -> [UOp] Source #

enumFromThenTo :: UOp -> UOp -> UOp -> [UOp] Source #

Generic UOp #

Instance details

Defined in GHC.JS.Syntax

Associated Types

type Rep UOp

Instance details

Defined in GHC.JS.Syntax

type Rep UOp = D1 ('MetaData "UOp" "GHC.JS.Syntax" "ghc-9.14.0.20251128-c82b" 'False) (((C1 ('MetaCons "NotOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BNotOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NegOp" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "PlusOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NewOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TypeofOp" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "DeleteOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "YieldOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VoidOp" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PreIncOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PostIncOp" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PreDecOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PostDecOp" 'PrefixI 'False) (U1 :: Type -> Type)))))

Methods

from :: UOp -> Rep UOp x Source #

to :: Rep UOp x -> UOp Source #

Show UOp #

Instance details

Defined in GHC.JS.Syntax

Methods

showsPrec :: Int -> UOp -> ShowS Source #

show :: UOp -> String Source #

showList :: [UOp] -> ShowS Source #

type Rep UOp #

Instance details

Defined in GHC.JS.Syntax

type Rep UOp = D1 ('MetaData "UOp" "GHC.JS.Syntax" "ghc-9.14.0.20251128-c82b" 'False) (((C1 ('MetaCons "NotOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BNotOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NegOp" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "PlusOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NewOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TypeofOp" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "DeleteOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "YieldOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VoidOp" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "PreIncOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PostIncOp" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PreDecOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PostDecOp" 'PrefixI 'False) (U1 :: Type -> Type)))))

data AOp #

JS Unary Operators

Constructors

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

Instances

Instances details

NFData AOp #

Instance details

Defined in GHC.JS.Syntax

Methods

rnf :: AOp -> () Source #

Binary AOp #

Instance details

Defined in GHC.StgToJS.Object

Methods

put_ :: WriteBinHandle -> AOp -> IO () #

put :: WriteBinHandle -> AOp -> IO (Bin AOp) #

get :: ReadBinHandle -> IO AOp #

Eq AOp #

Instance details

Defined in GHC.JS.Syntax

Methods

(==) :: AOp -> AOp -> Bool Source #

(/=) :: AOp -> AOp -> Bool Source #

Ord AOp #

Instance details

Defined in GHC.JS.Syntax

Methods

compare :: AOp -> AOp -> Ordering Source #

(<) :: AOp -> AOp -> Bool Source #

(<=) :: AOp -> AOp -> Bool Source #

(>) :: AOp -> AOp -> Bool Source #

(>=) :: AOp -> AOp -> Bool Source #

max :: AOp -> AOp -> AOp Source #

min :: AOp -> AOp -> AOp Source #

Data AOp #

Instance details

Defined in GHC.JS.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AOp -> c AOp Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AOp Source #

toConstr :: AOp -> Constr Source #

dataTypeOf :: AOp -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AOp) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AOp) Source #

gmapT :: (forall b. Data b => b -> b) -> AOp -> AOp Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AOp -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AOp -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> AOp -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> AOp -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> AOp -> m AOp Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AOp -> m AOp Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AOp -> m AOp Source #

Enum AOp #

Instance details

Defined in GHC.JS.Syntax

Methods

succ :: AOp -> AOp Source #

pred :: AOp -> AOp Source #

toEnum :: Int -> AOp Source #

fromEnum :: AOp -> Int Source #

enumFrom :: AOp -> [AOp] Source #

enumFromThen :: AOp -> AOp -> [AOp] Source #

enumFromTo :: AOp -> AOp -> [AOp] Source #

enumFromThenTo :: AOp -> AOp -> AOp -> [AOp] Source #

Generic AOp #

Instance details

Defined in GHC.JS.Syntax

Associated Types

type Rep AOp
Instance details Defined in GHC.JS.Syntax type Rep AOp = D1 ('MetaData "AOp" "GHC.JS.Syntax" "ghc-9.14.0.20251128-c82b" 'False) (C1 ('MetaCons "AssignOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AddAssignOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SubAssignOp" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: AOp -> Rep AOp x Source #

to :: Rep AOp x -> AOp Source #

Show AOp #

Instance details

Defined in GHC.JS.Syntax

Methods

showsPrec :: Int -> AOp -> ShowS Source #

show :: AOp -> String Source #

showList :: [AOp] -> ShowS Source #

type Rep AOp #

Instance details

Defined in GHC.JS.Syntax

type Rep AOp = D1 ('MetaData "AOp" "GHC.JS.Syntax" "ghc-9.14.0.20251128-c82b" 'False) (C1 ('MetaCons "AssignOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AddAssignOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SubAssignOp" 'PrefixI 'False) (U1 :: Type -> Type)))

newtype Ident #

A newtype wrapper around FastString for JS identifiers.

Constructors

TxtI
Fields identFS :: FastString

Instances

Instances details

JVarMagic Ident #
Instance details Defined in GHC.JS.Make Methods fresh :: JSM Ident #
ToJExpr Ident #
Instance details Defined in GHC.JS.Make Methods toJExpr :: Ident -> JStgExpr # toJExprFromList :: [Ident] -> JStgExpr #
JsToDoc Ident #
Instance details Defined in GHC.JS.Ppr Methods jsToDocR :: JsRender doc => RenderJs doc -> Ident -> doc #
Uniquable Ident #
Instance details Defined in GHC.JS.Ident Methods getUnique :: Ident -> Unique #
Binary Ident #
Instance details Defined in GHC.StgToJS.Object Methods put_ :: WriteBinHandle -> Ident -> IO () # put :: WriteBinHandle -> Ident -> IO (Bin Ident) # get :: ReadBinHandle -> IO Ident #
Outputable Ident #
Instance details Defined in GHC.JS.Ident Methods ppr :: Ident -> SDoc #
Eq Ident #
Instance details Defined in GHC.JS.Ident Methods (==) :: Ident -> Ident -> Bool Source # (/=) :: Ident -> Ident -> Bool Source #
Show Ident #
Instance details Defined in GHC.JS.Ident Methods showsPrec :: Int -> Ident -> ShowS Source # show :: Ident -> String Source # showList :: [Ident] -> ShowS Source #

type JLabel = LexicalFastString #

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

pattern synonyms over JS operators

pattern New :: JExpr -> JExpr #

pattern synonym for a unary operator new

pattern Not :: JExpr -> JExpr #

pattern synonym for logical not !

pattern Negate :: JExpr -> JExpr #

pattern synonym for unary negation -

pattern Add :: JExpr -> JExpr -> JExpr #

pattern synonym for addition +

pattern Sub :: JExpr -> JExpr -> JExpr #

pattern synonym for subtraction -

pattern Mul :: JExpr -> JExpr -> JExpr #

pattern synonym for multiplication *

pattern Div :: JExpr -> JExpr -> JExpr #

pattern synonym for division *

pattern Mod :: JExpr -> JExpr -> JExpr #

pattern synonym for remainder %

pattern BOr :: JExpr -> JExpr -> JExpr #

pattern synonym for Bitwise Or |

pattern BAnd :: JExpr -> JExpr -> JExpr #

pattern synonym for Bitwise And &

pattern BXor :: JExpr -> JExpr -> JExpr #

pattern synonym for Bitwise XOr ^

pattern BNot :: JExpr -> JExpr #

pattern synonym for Bitwise Not ~

pattern LOr :: JExpr -> JExpr -> JExpr #

pattern synonym for logical Or ||

pattern LAnd :: JExpr -> JExpr -> JExpr #

pattern synonym for logical And &&

pattern Int :: Integer -> JExpr #

pattern synonym to create integer values

pattern String :: FastString -> JExpr #

pattern synonym to create string values

pattern Var :: Ident -> JExpr #

pattern synonym to create a local variable reference

pattern PreInc :: JExpr -> JExpr #

pattern synonym for prefix increment ++x

pattern PostInc :: JExpr -> JExpr #

pattern synonym for postfix increment x++

pattern PreDec :: JExpr -> JExpr #

pattern synonym for prefix decrement --x

pattern PostDec :: JExpr -> JExpr #

pattern synonym for postfix decrement --x

Utility

newtype 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
Fields unSaneDouble :: Double

Instances

Instances details

Binary SaneDouble #
Instance details Defined in GHC.Types.SaneDouble Methods put_ :: WriteBinHandle -> SaneDouble -> IO () # put :: WriteBinHandle -> SaneDouble -> IO (Bin SaneDouble) # get :: ReadBinHandle -> IO SaneDouble #
Eq SaneDouble #
Instance details Defined in GHC.Types.SaneDouble Methods (==) :: SaneDouble -> SaneDouble -> Bool Source # (/=) :: SaneDouble -> SaneDouble -> Bool Source #
Ord SaneDouble #
Instance details Defined in GHC.Types.SaneDouble Methods compare :: SaneDouble -> SaneDouble -> Ordering Source # (<) :: SaneDouble -> SaneDouble -> Bool Source # (<=) :: SaneDouble -> SaneDouble -> Bool Source # (>) :: SaneDouble -> SaneDouble -> Bool Source # (>=) :: SaneDouble -> SaneDouble -> Bool Source # max :: SaneDouble -> SaneDouble -> SaneDouble Source # min :: SaneDouble -> SaneDouble -> SaneDouble Source #
Num SaneDouble #
Instance details Defined in GHC.Types.SaneDouble Methods (+) :: SaneDouble -> SaneDouble -> SaneDouble Source # (-) :: SaneDouble -> SaneDouble -> SaneDouble Source # (*) :: SaneDouble -> SaneDouble -> SaneDouble Source # negate :: SaneDouble -> SaneDouble Source # abs :: SaneDouble -> SaneDouble Source # signum :: SaneDouble -> SaneDouble Source # fromInteger :: Integer -> SaneDouble Source #
Fractional SaneDouble #
Instance details Defined in GHC.Types.SaneDouble Methods (/) :: SaneDouble -> SaneDouble -> SaneDouble Source # recip :: SaneDouble -> SaneDouble Source # fromRational :: Rational -> SaneDouble Source #
Show SaneDouble #
Instance details Defined in GHC.Types.SaneDouble Methods showsPrec :: Int -> SaneDouble -> ShowS Source # show :: SaneDouble -> String Source # showList :: [SaneDouble] -> ShowS Source #

var :: FastString -> JExpr #

construct a JS variable reference

true_ :: JExpr #

The JS literal true

false_ :: JExpr #

The JS literal false