Skip to content
This repository was archived by the owner on Nov 1, 2021. It is now read-only.

Commit 6fdc509

Browse files
committed
fancy new js artifacts
1 parent f32dc07 commit 6fdc509

8 files changed

+133
-1
lines changed

lib/js/src/Webapi/Webapi__Dom/Webapi__Dom__Element.js

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8,6 +8,7 @@ var Webapi__Dom__Slotable = require("./Webapi__Dom__Slotable.js");
88
var Webapi__Dom__ChildNode = require("./Webapi__Dom__ChildNode.js");
99
var Webapi__Dom__ParentNode = require("./Webapi__Dom__ParentNode.js");
1010
var Webapi__Dom__EventTarget = require("./Webapi__Dom__EventTarget.js");
11+
var Webapi__Dom__GlobalEventHandlers = require("./Webapi__Dom__GlobalEventHandlers.js");
1112
var Webapi__Dom__NonDocumentTypeChildNode = require("./Webapi__Dom__NonDocumentTypeChildNode.js");
1213

1314
function ofNode(node) {
@@ -53,6 +54,8 @@ var include = Webapi__Dom__Node.Impl(/* module */[]);
5354

5455
Webapi__Dom__EventTarget.Impl(/* module */[]);
5556

57+
Webapi__Dom__GlobalEventHandlers.Impl(/* module */[]);
58+
5659
Webapi__Dom__ParentNode.Impl(/* module */[]);
5760

5861
Webapi__Dom__NonDocumentTypeChildNode.Impl(/* module */[]);
Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
'use strict';
2+
3+
4+
function Impl(T) {
5+
return /* module */[];
6+
}
7+
8+
exports.Impl = Impl;
9+
/* No side effect */

lib/js/src/Webapi/Webapi__Dom/Webapi__Dom__HtmlDocument.js

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@ var Webapi__Dom__Node = require("./Webapi__Dom__Node.js");
55
var Webapi__Dom__Types = require("./Webapi__Dom__Types.js");
66
var Webapi__Dom__Document = require("./Webapi__Dom__Document.js");
77
var Webapi__Dom__EventTarget = require("./Webapi__Dom__EventTarget.js");
8+
var Webapi__Dom__GlobalEventHandlers = require("./Webapi__Dom__GlobalEventHandlers.js");
89

910
function Impl(T) {
1011
var designMode = function (self) {
@@ -41,6 +42,8 @@ var include = Webapi__Dom__Node.Impl(/* module */[]);
4142

4243
Webapi__Dom__EventTarget.Impl(/* module */[]);
4344

45+
Webapi__Dom__GlobalEventHandlers.Impl(/* module */[]);
46+
4447
var include$1 = Webapi__Dom__Document.Impl(/* module */[]);
4548

4649
function designMode(self) {

lib/js/src/Webapi/Webapi__Dom/Webapi__Dom__HtmlElement.js

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@ var Webapi__Dom__Node = require("./Webapi__Dom__Node.js");
66
var Webapi__Dom__Types = require("./Webapi__Dom__Types.js");
77
var Webapi__Dom__Element = require("./Webapi__Dom__Element.js");
88
var Webapi__Dom__EventTarget = require("./Webapi__Dom__EventTarget.js");
9+
var Webapi__Dom__GlobalEventHandlers = require("./Webapi__Dom__GlobalEventHandlers.js");
910

1011
function Impl(T) {
1112
var ofElement = (
@@ -44,6 +45,8 @@ var include = Webapi__Dom__Node.Impl(/* module */[]);
4445

4546
Webapi__Dom__EventTarget.Impl(/* module */[]);
4647

48+
Webapi__Dom__GlobalEventHandlers.Impl(/* module */[]);
49+
4750
var include$1 = Webapi__Dom__Element.Impl(/* module */[]);
4851

4952
var ofElement = (

lib/js/src/Webapi/Webapi__Dom/Webapi__Dom__Text.js

Lines changed: 11 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,23 @@
11
'use strict';
22

3+
var Caml_option = require("bs-platform/lib/js/caml_option.js");
34
var Webapi__Dom__Node = require("./Webapi__Dom__Node.js");
45
var Webapi__Dom__Slotable = require("./Webapi__Dom__Slotable.js");
56
var Webapi__Dom__ChildNode = require("./Webapi__Dom__ChildNode.js");
67
var Webapi__Dom__EventTarget = require("./Webapi__Dom__EventTarget.js");
78
var Webapi__Dom__CharacterData = require("./Webapi__Dom__CharacterData.js");
89
var Webapi__Dom__NonDocumentTypeChildNode = require("./Webapi__Dom__NonDocumentTypeChildNode.js");
910

11+
function ofNode(node) {
12+
var match = Webapi__Dom__Node.nodeType(node) === /* Text */2;
13+
if (match) {
14+
return Caml_option.some(node);
15+
}
16+
17+
}
18+
1019
function Impl(T) {
11-
return /* module */[];
20+
return /* module */[/* ofNode */ofNode];
1221
}
1322

1423
var include = Webapi__Dom__Node.Impl(/* module */[]);
@@ -27,4 +36,5 @@ var nodeType = include[0];
2736

2837
exports.Impl = Impl;
2938
exports.nodeType = nodeType;
39+
exports.ofNode = ofNode;
3040
/* include Not a pure module */
Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,15 @@
11
'use strict';
22

33
var Webapi__Dom__EventTarget = require("./Webapi__Dom__EventTarget.js");
4+
var Webapi__Dom__GlobalEventHandlers = require("./Webapi__Dom__GlobalEventHandlers.js");
45

56
function Impl(T) {
67
return /* module */[];
78
}
89

910
Webapi__Dom__EventTarget.Impl(/* module */[]);
1011

12+
Webapi__Dom__GlobalEventHandlers.Impl(/* module */[]);
13+
1114
exports.Impl = Impl;
1215
/* Not a pure module */
Lines changed: 90 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,90 @@
1+
'use strict';
2+
3+
var TestHelpers = require("../../testHelpers.js");
4+
var Webapi__Dom__Document = require("../../../src/Webapi/Webapi__Dom/Webapi__Dom__Document.js");
5+
var Webapi__Dom__HtmlElement = require("../../../src/Webapi/Webapi__Dom/Webapi__Dom__HtmlElement.js");
6+
7+
function handleSelection(param) {
8+
console.log("change");
9+
return /* () */0;
10+
}
11+
12+
var elm = document.createElement("strong");
13+
14+
elm.addEventListener("selectionchange", handleSelection, {
15+
passive: true,
16+
once: true,
17+
capture: false
18+
});
19+
20+
elm.addEventListener("selectionchange", handleSelection, true);
21+
22+
elm.removeEventListener("selectionchange", handleSelection);
23+
24+
elm.removeEventListener("selectionchange", handleSelection, {
25+
passive: true,
26+
capture: false
27+
});
28+
29+
elm.removeEventListener("selectionchange", handleSelection, true);
30+
31+
var htmlElm = TestHelpers.unsafelyUnwrapOption(Webapi__Dom__HtmlElement.ofElement(document.createElement("strong")));
32+
33+
htmlElm.addEventListener("selectionchange", handleSelection, {
34+
passive: true,
35+
once: true,
36+
capture: false
37+
});
38+
39+
htmlElm.addEventListener("selectionchange", handleSelection, true);
40+
41+
htmlElm.removeEventListener("selectionchange", handleSelection);
42+
43+
htmlElm.removeEventListener("selectionchange", handleSelection, {
44+
passive: true,
45+
capture: false
46+
});
47+
48+
htmlElm.removeEventListener("selectionchange", handleSelection, true);
49+
50+
var htmlDoc = TestHelpers.unsafelyUnwrapOption(Webapi__Dom__Document.asHtmlDocument(document));
51+
52+
htmlDoc.addEventListener("selectionchange", handleSelection, {
53+
passive: true,
54+
once: true,
55+
capture: false
56+
});
57+
58+
htmlDoc.addEventListener("selectionchange", handleSelection, true);
59+
60+
htmlDoc.removeEventListener("selectionchange", handleSelection);
61+
62+
htmlDoc.removeEventListener("selectionchange", handleSelection, {
63+
passive: true,
64+
capture: false
65+
});
66+
67+
htmlDoc.removeEventListener("selectionchange", handleSelection, true);
68+
69+
window.addEventListener("selectionchange", handleSelection, {
70+
passive: true,
71+
once: true,
72+
capture: false
73+
});
74+
75+
window.addEventListener("selectionchange", handleSelection, true);
76+
77+
window.removeEventListener("selectionchange", handleSelection);
78+
79+
window.removeEventListener("selectionchange", handleSelection, {
80+
passive: true,
81+
capture: false
82+
});
83+
84+
window.removeEventListener("selectionchange", handleSelection, true);
85+
86+
exports.handleSelection = handleSelection;
87+
exports.elm = elm;
88+
exports.htmlElm = htmlElm;
89+
exports.htmlDoc = htmlDoc;
90+
/* elm Not a pure module */
Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
'use strict';
2+
3+
var Webapi__Dom__Text = require("../../../src/Webapi/Webapi__Dom/Webapi__Dom__Text.js");
4+
5+
var node = document.createTextNode("text");
6+
7+
var text = Webapi__Dom__Text.ofNode(node);
8+
9+
exports.node = node;
10+
exports.text = text;
11+
/* node Not a pure module */

0 commit comments

Comments
 (0)