1// Generated by purs version 0.15.16
2import * as Data_Maybe from "../Data.Maybe/index.js";
3import * as Data_Ordering from "../Data.Ordering/index.js";
4var Preserve = /* #__PURE__ */ (function () {
8 Preserve.value = new Preserve();
11var Select = /* #__PURE__ */ (function () {
15 Select.value = new Select();
18var Start = /* #__PURE__ */ (function () {
22 Start.value = new Start();
25var End = /* #__PURE__ */ (function () {
29 End.value = new End();
32var showSelectionMode = {
34 if (v instanceof Preserve) {
37 if (v instanceof Select) {
40 if (v instanceof Start) {
43 if (v instanceof End) {
46 throw new Error("Failed pattern match at Web.HTML.SelectionMode (line 17, column 10 - line 21, column 17): " + [ v.constructor.name ]);
49var print = function (v) {
50 if (v instanceof Preserve) {
53 if (v instanceof Select) {
56 if (v instanceof Start) {
59 if (v instanceof End) {
62 throw new Error("Failed pattern match at Web.HTML.SelectionMode (line 32, column 9 - line 36, column 15): " + [ v.constructor.name ]);
64var parse = function (v) {
65 if (v === "preserve") {
66 return new Data_Maybe.Just(Preserve.value);
69 return new Data_Maybe.Just(Select.value);
72 return new Data_Maybe.Just(Start.value);
75 return new Data_Maybe.Just(End.value);
77 return Data_Maybe.Nothing.value;
79var eqSelectionMode = {
82 if (x instanceof Preserve && y instanceof Preserve) {
85 if (x instanceof Select && y instanceof Select) {
88 if (x instanceof Start && y instanceof Start) {
91 if (x instanceof End && y instanceof End) {
98var ordSelectionMode = {
99 compare: function (x) {
100 return function (y) {
101 if (x instanceof Preserve && y instanceof Preserve) {
102 return Data_Ordering.EQ.value;
104 if (x instanceof Preserve) {
105 return Data_Ordering.LT.value;
107 if (y instanceof Preserve) {
108 return Data_Ordering.GT.value;
110 if (x instanceof Select && y instanceof Select) {
111 return Data_Ordering.EQ.value;
113 if (x instanceof Select) {
114 return Data_Ordering.LT.value;
116 if (y instanceof Select) {
117 return Data_Ordering.GT.value;
119 if (x instanceof Start && y instanceof Start) {
120 return Data_Ordering.EQ.value;
122 if (x instanceof Start) {
123 return Data_Ordering.LT.value;
125 if (y instanceof Start) {
126 return Data_Ordering.GT.value;
128 if (x instanceof End && y instanceof End) {
129 return Data_Ordering.EQ.value;
131 throw new Error("Failed pattern match at Web.HTML.SelectionMode (line 0, column 0 - line 0, column 0): " + [ x.constructor.name, y.constructor.name ]);
135 return eqSelectionMode;
149//# 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