Things that can be marshalled into javascript values. Instantiate for any necessary data structures.

The ToStat class handles injection of of things into the EDSL as a JS statement. This ends up being polymorphic sugar for JS blocks, see helper function expr2stat. Instantiate for any necessary data structures.

construct a JS variable reference

Convert a ShortText to a Javascript String

Create a new anonymous function. The result is a JExpr expression. Usage:

jLam $ \x -> jVar x + one_
jLam $ \f -> (jLam $ \x -> (f `app` (x `app` x))) `app` (jLam $ \x -> (f `app` (x `app` x)))

Create a new function. The result is a JStat. Usage:

jFun fun_name $ \x -> ...

Introduce a new variable into scope for the duration of the enclosed expression. The result is a block statement. Usage:

jVar $ x y -> mconcat [x ||= one_, y ||= two_, x + y]

Create a for statement given a function for initialization, a predicate to step to, a step and a body Usage:

 jFor (|= zero_) (.<. Int 65536) preIncrS
        (j -> ...something with the counter j...)

Create a 'for in' statement. Usage:

jForIn {expression} $ x -> {block involving x}

As with "jForIn" but creating a "for each in" statement.

As with "jForIn" but creating a "for each in" statement.

Declare a variable and then Assign the variable to an expression

foo |= expr ==> var foo; foo = expr;

Assign a variable to an expression

foo |= expr ==> var foo = expr;

JS infix Equality operators

JS infix Equality operators

JS infix Equality operators

JS infix Equality operators

return the expression at idx of obj

obj .! idx ==> obj[idx]

JS infix Ord operators

JS infix Ord operators

JS infix Ord operators

JS infix Ord operators

JS infix bit shift operators

JS infix bit shift operators

JS infix bit shift operators

JS infix bit operators

JS infix bit operators

JS infix bit operators

JS if-expression

if_ e1 e2 e3 ==> e1 ? e2 : e3

if-expression that returns 1 if condition = true, 0 otherwise

if10 e ==> e ? 1 : 0

if-expression that returns 0 if condition = true, 1 otherwise

if01 e ==> e ? 0 : 1

If-expression which returns statements, see related ifBlockS

if e s1 s2 ==> if(e) { s1 } else { s2 }

If-expression which returns blocks

ifBlockS e s1 s2 ==> if(e) { s1 } else { s2 }

A when-statement as syntactic sugar via ifS

jwhenS cond block ==> if(cond) { block } else {  }

an expression application, see related appS

app f xs ==> f(xs)

A statement application, see the expression form app

Return a JExpr

"for" loop with increment at end of body

"for" loop with increment at end of body

Prefix-increment a JExpr

Postfix-increment a JExpr

Prefix-decrement a JExpr

Postfix-decrement a JExpr

Byte indexing of o with a 8-bit offset

Byte indexing of o with a 16-bit offset

Byte indexing of o with a 32-bit offset

Byte indexing of o with a 64-bit offset

a bit mask to retrieve the lower 8-bits

a bit mask to retrieve the lower 16-bits

Sign-extend/narrow a 8-bit value

Sign-extend/narrow a 16-bit value

Given a JExpr, return the its type.

The empty JS statement

Select a property prop, from and object obj

obj .^ prop ==> obj.prop

The empty JS HashMap

A singleton JS HashMap

insert a key-value pair into a JS HashMap

Construct a JS HashMap from a list of key-value pairs

The JS literal null

The JS literal undefined

The JS literal false

The JS literal true

The JS literal 0

The JS literal 1

The JS literal 2

The JS literal 3

construct a js declaration with the given identifier