GHC.StgToJS.Types

A State monad over IO holding the generator state.

The JS code generator state

The JS code generator state relevant for the current binding group

The Configuration record for the StgToJS pass

Closure info table

Closure information, ClosureInfo, registers

Closure Information, ClosureInfo, layout

The type of ClosureInfo

Static references that must be kept alive

JS primitive representations

The type of identifiers. These determine the suffix of generated functions in JS Land. For example, the entry function for the Just constructor is a IdConEntry which compiles to: function h$ghczminternalZCGHCziInternalziMaybeziJust_con_e() { return h$rs() }; which just returns whatever the stack point is pointing to. Whereas the entry function to Just is an IdEntry and does the work. It compiles to: function h$ghczminternalZCGHCziInternalziMaybeziJust_e() { var h$$baseZCGHCziMaybezieta_8KXnScrCjF5 = h$r2; h$r1 = h$c1(h$ghczminternalZCGHCziInternalziMaybeziJust_con_e, h$$ghczminternalZCGHCziInternalziMaybezieta_8KXnScrCjF5); return h$rs(); }; Which loads some payload from register 2, and applies the Constructor Entry function for the Just to the payload, returns the result in register 1 and returns whatever is on top of the stack

Keys to differentiate Ident's in the ID Cache

Some other symbol

The identifier cache indexed on IdKey local to a module

The global Identifier Cache

A Stack Slot is either known or unknown. We avoid maybe here for more strictness.

Static Arguments. Static Arguments are things that are statically allocated, i.e., they exist at program startup. These are static heap objects or literals or things that have been floated to the top level binding by ghc.

A Static literal value

A foreign reference to some JS code

data used to generate one ObjBlock in our object file

one toplevel block in the object file

Types of FFI values

Typed expression

A Primop result is either an inlining of some JS payload, or a primitive call to a JS function defined in Shim files in base.

A Closure is one of six types

Convert ClosureType to an Int

Convert ClosureType to a String

A thread is in one of 4 states

Convert the status of a thread in JS land to an Int

convert the status of a thread in JS land to a string