/** */ class type_output_html implements type_output { public readonly kind : string = "html"; public readonly data : {}; public constructor(data : {}) {this.data = data;} /** */ public render_element( element : type_element ) : string { return lib_plankton.call.distinguish( element, { "text": ({"content": content}) => ( "" + content + "" ), "group": ({"members": members}) => ( "
\n" + members.map(x => this.render_element(x)).join("") + "
\n" ), "section": ({"title": title, "content": content}) => ( "
\n" + ( "
" + title + "
" ) + this.render_element(content) + "
\n" ), "list": ({"items": items}) => ( "\n" ), }, { "fallback": (element) => ( "
"
					+
					JSON.stringify(element, undefined, "    ")
					+
					"
" ), } ); } } /** */ output_kind_register( "html", (data, sub) => ( new type_output_html( { } ) ) );