@quenk/wml 2.13.10 → 2.14.0

package/lib/compile/codegen.js

@@ -3,54 +3,40 @@
  * Typescript code generator.
  */
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.forFromStatement2TS = exports.forOfStatement2TS = exports.forInStatement2TS = exports.ifStatement2TS = exports.interpolation2TS = exports.attrs2String = exports.attributeName2TS = exports.attributeValue2TS = exports.attribute2TS = exports.node2TS = exports.widget2TS = exports.tag2TS = exports.child2TS = exports.children2TS = exports.untypedParameter2TS = exports.typedParameter2TS = exports.parameter2TS = exports.parameters2TS = exports.typeMap2TS = exports.expandTypeMap = exports.typeMapFromRecordType = exports.typeMapFromMemberDecs = exports.memberDeclarations2TS = exports.recordType2Ts = exports.tupleType2TS = exports.listType2TS = exports.functionType2TS = exports.constructorType2TS = exports.type2TS = exports.typeParameter2TS = exports.typeParameters2TS = exports.viewStatement2TS = exports.funStatement2TS = exports.letStatement2TS = exports.contextStatement2TS = exports.aliasStatement2TS = exports.export2TS = exports.exports2TS = exports.compositeMember2TS = exports.aliasedMember2TS = exports.aggregateMember2TS = exports.importMember2TS = exports.importStatement2TS = exports.importStatements2TS = exports.CodeGenerator = exports.THIS = exports.DOCUMENT = exports.WML = exports.VIEW = exports.CONTEXT = void 0;
-exports.unqualifiedIdentifier2TS = exports.qualifiedIdentifier2TS = exports.identifier2TS = exports.qualifiedConstructor2TS = exports.unqualifiedConstructor2TS = exports.constructor2TS = exports.identifierOrConstructor2TS = exports.contextVariable2TS = exports.contextProperty2TS = exports.key2TS = exports.property2TS = exports.list2TS = exports.record2TS = exports.number2TS = exports.string2TS = exports.boolean2TS = exports.literal2TS = exports.functionExpression2TS = exports.memberExpression2TS = exports.args2TS = exports.typeArgs2TS = exports.callExpression2TS = exports.constructExpression2TS = exports.funApplication2TS = exports.viewConstruction2TS = exports.unaryExpression2TS = exports.binaryExpression2TS = exports.ifThenExpression2TS = exports.expression2TS = exports.characters2TS = void 0;
+exports.forOfStatement2TS = exports.forInStatement2TS = exports.ifStatement2TS = exports.interpolation2TS = exports.attrs2String = exports.attributeName2TS = exports.attributeValue2TS = exports.attribute2TS = exports.node2TS = exports.widget2TS = exports.tag2TS = exports.child2TS = exports.children2TS = exports.untypedParameter2TS = exports.typedParameter2TS = exports.parameter2TS = exports.parameters2TS = exports.typeMap2TS = exports.expandTypeMap = exports.typeMapFromRecordType = exports.typeMapFromMemberDecs = exports.memberDeclarations2TS = exports.recordType2Ts = exports.tupleType2TS = exports.listType2TS = exports.functionType2TS = exports.constructorType2TS = exports.type2TS = exports.typeParameter2TS = exports.typeParameters2TS = exports.viewStatement2TS = exports.letStatement2TS = exports.contextStatement2TS = exports.aliasStatement2TS = exports.export2TS = exports.exports2TS = exports.compositeMember2TS = exports.aliasedMember2TS = exports.aggregateMember2TS = exports.importMember2TS = exports.importStatement2TS = exports.importStatements2TS = exports.CodeGenerator = exports.VIEW_FRAME = exports.THIS = exports.UTILS = exports.DOCUMENT = exports.WML = exports.VIEW = exports.CONTEXT = void 0;
+exports.unqualifiedIdentifier2TS = exports.qualifiedIdentifier2TS = exports.identifier2TS = exports.qualifiedConstructor2TS = exports.unqualifiedConstructor2TS = exports.constructor2TS = exports.identifierOrConstructor2TS = exports.contextVariable2TS = exports.contextProperty2TS = exports.key2TS = exports.property2TS = exports.list2TS = exports.record2TS = exports.number2TS = exports.string2TS = exports.boolean2TS = exports.literal2TS = exports.functionExpression2TS = exports.memberExpression2TS = exports.args2TS = exports.typeArgs2TS = exports.callExpression2TS = exports.constructExpression2TS = exports.funApplication2TS = exports.viewConstruction2TS = exports.unaryExpression2TS = exports.binaryExpression2TS = exports.ifThenExpression2TS = exports.expression2TS = exports.characters2TS = exports.forFromStatement2TS = void 0;
 /** imports */
 const ast = require("../parse/ast");
 const path_1 = require("@quenk/noni/lib/data/record/path");
 const record_1 = require("@quenk/noni/lib/data/record");
 const array_1 = require("@quenk/noni/lib/data/array");
 const transform_1 = require("./transform");
-exports.CONTEXT = '__context';
-exports.VIEW = '__view';
-exports.WML = '__wml';
-exports.DOCUMENT = '__document';
-exports.THIS = '__this';
-const MAYBE = '__Maybe';
-const FROM_NULLABLE = '__fromNullable';
-const FROM_ARRAY = '__fromArray';
-const NODE_PARAMS = `tag:string, attrs:${exports.WML}.Attrs, ` +
-    `children: ${exports.WML}.Content[]`;
-const WIDGET_PARAMS = `w: ${exports.WML}.Widget, attrs:${exports.WML}.Attrs`;
-const REGISTER_VIEW_PARAMS = `v:${exports.WML}.View`;
-const REGISTER_PARAMS = `e:${exports.WML}.WMLElement, ` +
-    `attrs:${exports.WML}.Attributes<any>`;
-const THROW_INVALIDATE_ERR = `       throw new Error('invalidate(): cannot ` +
-    `invalidate this view, it has no parent node!');`;
-const IGNORE_UNUSED = '//@ts-ignore:6192';
-const RECORD = '__Record<A>';
-const IF = '__if';
-const IFARG = `__IfArg`;
-const FOR_OF = '__forOf';
-const FOR_IN = '__forIn';
-const FOR_ALT_TYPE = '__ForAlt';
-const FOR_IN_BODY = '__ForInBody<A>';
-const FOR_OF_BODY = '__ForOfBody<A>';
+exports.CONTEXT = "__context";
+exports.VIEW = "__view";
+exports.WML = "__wml";
+exports.DOCUMENT = "__document";
+exports.UTILS = "__utils";
+exports.THIS = "__this";
+exports.VIEW_FRAME = "__viewFrame";
+const VIEW_CLASS = "BaseView";
+const VIEW_FRAME_CLASS = "ViewFrame";
+const FOR_OF = `${exports.UTILS}.forOf`;
+const FOR_IN = `${exports.UTILS}.forIn`;
 const prims = [
-    'String',
-    'Boolean',
-    'Number',
-    'Object',
-    'Undefined',
-    'Null',
-    'Void',
-    'Never',
-    'Any'
+    "String",
+    "Boolean",
+    "Number",
+    "Object",
+    "Undefined",
+    "Null",
+    "Void",
+    "Never",
+    "Any",
 ];
-const casters = ['String', 'Boolean', 'Number', 'Object'];
+const casters = ["String", "Boolean", "Number", "Object"];
 const operators = {
-    '==': '===',
-    '!=': '!=='
+    "==": "===",
+    "!=": "!==",
 };
 /**
  * CodeGenerator is the main entry point for turning a parsed ast into
@@ -73,89 +59,28 @@ class CodeGenerator {
      * generate a Typescript module from an WML AST.
      */
     generate(tree) {
-        let newTree = (0, transform_1.transformTree)(tree);
+        tree = (0, transform_1.transformTree)(tree);
         return [
+            `// @ts-ignore 6192`,
             `import * as ${exports.WML} from '${this.options.module}';`,
-            `import * as ${exports.DOCUMENT} from '${this.options.dom}';`,
-            imports(this),
-            (0, exports.importStatements2TS)(this, newTree.imports),
-            eol(this),
-            typeDefinitions(this),
+            `// @ts-ignore 6192`,
+            `import * as ${exports.DOCUMENT} from '${this.options.module}/lib/dom';`,
+            `// @ts-ignore 6192`,
+            `import * as ${exports.UTILS} from '${this.options.module}/lib/util';`,
+            (0, exports.importStatements2TS)(this, tree.imports),
             eol(this),
             `// @ts-ignore 6192`,
             `const text = ${exports.DOCUMENT}.text;`,
             `// @ts-ignore 6192`,
             `const unsafe = ${exports.DOCUMENT}.unsafe`,
             `// @ts-ignore 6192`,
-            `const isSet = (value:any) => value != null`,
-            (0, exports.exports2TS)(this, newTree.exports)
+            `const isSet = ${exports.UTILS}.isSet`,
+            (0, exports.exports2TS)(this, tree.exports),
         ].join(eol(this));
     }
 }
 exports.CodeGenerator = CodeGenerator;
 const eol = (ctx) => `${ctx.options.EOL}`;
-const imports = (ctx) => [
-    `//@ts-ignore: 6192`,
-    `import {`,
-    `Maybe as ${MAYBE},`,
-    `fromNullable as ${FROM_NULLABLE},`,
-    `fromArray as ${FROM_ARRAY}`,
-    `}`,
-    `from '@quenk/noni/lib/data/maybe';`
-].join(eol(ctx));
-const typeDefinitions = (ctx) => [
-    `${IGNORE_UNUSED}`,
-    `type ${IFARG} = ()=>${exports.WML}.Content[]`,
-    ``,
-    `${IGNORE_UNUSED}`,
-    `type ${FOR_ALT_TYPE} = ()=> ${exports.WML}.Content[]`,
-    ``,
-    `${IGNORE_UNUSED}`,
-    `type ${FOR_IN_BODY} =(val:A, idx:number, all:A[])=>` +
-        `${exports.WML}.Content[]`,
-    ``,
-    `${IGNORE_UNUSED}`,
-    `type ${FOR_OF_BODY} = (val:A, key:string, all:object) =>` +
-        `${exports.WML}.Content[]`,
-    ``,
-    `${IGNORE_UNUSED}`,
-    `interface ${RECORD} {`,
-    ``,
-    ` [key:string]: A`,
-    ``,
-    `}`,
-    ``,
-    `${IGNORE_UNUSED}`,
-    `const ${IF} = (__expr:boolean, __conseq:${IFARG},__alt?:${IFARG}) ` +
-        `: Content[]=>`,
-    `(__expr) ? __conseq() :  __alt ? __alt() : [];`,
-    ``,
-    `${IGNORE_UNUSED}`,
-    `const ${FOR_IN} = <A>(list:A[], f:${FOR_IN_BODY}, alt:` +
-        `${FOR_ALT_TYPE}) : ${exports.WML}.Content[] => {`,
-    ``,
-    `   let ret:${exports.WML}.Content[] = [];`,
-    ``,
-    `   for(let i=0; i<list.length; i++)`,
-    `       ret = ret.concat(f(list[i], i, list));`,
-    ``,
-    `   return ret.length === 0 ? alt() : ret;`,
-    ``,
-    `}`,
-    `${IGNORE_UNUSED}`,
-    `const ${FOR_OF} = <A>(o:${RECORD}, f:${FOR_OF_BODY},` +
-        `alt:${FOR_ALT_TYPE}) : ${exports.WML}.Content[] => {`,
-    ``,
-    `    let ret:${exports.WML}.Content[] = [];`,
-    ``,
-    `    for(let key in o)`,
-    `  	    if(o.hasOwnProperty(key)) `,
-    `	        ret = ret.concat(f((o)[key], key, o));`,
-    ``,
-    `    return ret.length === 0 ? alt(): ret;`,
-    ``,
-    `}`
-].join(eol(ctx));
 /**
  * importStatements2TS converts a list of ImportStatements into typescript.
  */
@@ -180,7 +105,7 @@ const importMember2TS = (n) => {
     else if (n instanceof ast.CompositeMember)
         return (0, exports.compositeMember2TS)(n);
     else
-        return '';
+        return "";
 };
 exports.importMember2TS = importMember2TS;
 /**
@@ -197,14 +122,18 @@ exports.aliasedMember2TS = aliasedMember2TS;
 /**
  * compositeMember2TS
  */
-const compositeMember2TS = (n) => '{' + (n.members.map(m => (m instanceof ast.AliasedMember) ?
-    (0, exports.aliasedMember2TS)(m) :
-    (0, exports.identifierOrConstructor2TS)(m)).join(',')) + '}';
+const compositeMember2TS = (n) => "{" +
+    n.members
+        .map((m) => m instanceof ast.AliasedMember
+        ? (0, exports.aliasedMember2TS)(m)
+        : (0, exports.identifierOrConstructor2TS)(m))
+        .join(",") +
+    "}";
 exports.compositeMember2TS = compositeMember2TS;
 /**
  * exports2TS converts a list of exports to typescript.
  */
-const exports2TS = (ctx, list) => list.map(e => (0, exports.export2TS)(ctx, e)).join(';' + eol(ctx));
+const exports2TS = (ctx, list) => list.map((e) => (0, exports.export2TS)(ctx, e)).join(";" + eol(ctx));
 exports.exports2TS = exports2TS;
 /**
  * export2TS
@@ -216,24 +145,21 @@ const export2TS = (ctx, n) => {
         return (0, exports.contextStatement2TS)(n);
     else if (n instanceof ast.LetStatement)
         return (0, exports.letStatement2TS)(ctx, n);
-    else if (n instanceof ast.FunStatement)
-        return (0, exports.funStatement2TS)(ctx, n);
     else if (n instanceof ast.ViewStatement)
         return (0, exports.viewStatement2TS)(ctx, n);
-    else if ((n instanceof ast.Widget) || (n instanceof ast.Node))
+    else if (n instanceof ast.Widget || n instanceof ast.Node)
         return (0, exports.tag2TS)(ctx, n);
     else
-        return '';
+        return "";
 };
 exports.export2TS = export2TS;
 /**
  * aliasStatement2TS
  */
 const aliasStatement2TS = (n) => {
-    let typeArgs = (n.typeParameters.length > 0) ?
-        (0, exports.typeParameters2TS)(n.typeParameters) : '';
+    let typeArgs = n.typeParameters.length > 0 ? (0, exports.typeParameters2TS)(n.typeParameters) : "";
     let preamble = `export type ${n.id.value}${typeArgs}`;
-    let members = n.members.map(m => (0, exports.type2TS)(m)).join('|');
+    let members = n.members.map((m) => (0, exports.type2TS)(m)).join("|");
     return `${preamble} = ${members};`;
 };
 exports.aliasStatement2TS = aliasStatement2TS;
@@ -242,26 +168,26 @@ exports.aliasStatement2TS = aliasStatement2TS;
  */
 const contextStatement2TS = (n) => {
     let preamble = `export interface ${n.id.value}`;
-    let typeArgs = (n.typeParameters.length > 0) ?
-        (0, exports.typeParameters2TS)(n.typeParameters) : '';
-    let [parents, members] = (0, array_1.partition)(n.members, member => member instanceof ast.ConstructorType);
+    let typeArgs = n.typeParameters.length > 0 ? (0, exports.typeParameters2TS)(n.typeParameters) : "";
+    let [parents, members] = (0, array_1.partition)(n.members, (member) => member instanceof ast.ConstructorType);
     let parentList = parents
-        .map(exports.constructorType2TS).join(',');
-    parentList = (parentList !== '') ? ` extends ${parentList}` : '';
+        .map(exports.constructorType2TS)
+        .join(",");
+    parentList = parentList !== "" ? ` extends ${parentList}` : "";
     return [
         preamble,
         typeArgs,
         parentList,
-        '{',
+        "{",
         (0, exports.memberDeclarations2TS)(members),
-        '}'
-    ].join('');
+        "}",
+    ].join("");
 };
 exports.contextStatement2TS = contextStatement2TS;
 /**
  * letStatement2TS
  */
-const letStatement2TS = (ctx, n) => _setStatement2TS(ctx, n, 'export const');
+const letStatement2TS = (ctx, n) => _setStatement2TS(ctx, n, "export const");
 exports.letStatement2TS = letStatement2TS;
 const _setStatement2TS = (ctx, n, preamble) => {
     let id = (0, exports.identifier2TS)(n.id);
@@ -270,178 +196,42 @@ const _setStatement2TS = (ctx, n, preamble) => {
     let value = (0, exports.expression2TS)(ctx, n.expression);
     return `${preamble} = ${value}`;
 };
-/**
- * funStatement2TS generates Typescript output for fun statements.
- *
- * This is a curried function that first accepts zero or more arguments then
- * a single Registry, finally the content.
- */
-const funStatement2TS = (ctx, n) => {
-    let id = (0, exports.unqualifiedIdentifier2TS)(n.id);
-    let typeParams = (0, exports.typeParameters2TS)(n.typeParameters);
-    let params = (0, exports.parameters2TS)(n.parameters);
-    let factory = `(${exports.THIS}:${exports.WML}.Registry) : ${exports.WML}.Content[] =>`;
-    let body = (0, exports.children2TS)(ctx, n.body);
-    return [
-        `export const ${id} = `,
-        ``,
-        `${typeParams}(${params})=>${factory} {`,
-        ``,
-        `   return ${body};`,
-        ``,
-        `};`
-    ].join(eol(ctx));
-};
-exports.funStatement2TS = funStatement2TS;
 /**
  * viewStatement2TS converts a ViewStatement to its typescript form.
  *
  * This is a class with template and various useful helpers.
  */
 const viewStatement2TS = (ctx, n) => {
-    let instances = n.directives.map(i => _setStatement2TS(ctx, i, 'let')).join(`;${ctx.options.EOL}`);
-    let id = n.id ? (0, exports.constructor2TS)(n.id) : 'Main';
+    let instances = n.directives
+        .map((i) => _setStatement2TS(ctx, i, "let"))
+        .join(`;${ctx.options.EOL}`);
+    let id = n.id ? (0, exports.constructor2TS)(n.id) : "Main";
     let typeParams = (0, exports.typeParameters2TS)(n.typeParameters);
-    let context = (0, exports.type2TS)((n.context instanceof ast.ContextFromStatement) ?
-        n.context.cons : n.context);
+    let context = n.context
+        ? (0, exports.type2TS)(n.context instanceof ast.ContextFromStatement
+            ? n.context.cons
+            : n.context)
+        : "object";
+    let defaultContext = n.context ? "" : "={}";
     let template = (0, exports.tag2TS)(ctx, n.root);
     return [
-        `export class ${id} ${typeParams} implements ${exports.WML}.View {`,
-        ``,
-        `   constructor(${exports.CONTEXT}: ${context}) {`,
-        ``,
-        `       this.template = (${exports.THIS}:${exports.WML}.Registry) => {`,
-        ``,
-        `       ${instances}`,
-        ``,
-        `           return ${template};`,
-        ``,
-        `       }`,
-        ``,
-        `   }`,
-        ``,
-        `   ids: { [key: string]: ${exports.WML}.WMLElement } = {};`,
-        ``,
-        `   groups: { [key: string]: ${exports.WML}.WMLElement[] } = {};`,
-        ``,
-        `   views: ${exports.WML}.View[] = [];`,
-        ``,
-        `   widgets: ${exports.WML}.Widget[] = [];`,
-        ``,
-        `   tree: Node = <Node>${exports.DOCUMENT}.createElement('div');`,
-        ``,
-        `   template: ${exports.WML}.Template;`,
-        ``,
-        `   registerView(${REGISTER_VIEW_PARAMS}) : ${exports.WML}.View {`,
-        ``,
-        `       this.views.push(v);`,
-        ``,
-        `       return v;`,
-        ``,
-        `}`,
-        `   register(${REGISTER_PARAMS}) : ${exports.WML}.WMLElement {`,
-        ``,
-        `       let attrsMap = (<${exports.WML}.Attrs><any>attrs)`,
+        `export class ${id} ${typeParams} extends ${exports.WML}.${VIEW_CLASS} {`,
         ``,
-        `       if(attrsMap.wml) {`,
+        `   constructor(${exports.CONTEXT}: ${context} ${defaultContext}) {`,
         ``,
-        `         let {id, group} = attrsMap.wml;`,
+        `       super(${exports.CONTEXT}, (${exports.THIS}:${exports.WML}.${VIEW_FRAME_CLASS}) => {`,
         ``,
-        `         if(id != null) {`,
+        `         ${instances}`,
         ``,
-        `             if (this.ids.hasOwnProperty(id))`,
-        `               throw new Error(\`Duplicate id '\${id}' detected!\`);`,
+        `         ${exports.THIS}.root(${template});`,
         ``,
-        `             this.ids[id] = e;`,
+        `         return ${exports.THIS};`,
         ``,
-        `         }`,
+        `       });`,
         ``,
-        `         if(group != null) {`,
+        ` }`,
         ``,
-        `             this.groups[group] = this.groups[group] || [];`,
-        `             this.groups[group].push(e);`,
-        ``,
-        `         }`,
-        ``,
-        `         }`,
-        `       return e;`,
         `}`,
-        ``,
-        `   node(${NODE_PARAMS}): ${exports.WML}.Content {`,
-        ``,
-        `       let asDOMAttrs = <${exports.DOCUMENT}.WMLDOMAttrs><object>attrs`,
-        ``,
-        `       let e = ${exports.DOCUMENT}.createElement(tag, asDOMAttrs, children,`,
-        `                attrs.wml && attrs.wml.ns || '');`,
-        ``,
-        `       this.register(e, attrs);`,
-        ``,
-        `       return e;`,
-        ``,
-        `   }`,
-        ``,
-        ``,
-        `   widget(${WIDGET_PARAMS}) : ${exports.WML}.Content {`,
-        ``,
-        `       this.register(w, attrs);`,
-        ``,
-        `       this.widgets.push(w);`,
-        ``,
-        `       return w.render();`,
-        ``,
-        `   }`,
-        ``,
-        `   findById<E extends ${exports.WML}.WMLElement>(id: string): ${MAYBE}<E> {`,
-        ``,
-        `       let mW:${MAYBE}<E> = ${FROM_NULLABLE}<E>(<E>this.ids[id])`,
-        ``,
-        `       return this.views.reduce((p,c)=>`,
-        `       p.isJust() ? p : c.findById(id), mW);`,
-        ``,
-        `   }`,
-        ``,
-        `   findGroupById<E extends ${exports.WML}.WMLElement>(name: string): E[] {` +
-            ``,
-        `           return this.groups.hasOwnProperty(name) ?`,
-        `           <E[]>this.groups[name] : [];`,
-        ``,
-        `   }`,
-        ``,
-        `   invalidate() : void {`,
-        ``,
-        `       let {tree} = this;`,
-        `       let parent = <Node>tree.parentNode;`,
-        ``,
-        `       if (tree == null)`,
-        `           return console.warn('invalidate(): '+` +
-            `       'Missing DOM tree!');`,
-        ``,
-        `       if (tree.parentNode == null)`,
-        `           ${THROW_INVALIDATE_ERR}`,
-        ``,
-        `       parent.replaceChild(<Node>this.render(), tree) `,
-        ``,
-        `   }`,
-        ``,
-        `   render(): ${exports.WML}.Content {`,
-        ``,
-        `       this.ids = {};`,
-        `       this.widgets.forEach(w => w.removed());`,
-        `       this.widgets = [];`,
-        `       this.views = [];`,
-        `       this.tree = <Node>this.template(this);`,
-        ``,
-        `       this.ids['root'] = (this.ids['root']) ?`,
-        `       this.ids['root'] : `,
-        `       this.tree;`,
-        ``,
-        `       this.widgets.forEach(w => w.rendered());`,
-        ``,
-        `       return this.tree;`,
-        ``,
-        `   }`,
-        ``,
-        `}`
     ].join(eol(ctx));
 };
 exports.viewStatement2TS = viewStatement2TS;
@@ -449,13 +239,13 @@ exports.viewStatement2TS = viewStatement2TS;
  * typeParameters2TS converts a list of typeParameters2TS into the a list of
  * typescript typeParameters2TS.
  */
-const typeParameters2TS = (ns) => (ns.length === 0) ? '' : `<${ns.map(exports.typeParameter2TS).join(',')}> `;
+const typeParameters2TS = (ns) => ns.length === 0 ? "" : `<${ns.map(exports.typeParameter2TS).join(",")}> `;
 exports.typeParameters2TS = typeParameters2TS;
 /**
  * typeParameter2TS converts a type parameter into a typescript type parameter.
  */
 const typeParameter2TS = (n) => `${toPrim((0, exports.identifierOrConstructor2TS)(n.id))} ` +
-    `${n.constraint ? 'extends ' + (0, exports.type2TS)(n.constraint) : ''} `;
+    `${n.constraint ? "extends " + (0, exports.type2TS)(n.constraint) : ""} `;
 exports.typeParameter2TS = typeParameter2TS;
 /**
  * type2TS
@@ -477,7 +267,7 @@ const type2TS = (n) => {
         return (0, exports.boolean2TS)(n);
     else if (n instanceof ast.FunctionType)
         return (0, exports.functionType2TS)(n);
-    return '<error>';
+    return "void";
 };
 exports.type2TS = type2TS;
 /**
@@ -487,15 +277,16 @@ exports.type2TS = type2TS;
  */
 const constructorType2TS = (n) => {
     let id = toPrim((0, exports.identifierOrConstructor2TS)(n.id));
-    return (n.typeParameters.length > 0) ?
-        id + (0, exports.typeParameters2TS)(n.typeParameters) : id;
+    return n.typeParameters.length > 0
+        ? id + (0, exports.typeParameters2TS)(n.typeParameters)
+        : id;
 };
 exports.constructorType2TS = constructorType2TS;
 /**
  * functionType2TS
  */
 const functionType2TS = (n) => {
-    let params = n.parameters.map((t, k) => `$${k}:${(0, exports.type2TS)(t)}`).join(',');
+    let params = n.parameters.map((t, k) => `$${k}:${(0, exports.type2TS)(t)}`).join(",");
     let ret = (0, exports.type2TS)(n.returnType);
     return `(${params}) => ${ret}`;
 };
@@ -508,13 +299,13 @@ exports.listType2TS = listType2TS;
 /**
  * tupleType2TS
  */
-const tupleType2TS = (n) => `[${n.members.map(exports.type2TS).join(',')}]`;
+const tupleType2TS = (n) => `[${n.members.map(exports.type2TS).join(",")}]`;
 exports.tupleType2TS = tupleType2TS;
 /**
  * recordType2TS converts the RecordType node to the body of a TypeScript
  * record interface.
  */
-const recordType2Ts = (n) => '{' + (0, exports.memberDeclarations2TS)(n.members) + '}';
+const recordType2Ts = (n) => "{" + (0, exports.memberDeclarations2TS)(n.members) + "}";
 exports.recordType2Ts = recordType2Ts;
 /**
  * memberDeclarations2TS converts a list of MemberDeclarations to TypeScript.
@@ -530,7 +321,7 @@ exports.memberDeclarations2TS = memberDeclarations2TS;
  * This works recursively and any RecordTypes encountered will be flattened.
  */
 const typeMapFromMemberDecs = (list) => list.reduce((p, m) => {
-    let paths = m.path.map(p => p.value);
+    let paths = m.path.map((p) => p.value);
     if (m.kind instanceof ast.RecordType) {
         return (0, exports.typeMapFromRecordType)(m.kind, p, paths);
     }
@@ -549,7 +340,7 @@ exports.typeMapFromMemberDecs = typeMapFromMemberDecs;
  * Any encountered RecordTypes will be flattened.
  */
 const typeMapFromRecordType = (n, init, prefix) => n.members.reduce((p, m) => {
-    let path = [...prefix, ...(m.path.map(p => p.value))];
+    let path = [...prefix, ...m.path.map((p) => p.value)];
     if (m.kind instanceof ast.RecordType) {
         return (0, exports.typeMapFromRecordType)(m.kind, init, path);
     }
@@ -559,7 +350,7 @@ const typeMapFromRecordType = (n, init, prefix) => n.members.reduce((p, m) => {
     }
 }, init);
 exports.typeMapFromRecordType = typeMapFromRecordType;
-const paths2String = (paths) => paths.join('.');
+const paths2String = (paths) => paths.join(".");
 /**
  * expandTypeMap to an ExpandedTypeMap.
  */
@@ -576,14 +367,14 @@ const typeMap2TS = (m) => (0, record_1.mapTo)(m, (t, k) => {
     else {
         return `${k} : ${t}`;
     }
-}).join(',\n');
+}).join(",\n");
 exports.typeMap2TS = typeMap2TS;
-const isOptional = (m) => (0, record_1.reduce)(m, false, (p, _, k) => p ? p : k.indexOf('?') > -1);
+const isOptional = (m) => (0, record_1.reduce)(m, false, (p, _, k) => (p ? p : k.indexOf("?") > -1));
 /**
  * parameters2TS converts a list Parameter nodes into an parameter list
  * (without parens).
  */
-const parameters2TS = (list) => list.map(p => (0, exports.parameter2TS)(p)).join(',');
+const parameters2TS = (list) => list.map((p) => (0, exports.parameter2TS)(p)).join(",");
 exports.parameters2TS = parameters2TS;
 /**
  * parameter2TS
@@ -594,7 +385,7 @@ const parameter2TS = (n) => {
     else if (n instanceof ast.UntypedParameter)
         return (0, exports.untypedParameter2TS)(n);
     else
-        return '';
+        return "";
 };
 exports.parameter2TS = parameter2TS;
 /**
@@ -611,14 +402,14 @@ exports.untypedParameter2TS = untypedParameter2TS;
  * children2TS
  */
 const children2TS = (ctx, list) => `[${ctx.options.EOL}
-        ${list.map(l => (0, exports.child2TS)(ctx, l)).join(',' + ctx.options.EOL)}
+        ${list.map((l) => (0, exports.child2TS)(ctx, l)).join("," + ctx.options.EOL)}
      ]`;
 exports.children2TS = children2TS;
 /**
  * child2TS converts children to typescript.
  */
 const child2TS = (ctx, n) => {
-    if ((n instanceof ast.Node) || (n instanceof ast.Widget))
+    if (n instanceof ast.Node || n instanceof ast.Widget)
         return (0, exports.tag2TS)(ctx, n);
     else if (n instanceof ast.Interpolation)
         return (0, exports.interpolation2TS)(ctx, n);
@@ -643,13 +434,13 @@ const child2TS = (ctx, n) => {
     else if (n instanceof ast.QualifiedIdentifier)
         return (0, exports.qualifiedIdentifier2TS)(n);
     else
-        return '';
+        return "";
 };
 exports.child2TS = child2TS;
 /**
  * tag2TS converts a tag to typescript.
  */
-const tag2TS = (ctx, n) => (n instanceof ast.Widget) ? (0, exports.widget2TS)(ctx, n) : (0, exports.node2TS)(ctx, n);
+const tag2TS = (ctx, n) => n instanceof ast.Widget ? (0, exports.widget2TS)(ctx, n) : (0, exports.node2TS)(ctx, n);
 exports.tag2TS = tag2TS;
 /**
  * widget2TS converts a Widget node into its typescript representation.
@@ -661,8 +452,8 @@ const widget2TS = (ctx, n) => {
     let typeParams = (0, exports.typeArgs2TS)(n.typeArgs);
     let attrs = (0, exports.attrs2String)(ctx, n.attributes);
     let childs = (0, exports.children2TS)(ctx, n.children);
-    return `${exports.THIS}.widget(new ${name}${typeParams}(${attrs}, ${childs}),` +
-        `<${exports.WML}.Attrs>${attrs})`;
+    return (`${exports.THIS}.widget(new ${name}${typeParams}(${attrs}, ${childs}),` +
+        `<${exports.WML}.Attrs>${attrs})`);
 };
 exports.widget2TS = widget2TS;
 /**
@@ -685,9 +476,9 @@ exports.attribute2TS = attribute2TS;
 /**
  * attributeValue2TS
  */
-const attributeValue2TS = (ctx, n) => (n.value instanceof ast.Interpolation) ?
-    (0, exports.interpolation2TS)(ctx, n.value) :
-    (0, exports.literal2TS)(ctx, n.value);
+const attributeValue2TS = (ctx, n) => n.value instanceof ast.Interpolation
+    ? (0, exports.interpolation2TS)(ctx, n.value)
+    : (0, exports.literal2TS)(ctx, n.value);
 exports.attributeValue2TS = attributeValue2TS;
 /**
  * attributeName2TS
@@ -699,24 +490,23 @@ exports.attributeName2TS = attributeName2TS;
  */
 const attrs2String = (ctx, attrs) => {
     // Check for the special wml:attrs attribute.
-    let mallAttrs = (0, array_1.find)(attrs, attr => ((attr.namespace.value === 'wml') &&
-        (attr.name.value === 'attrs')));
+    let mallAttrs = (0, array_1.find)(attrs, (attr) => attr.namespace.value === "wml" && attr.name.value === "attrs");
     if (mallAttrs.isJust())
         return (0, exports.attributeValue2TS)(ctx, mallAttrs.get());
-    let [nns, ns] = (0, array_1.partition)(attrs, a => (a.namespace.value === ''));
+    let [nns, ns] = (0, array_1.partition)(attrs, (a) => a.namespace.value === "");
     let nso = ns.reduce((p, n) => (0, record_1.merge)(p, {
-        [n.namespace.value]: (p[n.namespace.value] || []).concat((0, exports.attribute2TS)(ctx, n))
+        [n.namespace.value]: (p[n.namespace.value] || []).concat((0, exports.attribute2TS)(ctx, n)),
     }), {});
     return _attrs2String(nns.reduce((p, n) => (0, record_1.merge)(p, {
-        [(0, exports.attributeName2TS)(ctx, n)]: (0, exports.attributeValue2TS)(ctx, n)
+        [(0, exports.attributeName2TS)(ctx, n)]: (0, exports.attributeValue2TS)(ctx, n),
     }), nso));
 };
 exports.attrs2String = attrs2String;
-const _attrs2String = (attrs) => '{' +
-    Object.keys(attrs).map(name => Array.isArray(attrs[name]) ?
-        `${name} : { ${attrs[name].join(',')} }` :
-        `${name}: ${attrs[name]}`) +
-    '}';
+const _attrs2String = (attrs) => "{" +
+    Object.keys(attrs).map((name) => Array.isArray(attrs[name])
+        ? `${name} : { ${attrs[name].join(",")} }`
+        : `${name}: ${attrs[name]}`) +
+    "}";
 /**
  * interpolation2TS
  */
@@ -728,15 +518,15 @@ exports.interpolation2TS = interpolation2TS;
 const ifStatement2TS = (ctx, n) => {
     let condition = (0, exports.expression2TS)(ctx, n.condition);
     let conseq = (0, exports.children2TS)(ctx, n.then);
-    let alt = (n.elseClause instanceof ast.ElseIfClause) ?
-        `[${(0, exports.ifStatement2TS)(ctx, n.elseClause)}]` :
-        (n.elseClause instanceof ast.ElseClause) ?
-            (0, exports.children2TS)(ctx, n.elseClause.children) :
-            '[]';
+    let alt = n.elseClause instanceof ast.ElseIfClause
+        ? `[${(0, exports.ifStatement2TS)(ctx, n.elseClause)}]`
+        : n.elseClause instanceof ast.ElseClause
+            ? (0, exports.children2TS)(ctx, n.elseClause.children)
+            : "[]";
     return [
         `...((${condition}) ?`,
         `(()=>(${conseq}))() :`,
-        `(()=>(${alt}))())`
+        `(()=>(${alt}))())`,
     ].join(ctx.options.EOL);
 };
 exports.ifStatement2TS = ifStatement2TS;
@@ -746,14 +536,14 @@ exports.ifStatement2TS = ifStatement2TS;
 const forInStatement2TS = (ctx, n) => {
     let expr = (0, exports.expression2TS)(ctx, n.expression);
     let value = (0, exports.parameter2TS)(n.variables[0]);
-    let key = n.variables.length > 1 ? (0, exports.parameter2TS)(n.variables[1]) : '_$$i';
-    let all = n.variables.length > 2 ? (0, exports.parameter2TS)(n.variables[2]) : '_$$all';
+    let key = n.variables.length > 1 ? (0, exports.parameter2TS)(n.variables[1]) : "_$$i";
+    let all = n.variables.length > 2 ? (0, exports.parameter2TS)(n.variables[2]) : "_$$all";
     let body = (0, exports.children2TS)(ctx, n.body);
-    let alt = n.otherwise.length > 0 ? (0, exports.children2TS)(ctx, n.otherwise) : '[]';
+    let alt = n.otherwise.length > 0 ? (0, exports.children2TS)(ctx, n.otherwise) : "[]";
     return [
         `...${FOR_IN} (${expr}, (${value}, ${key}, ${all})=> `,
         `(${body}), `,
-        `()=> (${alt}))`
+        `()=> (${alt}))`,
     ].join(ctx.options.EOL);
 };
 exports.forInStatement2TS = forInStatement2TS;
@@ -763,14 +553,14 @@ exports.forInStatement2TS = forInStatement2TS;
 const forOfStatement2TS = (ctx, n) => {
     let expr = (0, exports.expression2TS)(ctx, n.expression);
     let value = (0, exports.parameter2TS)(n.variables[0]);
-    let key = n.variables.length > 1 ? (0, exports.parameter2TS)(n.variables[1]) : '_$$k';
-    let all = n.variables.length > 2 ? (0, exports.parameter2TS)(n.variables[2]) : '_$$all';
+    let key = n.variables.length > 1 ? (0, exports.parameter2TS)(n.variables[1]) : "_$$k";
+    let all = n.variables.length > 2 ? (0, exports.parameter2TS)(n.variables[2]) : "_$$all";
     let body = (0, exports.children2TS)(ctx, n.body);
-    let alt = n.otherwise.length > 0 ? (0, exports.children2TS)(ctx, n.otherwise) : '[]';
+    let alt = n.otherwise.length > 0 ? (0, exports.children2TS)(ctx, n.otherwise) : "[]";
     return [
         `...${FOR_OF} (${expr}, (${value}, ${key}, ${all}) => `,
         `       (${body}), `,
-        `    ()=> (${alt}))`
+        `    ()=> (${alt}))`,
     ].join(eol(ctx));
 };
 exports.forOfStatement2TS = forOfStatement2TS;
@@ -790,7 +580,7 @@ const forFromStatement2TS = (ctx, node) => {
         `     ...${body}`,
         `   );`,
         `  return result;`,
-        `})()`
+        `})()`,
     ].join(eol(ctx));
 };
 exports.forFromStatement2TS = forFromStatement2TS;
@@ -799,7 +589,7 @@ exports.forFromStatement2TS = forFromStatement2TS;
  */
 const characters2TS = (n) => `${exports.DOCUMENT}.createTextNode('${breakLines(n.value)}')`;
 exports.characters2TS = characters2TS;
-const breakLines = (str) => str.split('\n').join('\\u000a');
+const breakLines = (str) => str.split("\n").join("\\u000a");
 /**
  * expression2TS
  */
@@ -845,7 +635,7 @@ const expression2TS = (ctx, n) => {
     else if (n instanceof ast.ContextVariable)
         return (0, exports.contextVariable2TS)(n);
     else
-        return '';
+        return "";
 };
 exports.expression2TS = expression2TS;
 /**
@@ -863,13 +653,15 @@ exports.ifThenExpression2TS = ifThenExpression2TS;
  */
 const binaryExpression2TS = (ctx, n) => {
     let left = (0, exports.expression2TS)(ctx, n.left);
-    let right = n.operator === 'as' ?
-        (0, exports.type2TS)(n.right) :
-        (0, exports.expression2TS)(ctx, n.right);
-    let op = operators.hasOwnProperty(n.operator) ?
-        operators[n.operator] :
-        n.operator;
-    return (n.operator === 'as') ? `<${right}>(${left})` : `(${left} ${op} ${right})`;
+    let right = n.operator === "as"
+        ? (0, exports.type2TS)(n.right)
+        : (0, exports.expression2TS)(ctx, n.right);
+    let op = operators.hasOwnProperty(n.operator)
+        ? operators[n.operator]
+        : n.operator;
+    return n.operator === "as"
+        ? `<${right}>(${left})`
+        : `(${left} ${op} ${right})`;
 };
 exports.binaryExpression2TS = binaryExpression2TS;
 /**
@@ -883,7 +675,7 @@ exports.unaryExpression2TS = unaryExpression2TS;
 /**
  * viewConstruction2TS
  */
-const viewConstruction2TS = (ctx, n) => `${exports.THIS}.registerView(${(0, exports.expression2TS)(ctx, n.expression)}).render()`;
+const viewConstruction2TS = (ctx, n) => `${exports.THIS}.view(${(0, exports.expression2TS)(ctx, n.expression)})`;
 exports.viewConstruction2TS = viewConstruction2TS;
 /**
  * funApplication2TS
@@ -899,9 +691,9 @@ const constructExpression2TS = (ctx, n) => {
     let consOriginal = `${cons[0].toUpperCase()}${cons.slice(1)}`;
     let typeArgs = (0, exports.typeArgs2TS)(n.typeArgs);
     let args = (0, exports.args2TS)(ctx, n.args);
-    return (0, array_1.contains)(casters, consOriginal) ?
-        `${consOriginal}${typeArgs}(${args})` :
-        `new ${cons}${typeArgs}(${args})`;
+    return (0, array_1.contains)(casters, consOriginal)
+        ? `${consOriginal}${typeArgs}(${args})`
+        : `new ${cons}${typeArgs}(${args})`;
 };
 exports.constructExpression2TS = constructExpression2TS;
 /**
@@ -917,28 +709,28 @@ exports.callExpression2TS = callExpression2TS;
 /**
  * typeArgs2TS
  */
-const typeArgs2TS = (ns) => (0, array_1.empty)(ns) ? '' : `<${ns.map(exports.type2TS).join(',')}>`;
+const typeArgs2TS = (ns) => (0, array_1.empty)(ns) ? "" : `<${ns.map(exports.type2TS).join(",")}>`;
 exports.typeArgs2TS = typeArgs2TS;
 /**
  * args2TS converts a list of arguments to a typescript argument tupple.
  */
-const args2TS = (ctx, ns) => (ns.length === 0) ? '' : ns.map(e => (0, exports.expression2TS)(ctx, e)).join(',');
+const args2TS = (ctx, ns) => ns.length === 0 ? "" : ns.map((e) => (0, exports.expression2TS)(ctx, e)).join(",");
 exports.args2TS = args2TS;
 /**
  * memberExpression2TS
  */
 const memberExpression2TS = (ctx, n) => {
     let target = (0, exports.expression2TS)(ctx, n.head);
-    return (n.tail instanceof ast.StringLiteral) ?
-        `${target}[${(0, exports.string2TS)(n.tail)}]` :
-        `${target}.${(0, exports.expression2TS)(ctx, n.tail)}`;
+    return n.tail instanceof ast.StringLiteral
+        ? `${target}[${(0, exports.string2TS)(n.tail)}]`
+        : `${target}.${(0, exports.expression2TS)(ctx, n.tail)}`;
 };
 exports.memberExpression2TS = memberExpression2TS;
 /**
  * functionExpression2TS
  */
 const functionExpression2TS = (ctx, n) => {
-    let params = n.parameters.map(exports.parameter2TS).join(',');
+    let params = n.parameters.map(exports.parameter2TS).join(",");
     let body = (0, exports.expression2TS)(ctx, n.body);
     return `(${params}) => ${body}`;
 };
@@ -958,7 +750,7 @@ const literal2TS = (ctx, n) => {
     else if (n instanceof ast.List)
         return (0, exports.list2TS)(ctx, n);
     else
-        return '';
+        return "";
 };
 exports.literal2TS = literal2TS;
 /**
@@ -969,7 +761,10 @@ exports.boolean2TS = boolean2TS;
 /**
  * string2TS
  */
-const string2TS = (n) => n.value.split('\n').map(str => `"${str}"`).join('+');
+const string2TS = (n) => n.value
+    .split("\n")
+    .map((str) => `"${str}"`)
+    .join("+");
 exports.string2TS = string2TS;
 /**
  * number2TS
@@ -980,16 +775,16 @@ exports.number2TS = number2TS;
  * record2TS
  */
 const record2TS = (ctx, n) => `{${ctx.options.EOL} 
-      ${n.properties.map(p => (0, exports.property2TS)(ctx, p)).join(',' + ctx.options.EOL)}
+      ${n.properties.map((p) => (0, exports.property2TS)(ctx, p)).join("," + ctx.options.EOL)}
      }`;
 exports.record2TS = record2TS;
 /**
  * list2TS
  */
 const list2TS = (ctx, n) => {
-    let mems = n.members.map(e => (0, exports.expression2TS)(ctx, e));
+    let mems = n.members.map((e) => (0, exports.expression2TS)(ctx, e));
     return `[${ctx.options.EOL}
-            ${mems.join(',' + ctx.options.EOL)}
+            ${mems.join("," + ctx.options.EOL)}
             ]`;
 };
 exports.list2TS = list2TS;
@@ -1001,15 +796,15 @@ exports.property2TS = property2TS;
 /**
  * key2TS
  */
-const key2TS = (n) => (n instanceof ast.StringLiteral) ? (0, exports.string2TS)(n) : (0, exports.identifier2TS)(n);
+const key2TS = (n) => n instanceof ast.StringLiteral ? (0, exports.string2TS)(n) : (0, exports.identifier2TS)(n);
 exports.key2TS = key2TS;
 /**
  * contextProperty2TS
  */
 const contextProperty2TS = (n) => {
-    let member = (n.member instanceof ast.StringLiteral) ?
-        n.member.value :
-        (0, exports.identifier2TS)(n.member);
+    let member = n.member instanceof ast.StringLiteral
+        ? n.member.value
+        : (0, exports.identifier2TS)(n.member);
     return `${exports.CONTEXT}.${member}`;
 };
 exports.contextProperty2TS = contextProperty2TS;
@@ -1022,14 +817,14 @@ exports.contextVariable2TS = contextVariable2TS;
  * identifierOrConstructor2TS
  */
 const identifierOrConstructor2TS = (n) => {
-    if ((n instanceof ast.UnqualifiedIdentifier) ||
-        (n instanceof ast.QualifiedIdentifier))
+    if (n instanceof ast.UnqualifiedIdentifier ||
+        n instanceof ast.QualifiedIdentifier)
         return (0, exports.identifier2TS)(n);
-    else if ((n instanceof ast.UnqualifiedConstructor) ||
-        (n instanceof ast.QualifiedConstructor))
+    else if (n instanceof ast.UnqualifiedConstructor ||
+        n instanceof ast.QualifiedConstructor)
         return (0, exports.constructor2TS)(n);
     else
-        return '';
+        return "";
 };
 exports.identifierOrConstructor2TS = identifierOrConstructor2TS;
 /**
@@ -1041,7 +836,7 @@ const constructor2TS = (n) => {
     else if (n instanceof ast.UnqualifiedConstructor)
         return (0, exports.unqualifiedConstructor2TS)(n);
     else
-        return '';
+        return "";
 };
 exports.constructor2TS = constructor2TS;
 /**
@@ -1063,7 +858,7 @@ const identifier2TS = (n) => {
     else if (n instanceof ast.UnqualifiedIdentifier)
         return (0, exports.unqualifiedIdentifier2TS)(n);
     else
-        return '';
+        return "";
 };
 exports.identifier2TS = identifier2TS;
 /**
@@ -1076,5 +871,5 @@ exports.qualifiedIdentifier2TS = qualifiedIdentifier2TS;
  */
 const unqualifiedIdentifier2TS = (n) => `${toPrim(n.value)}`;
 exports.unqualifiedIdentifier2TS = unqualifiedIdentifier2TS;
-const toPrim = (id) => prims.indexOf(id) > -1 ? id.toLowerCase() : id;
+const toPrim = (id) => (prims.indexOf(id) > -1 ? id.toLowerCase() : id);
 //# sourceMappingURL=codegen.js.map