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

Contents

Deeply embedded JS datatypes
pattern synonyms over JS operators
Ident supply
Utility

Description

Domain and Purpose
GHC.JS.Unsat.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 JUOp JExpr
- | AssignStat JExpr JExpr
- | UnsatBlock (IdentSupply JStat)
- | LabelStat JsLabel JStat
- | BreakStat (Maybe JsLabel)
- | ContinueStat (Maybe JsLabel)
- | FuncStat !Ident [Ident] JStat
data JExpr
- = ValExpr JVal
- | SelExpr JExpr Ident
- | IdxExpr JExpr JExpr
- | InfixExpr JOp JExpr JExpr
- | UOpExpr JUOp JExpr
- | IfExpr JExpr JExpr JExpr
- | ApplExpr JExpr [JExpr]
- | UnsatExpr (IdentSupply JExpr)
data JVal
- = JVar Ident
- | JList [JExpr]
- | JDouble SaneDouble
- | JInt Integer
- | JStr FastString
- | JRegEx FastString
- | JHash (UniqMap FastString JExpr)
- | JFunc [Ident] JStat
- | UnsatVal (IdentSupply JVal)
data JOp
- = EqOp
- | StrictEqOp
- | NeqOp
- | StrictNeqOp
- | GtOp
- | GeOp
- | LtOp
- | LeOp
- | AddOp
- | SubOp
- | MulOp
- | DivOp
- | ModOp
- | LeftShiftOp
- | RightShiftOp
- | ZRightShiftOp
- | BAndOp
- | BOrOp
- | BXorOp
- | LAndOp
- | LOrOp
- | InstanceofOp
- | InOp
data JUOp
- = NotOp
- | BNotOp
- | NegOp
- | PlusOp
- | NewOp
- | TypeofOp
- | DeleteOp
- | YieldOp
- | VoidOp
- | PreIncOp
- | PostIncOp
- | PreDecOp
- | PostDecOp
newtype Ident = TxtI {
- itxt :: FastString
}
identFS :: Ident -> FastString
type JsLabel = 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 PreInc :: JExpr -> JExpr
pattern PostInc :: JExpr -> JExpr
pattern PreDec :: JExpr -> JExpr
pattern PostDec :: JExpr -> JExpr
newtype IdentSupply a = IS {
- runIdentSupply :: State [Ident] a
}
newIdentSupply :: Maybe FastString -> [Ident]
pseudoSaturate :: IdentSupply a -> a
newtype SaneDouble = SaneDouble {
- unSaneDouble :: Double
}

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 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
FuncStat !Ident [Ident] JStat	an explicit function definition

Instances

Instances details

Monoid JStat Source #

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

mempty :: JStat Source #

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

mconcat :: [JStat] -> JStat Source #

Semigroup JStat Source #

Instance details

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

Associated Types

type Rep JStat

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

from :: JStat -> Rep JStat x Source #

to :: Rep JStat x -> JStat Source #

ToStat JStat Source #

Instance details

Defined in GHC.JS.Make

Methods

toStat :: JStat -> JStat Source #

JMacro JStat Source #

Instance details

Defined in GHC.JS.Transform

Methods

jtoGADT :: JStat -> JMGadt JStat Source #

jfromGADT :: JMGadt JStat -> JStat Source #

Eq JStat Source #

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

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

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

ToStat [JStat] Source #

Instance details

Defined in GHC.JS.Make

Methods

toStat :: [JStat] -> JStat Source #

type Rep JStat Source #

Instance details

Defined in GHC.JS.Unsat.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 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 Saturated expression. See `pseudoSaturate`

Instances

Instances details

Generic JExpr Source #

Instance details

Defined in GHC.JS.Unsat.Syntax

Associated Types

type Rep JExpr

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

from :: JExpr -> Rep JExpr x Source #

to :: Rep JExpr x -> JExpr Source #

Num JExpr Source #

Instance details

Defined in GHC.JS.Make

Methods

(+) :: JExpr -> JExpr -> JExpr Source #

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

(*) :: JExpr -> JExpr -> JExpr Source #

negate :: JExpr -> JExpr Source #

abs :: JExpr -> JExpr Source #

signum :: JExpr -> JExpr Source #

fromInteger :: Integer -> JExpr Source #

Fractional JExpr Source #

Instance details

Defined in GHC.JS.Make

Methods

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

recip :: JExpr -> JExpr Source #

fromRational :: Rational -> JExpr Source #

ToJExpr JExpr Source #

Instance details

Defined in GHC.JS.Make

Methods

toJExpr :: JExpr -> JExpr Source #

toJExprFromList :: [JExpr] -> JExpr Source #

ToStat JExpr Source #

Instance details

Defined in GHC.JS.Make

Methods

toStat :: JExpr -> JStat Source #

JMacro JExpr Source #

Instance details

Defined in GHC.JS.Transform

Methods

jtoGADT :: JExpr -> JMGadt JExpr Source #

jfromGADT :: JMGadt JExpr -> JExpr Source #

Eq JExpr Source #

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

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

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

ToStat [JExpr] Source #

Instance details

Defined in GHC.JS.Make

Methods

toStat :: [JExpr] -> JStat Source #

type Rep JExpr Source #

Instance details

Defined in GHC.JS.Unsat.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
UnsatVal (IdentSupply JVal)	An Saturated value, see `pseudoSaturate`

Instances

Instances details

Generic JVal Source #

Instance details

Defined in GHC.JS.Unsat.Syntax

Associated Types

type Rep JVal

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

from :: JVal -> Rep JVal x Source #

to :: Rep JVal x -> JVal Source #

ToJExpr JVal Source #

Instance details

Defined in GHC.JS.Make

Methods

toJExpr :: JVal -> JExpr Source #

toJExprFromList :: [JVal] -> JExpr Source #

JMacro JVal Source #

Instance details

Defined in GHC.JS.Transform

Methods

jtoGADT :: JVal -> JMGadt JVal Source #

jfromGADT :: JMGadt JVal -> JVal Source #

Eq JVal Source #

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

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

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

type Rep JVal Source #

Instance details

Defined in GHC.JS.Unsat.Syntax

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

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

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

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

toConstr :: JOp -> Constr Source #

dataTypeOf :: JOp -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Enum JOp Source #

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

succ :: JOp -> JOp Source #

pred :: JOp -> JOp Source #

toEnum :: Int -> JOp Source #

fromEnum :: JOp -> Int Source #

enumFrom :: JOp -> [JOp] Source #

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

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

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

Generic JOp Source #

Instance details

Defined in GHC.JS.Unsat.Syntax

Associated Types

type Rep JOp

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

from :: JOp -> Rep JOp x Source #

to :: Rep JOp x -> JOp Source #

Show JOp Source #

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

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

show :: JOp -> String Source #

showList :: [JOp] -> ShowS Source #

NFData JOp Source #

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

rnf :: JOp -> () Source #

Eq JOp Source #

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

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

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

Ord JOp Source #

Instance details

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

Instance details

Defined in GHC.JS.Unsat.Syntax

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

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

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

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

toConstr :: JUOp -> Constr Source #

dataTypeOf :: JUOp -> DataType Source #

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

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

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

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

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

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

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

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

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

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

Enum JUOp Source #

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

succ :: JUOp -> JUOp Source #

pred :: JUOp -> JUOp Source #

toEnum :: Int -> JUOp Source #

fromEnum :: JUOp -> Int Source #

enumFrom :: JUOp -> [JUOp] Source #

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

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

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

Generic JUOp Source #

Instance details

Defined in GHC.JS.Unsat.Syntax

Associated Types

type Rep JUOp

Instance details

Defined in GHC.JS.Unsat.Syntax

type Rep JUOp = D1 ('MetaData "JUOp" "GHC.JS.Unsat.Syntax" "ghc-9.8.3-c39e" '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 :: JUOp -> Rep JUOp x Source #

to :: Rep JUOp x -> JUOp Source #

Show JUOp Source #

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

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

show :: JUOp -> String Source #

showList :: [JUOp] -> ShowS Source #

NFData JUOp Source #

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

rnf :: JUOp -> () Source #

Eq JUOp Source #

Instance details

Defined in GHC.JS.Unsat.Syntax

Methods

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

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

Ord JUOp Source #

Instance details

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

Instance details

Defined in GHC.JS.Unsat.Syntax

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

identFS :: Ident -> FastString Source #

type JsLabel = LexicalFastString Source #

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

pattern synonyms over JS operators

pattern New :: JExpr -> JExpr Source #

pattern synonym for a unary operator new

pattern Not :: JExpr -> JExpr Source #

pattern synonym for logical not !

pattern Negate :: JExpr -> JExpr Source #

pattern synonym for unary negation -

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

pattern synonym for addition +

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

pattern synonym for subtraction -

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

pattern synonym for multiplication *

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

pattern synonym for division *

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

pattern synonym for remainder %

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

pattern synonym for Bitwise Or |

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

pattern synonym for Bitwise And &

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

pattern synonym for Bitwise XOr ^

pattern BNot :: JExpr -> JExpr Source #

pattern synonym for Bitwise Not ~

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

pattern synonym for logical Or ||

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

pattern synonym for logical And &&

pattern Int :: Integer -> JExpr Source #

pattern synonym to create integer values

pattern String :: FastString -> JExpr Source #

pattern synonym to create string values

pattern PreInc :: JExpr -> JExpr Source #

pattern synonym for prefix increment ++x

pattern PostInc :: JExpr -> JExpr Source #

pattern synonym for postfix increment x++

pattern PreDec :: JExpr -> JExpr Source #

pattern synonym for prefix decrement --x

pattern PostDec :: JExpr -> JExpr Source #

pattern synonym for postfix decrement --x

Ident supply

newtype IdentSupply a Source #

A supply of identifiers, possibly empty

Constructors

IS
Fields runIdentSupply :: State [Ident] a

Instances

Instances details

Functor IdentSupply Source #
Instance details Defined in GHC.JS.Unsat.Syntax Methods fmap :: (a -> b) -> IdentSupply a -> IdentSupply b Source # (<$) :: a -> IdentSupply b -> IdentSupply a Source #
Show a => Show (IdentSupply a) Source #
Instance details Defined in GHC.JS.Unsat.Syntax Methods showsPrec :: Int -> IdentSupply a -> ShowS Source # show :: IdentSupply a -> String Source # showList :: [IdentSupply a] -> ShowS Source #
NFData (IdentSupply a) Source #
Instance details Defined in GHC.JS.Unsat.Syntax Methods rnf :: IdentSupply a -> () Source #
Eq a => Eq (IdentSupply a) Source #
Instance details Defined in GHC.JS.Unsat.Syntax Methods (==) :: IdentSupply a -> IdentSupply a -> Bool # (/=) :: IdentSupply a -> IdentSupply a -> Bool #
Ord a => Ord (IdentSupply a) Source #
Instance details Defined in GHC.JS.Unsat.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] Source #

pseudoSaturate :: IdentSupply a -> a Source #

Given a Pseudo-saturate a value with garbage identifiers.

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 #