This repository has been archived by the owner on May 7, 2023. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 2
/
index.html
116 lines (105 loc) · 6.67 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
<!DOCTYPE html>
<html>
<head>
<title></title>
<meta charset="utf8" />
<meta content="IE=edge,chrome=1" http-equiv="X-UA-Compatible">
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
<link rel="stylesheet" href="https://stackpath.bootstrapcdn.com/bootstrap/4.3.1/css/bootstrap.min.css" crossorigin="anonymous">
<link rel="stylesheet" href="./custom.css">
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/prism/1.15.0/themes/prism.css" />
<link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.8.1/css/all.css" integrity="sha384-50oBUHEmvpQ+1lW4y57PTFmhCaXp0ML5d60M1M7uH2+nqUivzIebhndOJK28anvf" crossorigin="anonymous">
<!-- Global site tag (gtag.js) - Google Analytics -->
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-138709898-1"></script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag(){dataLayer.push(arguments);}
gtag('js', new Date());
gtag('config', 'UA-138709898-1');
</script>
</head>
<body>
<script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/3.6.0/jquery.min.js" integrity="sha512-894YE6QWD5I59HgZOGReFYm4dnWc1Qt5NtvYSaNcOP+u1T9qYdvdihz0PPSiiqn/+/3e7Jo4EaG7TubfWGUrMQ==" crossorigin="anonymous" referrerpolicy="no-referrer"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/prism/1.15.0/prism.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/prism/1.15.0/components/prism-go.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/mark.js/8.11.1/mark.min.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/mark.js/8.11.1/jquery.mark.min.js"></script>
<a href="https://github.com/comby-tools/comby" class="github-corner" aria-label="View source on GitHub"><svg width="90" height="90" viewBox="0 0 250 250" style="position:absolute; fill:#343a40; color:#ced4da; position: absolute; top: 0; border: 0; right: 0;" aria-hidden="true"><path d="M0,0 L115,115 L130,115 L142,142 L250,250 L250,0 Z"></path><path d="M128.3,109.0 C113.8,99.7 119.0,89.6 119.0,89.6 C122.0,82.7 120.5,78.6 120.5,78.6 C119.2,72.0 123.4,76.3 123.4,76.3 C127.3,80.9 125.5,87.3 125.5,87.3 C122.9,97.6 130.6,101.9 134.4,103.2" fill="currentColor" style="transform-origin: 130px 106px;" class="octo-arm"></path><path d="M115.0,115.0 C114.9,115.1 118.7,116.5 119.8,115.4 L133.7,101.6 C136.9,99.2 139.9,98.4 142.2,98.6 C133.8,88.0 127.5,74.4 143.8,58.0 C148.5,53.4 154.0,51.2 159.7,51.0 C160.3,49.4 163.2,43.6 171.4,40.1 C171.4,40.1 176.1,42.5 178.8,56.2 C183.1,58.6 187.2,61.8 190.9,65.4 C194.5,69.0 197.7,73.2 200.1,77.6 C213.8,80.2 216.3,84.9 216.3,84.9 C212.7,93.1 206.9,96.0 205.4,96.6 C205.1,102.4 203.0,107.8 198.3,112.5 C181.9,128.9 168.3,122.5 157.7,114.1 C157.9,116.9 156.7,120.9 152.7,124.9 L141.0,136.5 C139.8,137.7 141.6,141.9 141.8,141.8 Z" fill="currentColor" class="octo-body"></path></svg></a><style>.github-corner:hover .octo-arm{animation:octocat-wave 560ms ease-in-out}@keyframes octocat-wave{0%,100%{transform:rotate(0)}20%,60%{transform:rotate(-25deg)}40%,80%{transform:rotate(10deg)}}@media (max-width:500px){.github-corner:hover .octo-arm{animation:none}.github-corner .octo-arm{animation:octocat-wave 560ms ease-in-out}}</style>
<!-- elm app -->
<script src="./elm.js"></script>
<script>
var app = Elm.App.fullscreen();
// clear the text
app.ports.clear.subscribe(function() {
document.getElementById("listing").value = "";
});
// copy the link to clipboard
app.ports.copyToClipboard.subscribe(function (copyText) {
// console.log("copyUrl clicked");
// tell me about all the nice things I can't have.
var textArea = document.createElement("textarea");
textArea.value = copyText
document.body.appendChild(textArea);
textArea.select();
document.execCommand("copy");
textArea.remove();
});
var colors = [ "two", "three", "four", "five", "six" ];
function escapeHtml(unsafe) {
return unsafe
.replace(/&/g, "&")
.replace(/</g, "<")
.replace(/>/g, ">")
.replace(/"/g, """)
.replace(/'/g, "'");
}
app.ports.highlightMatchRanges.subscribe(function(args) {
var context = document.querySelector(".context");
var instance = new Mark(context);
instance.unmark();
matches = args["matches"];
source = args["source"];
document.getElementById("listing").innerHTML = escapeHtml(source);
for (var i = 0; i < matches.length; i++) {
var start = parseInt(matches[i].range.start.offset);
var length = parseInt(matches[i].range.end.offset) - start;
instance.markRanges([{ start: start, length: length }]);
var environment = matches[i].environment;
// for each variable in environment
for (var j = 0; j < environment.length; j++) {
var inner_match = environment[j];
var inner_start = parseInt(inner_match.range.start.offset);
var inner_length = parseInt(inner_match.range.end.offset) - inner_start;
instance.markRanges([{ start: inner_start, length: inner_length }], {className: colors[j % 5]});
}
}
});
app.ports.highlightRewriteRanges.subscribe(function(args) {
var context = document.querySelector(".context2");
var instance = new Mark(context);
instance.unmark();
// console.log(JSON.stringify(args));
in_place_substitutions = args["in_place_substitutions"];
rewritten_source = args["rewritten_source"];
document.getElementById("listing2").innerHTML = escapeHtml(rewritten_source);
for (var i = 0; i < in_place_substitutions.length; i++) {
var context_start = parseInt(in_place_substitutions[i].range.start.offset);
var context_length = parseInt(in_place_substitutions[i].range.end.offset) - context_start;
instance.markRanges([{ start: context_start, length: context_length }]);
/* replacement ranges for variables are not supported yet */
/*
var environment = in_place_substitutions[i].environment;
for (var j = 0; j < environment.length; j++) {
var inner_match = environment[j];
var relative_start_position = parseInt(inner_match[1].location.offset);
var absolute_start_position = context_start + relative_start_position;
var matched_string = inner_match[1].value;
var length = matched_string.length;
instance.markRanges([{ start: absolute_start_position, length: length }], {className: colors[j % 5]});
}
*/
}
});
</script>
</body>
</html>