1// Generated by purs version 0.15.16
2import * as $foreign from "./foreign.js";
3import * as Web_HTML_Common from "../Web.HTML.Common/index.js";
4import * as Web_HTML_HTMLAnchorElement from "../Web.HTML.HTMLAnchorElement/index.js";
5import * as Web_HTML_HTMLAreaElement from "../Web.HTML.HTMLAreaElement/index.js";
6import * as Web_HTML_HTMLAudioElement from "../Web.HTML.HTMLAudioElement/index.js";
7import * as Web_HTML_HTMLBRElement from "../Web.HTML.HTMLBRElement/index.js";
8import * as Web_HTML_HTMLBaseElement from "../Web.HTML.HTMLBaseElement/index.js";
9import * as Web_HTML_HTMLBodyElement from "../Web.HTML.HTMLBodyElement/index.js";
10import * as Web_HTML_HTMLButtonElement from "../Web.HTML.HTMLButtonElement/index.js";
11import * as Web_HTML_HTMLCanvasElement from "../Web.HTML.HTMLCanvasElement/index.js";
12import * as Web_HTML_HTMLDListElement from "../Web.HTML.HTMLDListElement/index.js";
13import * as Web_HTML_HTMLDataElement from "../Web.HTML.HTMLDataElement/index.js";
14import * as Web_HTML_HTMLDataListElement from "../Web.HTML.HTMLDataListElement/index.js";
15import * as Web_HTML_HTMLDivElement from "../Web.HTML.HTMLDivElement/index.js";
16import * as Web_HTML_HTMLDocument from "../Web.HTML.HTMLDocument/index.js";
17import * as Web_HTML_HTMLElement from "../Web.HTML.HTMLElement/index.js";
18import * as Web_HTML_HTMLEmbedElement from "../Web.HTML.HTMLEmbedElement/index.js";
19import * as Web_HTML_HTMLFieldSetElement from "../Web.HTML.HTMLFieldSetElement/index.js";
20import * as Web_HTML_HTMLFormElement from "../Web.HTML.HTMLFormElement/index.js";
21import * as Web_HTML_HTMLHRElement from "../Web.HTML.HTMLHRElement/index.js";
22import * as Web_HTML_HTMLHeadElement from "../Web.HTML.HTMLHeadElement/index.js";
23import * as Web_HTML_HTMLHeadingElement from "../Web.HTML.HTMLHeadingElement/index.js";
24import * as Web_HTML_HTMLIFrameElement from "../Web.HTML.HTMLIFrameElement/index.js";
25import * as Web_HTML_HTMLImageElement from "../Web.HTML.HTMLImageElement/index.js";
26import * as Web_HTML_HTMLInputElement from "../Web.HTML.HTMLInputElement/index.js";
27import * as Web_HTML_HTMLKeygenElement from "../Web.HTML.HTMLKeygenElement/index.js";
28import * as Web_HTML_HTMLLIElement from "../Web.HTML.HTMLLIElement/index.js";
29import * as Web_HTML_HTMLLabelElement from "../Web.HTML.HTMLLabelElement/index.js";
30import * as Web_HTML_HTMLLegendElement from "../Web.HTML.HTMLLegendElement/index.js";
31import * as Web_HTML_HTMLLinkElement from "../Web.HTML.HTMLLinkElement/index.js";
32import * as Web_HTML_HTMLMapElement from "../Web.HTML.HTMLMapElement/index.js";
33import * as Web_HTML_HTMLMediaElement from "../Web.HTML.HTMLMediaElement/index.js";
34import * as Web_HTML_HTMLMetaElement from "../Web.HTML.HTMLMetaElement/index.js";
35import * as Web_HTML_HTMLMeterElement from "../Web.HTML.HTMLMeterElement/index.js";
36import * as Web_HTML_HTMLModElement from "../Web.HTML.HTMLModElement/index.js";
37import * as Web_HTML_HTMLOListElement from "../Web.HTML.HTMLOListElement/index.js";
38import * as Web_HTML_HTMLObjectElement from "../Web.HTML.HTMLObjectElement/index.js";
39import * as Web_HTML_HTMLOptGroupElement from "../Web.HTML.HTMLOptGroupElement/index.js";
40import * as Web_HTML_HTMLOptionElement from "../Web.HTML.HTMLOptionElement/index.js";
41import * as Web_HTML_HTMLOutputElement from "../Web.HTML.HTMLOutputElement/index.js";
42import * as Web_HTML_HTMLParagraphElement from "../Web.HTML.HTMLParagraphElement/index.js";
43import * as Web_HTML_HTMLParamElement from "../Web.HTML.HTMLParamElement/index.js";
44import * as Web_HTML_HTMLPreElement from "../Web.HTML.HTMLPreElement/index.js";
45import * as Web_HTML_HTMLProgressElement from "../Web.HTML.HTMLProgressElement/index.js";
46import * as Web_HTML_HTMLQuoteElement from "../Web.HTML.HTMLQuoteElement/index.js";
47import * as Web_HTML_HTMLScriptElement from "../Web.HTML.HTMLScriptElement/index.js";
48import * as Web_HTML_HTMLSelectElement from "../Web.HTML.HTMLSelectElement/index.js";
49import * as Web_HTML_HTMLSourceElement from "../Web.HTML.HTMLSourceElement/index.js";
50import * as Web_HTML_HTMLSpanElement from "../Web.HTML.HTMLSpanElement/index.js";
51import * as Web_HTML_HTMLStyleElement from "../Web.HTML.HTMLStyleElement/index.js";
52import * as Web_HTML_HTMLTableCaptionElement from "../Web.HTML.HTMLTableCaptionElement/index.js";
53import * as Web_HTML_HTMLTableCellElement from "../Web.HTML.HTMLTableCellElement/index.js";
54import * as Web_HTML_HTMLTableColElement from "../Web.HTML.HTMLTableColElement/index.js";
55import * as Web_HTML_HTMLTableDataCellElement from "../Web.HTML.HTMLTableDataCellElement/index.js";
56import * as Web_HTML_HTMLTableElement from "../Web.HTML.HTMLTableElement/index.js";
57import * as Web_HTML_HTMLTableHeaderCellElement from "../Web.HTML.HTMLTableHeaderCellElement/index.js";
58import * as Web_HTML_HTMLTableRowElement from "../Web.HTML.HTMLTableRowElement/index.js";
59import * as Web_HTML_HTMLTableSectionElement from "../Web.HTML.HTMLTableSectionElement/index.js";
60import * as Web_HTML_HTMLTemplateElement from "../Web.HTML.HTMLTemplateElement/index.js";
61import * as Web_HTML_HTMLTextAreaElement from "../Web.HTML.HTMLTextAreaElement/index.js";
62import * as Web_HTML_HTMLTimeElement from "../Web.HTML.HTMLTimeElement/index.js";
63import * as Web_HTML_HTMLTitleElement from "../Web.HTML.HTMLTitleElement/index.js";
64import * as Web_HTML_HTMLTrackElement from "../Web.HTML.HTMLTrackElement/index.js";
65import * as Web_HTML_HTMLUListElement from "../Web.HTML.HTMLUListElement/index.js";
66import * as Web_HTML_HTMLVideoElement from "../Web.HTML.HTMLVideoElement/index.js";
67import * as Web_HTML_History from "../Web.HTML.History/index.js";
68import * as Web_HTML_Location from "../Web.HTML.Location/index.js";
69import * as Web_HTML_Navigator from "../Web.HTML.Navigator/index.js";
70import * as Web_HTML_Window from "../Web.HTML.Window/index.js";
75//# sourceMappingURL=index.js.map
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list