GHC.JS.Syntax

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

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

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

Unary operators

AssignStat JExpr JExpr

Binding form: foo = bar

UnsatBlock (IdentSupply JStat)

Unsaturated blocks see pseudoSaturate

LabelStat JsLabel JStat

Statement Labels, makes me nostalgic for qbasic

BreakStat (Maybe JsLabel)

Break

ContinueStat (Maybe JsLabel)

Continue

Instances

Monoid JStat

Defined in GHC.JS.Syntax

Methods

mempty :: JStat

mappend :: JStat -> JStat -> JStat

mconcat :: [JStat] -> JStat

Semigroup JStat

Defined in GHC.JS.Syntax

Methods

(<>) :: JStat -> JStat -> JStat

sconcat :: NonEmpty JStat -> JStat

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

Generic JStat

Defined in GHC.JS.Syntax

Associated Types

type Rep JStat :: Type -> Type

Methods

from :: JStat -> Rep JStat x

to :: Rep JStat x -> JStat

ToStat JStat

Defined in GHC.JS.Make

Methods

toStat :: JStat -> JStat

JsToDoc JStat

Defined in GHC.JS.Ppr

Methods

jsToDocR :: RenderJs -> JStat -> Doc

JMacro JStat

Defined in GHC.JS.Transform

Methods

jtoGADT :: JStat -> JMGadt JStat

jfromGADT :: JMGadt JStat -> JStat

Binary JStat

Defined in GHC.StgToJS.Object

Methods

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

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

get :: BinHandle -> IO JStat

Eq JStat

Defined in GHC.JS.Syntax

Methods

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

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

ToStat [JStat]

Defined in GHC.JS.Make

Methods

toStat :: [JStat] -> JStat

JsToDoc [JStat]

Defined in GHC.JS.Ppr

Methods

jsToDocR :: RenderJs -> [JStat] -> Doc

type Rep JStat

Defined in GHC.JS.Syntax

type Rep JStat = D1 ('MetaData "JStat" "GHC.JS.Syntax" "ghc" 'False) (((C1 ('MetaCons "DeclStat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Ident) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Maybe JExpr))) :+: (C1 ('MetaCons "ReturnStat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr)) :+: C1 ('MetaCons "IfStat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat))))) :+: ((C1 ('MetaCons "WhileStat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat))) :+: C1 ('MetaCons "ForInStat" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat)))) :+: (C1 ('MetaCons "SwitchStat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(JExpr, JStat)]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat))) :+: C1 ('MetaCons "TryStat" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat)))))) :+: (((C1 ('MetaCons "BlockStat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [JStat])) :+: C1 ('MetaCons "ApplStat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [JExpr]))) :+: (C1 ('MetaCons "UOpStat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JUOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr)) :+: C1 ('MetaCons "AssignStat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr)))) :+: ((C1 ('MetaCons "UnsatBlock" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IdentSupply JStat))) :+: C1 ('MetaCons "LabelStat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JsLabel) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat))) :+: (C1 ('MetaCons "BreakStat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe JsLabel))) :+: C1 ('MetaCons "ContinueStat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe JsLabel)))))))

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

Infix Expressions, see JExpr pattern synonyms

UOpExpr JUOp JExpr

Unary Expressions

IfExpr JExpr JExpr JExpr

If-expression

ApplExpr JExpr [JExpr]

Application

UnsatExpr (IdentSupply JExpr)

An Unsaturated expression. See pseudoSaturate

Instances

Generic JExpr

Defined in GHC.JS.Syntax

Associated Types

type Rep JExpr :: Type -> Type

Methods

from :: JExpr -> Rep JExpr x

to :: Rep JExpr x -> JExpr

Num JExpr

Defined in GHC.JS.Make

Methods

(+) :: JExpr -> JExpr -> JExpr

(-) :: JExpr -> JExpr -> JExpr

(*) :: JExpr -> JExpr -> JExpr

negate :: JExpr -> JExpr

abs :: JExpr -> JExpr

signum :: JExpr -> JExpr

fromInteger :: Integer -> JExpr

Fractional JExpr

Defined in GHC.JS.Make

Methods

(/) :: JExpr -> JExpr -> JExpr

recip :: JExpr -> JExpr

fromRational :: Rational -> JExpr

ToJExpr JExpr

Defined in GHC.JS.Make

Methods

toJExpr :: JExpr -> JExpr

toJExprFromList :: [JExpr] -> JExpr

ToStat JExpr

Defined in GHC.JS.Make

Methods

toStat :: JExpr -> JStat

JsToDoc JExpr

Defined in GHC.JS.Ppr

Methods

jsToDocR :: RenderJs -> JExpr -> Doc

JMacro JExpr

Defined in GHC.JS.Transform

Methods

jtoGADT :: JExpr -> JMGadt JExpr

jfromGADT :: JMGadt JExpr -> JExpr

Binary JExpr

Defined in GHC.StgToJS.Object

Methods

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

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

get :: BinHandle -> IO JExpr

Outputable JExpr

Defined in GHC.JS.Ppr

Methods

ppr :: JExpr -> SDoc

Eq JExpr

Defined in GHC.JS.Syntax

Methods

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

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

ToStat [JExpr]

Defined in GHC.JS.Make

Methods

toStat :: [JExpr] -> JStat

JsToDoc [JExpr]

Defined in GHC.JS.Ppr

Methods

jsToDocR :: RenderJs -> [JExpr] -> Doc

type Rep JExpr

Defined in GHC.JS.Syntax

type Rep JExpr = D1 ('MetaData "JExpr" "GHC.JS.Syntax" "ghc" 'False) (((C1 ('MetaCons "ValExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JVal)) :+: C1 ('MetaCons "SelExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident))) :+: (C1 ('MetaCons "IdxExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr)) :+: C1 ('MetaCons "InfixExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JOp) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr))))) :+: ((C1 ('MetaCons "UOpExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JUOp) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr)) :+: C1 ('MetaCons "IfExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr)))) :+: (C1 ('MetaCons "ApplExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JExpr) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [JExpr])) :+: C1 ('MetaCons "UnsatExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IdentSupply JExpr))))))

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

JHash (UniqMap FastString JExpr)

A JS HashMap: {"foo": 0}

JFunc [Ident] JStat

A function

UnsatVal (IdentSupply JVal)

An Unsaturated value, see pseudoSaturate

Instances

Generic JVal

Defined in GHC.JS.Syntax

Associated Types

type Rep JVal :: Type -> Type

Methods

from :: JVal -> Rep JVal x

to :: Rep JVal x -> JVal

ToJExpr JVal

Defined in GHC.JS.Make

Methods

toJExpr :: JVal -> JExpr

toJExprFromList :: [JVal] -> JExpr

JsToDoc JVal

Defined in GHC.JS.Ppr

Methods

jsToDocR :: RenderJs -> JVal -> Doc

JMacro JVal

Defined in GHC.JS.Transform

Methods

jtoGADT :: JVal -> JMGadt JVal

jfromGADT :: JMGadt JVal -> JVal

Binary JVal

Defined in GHC.StgToJS.Object

Methods

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

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

get :: BinHandle -> IO JVal

Outputable JVal

Defined in GHC.JS.Ppr

Methods

ppr :: JVal -> SDoc

Eq JVal

Defined in GHC.JS.Syntax

Methods

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

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

type Rep JVal

Defined in GHC.JS.Syntax

type Rep JVal = D1 ('MetaData "JVal" "GHC.JS.Syntax" "ghc" 'False) (((C1 ('MetaCons "JVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident)) :+: C1 ('MetaCons "JList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [JExpr]))) :+: (C1 ('MetaCons "JDouble" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SaneDouble)) :+: C1 ('MetaCons "JInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))) :+: ((C1 ('MetaCons "JStr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FastString)) :+: C1 ('MetaCons "JRegEx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FastString))) :+: (C1 ('MetaCons "JHash" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UniqMap FastString JExpr))) :+: (C1 ('MetaCons "JFunc" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Ident]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 JStat)) :+: C1 ('MetaCons "UnsatVal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (IdentSupply JVal)))))))

data JOp

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

Data JOp

Defined in GHC.JS.Syntax

Methods

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

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

toConstr :: JOp -> Constr

dataTypeOf :: JOp -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> JOp -> JOp

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

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

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

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

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

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

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

Enum JOp

Defined in GHC.JS.Syntax

Methods

succ :: JOp -> JOp

pred :: JOp -> JOp

toEnum :: Int -> JOp

fromEnum :: JOp -> Int

enumFrom :: JOp -> [JOp]

enumFromThen :: JOp -> JOp -> [JOp]

enumFromTo :: JOp -> JOp -> [JOp]

enumFromThenTo :: JOp -> JOp -> JOp -> [JOp]

Generic JOp

Defined in GHC.JS.Syntax

Associated Types

type Rep JOp :: Type -> Type

Methods

from :: JOp -> Rep JOp x

to :: Rep JOp x -> JOp

Show JOp

Defined in GHC.JS.Syntax

Methods

showsPrec :: Int -> JOp -> ShowS

show :: JOp -> String

showList :: [JOp] -> ShowS

NFData JOp

Defined in GHC.JS.Syntax

Methods

rnf :: JOp -> ()

Binary JOp

Defined in GHC.StgToJS.Object

Methods

put_ :: BinHandle -> JOp -> IO ()

put :: BinHandle -> JOp -> IO (Bin JOp)

get :: BinHandle -> IO JOp

Eq JOp

Defined in GHC.JS.Syntax

Methods

(==) :: JOp -> JOp -> Bool

(/=) :: JOp -> JOp -> Bool

Ord JOp

Defined in GHC.JS.Syntax

Methods

compare :: JOp -> JOp -> Ordering

(<) :: JOp -> JOp -> Bool

(<=) :: JOp -> JOp -> Bool

(>) :: JOp -> JOp -> Bool

(>=) :: JOp -> JOp -> Bool

max :: JOp -> JOp -> JOp

min :: JOp -> JOp -> JOp

type Rep JOp

Defined in GHC.JS.Syntax

type Rep JOp = D1 ('MetaData "JOp" "GHC.JS.Syntax" "ghc" '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 JUOp

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

Data JUOp

Defined in GHC.JS.Syntax

Methods

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

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

toConstr :: JUOp -> Constr

dataTypeOf :: JUOp -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> JUOp -> JUOp

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

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

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

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

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

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

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

Enum JUOp

Defined in GHC.JS.Syntax

Methods

succ :: JUOp -> JUOp

pred :: JUOp -> JUOp

toEnum :: Int -> JUOp

fromEnum :: JUOp -> Int

enumFrom :: JUOp -> [JUOp]

enumFromThen :: JUOp -> JUOp -> [JUOp]

enumFromTo :: JUOp -> JUOp -> [JUOp]

enumFromThenTo :: JUOp -> JUOp -> JUOp -> [JUOp]

Generic JUOp

Defined in GHC.JS.Syntax

Associated Types

type Rep JUOp :: Type -> Type

Methods

from :: JUOp -> Rep JUOp x

to :: Rep JUOp x -> JUOp

Show JUOp

Defined in GHC.JS.Syntax

Methods

showsPrec :: Int -> JUOp -> ShowS

show :: JUOp -> String

showList :: [JUOp] -> ShowS

NFData JUOp

Defined in GHC.JS.Syntax

Methods

rnf :: JUOp -> ()

Binary JUOp

Defined in GHC.StgToJS.Object

Methods

put_ :: BinHandle -> JUOp -> IO ()

put :: BinHandle -> JUOp -> IO (Bin JUOp)

get :: BinHandle -> IO JUOp

Eq JUOp

Defined in GHC.JS.Syntax

Methods

(==) :: JUOp -> JUOp -> Bool

(/=) :: JUOp -> JUOp -> Bool

Ord JUOp

Defined in GHC.JS.Syntax

Methods

compare :: JUOp -> JUOp -> Ordering

(<) :: JUOp -> JUOp -> Bool

(<=) :: JUOp -> JUOp -> Bool

(>) :: JUOp -> JUOp -> Bool

(>=) :: JUOp -> JUOp -> Bool

max :: JUOp -> JUOp -> JUOp

min :: JUOp -> JUOp -> JUOp

type Rep JUOp

Defined in GHC.JS.Syntax

type Rep JUOp = D1 ('MetaData "JUOp" "GHC.JS.Syntax" "ghc" '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)))))

newtype Ident

A newtype wrapper around FastString for JS identifiers.

Constructors

TxtI

Fields

• itxt :: FastString

Instances

Show Ident

Defined in GHC.JS.Syntax

Methods

showsPrec :: Int -> Ident -> ShowS

show :: Ident -> String

showList :: [Ident] -> ShowS

ToJExpr Ident

Defined in GHC.JS.Make

Methods

toJExpr :: Ident -> JExpr

toJExprFromList :: [Ident] -> JExpr

JsToDoc Ident

Defined in GHC.JS.Ppr

Methods

jsToDocR :: RenderJs -> Ident -> Doc

JMacro Ident

Defined in GHC.JS.Transform

Methods

jtoGADT :: Ident -> JMGadt Ident

jfromGADT :: JMGadt Ident -> Ident

Uniquable Ident

Defined in GHC.JS.Syntax

Methods

getUnique :: Ident -> Unique

Binary Ident

Defined in GHC.StgToJS.Object

Methods

put_ :: BinHandle -> Ident -> IO ()

put :: BinHandle -> Ident -> IO (Bin Ident)

get :: BinHandle -> IO Ident

Eq Ident

Defined in GHC.JS.Syntax

Methods

(==) :: Ident -> Ident -> Bool

(/=) :: Ident -> Ident -> Bool

identFS :: Ident -> FastString

type JsLabel = 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 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

Ident supply

newtype IdentSupply a

A supply of identifiers, possibly empty

Constructors

IS

Fields

• runIdentSupply :: State [Ident] a

Instances

Functor IdentSupply

Defined in GHC.JS.Syntax

Methods

fmap :: (a -> b) -> IdentSupply a -> IdentSupply b

(<$) :: a -> IdentSupply b -> IdentSupply a

Show a => Show (IdentSupply a)

Defined in GHC.JS.Syntax

Methods

showsPrec :: Int -> IdentSupply a -> ShowS

show :: IdentSupply a -> String

showList :: [IdentSupply a] -> ShowS

NFData (IdentSupply a)

Defined in GHC.JS.Syntax

Methods

rnf :: IdentSupply a -> ()

Eq a => Eq (IdentSupply a)

Defined in GHC.JS.Syntax

Methods

(==) :: IdentSupply a -> IdentSupply a -> Bool

(/=) :: IdentSupply a -> IdentSupply a -> Bool

Ord a => Ord (IdentSupply a)

Defined in GHC.JS.Syntax

Methods

compare :: IdentSupply a -> IdentSupply a -> Ordering

(<) :: IdentSupply a -> IdentSupply a -> Bool

(<=) :: IdentSupply a -> IdentSupply a -> Bool

(>) :: IdentSupply a -> IdentSupply a -> Bool

(>=) :: IdentSupply a -> IdentSupply a -> Bool

max :: IdentSupply a -> IdentSupply a -> IdentSupply a

min :: IdentSupply a -> IdentSupply a -> IdentSupply a

newIdentSupply :: Maybe FastString -> [Ident]

pseudoSaturate :: IdentSupply a -> a

Given a Pseudo-saturate a value with garbage identifiers.

Utility

newtype SaneDouble

A newtype wrapper around Double to ensure we never generate a Double that becomes a NaN, see 'Eq SaneDouble', 'Ord SaneDouble' for details on Sane-ness

Constructors

SaneDouble

Fields

• unSaneDouble :: Double

Instances

Data SaneDouble

Defined in GHC.JS.Syntax

Methods

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

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

toConstr :: SaneDouble -> Constr

dataTypeOf :: SaneDouble -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> SaneDouble -> SaneDouble

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

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

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

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

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

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

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

Generic SaneDouble

Defined in GHC.JS.Syntax

Associated Types

type Rep SaneDouble :: Type -> Type

Methods

from :: SaneDouble -> Rep SaneDouble x

to :: Rep SaneDouble x -> SaneDouble

Num SaneDouble

Defined in GHC.JS.Syntax

Methods

(+) :: SaneDouble -> SaneDouble -> SaneDouble

(-) :: SaneDouble -> SaneDouble -> SaneDouble

(*) :: SaneDouble -> SaneDouble -> SaneDouble

negate :: SaneDouble -> SaneDouble

abs :: SaneDouble -> SaneDouble

signum :: SaneDouble -> SaneDouble

fromInteger :: Integer -> SaneDouble

Fractional SaneDouble

Defined in GHC.JS.Syntax

Methods

(/) :: SaneDouble -> SaneDouble -> SaneDouble

recip :: SaneDouble -> SaneDouble

fromRational :: Rational -> SaneDouble

Show SaneDouble

Defined in GHC.JS.Syntax

Methods

showsPrec :: Int -> SaneDouble -> ShowS

show :: SaneDouble -> String

showList :: [SaneDouble] -> ShowS

NFData SaneDouble

Defined in GHC.JS.Syntax

Methods

rnf :: SaneDouble -> ()

Binary SaneDouble

Defined in GHC.StgToJS.Object

Methods

put_ :: BinHandle -> SaneDouble -> IO ()

put :: BinHandle -> SaneDouble -> IO (Bin SaneDouble)

get :: BinHandle -> IO SaneDouble

Eq SaneDouble

Defined in GHC.JS.Syntax

Methods

(==) :: SaneDouble -> SaneDouble -> Bool

(/=) :: SaneDouble -> SaneDouble -> Bool

Ord SaneDouble

Defined in GHC.JS.Syntax

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

type Rep SaneDouble

Defined in GHC.JS.Syntax

type Rep SaneDouble = D1 ('MetaData "SaneDouble" "GHC.JS.Syntax" "ghc" 'True) (C1 ('MetaCons "SaneDouble" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSaneDouble") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))