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	Ignore
Language	GHC2021

GHC.JS.JStg.Syntax

Contents

Deeply embedded JS datatypes
pattern synonyms over JS operators
Utility

Description

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

Synopsis

data JStgStat
- = DeclStat !Ident !(Maybe JStgExpr)
- | ReturnStat JStgExpr
- | IfStat JStgExpr JStgStat JStgStat
- | WhileStat Bool JStgExpr JStgStat
- | ForStat JStgStat JStgExpr JStgStat JStgStat
- | ForInStat Bool Ident JStgExpr JStgStat
- | SwitchStat JStgExpr [(JStgExpr, JStgStat)] JStgStat
- | TryStat JStgStat Ident JStgStat JStgStat
- | BlockStat [JStgStat]
- | ApplStat JStgExpr [JStgExpr]
- | UOpStat UOp JStgExpr
- | AssignStat JStgExpr AOp JStgExpr
- | LabelStat JsLabel JStgStat
- | BreakStat (Maybe JsLabel)
- | ContinueStat (Maybe JsLabel)
- | FuncStat !Ident [Ident] JStgStat
data JStgExpr
- = ValExpr JVal
- | SelExpr JStgExpr Ident
- | IdxExpr JStgExpr JStgExpr
- | InfixExpr Op JStgExpr JStgExpr
- | UOpExpr UOp JStgExpr
- | IfExpr JStgExpr JStgExpr JStgExpr
- | ApplExpr JStgExpr [JStgExpr]
data JVal
- = JVar Ident
- | JList [JStgExpr]
- | JDouble SaneDouble
- | JInt Integer
- | JStr FastString
- | JRegEx FastString
- | JBool Bool
- | JHash (UniqMap FastString JStgExpr)
- | JFunc [Ident] JStgStat
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 AOp
- = AssignOp
- | AddAssignOp
- | SubAssignOp
data UOp
- = NotOp
- | BNotOp
- | NegOp
- | PlusOp
- | NewOp
- | TypeofOp
- | DeleteOp
- | YieldOp
- | VoidOp
- | PreIncOp
- | PostIncOp
- | PreDecOp
- | PostDecOp
type JsLabel = LexicalFastString
pattern New :: JStgExpr -> JStgExpr
pattern Not :: JStgExpr -> JStgExpr
pattern Negate :: JStgExpr -> JStgExpr
pattern Add :: JStgExpr -> JStgExpr -> JStgExpr
pattern Sub :: JStgExpr -> JStgExpr -> JStgExpr
pattern Mul :: JStgExpr -> JStgExpr -> JStgExpr
pattern Div :: JStgExpr -> JStgExpr -> JStgExpr
pattern Mod :: JStgExpr -> JStgExpr -> JStgExpr
pattern BOr :: JStgExpr -> JStgExpr -> JStgExpr
pattern BAnd :: JStgExpr -> JStgExpr -> JStgExpr
pattern BXor :: JStgExpr -> JStgExpr -> JStgExpr
pattern BNot :: JStgExpr -> JStgExpr
pattern LOr :: JStgExpr -> JStgExpr -> JStgExpr
pattern LAnd :: JStgExpr -> JStgExpr -> JStgExpr
pattern Int :: Integer -> JStgExpr
pattern String :: FastString -> JStgExpr
pattern Var :: Ident -> JStgExpr
pattern PreInc :: JStgExpr -> JStgExpr
pattern PostInc :: JStgExpr -> JStgExpr
pattern PreDec :: JStgExpr -> JStgExpr
pattern PostDec :: JStgExpr -> JStgExpr
newtype SaneDouble = SaneDouble {
- unSaneDouble :: Double
}
pattern Func :: [Ident] -> JStgStat -> JStgExpr
global :: FastString -> JStgExpr
local :: FastString -> JStgExpr

Deeply embedded JS datatypes

data 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

Instances

Instances details

Monoid JStgStat #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

mempty :: JStgStat #

mappend :: JStgStat -> JStgStat -> JStgStat #

mconcat :: [JStgStat] -> JStgStat #

Semigroup JStgStat #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

(<>) :: JStgStat -> JStgStat -> JStgStat #

sconcat :: NonEmpty JStgStat -> JStgStat #

stimes :: Integral b => b -> JStgStat -> JStgStat #

Generic JStgStat #

Instance details

Defined in GHC.JS.JStg.Syntax

Associated Types

type Rep JStgStat

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

from :: JStgStat -> Rep JStgStat x #

to :: Rep JStgStat x -> JStgStat #

ToStat JStgStat #

Instance details

Defined in GHC.JS.Make

Methods

toStat :: JStgStat -> JStgStat #

Eq JStgStat #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

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

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

ToStat [JStgStat] #

Instance details

Defined in GHC.JS.Make

Methods

toStat :: [JStgStat] -> JStgStat #

type Rep JStgStat #

Instance details

Defined in GHC.JS.JStg.Syntax

data 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

Instances

Instances details

Generic JStgExpr #

Instance details

Defined in GHC.JS.JStg.Syntax

Associated Types

type Rep JStgExpr

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

from :: JStgExpr -> Rep JStgExpr x #

to :: Rep JStgExpr x -> JStgExpr #

Num JStgExpr #

Instance details

Defined in GHC.JS.Make

Methods

(+) :: JStgExpr -> JStgExpr -> JStgExpr #

(-) :: JStgExpr -> JStgExpr -> JStgExpr #

(*) :: JStgExpr -> JStgExpr -> JStgExpr #

negate :: JStgExpr -> JStgExpr #

abs :: JStgExpr -> JStgExpr #

signum :: JStgExpr -> JStgExpr #

fromInteger :: Integer -> JStgExpr #

Fractional JStgExpr #

Instance details

Defined in GHC.JS.Make

Methods

(/) :: JStgExpr -> JStgExpr -> JStgExpr #

recip :: JStgExpr -> JStgExpr #

fromRational :: Rational -> JStgExpr #

JVarMagic JStgExpr #

Instance details

Defined in GHC.JS.Make

Methods

fresh :: JSM JStgExpr #

ToJExpr JStgExpr #

Instance details

Defined in GHC.JS.Make

Methods

toJExpr :: JStgExpr -> JStgExpr #

toJExprFromList :: [JStgExpr] -> JStgExpr #

ToStat JStgExpr #

Instance details

Defined in GHC.JS.Make

Methods

toStat :: JStgExpr -> JStgStat #

Outputable JStgExpr #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

ppr :: JStgExpr -> SDoc #

Eq JStgExpr #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

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

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

ToStat [JStgExpr] #

Instance details

Defined in GHC.JS.Make

Methods

toStat :: [JStgExpr] -> JStgStat #

type Rep JStgExpr #

Instance details

Defined in GHC.JS.JStg.Syntax

data 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

Instances

Instances details

Generic JVal #

Instance details

Defined in GHC.JS.JStg.Syntax

Associated Types

type Rep JVal

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

from :: JVal -> Rep JVal x #

to :: Rep JVal x -> JVal #

JVarMagic JVal #

Instance details

Defined in GHC.JS.Make

Methods

fresh :: JSM JVal #

ToJExpr JVal #

Instance details

Defined in GHC.JS.Make

Methods

toJExpr :: JVal -> JStgExpr #

toJExprFromList :: [JVal] -> JStgExpr #

Eq JVal #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

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

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

type Rep JVal #

Instance details

Defined in GHC.JS.JStg.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.JStg.Syntax

Methods

rnf :: Op -> () #

Data Op #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

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

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

toConstr :: Op -> Constr #

dataTypeOf :: Op -> DataType #

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

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

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

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

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

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

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

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

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

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

Enum Op #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

succ :: Op -> Op #

pred :: Op -> Op #

toEnum :: Int -> Op #

fromEnum :: Op -> Int #

enumFrom :: Op -> [Op] #

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

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

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

Generic Op #

Instance details

Defined in GHC.JS.JStg.Syntax

Associated Types

type Rep Op

Instance details

Defined in GHC.JS.JStg.Syntax

type Rep Op = D1 ('MetaData "Op" "GHC.JS.JStg.Syntax" "ghc-lib-parser-9.14.1.20251220-PtFrlL5ZJN3Qo3Axa3c6X" 'False) ((((C1 ('MetaCons "EqOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StrictEqOp" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NeqOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "StrictNeqOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GtOp" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "GeOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LtOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeOp" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "AddOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SubOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MulOp" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "DivOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ModOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeftShiftOp" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "RightShiftOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ZRightShiftOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BAndOp" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "BOrOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BXorOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LAndOp" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "LOrOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "InstanceofOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InOp" 'PrefixI 'False) (U1 :: Type -> Type))))))

Methods

from :: Op -> Rep Op x #

to :: Rep Op x -> Op #

Show Op #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

showsPrec :: Int -> Op -> ShowS #

show :: Op -> String #

showList :: [Op] -> ShowS #

Eq Op #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

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

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

Ord Op #

Instance details

Defined in GHC.JS.JStg.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 #

Instance details

Defined in GHC.JS.JStg.Syntax

type Rep Op = D1 ('MetaData "Op" "GHC.JS.JStg.Syntax" "ghc-lib-parser-9.14.1.20251220-PtFrlL5ZJN3Qo3Axa3c6X" 'False) ((((C1 ('MetaCons "EqOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StrictEqOp" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NeqOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "StrictNeqOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GtOp" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "GeOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LtOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeOp" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "AddOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "SubOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MulOp" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "DivOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ModOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LeftShiftOp" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "RightShiftOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ZRightShiftOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BAndOp" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "BOrOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BXorOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LAndOp" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "LOrOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "InstanceofOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InOp" '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.JStg.Syntax

Methods

rnf :: AOp -> () #

Data AOp #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

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

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

toConstr :: AOp -> Constr #

dataTypeOf :: AOp -> DataType #

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

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

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

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

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

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

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

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

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

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

Enum AOp #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

succ :: AOp -> AOp #

pred :: AOp -> AOp #

toEnum :: Int -> AOp #

fromEnum :: AOp -> Int #

enumFrom :: AOp -> [AOp] #

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

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

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

Generic AOp #

Instance details

Defined in GHC.JS.JStg.Syntax

Associated Types

type Rep AOp
Instance details Defined in GHC.JS.JStg.Syntax type Rep AOp = D1 ('MetaData "AOp" "GHC.JS.JStg.Syntax" "ghc-lib-parser-9.14.1.20251220-PtFrlL5ZJN3Qo3Axa3c6X" '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 #

to :: Rep AOp x -> AOp #

Show AOp #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

showsPrec :: Int -> AOp -> ShowS #

show :: AOp -> String #

showList :: [AOp] -> ShowS #

Eq AOp #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

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

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

Ord AOp #

Instance details

Defined in GHC.JS.JStg.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 #

Instance details

Defined in GHC.JS.JStg.Syntax

type Rep AOp = D1 ('MetaData "AOp" "GHC.JS.JStg.Syntax" "ghc-lib-parser-9.14.1.20251220-PtFrlL5ZJN3Qo3Axa3c6X" '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)))

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

Methods

rnf :: UOp -> () #

Data UOp #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

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

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

toConstr :: UOp -> Constr #

dataTypeOf :: UOp -> DataType #

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

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

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

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

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

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

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

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

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

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

Enum UOp #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

succ :: UOp -> UOp #

pred :: UOp -> UOp #

toEnum :: Int -> UOp #

fromEnum :: UOp -> Int #

enumFrom :: UOp -> [UOp] #

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

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

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

Generic UOp #

Instance details

Defined in GHC.JS.JStg.Syntax

Associated Types

type Rep UOp

Instance details

Defined in GHC.JS.JStg.Syntax

type Rep UOp = D1 ('MetaData "UOp" "GHC.JS.JStg.Syntax" "ghc-lib-parser-9.14.1.20251220-PtFrlL5ZJN3Qo3Axa3c6X" '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 #

to :: Rep UOp x -> UOp #

Show UOp #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

showsPrec :: Int -> UOp -> ShowS #

show :: UOp -> String #

showList :: [UOp] -> ShowS #

Eq UOp #

Instance details

Defined in GHC.JS.JStg.Syntax

Methods

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

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

Ord UOp #

Instance details

Defined in GHC.JS.JStg.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 #

Instance details

Defined in GHC.JS.JStg.Syntax

type Rep UOp = D1 ('MetaData "UOp" "GHC.JS.JStg.Syntax" "ghc-lib-parser-9.14.1.20251220-PtFrlL5ZJN3Qo3Axa3c6X" '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)))))

type JsLabel = LexicalFastString #

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

pattern synonyms over JS operators

pattern New :: JStgExpr -> JStgExpr #

pattern synonym for a unary operator new

pattern Not :: JStgExpr -> JStgExpr #

pattern synonym for logical not !

pattern Negate :: JStgExpr -> JStgExpr #

pattern synonym for unary negation -

pattern Add :: JStgExpr -> JStgExpr -> JStgExpr #

pattern synonym for addition +

pattern Sub :: JStgExpr -> JStgExpr -> JStgExpr #

pattern synonym for subtraction -

pattern Mul :: JStgExpr -> JStgExpr -> JStgExpr #

pattern synonym for multiplication *

pattern Div :: JStgExpr -> JStgExpr -> JStgExpr #

pattern synonym for division *

pattern Mod :: JStgExpr -> JStgExpr -> JStgExpr #

pattern synonym for remainder %

pattern BOr :: JStgExpr -> JStgExpr -> JStgExpr #

pattern synonym for Bitwise Or |

pattern BAnd :: JStgExpr -> JStgExpr -> JStgExpr #

pattern synonym for Bitwise And &

pattern BXor :: JStgExpr -> JStgExpr -> JStgExpr #

pattern synonym for Bitwise XOr ^

pattern BNot :: JStgExpr -> JStgExpr #

pattern synonym for Bitwise Not ~

pattern LOr :: JStgExpr -> JStgExpr -> JStgExpr #

pattern synonym for logical Or ||

pattern LAnd :: JStgExpr -> JStgExpr -> JStgExpr #

pattern synonym for logical And &&

pattern Int :: Integer -> JStgExpr #

pattern synonym to create integer values

pattern String :: FastString -> JStgExpr #

pattern synonym to create string values

pattern Var :: Ident -> JStgExpr #

pattern synonym to create a local variable reference

pattern PreInc :: JStgExpr -> JStgExpr #

pattern synonym for prefix increment ++x

pattern PostInc :: JStgExpr -> JStgExpr #

pattern synonym for postfix increment x++

pattern PreDec :: JStgExpr -> JStgExpr #

pattern synonym for prefix decrement --x

pattern PostDec :: JStgExpr -> JStgExpr #

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

Num SaneDouble #
Instance details Defined in GHC.Types.SaneDouble Methods (+) :: SaneDouble -> SaneDouble -> SaneDouble # (-) :: SaneDouble -> SaneDouble -> SaneDouble # (*) :: SaneDouble -> SaneDouble -> SaneDouble # negate :: SaneDouble -> SaneDouble # abs :: SaneDouble -> SaneDouble # signum :: SaneDouble -> SaneDouble # fromInteger :: Integer -> SaneDouble #
Fractional SaneDouble #
Instance details Defined in GHC.Types.SaneDouble Methods (/) :: SaneDouble -> SaneDouble -> SaneDouble # recip :: SaneDouble -> SaneDouble # fromRational :: Rational -> SaneDouble #
Show SaneDouble #
Instance details Defined in GHC.Types.SaneDouble Methods showsPrec :: Int -> SaneDouble -> ShowS # show :: SaneDouble -> String # showList :: [SaneDouble] -> ShowS #
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 # (/=) :: SaneDouble -> SaneDouble -> Bool #
Ord SaneDouble #
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 #

pattern Func :: [Ident] -> JStgStat -> JStgExpr #

pattern synonym to create an anonymous function

global :: FastString -> JStgExpr #

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

local :: FastString -> JStgExpr #

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