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	Haskell2010

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 embeded 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
- | 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 {
- itxt :: FastString
}
type JLabel = LexicalFastString
pattern JNew :: JExpr -> JExpr
pattern JNot :: JExpr -> JExpr
pattern JNegate :: JExpr -> JExpr
pattern JAdd :: JExpr -> JExpr -> JExpr
pattern JSub :: JExpr -> JExpr -> JExpr
pattern JMul :: JExpr -> JExpr -> JExpr
pattern JDiv :: JExpr -> JExpr -> JExpr
pattern JMod :: JExpr -> JExpr -> JExpr
pattern JBOr :: JExpr -> JExpr -> JExpr
pattern JBAnd :: JExpr -> JExpr -> JExpr
pattern JBXor :: JExpr -> JExpr -> JExpr
pattern JBNot :: JExpr -> JExpr
pattern JLOr :: JExpr -> JExpr -> JExpr
pattern JLAnd :: JExpr -> JExpr -> JExpr
pattern SatInt :: Integer -> JExpr
pattern JString :: FastString -> JExpr
pattern JPreInc :: JExpr -> JExpr
pattern JPostInc :: JExpr -> JExpr
pattern JPreDec :: JExpr -> JExpr
pattern JPostDec :: JExpr -> JExpr
newtype SaneDouble = SaneDouble {
- unSaneDouble :: Double
}
jassignAll :: [JExpr] -> [JExpr] -> JStat
jassignAllEqual :: [JExpr] -> [JExpr] -> JStat
jvar :: FastString -> JExpr

Deeply embedded JS datatypes

data 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

Instances

Instances details

Monoid JStat Source #

Instance details

Defined in GHC.JS.Syntax

Methods

mempty :: JStat Source #

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

mconcat :: [JStat] -> JStat Source #

Semigroup JStat Source #

Instance details

Defined in GHC.JS.Syntax

Methods

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

sconcat :: NonEmpty JStat -> JStat Source #

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

Generic JStat Source #

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

Instance details

Defined in GHC.JS.Ppr

Methods

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

Binary JStat Source #

Instance details

Defined in GHC.StgToJS.Object

Methods

put_ :: BinHandle -> JStat -> IO () Source #

put :: BinHandle -> JStat -> IO (Bin JStat) Source #

get :: BinHandle -> IO JStat Source #

Eq JStat Source #

Instance details

Defined in GHC.JS.Syntax

Methods

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

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

JsToDoc [JStat] Source #

Instance details

Defined in GHC.JS.Ppr

Methods

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

type Rep JStat Source #

Instance details

Defined in GHC.JS.Syntax

data 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

Instances

Instances details

Generic JExpr Source #

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

Instance details

Defined in GHC.JS.Ppr

Methods

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

Binary JExpr Source #

Instance details

Defined in GHC.StgToJS.Object

Methods

put_ :: BinHandle -> JExpr -> IO () Source #

put :: BinHandle -> JExpr -> IO (Bin JExpr) Source #

get :: BinHandle -> IO JExpr Source #

Outputable JExpr Source #

Instance details

Defined in GHC.JS.Ppr

Methods

ppr :: JExpr -> SDoc Source #

Eq JExpr Source #

Instance details

Defined in GHC.JS.Syntax

Methods

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

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

JsToDoc [JExpr] Source #

Instance details

Defined in GHC.JS.Ppr

Methods

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

type Rep JExpr Source #

Instance details

Defined in GHC.JS.Syntax

data 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
JHash (UniqMap FastString JExpr)	A JS HashMap: `{"foo": 0}`
JFunc [Ident] JStat	A function

Instances

Instances details

Generic JVal Source #

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 #

JsToDoc JVal Source #

Instance details

Defined in GHC.JS.Ppr

Methods

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

Binary JVal Source #

Instance details

Defined in GHC.StgToJS.Object

Methods

put_ :: BinHandle -> JVal -> IO () Source #

put :: BinHandle -> JVal -> IO (Bin JVal) Source #

get :: BinHandle -> IO JVal Source #

Outputable JVal Source #

Instance details

Defined in GHC.JS.Ppr

Methods

ppr :: JVal -> SDoc Source #

Eq JVal Source #

Instance details

Defined in GHC.JS.Syntax

Methods

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

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

type Rep JVal Source #

Instance details

Defined in GHC.JS.Syntax

data 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

Instances

Instances details

Data Op Source #

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

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

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

Instance details

Defined in GHC.JS.Syntax

Methods

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

show :: Op -> String Source #

showList :: [Op] -> ShowS Source #

NFData Op Source #

Instance details

Defined in GHC.JS.Syntax

Methods

rnf :: Op -> () Source #

Binary Op Source #

Instance details

Defined in GHC.StgToJS.Object

Methods

put_ :: BinHandle -> Op -> IO () Source #

put :: BinHandle -> Op -> IO (Bin Op) Source #

get :: BinHandle -> IO Op Source #

Eq Op Source #

Instance details

Defined in GHC.JS.Syntax

Methods

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

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

Ord Op Source #

Instance details

Defined in GHC.JS.Syntax

Methods

compare :: Op -> Op -> Ordering #

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

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

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

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

max :: Op -> Op -> Op #

min :: Op -> Op -> Op #

type Rep Op Source #

Instance details

Defined in GHC.JS.Syntax

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

Instances

Instances details

Data UOp Source #

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

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

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.8.1-7829" '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 Source #

Instance details

Defined in GHC.JS.Syntax

Methods

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

show :: UOp -> String Source #

showList :: [UOp] -> ShowS Source #

NFData UOp Source #

Instance details

Defined in GHC.JS.Syntax

Methods

rnf :: UOp -> () Source #

Binary UOp Source #

Instance details

Defined in GHC.StgToJS.Object

Methods

put_ :: BinHandle -> UOp -> IO () Source #

put :: BinHandle -> UOp -> IO (Bin UOp) Source #

get :: BinHandle -> IO UOp Source #

Eq UOp Source #

Instance details

Defined in GHC.JS.Syntax

Methods

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

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

Ord UOp Source #

Instance details

Defined in GHC.JS.Syntax

Methods

compare :: UOp -> UOp -> Ordering #

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

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

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

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

max :: UOp -> UOp -> UOp #

min :: UOp -> UOp -> UOp #

type Rep UOp Source #

Instance details

Defined in GHC.JS.Syntax

type Rep UOp = D1 ('MetaData "UOp" "GHC.JS.Syntax" "ghc-9.8.1-7829" '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 Source #

JS Unary Operators

Constructors

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

Instances

Instances details

Data AOp Source #

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

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

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.8.1-7829" '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 Source #

Instance details

Defined in GHC.JS.Syntax

Methods

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

show :: AOp -> String Source #

showList :: [AOp] -> ShowS Source #

NFData AOp Source #

Instance details

Defined in GHC.JS.Syntax

Methods

rnf :: AOp -> () Source #

Binary AOp Source #

Instance details

Defined in GHC.StgToJS.Object

Methods

put_ :: BinHandle -> AOp -> IO () Source #

put :: BinHandle -> AOp -> IO (Bin AOp) Source #

get :: BinHandle -> IO AOp Source #

Eq AOp Source #

Instance details

Defined in GHC.JS.Syntax

Methods

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

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

Ord AOp Source #

Instance details

Defined in GHC.JS.Syntax

Methods

compare :: AOp -> AOp -> Ordering #

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

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

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

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

max :: AOp -> AOp -> AOp #

min :: AOp -> AOp -> AOp #

type Rep AOp Source #

Instance details

Defined in GHC.JS.Syntax

type Rep AOp = D1 ('MetaData "AOp" "GHC.JS.Syntax" "ghc-9.8.1-7829" '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 Source #

A newtype wrapper around FastString for JS identifiers.

Constructors

TxtI
Fields itxt :: FastString

Instances

Instances details

Show Ident Source #
Instance details Defined in GHC.JS.Unsat.Syntax Methods showsPrec :: Int -> Ident -> ShowS Source # show :: Ident -> String Source # showList :: [Ident] -> ShowS Source #
ToJExpr Ident Source #
Instance details Defined in GHC.JS.Make Methods toJExpr :: Ident -> JExpr Source # toJExprFromList :: [Ident] -> JExpr Source #
JsToDoc Ident Source #
Instance details Defined in GHC.JS.Ppr Methods jsToDocR :: JsRender doc => RenderJs doc -> Ident -> doc Source #
JMacro Ident Source #
Instance details Defined in GHC.JS.Transform Methods jtoGADT :: Ident -> JMGadt Ident Source # jfromGADT :: JMGadt Ident -> Ident Source #
Uniquable Ident Source #
Instance details Defined in GHC.JS.Unsat.Syntax Methods getUnique :: Ident -> Unique Source #
Binary Ident Source #
Instance details Defined in GHC.StgToJS.Object Methods put_ :: BinHandle -> Ident -> IO () Source # put :: BinHandle -> Ident -> IO (Bin Ident) Source # get :: BinHandle -> IO Ident Source #
Eq Ident Source #
Instance details Defined in GHC.JS.Unsat.Syntax Methods (==) :: Ident -> Ident -> Bool # (/=) :: Ident -> Ident -> Bool #

type JLabel = LexicalFastString Source #

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

pattern synonyms over JS operators

pattern JNew :: JExpr -> JExpr Source #

pattern synonym for a unary operator new

pattern JNot :: JExpr -> JExpr Source #

pattern synonym for logical not !

pattern JNegate :: JExpr -> JExpr Source #

pattern synonym for unary negation -

pattern JAdd :: JExpr -> JExpr -> JExpr Source #

pattern synonym for addition +

pattern JSub :: JExpr -> JExpr -> JExpr Source #

pattern synonym for subtraction -

pattern JMul :: JExpr -> JExpr -> JExpr Source #

pattern synonym for multiplication *

pattern JDiv :: JExpr -> JExpr -> JExpr Source #

pattern synonym for division *

pattern JMod :: JExpr -> JExpr -> JExpr Source #

pattern synonym for remainder %

pattern JBOr :: JExpr -> JExpr -> JExpr Source #

pattern synonym for Bitwise Or |

pattern JBAnd :: JExpr -> JExpr -> JExpr Source #

pattern synonym for Bitwise And &

pattern JBXor :: JExpr -> JExpr -> JExpr Source #

pattern synonym for Bitwise XOr ^

pattern JBNot :: JExpr -> JExpr Source #

pattern synonym for Bitwise Not ~

pattern JLOr :: JExpr -> JExpr -> JExpr Source #

pattern synonym for logical Or ||

pattern JLAnd :: JExpr -> JExpr -> JExpr Source #

pattern synonym for logical And &&

pattern SatInt :: Integer -> JExpr Source #

pattern synonym to create integer values

pattern JString :: FastString -> JExpr Source #

pattern synonym to create string values

pattern JPreInc :: JExpr -> JExpr Source #

pattern synonym for prefix increment ++x

pattern JPostInc :: JExpr -> JExpr Source #

pattern synonym for postfix increment x++

pattern JPreDec :: JExpr -> JExpr Source #

pattern synonym for prefix decrement --x

pattern JPostDec :: JExpr -> JExpr Source #

pattern synonym for postfix decrement --x

Utility

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

Instances

Instances details

Num SaneDouble Source #
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 Source #
Instance details Defined in GHC.Types.SaneDouble Methods (/) :: SaneDouble -> SaneDouble -> SaneDouble Source # recip :: SaneDouble -> SaneDouble Source # fromRational :: Rational -> SaneDouble Source #
Show SaneDouble Source #
Instance details Defined in GHC.Types.SaneDouble Methods showsPrec :: Int -> SaneDouble -> ShowS Source # show :: SaneDouble -> String Source # showList :: [SaneDouble] -> ShowS Source #
Binary SaneDouble Source #
Instance details Defined in GHC.Types.SaneDouble Methods put_ :: BinHandle -> SaneDouble -> IO () Source # put :: BinHandle -> SaneDouble -> IO (Bin SaneDouble) Source # get :: BinHandle -> IO SaneDouble Source #
Eq SaneDouble Source #
Instance details Defined in GHC.Types.SaneDouble Methods (==) :: SaneDouble -> SaneDouble -> Bool # (/=) :: SaneDouble -> SaneDouble -> Bool #
Ord SaneDouble Source #
Instance details Defined in GHC.Types.SaneDouble Methods compare :: SaneDouble -> SaneDouble -> Ordering # (<) :: SaneDouble -> SaneDouble -> Bool # (<=) :: SaneDouble -> SaneDouble -> Bool # (>) :: SaneDouble -> SaneDouble -> Bool # (>=) :: SaneDouble -> SaneDouble -> Bool # max :: SaneDouble -> SaneDouble -> SaneDouble # min :: SaneDouble -> SaneDouble -> SaneDouble #

jassignAll :: [JExpr] -> [JExpr] -> JStat Source #

jassignAllEqual :: [JExpr] -> [JExpr] -> JStat Source #

jvar :: FastString -> JExpr Source #