@@ -0,0 +1,3963 @@
4+var Guid = function() {
6+ var guid = function() { counter += 1; return counter; };
9+Elm.JavaScript = function() {
10+ function castJSBoolToBool(b) { return b; }
11+ function castBoolToJSBool(b) { return b; }
13+ function castJSNumberToFloat(n) { return n; }
14+ function castFloatToJSNumber(n) { return n; }
16+ function castJSNumberToInt(n) { return ~~n; }
17+ function castIntToJSNumber(n) { return n; }
19+ function castJSElementToElement(w) {
21+ return function(node) {
22+ return ["Element",Guid.guid(),
23+ ["EExternalHtml",node],
24+ w,h,1,Nothing,Nothing];
28+ function castElementToJSElement(elem) { return Render.render(elem); }
30+ function castJSArrayToList(arr) {
32+ for (var i = arr.length; i--; ) {
33+ list = [ "Cons", arr[i], list ];
37+ function castListToJSArray(list) {
39+ while (list[0] === "Cons") {
46+ var castJSStringToString = castJSArrayToList;
47+ function castStringToJSString(str) {
48+ if (typeof str === "string") return str;
49+ return castListToJSArray(str).join('');
52+ function fromTuple(t) { return t.slice(1); }
53+ function toTuple(a) { return ["Tuple" + a.length].concat(a); }
55+ return {castJSBoolToBool:castJSBoolToBool,
56+ castBoolToJSBool:castBoolToJSBool,
57+ castJSNumberToFloat:castJSNumberToFloat,
58+ castFloatToJSNumber:castFloatToJSNumber,
59+ castJSNumberToInt:castJSNumberToInt,
60+ castIntToJSNumber:castIntToJSNumber,
61+ Experimental : {castJSElementToElement:castJSElementToElement,
62+ castElementToJSElement:castElementToJSElement},
63+ castJSArrayToList:castJSArrayToList,
64+ castListToJSArray:castListToJSArray,
65+ castJSStringToString:castJSStringToString,
66+ castStringToJSString:castStringToJSString,
67+ castTupleToJSTuple2:fromTuple,
68+ castTupleToJSTuple3:fromTuple,
69+ castTupleToJSTuple4:fromTuple,
70+ castTupleToJSTuple5:fromTuple,
71+ castJSTupleToTuple2:toTuple,
72+ castJSTupleToTuple3:toTuple,
73+ castJSTupleToTuple4:toTuple,
74+ castJSTupleToTuple5:toTuple
78+var JSjson = window.JSON;
79+Elm.JSON = function() {
80+ var JS = Elm.JavaScript;
81+ var empty = ['JSON',{}];
82+ function singleton(k) { return function(v) {
84+ obj[JS.castStringToJSString(k)] = v;
85+ return ['JSON', obj ];
88+ function insert(k) { return function(v) { return function(inObj) {
94+ outObj[JS.castStringToJSString(k)] = v;
95+ return ['JSON', outObj ];
100+ function lookup(key) { return function(obj) {
101+ var k = JS.castStringToJSString(key);
102+ return obj[1].hasOwnProperty(k) ? ["Just", obj[1][k]] : ["Nothing"] ;
105+ function find(tipe,base) { return function (key) { return function(obj) {
106+ var k = JS.castStringToJSString(key);
107+ if (obj[1].hasOwnProperty(k)) {
109+ if (v[0] === tipe) { return v[1]; }
115+ function lookupWithDefault(base) { return function(key) { return function(obj) {
116+ var k = JS.castStringToJSString(key);
117+ return obj[1].hasOwnProperty(k) ? obj[1][k] : base ;
122+ function remove(k) { return function(inObj) {
125+ for (var i in obj) {
128+ delete outObj[JS.castStringToJSString(k)];
129+ return ['JSON', outObj];
133+ function JsonString(v) { return [ "JsonString", v ]; }
134+ function JsonNumber(v) { return [ "JsonNumber", v ]; }
135+ function JsonBool(v) { return [ "JsonBool", v ]; }
136+ var JsonNull = [ "JsonNull" ];
137+ function JsonArray(v) { return [ "JsonArray", v ]; }
138+ function JsonObject(v) { return [ "JsonObject", v ]; }
140+ function toList(json) {
143+ for (var i in obj) {
144+ arr.push(Value.Tuple(JS.castJSStringToString(i), obj[i]));
146+ return JS.castJSArrayToList(arr);
148+ function fromList(list) {
149+ var arr = JS.castListToJSArray(list);
151+ for (var i = arr.length; i--; ) {
152+ obj[JS.castStringToJSString(arr[i][1])] = arr[i][2];
154+ return [ "JSON", obj ];
157+ function toPrettyJSString(sep) { return function (obj) {
158+ function fromValue(v) {
160+ case 'JsonNull' : return null;
161+ case 'JsonString' : return JS.castStringToJSString(v[1]);
165+ for (var i in from) {
166+ o[i] = fromValue(from[i]);
170+ var a = JS.castListToJSArray(v[1]);
171+ for (var i = a.length; i--; ) {
172+ a[i] = fromValue(a[i]);
179+ return JSjson.stringify(fromValue([ 'JsonObject', obj ]), null, JS.castStringToJSString(sep));
182+ function fromJSString(str) {
183+ var obj = JSjson.parse(str);
184+ function toValue(v) {
186+ case 'string' : return [ "JsonString", JS.castJSStringToString(v) ];
187+ case 'number' : return [ "JsonNumber", JS.castJSNumberToFloat(v) ];
188+ case 'boolean' : return [ "JsonBool", JS.castJSBoolToBool(v) ];
190+ if (v === null) return [ "JsonNull" ];
192+ v[i] = toValue(v[i]);
194+ if (v instanceof Array) return [ "JsonArray", JS.castJSArrayToList(v) ];
195+ return [ "JsonObject", [ "JSON", v ] ];
198+ for (var i in obj) {
199+ obj[i] = toValue(obj[i]);
201+ return ['JSON',obj];
203+ return {empty : empty,
204+ singleton : singleton,
207+ findString : find("JsonString",["Nil"]),
208+ findObject : find("JsonObject", empty ),
209+ findArray : find("JsonArray" ,["Nil"]),
210+ findWithDefault : lookupWithDefault,
212+ toPrettyJSString : toPrettyJSString,
213+ toJSString : toPrettyJSString(''),
214+ fromJSString : fromJSString,
215+ toPrettyString : function(sep) { return function(v) {
216+ return JS.castJSStringToString(toPrettyJSString(sep)(v)); }; },
217+ toString : function(v) { return JS.castJSStringToString(toPrettyJSString('')(v)); },
218+ fromString : function(v) { return fromJSString(JS.castStringToJSString(v)); },
220+ fromList : fromList,
221+ JsonString : JsonString,
222+ JsonNumber : JsonNumber,
223+ JsonBool : JsonBool,
224+ JsonNull : JsonNull,
225+ JsonArray : JsonArray,
226+ JsonObject : JsonObject
230+var Value = function(){
232+ var eq = function(x,y) {
233+ if (typeof x === "object") {
234+ if (x.hasOwnProperty('_')) {
235+ for (var i in x) { if (x[i] != y[i]) return false; }
236+ for (var i in y) { if (x[i] != y[i]) return false; }
239+ if (x === y) return true;
240+ if (x.length !== y.length) return false;
241+ for (var i = x.length; i--; ) {
242+ if (!eq(x[i],y[i])) return false;
249+ var Tuple = function() {
250+ var len = arguments.length;
251+ var arr = new Array(len+1);
252+ arr[0] = "Tuple" + arguments.length;
253+ for (var i = len; i--; ) {
254+ arr[i+1] = arguments[i];
259+ var listToArray = function(list) {
261+ while (list[0] === "Cons") {
268+ function makeSpaces(s) {
269+ if (s.length == 0) { return s; }
270+ var arr = s.split('');
271+ if (arr[0] == ' ') { arr[0] = " " }
272+ for (var i = arr.length; --i; ) {
273+ if (arr[i][0] == ' ' && arr[i-1] == ' ') {
274+ arr[i-1] = arr[i-1] + arr[i];
278+ for (var i = arr.length; i--; ) {
279+ if (arr[i].length > 1 && arr[i][0] == ' ') {
280+ var spaces = arr[i].split('');
281+ for (var j = spaces.length - 2; j >= 0; j -= 2) {
282+ spaces[j] = ' ';
284+ arr[i] = spaces.join('');
288+ if (arr[arr.length-1] === " ") {
289+ return arr.slice(0,-1) + ' ';
294+ function properEscape(str) {
295+ if (str.length == 0) return str;
296+ str = str //.replace(/&/g, "&")
297+ .replace(/"/g, /*"*/ """)
298+ .replace(/'/g, /*'*/ "'")
299+ .replace(/</g, "<")
300+ .replace(/>/g, ">")
301+ .replace(/\n/g, "<br/>");
302+ var arr = str.split('<br/>');
303+ for (var i = arr.length; i--; ) {
304+ arr[i] = makeSpaces(arr[i]);
306+ return arr.join('<br/>');
309+ var toText = function(elmList) {
310+ if (typeof elmList === "string") return properEscape(elmList);
312+ while (elmList[0] === "Cons") {
314+ elmList = elmList[2];
316+ return properEscape(a.join(''));
319+ function getTextSize(w,h,txt) {
320+ var t = document.createElement('div');
322+ t.style.textAlign = 'left';
323+ if (w > 0) { t.style.width = w + "px"; }
325+ t.style.visibility = "hidden";
326+ t.style.styleFloat = "left";
327+ t.style.cssFloat = "left";
329+ document.body.appendChild(t);
330+ var cStyle = window.getComputedStyle(t,null);
331+ var realW = cStyle.getPropertyValue("width").slice(0,-2) - 0;
332+ var realH = cStyle.getPropertyValue("height").slice(0,-2) - 0;
333+ document.body.removeChild(t);
335+ return [Math.ceil(realW),Math.ceil(Math.max(h,realH))];
338+ function getSize(e) {
339+ var t = e.cloneNode(true);
341+ t.style.visibility = "hidden";
342+ t.style.styleFloat = "left";
343+ t.style.cssFloat = "left";
345+ document.body.appendChild(t);
346+ var w = t.offsetWidth;
347+ var h = t.offsetHeight;
348+ document.body.removeChild(t);
353+ function getExcess(e) {
354+ var t = e.cloneNode(true);
356+ t.style.visibility = "hidden";
357+ t.style.styleFloat = "left";
358+ t.style.cssFloat = "left";
360+ document.body.appendChild(t);
361+ var ow = t.offsetWidth;
362+ var oh = t.offsetHeight;
363+ var cStyle = window.getComputedStyle(t,null);
364+ var w = cStyle.getPropertyValue("width").slice(0,-2) - 0;
365+ var h = cStyle.getPropertyValue("height").slice(0,-2) - 0;
366+ document.body.removeChild(t);
372+ function groupForms(forms) {
373+ forms = Elm.JavaScript.castListToJSArray(forms);
376+ for (var i = forms.length; i--; ) {
380+ if (arr.length > 0) {
390+ if (arr.length > 0) groups.push(arr);
394+ var toString = function(v) {
395+ if (typeof v === "function") {
396+ return "<function>";
397+ } else if (typeof v === "boolean") {
398+ return v ? "True" : "False";
399+ } else if (typeof v === "number") {
401+ } else if (typeof v === "string" && v.length < 2) {
403+ } else if (typeof v === "object" && v.hasOwnProperty('_')) {
406+ if (k == '_') continue;
407+ for (var i = v[k].length; i--; ) {
408+ output.push(k + " = " + toString(v[k][i]));
411+ if (output.length === 0) return "{}";
412+ return "{ " + output.join(", ") + " }";
414+ if (v[0].substring(0,5) === "Tuple") {
415+ var output = new Array(v.length-1);
416+ for (var i = v.length; --i; ) { output[i-1] = toString(v[i]); }
417+ return "(" + output.join(",") + ")";
418+ } else if (v[0] === "Cons") {
419+ var start = (typeof v[1] === "string") ? '"' : "[";
420+ var end = (typeof v[1] === "string") ? '"' : "]";
421+ var div = (typeof v[1] === "string") ? "" : ",";
422+ var f = (typeof v[1] === "string") ? function(x){return x} : toString;
423+ var output = start + f(v[1]);
426+ if (v[0] === "Cons") {
427+ output += div + f(v[1]);
430+ return output + end;
433+ } else if (v[0] === "Nil") {
435+ } else if (v[0] === "JSON") {
436+ return "(JSON.fromList " + toString(Elm.JSON.toList(v)) + ")";
437+ } else if (v[0] === "RBNode" || v[0] === "RBEmpty") {
438+ function cons(k){ return function(v) { return function(acc) { return ["Cons",["Tuple2",k,v],acc]; }; }; }
439+ var list = Elm.Dict.foldr(cons)(["Nil"])(v);
441+ if (list[0] === "Cons" && list[1][2][0] === "Tuple0") {
443+ list = Elm.List.map(function(x) { return x[1]; })(list);
445+ return "(" + name + ".fromList " + toString(list) + ")";
448+ for (var i = v.length; --i; ) { output.push(toString(v[i])); }
449+ output = v[0] + ' ' + output.join(' ');
450+ return (v.length > 1) ? "(" + output + ")" : output;
455+ var show = function(v) { return str(toString(v)); };
456+ var append = function(xs,ys) {
457+ if (typeof xs === "string" && typeof ys === "string") {
458+ return xs.concat(ys);
460+ if (xs[0] === "Nil") {
463+ var root = ["Cons", xs[1], ["Nil"]];
466+ while (xs[0]==="Cons") {
467+ curr[2] = ["Cons", xs[1], ["Nil"]];
475+ var str = function(s) {
477+ for (var i = s.length; i--; ) {
478+ out = ["Cons", s[i], out];
483+ function wrap(elem) {
484+ var p = Value.getSize(elem);
485+ return ["Element", Guid.guid(), ["EHtml",elem],
486+ p[0], p[1], 1, ["Nothing"], ["Nothing"]];
488+ var addListener = function() {
489+ if(document.addEventListener) {
490+ return function(element, event, handler) {
491+ element.addEventListener(event, handler, false);
494+ return function(element, event, handler) {
495+ element.attachEvent('on' + event, handler);
505+ listToArray:listToArray,
507+ properEscape : properEscape,
508+ getTextSize : getTextSize,
510+ getExcess : getExcess,
511+ groupForms : groupForms,
513+ addListener : addListener
515+}();Elm.List = function() {
517+ var throwError = function(f) {
518+ throw "Function '" + f + "' expecting a list!";
521+ function length(xs) {
523+ while (xs[0] === "Cons") {
529+ var reverse = foldl(function(x_72) {
530+ return function(y_73) {
531+ return["Cons", x_72, y_73]
534+ var concat = foldr(function(x_74) {
535+ return function(y_75) {
536+ return Value.append(x_74, y_75)
539+ var and = foldl(function(x_77) {
540+ return function(y_78) {
544+ var or = foldl(function(x_79) {
545+ return function(y_80) {
549+ var sum = foldl(function(x_89) {
550+ return function(y_90) {
554+ var product = foldl(function(x_91) {
555+ return function(y_92) {
559+ var maximum = foldl1(function(x) { return function(y) { return Math.max(x,y) } });
560+ var minimum = foldl1(function(x) { return function(y) { return Math.min(x,y) } });
562+ if (v[0] !== "Cons") {
563+ throw "Error: 'head' only accepts lists of length greater than one.";
568+ if (v[0] !== "Cons") {
569+ throw "Error: 'tail' only accepts lists of length greater than one.";
574+ if (v[0] !== "Cons") {
575+ throw "Error: 'last' only accepts lists of length greater than one.";
578+ while (v[0] === "Cons") {
585+ return function(xs) {
586+ if (xs[0] === "Nil") { return xs; }
587+ if (xs[0] !== "Cons") { throwError('map'); }
588+ var root = ["Cons", f(xs[1]), ["Nil"]];
591+ while (xs[0]==="Cons") {
592+ curr[2] = ["Cons", f(xs[1]), ["Nil"]];
600+ return function(b) {
601+ return function(xs) {
603+ if (xs[0] === "Nil") { return acc; }
604+ if (xs[0] !== "Cons") { throwError('foldl'); }
605+ while (xs[0] === "Cons") {
606+ acc = f(xs[1])(acc);
614+ return function(b) {
615+ return function(xs) {
617+ if (xs[0] === "Nil") { return acc; }
618+ if (xs[0] !== "Cons") { throwError('foldr'); }
620+ while (xs[0] === "Cons") {
624+ for (var i = arr.length; i--; ) {
625+ acc = f(arr[i])(acc);
631+ function foldl1(f_49) {
632+ return function(_temp_50) {
633+ return function(v) {
634+ if("Cons" !== v[0]) {
639+ return foldl(f_49)(x_51)(xs_52)
644+ function foldr1(f) {
645+ return function(xs) {
646+ if (xs[0] === "Nil") { throw "'foldr1' requires an non-empty list." }
647+ if (xs[0] !== "Cons") { throwError('foldr1'); }
649+ while (xs[0] === "Cons") {
653+ var acc = arr.pop();
654+ for (var i = arr.length; i--; ) {
655+ acc = f(arr[i])(acc);
661+ return function(b) {
662+ return function(xs) {
663+ if (xs[0] === "Nil") { return ["Cons",b,["Nil"]]; }
664+ if (xs[0] !== "Cons") { throwError('scanl'); }
666+ while (xs[0] === "Cons") {
672+ for (var i = arr.length; i--; ) {
673+ out = ["Cons", arr[i], out];
679+ function scanl1(f) {
680+ return function(xs) {
681+ if (xs[0] !== "Cons") {
682+ throw "Error: 'scanl1' requires a list of at least length 1.";
684+ return scanl(f)(xs[1])(xs[2]);
687+ function filter(pred) {
688+ return function(xs) {
689+ if (xs[0] === "Nil") { return xs; }
690+ if (xs[0] !== "Cons") { throwError('filter'); }
692+ while (xs[0] === "Cons") {
693+ if (pred(xs[1])) { arr.push(xs[1]); }
697+ for (var i = arr.length; i--; ) {
698+ out = ["Cons", arr[i], out];
703+ function concatMap(f_76) {
704+ return function(x) {
705+ return concat(map(f_76)(x))
708+ function all(pred) {
709+ return foldl(function(x) { return function(acc) {
710+ return acc && pred(x);
713+ function any(pred) {
714+ return foldl(function(x) { return function(acc) {
715+ return acc || pred(x);
718+ function partition(pred_93) {
719+ return function(lst_94) {
722+ var c = [function(v) {
723+ if("Nil" !== v[0]) {
726+ return["Tuple2", ["Nil"], ["Nil"]]
729+ if("Cons" !== v[0]) {
734+ return function(v) {
735+ if("Tuple2" !== v[0]) {
740+ return pred_93(x_95) ? ["Tuple2", ["Cons", x_95, as_97], bs_98] : ["Tuple2", as_97, ["Cons", x_95, bs_98]]
742+ }(partition(pred_93)(xs_96))
745+ for(var i = c.length;i--;) {
747+ if(r !== undefined) {
754+ function zipWith(f) {
755+ return function(listA) {
756+ return function(listB) {
757+ if (listA[0] === "Nil" || listB[0] === "Nil") { return ["Nil"]; }
758+ if (listA[0] !== "Cons" || listB[0] !== "Cons") { throwError('zipWith'); }
760+ while (listA[0] === "Cons" && listB[0] === "Cons") {
761+ arr.push(f(listA[1])(listB[1]));
766+ for (var i = arr.length; i--; ) {
767+ out = ["Cons", arr[i], out];
773+ function zip(listA) {
774+ return function(listB) {
775+ if (listA[0] === "Nil" || listB[0] === "Nil") { return ["Nil"]; }
776+ if (listA[0] !== "Cons" || listB[0] !== "Cons") { throwError('zip'); }
778+ while (listA[0] === "Cons" && listB[0] === "Cons") {
779+ arr.push(["Tuple2", listA[1], listB[1]]);
784+ for (var i = arr.length; i--; ) {
785+ out = ["Cons", arr[i], out];
790+ function unzip(pairs_112) {
793+ var c = [function(v) {
794+ if("Nil" !== v[0]) {
797+ return["Tuple2", ["Nil"], ["Nil"]]
800+ if("Cons" !== v[0]) {
805+ return function(v) {
806+ if("Tuple2" !== v[0]) {
809+ if("Tuple2" !== v[1][0]) {
812+ var x_115 = v[1][1];
813+ var y_116 = v[1][2];
814+ if("Tuple2" !== v[2][0]) {
817+ var xs_117 = v[2][1];
818+ var ys_118 = v[2][2];
819+ return["Tuple2", ["Cons", x_115, xs_117], ["Cons", y_116, ys_118]]
823+ }(["Tuple2", p_113, unzip(ps_114)])
826+ for(var i = c.length;i--;) {
828+ if(r !== undefined) {
834+ function intersperse(sep_119) {
835+ return function(xs_120) {
838+ var c = [function(v) {
839+ if("Nil" !== v[0]) {
845+ if("Cons" !== v[0]) {
849+ if("Nil" !== v[2][0]) {
852+ return["Cons", a_124, ["Nil"]]
856+ if("Cons" !== v[0]) {
860+ if("Cons" !== v[2][0]) {
863+ var b_122 = v[2][1];
864+ var cs_123 = v[2][2];
865+ return["Cons", a_121, ["Cons", sep_119, intersperse(sep_119)(["Cons", b_122, cs_123])]]
869+ for(var i = c.length;i--;) {
871+ if(r !== undefined) {
878+ function intercalate(sep_125) {
879+ return function(xs_126) {
882+ var c = [function(v) {
883+ if("Nil" !== v[0]) {
889+ if("Cons" !== v[0]) {
893+ if("Nil" !== v[2][0]) {
900+ if("Cons" !== v[0]) {
904+ if("Cons" !== v[2][0]) {
907+ var b_128 = v[2][1];
908+ var cs_129 = v[2][2];
909+ return Value.append(a_127, Value.append(sep_125, intercalate(sep_125)(["Cons", b_128, cs_129])))
913+ for(var i = c.length;i--;) {
915+ if(r !== undefined) {
923+ if (xs[0] === "Nil") { return xs; }
924+ if (xs[0] !== "Cons") { throwError('sort'); }
926+ while (xs[0] === "Cons") {
930+ arr.sort(function(a,b) { return a - b});
932+ for (var i = arr.length; i--; ) {
933+ out = [ "Cons", arr[i], out ];
937+ function take(n) { return function(xs) {
938+ if (n <= 0) { return ["Nil"]; }
939+ if (xs[0] === "Nil") { return xs; }
940+ if (xs[0] !== "Cons") { throwError('take'); }
941+ var out = [ "Cons", xs[1], ["Nil"] ];
945+ while (xs[0] === "Cons" && n > 0) {
946+ temp[2] = [ "Cons", xs[1], ["Nil"] ];
954+ function drop(n) { return function(xs) {
955+ if (xs[0] === "Nil") { return xs; }
956+ if (xs[0] !== "Cons") { throwError('drop'); }
957+ while (xs[0] === "Cons" && n > 0) {
978+ concatMap:concatMap,
987+ partition:partition,
991+ intersperse:intersperse,
992+ intercalate:intercalate,
997+Elm.Maybe = function() {
998+ function consMaybe(x) { return function(xs) {
999+ if (x[0] === "Just") return ["Cons", x[1], xs];
1003+ function fromMaybe(b) { return function(m) {
1004+ if (m[0] === "Just") return m[1];
1008+ function mapCons(f) { return function(y) { return function(xs) {
1010+ if (x[0] === "Just") return ["Cons", x[1], xs];
1015+ function maybe(b) { return function(f) { return function(m) {
1016+ if (m[0] === "Just") return f(m[1]);
1022+ return {Just : function(x) { return ["Just",x]; },
1023+ Nothing : ["Nothing"],
1024+ catMaybes : Elm.List.foldr(consMaybe)(["Nil"]),
1025+ isJust : function(m) { return m[0] === "Just"; },
1026+ isNothing : function(m) { return m[0] === "Nothing"; },
1027+ fromMaybe : fromMaybe,
1028+ consMaybe : consMaybe,
1029+ mapMaybe : function(f) { return Elm.List.foldr(mapCons(f))(["Nil"]); },
1034+Elm.Char = function() {
1035+ function isBetween(lo,hi) { return function(chr) {
1036+ var c = chr.charCodeAt(0);
1037+ return lo <= c && c <= hi;
1040+ var isDigit = isBetween('0'.charCodeAt(0),'9'.charCodeAt(0));
1041+ var chk1 = isBetween('a'.charCodeAt(0),'f'.charCodeAt(0));
1042+ var chk2 = isBetween('A'.charCodeAt(0),'F'.charCodeAt(0));
1044+ return {fromCode : function(c) { return String.fromCharCode(c); },
1045+ toCode : function(c) { return c.charCodeAt(0); },
1046+ toUpper : function(c) { return c.toUpperCase(); },
1047+ toLower : function(c) { return c.toLowerCase(); },
1048+ toLocaleUpper : function(c) { return c.toLocaleUpperCase(); },
1049+ toLocaleLower : function(c) { return c.toLocaleLowerCase(); },
1050+ isLower : isBetween('a'.charCodeAt(0),'z'.charCodeAt(0)),
1051+ isUpper : isBetween('A'.charCodeAt(0),'Z'.charCodeAt(0)),
1053+ isOctDigit : isBetween('0'.charCodeAt(0),'7'.charCodeAt(0)),
1054+ isHexDigit : function(c) { return isDigit(c) || chk1(c) || chk2(c); }
1057+Elm.Color = function() {
1059+function Color_0(a1) {
1060+ return function(a2) {
1061+ return function(a3) {
1062+ return function(a4) {
1063+ return["Color", a1, a2, a3, a4]
1068+var rgba_1 = Color_0;
1069+var red_3 = ["Color",255,0,0,1];
1070+var green_4 = ["Color",0,255,0,1];
1071+var blue_5 = ["Color",0,0,255,1];
1072+var yellow_6 = ["Color",255,255,0,1];
1073+var cyan_7 = ["Color",0,255,255,1];
1074+var magenta_8 = ["Color",255,0,255,1];
1075+var black_9 = ["Color",0,0,0,1];
1076+var white_10 = ["Color",255,255,255,1];
1077+var gray_11 = ["Color",128,128,128,1];
1078+var grey_12 = ["Color",128,128,128,1];
1079+function rgb_2(r_13) {
1080+ return function(g_14) {
1081+ return function(b_15) {
1082+ return ["Color",r_13,g_14,b_15,1]
1086+function extract(c) {
1087+ if (c[4] === 1) { return 'rgb(' + c[1] + ',' + c[2] + ',' + c[3] + ')'; }
1088+ return 'rgba(' + c[1] + ',' + c[2] + ',' + c[3] + ',' + c[4] + ')';
1090+function complement(rgb) {
1091+ var hsv = toHSV(rgb);
1092+ hsv.hue = (hsv.hue + 180) % 360;
1096+function hsva(h) { return function(s) { return function(v) { return function(a) {
1097+ var clr = toRGB({hue:h, saturation:s, value:v});
1103+function hsv(h) { return function(s) { return function(v) {
1104+ return toRGB({hue:h, saturation:s, value:v}); }; }; }
1106+function toHSV(rgb) {
1108+ var r = rgb[1] / 255.0, g = rgb[2] / 255.0, b = rgb[3] / 255.0;
1109+ var M = Math.max(r,g,b);
1110+ var m = Math.min(r,g,b);
1114+ if (c === 0) { h = 0; }
1115+ else if (M === r) { h = ((g - b) / c) % 6; }
1116+ else if (M === g) { h = ((b - r) / c) + 2; }
1117+ else if (M === b) { h = ((r - g) / c) + 4; }
1120+ return { value : M, hue : h, saturation : (M === 0 ? 0 : c / M) };
1123+function between(lo,hi,x) { return lo <= x && x < hi; }
1124+function norm(n) { return Math.round(n*255); }
1126+function toRGB(hsv) {
1127+ var c = hsv.value * hsv.saturation;
1128+ var hue = hsv.hue / 60;
1129+ var x = c * (1 - Math.abs((hue % 2) - 1));
1130+ var r = 0, g = 0, b = 0;
1131+ if (between(0,1,hue)) { r = c; g = x; b = 0; }
1132+ else if (between(1,2,hue)) { r = x; g = c; b = 0; }
1133+ else if (between(2,3,hue)) { r = 0; g = c; b = x; }
1134+ else if (between(3,4,hue)) { r = 0; g = x; b = c; }
1135+ else if (between(4,5,hue)) { r = x; g = 0; b = c; }
1136+ else if (between(5,6,hue)) { r = c; g = 0; b = x; }
1138+ var m = hsv.value - c;
1139+ return ["Color", norm(r+m), norm(g+m), norm(b+m), 1 ];
1141+ return{rgba:rgba_1, rgb:rgb_2, hsva:hsva, hsv:hsv, red:red_3, green:green_4, blue:blue_5, yellow:yellow_6, cyan:cyan_7, magenta:magenta_8, black:black_9, white:white_10, gray:gray_11, grey:grey_12,complement:complement,extract:extract}
1143+var Collage = function() {
1145+var JS = Elm.JavaScript;
1147+function tracePoints(ctx,points) {
1148+ var i = points.length - 1;
1149+ if (i <= 0) return;
1150+ ctx.moveTo(points[i][1], points[i][2]);
1151+ while (i--) { ctx.lineTo(points[i][1], points[i][2]); }
1154+function solid(ctx,color,points) {
1155+ tracePoints(ctx,points);
1156+ ctx.strokeStyle = Elm.Color.extract(color);
1160+function filled(ctx,color,points) {
1161+ tracePoints(ctx,points);
1162+ ctx.fillStyle = Elm.Color.extract(color);
1166+function textured(redo,ctx,src,points) {
1167+ var img = new Image();
1168+ img.src = JS.castStringToJSString(src);
1171+ tracePoints(ctx,points);
1172+ ctx.fillStyle = ctx.createPattern(img,'repeat');
1176+function customLine(pattern,ctx,color,points) {
1177+ if (pattern.length === 0) { pattern = [8,4]; }
1178+ customLineHelp(ctx, pattern, points);
1179+ ctx.strokeStyle = Elm.Color.extract(color);
1183+var customLineHelp = function(ctx, pattern, points) {
1184+ var i = points.length - 1;
1185+ if (i <= 0) return;
1186+ var x0 = points[i][1], y0 = points[i][2];
1187+ var x1=0, y1=0, dx=0, dy=0, remaining=0, nx=0, ny=0;
1188+ var pindex = 0, plen = pattern.length;
1189+ var draw = true, segmentLength = pattern[0];
1192+ x1 = points[i][1]; y1 = points[i][2];
1193+ dx = x1 - x0; dy = y1 - y0;
1194+ remaining = Math.sqrt(dx * dx + dy * dy);
1195+ while (segmentLength <= remaining) {
1196+ x0 += dx * segmentLength / remaining;
1197+ y0 += dy * segmentLength / remaining;
1198+ ctx[draw ? 'lineTo' : 'moveTo'](x0, y0);
1199+ // update starting position
1200+ dx = x1 - x0; dy = y1 - y0;
1201+ remaining = Math.sqrt(dx * dx + dy * dy);
1204+ pindex = (pindex + 1) % plen;
1205+ segmentLength = pattern[pindex];
1207+ if (remaining > 0) {
1208+ ctx[draw ? 'lineTo' : 'moveTo'](x1, y1);
1209+ segmentLength -= remaining;
1215+function drawLine(ctx,form) {
1216+ var points = form[3][1];
1217+ switch(form[1][0]) {
1218+ case "Solid" : return solid(ctx,form[2],points);
1219+ case "Dotted": return customLine([3,3],ctx,form[2],points);
1220+ case "Dashed": return customLine([8,4],ctx,form[2],points);
1221+ case "Custom": return customLine(form[1][1],ctx,form[2],points);
1225+function drawShape(redo,ctx,shapeStyle,color,points) {
1226+ switch(shapeStyle[0]) {
1227+ case "Filled": return filled(ctx,color,points);
1228+ case "Outlined": return solid(ctx,color,points);
1229+ case "Textured": return textured(redo,ctx,shapeStyle[1],points);
1230+ case "CustomOutline":
1231+ return customLine(shapeStyle[1],ctx,color,points);
1235+function drawImage(redo,ctx,w,h,src) {
1236+ var img = new Image();
1238+ img.src = JS.castStringToJSString(src);
1239+ ctx.drawImage(img,-w/2,-h/2,w,h);
1242+function renderForm(redo,ctx,theta,scale,x,y,form) {
1244+ if (x !== 0 || y !== 0) ctx.translate(x,y);
1245+ if (theta !== ~~theta) ctx.rotate(2*Math.PI*theta);
1246+ if (scale !== 1) ctx.scale(scale,scale);
1249+ case "FLine": drawLine(ctx,form); break;
1250+ case "FShape": drawShape(redo,ctx,form[1],form[2],form[3][1]); break;
1251+ case "FImage": drawImage(redo,ctx,form[1],form[2],form[3]); break;
1256+function renderForms(redo,ctx,w,h,forms) {
1257+ ctx.clearRect(0,0,w,h);
1258+ for (var i = forms.length; i--; ) {
1260+ renderForm(redo,ctx,f[1],f[2],f[3][1],f[3][2],f[4]);
1264+function collageForms(w,h,forms) {
1265+ var canvas = Render.newElement('canvas');
1268+ canvas.style.width = w + 'px';
1269+ canvas.style.height = h + 'px';
1270+ canvas.style.display = "block";
1273+ if (canvas.getContext) {
1274+ var ctx = canvas.getContext('2d');
1275+ function redo() { renderForms(this,ctx,w,h,forms); }
1276+ renderForms(redo,ctx,w,h,forms);
1279+ canvas.innerHTML = "Your browser does not support the canvas element.";
1283+function collageElement(w,h,theta,scale,x,y,elem) {
1284+ var e = Render.render(elem);
1285+ var t = "translate(" + (x - elem[3] / 2) + "px,"+ (y - elem[4] / 2) + "px)";
1286+ var r = theta === (~~theta) ? "" : "rotate(" + theta*360 + "deg)";
1287+ var s = scale === 1 ? "" : "scale(" + scale + "," + scale + ")";
1288+ var transforms = t + " " + s + " " + r;
1289+ e.style.transform = transforms;
1290+ e.style.msTransform = transforms;
1291+ e.style.MozTransform = transforms;
1292+ e.style.webkitTransform = transforms;
1293+ e.style.OTransform = transforms;
1294+ var div = Render.newElement('div');
1295+ Render.addTo(div,e);
1296+ div.style.width = (~~w) + "px";
1297+ div.style.height = (~~h) + "px";
1298+ div.style.overflow = "hidden";
1302+function collage(w,h,formss) {
1303+ if (formss.length === 0) { return collageForms(w,h,[]); }
1304+ var elems = new Array(formss.length);
1305+ for (var i = formss.length; i--; ) {
1307+ if (typeof f[0] === "string") {
1308+ elems[i] = collageElement(w,h,f[1],f[2],f[3][1],f[3][2],f[4][1]);
1310+ elems[i] = collageForms(w,h,f);
1313+ if (formss.length === 1) { return elems[0]; }
1314+ return Render.flowWith(Render.goIn,function(x){return x},elems);
1317+function updateFormSet(node,currSet,nextSet) {
1318+ if (Value.eq(nextSet,currSet)) return;
1319+ var w = node.style.width.slice(0,-2) - 0;
1320+ var h = node.style.height.slice(0,-2) - 0;
1321+ if (typeof nextSet[0] === "object") {
1322+ if (typeof currSet[0] === "object") {
1323+ if (node.getContext) {
1324+ var ctx = node.getContext('2d');
1325+ function redo() { renderForms(this,ctx,w,h,nextSet); }
1326+ return renderForms(redo,ctx,w,h,nextSet);
1329+ var newNode = collageForms(w,h,nextSet);
1330+ newNode.style.position = 'absolute';
1331+ return node.parentNode.replaceChild(newNode,node);
1334+ var newNode = collageElement(w,h,f[1],f[2],f[3][1],f[3][2],f[4][1]);
1335+ newNode.style.position = 'absolute';
1336+ return node.parentNode.replaceChild(newNode,node);
1339+// assumes that the form sets are the same length.
1340+function updateCollage(node,currs,nexts) {
1341+ if (nexts.length === 1) {
1342+ return updateFormSet(node,currs[0],nexts[0]);
1344+ var kids = node.childNodes;
1345+ var len = kids.length;
1346+ for (var i = len; i--; ) {
1347+ updateFormSet(kids[len-i-1], currs[i], nexts[i]);
1351+function style(clr,n,list) {
1353+ '<span style="font-size:100%;color:' + clr + ';">' + n + '</span>',
1357+function insideForm(point) { return function(form) {
1358+ if (!inBoundsOf(point[1],point[2],form)) return false;
1360+ switch (form[4][0]) {
1361+ case "FShape": return insideShape(point,form[1],form[2],form[3],form[4][3][1]);
1362+ case "FLine": return false;
1364+ hw = form[4][1] / 2;
1365+ hh = form[4][2] / 2;
1368+ hw = form[4][1][3] / 2;
1369+ hh = form[4][1][4] / 2;
1372+ return insideShape(point,form[1],form[2],form[3],
1381+function inBoundsOf(px,py,form) {
1382+ if (form.length < 6) {
1383+ var fx = form[3][1], fy = form[3][2];
1384+ var radiusSquared = 0;
1385+ var scale = form[2];
1386+ switch (form[4][0]) {
1388+ var points = form[4][3][1];
1389+ for (var i = points.length; --i; ) {
1391+ radiusSquared = Math.max(radiusSquared, p[1]*p[1] + p[2]*p[2]);
1393+ radiusSquared *= scale * scale;
1398+ var x = scale * form[4][1] / 2;
1399+ var y = scale * form[4][2] / 2;
1400+ radiusSquared = x*x + y*y;
1403+ var x = scale * form[4][1][3] / 2;
1404+ var y = scale * form[4][1][4] / 2;
1405+ radiusSquared = x*x + y*y;
1408+ form.push(function(px,py) {
1411+ return dx*dx + dy*dy < radiusSquared + 1;
1414+ return form[5](px,py);
1417+function insideShape(point,theta,scale,pos,points) {
1419+ var list = ["Nil"];
1422+ var x = (point[1] - pos[1]) / scale;
1423+ var y = (point[2] - pos[2]) / scale;
1425+ var t = -2 * Math.PI * theta;
1426+ var nx = x * Math.cos(t) - y * Math.sin(t);
1427+ y = x * Math.sin(t) + y * Math.cos(t);
1431+ if (points.length === 0) { return false; }
1433+ for (var i = points.length - 1; i--; ) {
1435+ var p1x = p1[1], p1y = p1[2], p2x = p2[1], p2y = p2[2];
1437+ if (p1y < p2y) {var ymin=p1y, ymax=p2y;} else {var ymin=p2y, ymax=p1y;}
1438+ if (p1x < p2x) {var xmin=p1x, xmax=p2x;} else {var xmin=p2x, xmax=p1x;}
1440+ if (ymin < y && y <= ymax && x <= xmax) {
1441+ if (x <= xmin || x <= ((y-p1y)*(p2x-p1x)/(p2y-p1y)+p1x)) {
1447+ return (counter % 2) === 1;
1450+return {collage:collage, updateCollage:updateCollage, insideForm:insideForm};
1452+}();Elm.Graphics = function() {
1453+ for (this['i'] in Elm.List) {
1454+ eval('var ' + this['i'] + ' = Elm.List[this.i];');
1456+ var JS = Elm.JavaScript;
1457+ var DLeft_0 = ["DLeft"];
1458+ var DRight_1 = ["DRight"];
1459+ var DUp_2 = ["DUp"];
1460+ var DDown_3 = ["DDown"];
1461+ var DIn_4 = ["DIn"];
1462+ var DOut_5 = ["DOut"];
1463+ function Absolute_12(a1) {
1464+ return["Absolute", a1]
1466+ function Relative_13(a1) {
1467+ return["Relative", a1]
1469+ var Near_14 = ["Near"];
1470+ var Mid_15 = ["Mid"];
1471+ var Far_16 = ["Far"];
1472+ function Position_17(a1) {
1473+ return function(a2) {
1474+ return["Position", a1, a2]
1477+ function PositionTL_18(a1) {
1478+ return function(a2) {
1479+ return["PositionTL", a1, a2]
1482+ function PositionTR_19(a1) {
1483+ return function(a2) {
1484+ return["PositionTR", a1, a2]
1487+ function PositionBL_20(a1) {
1488+ return function(a2) {
1489+ return["PositionBL", a1, a2]
1492+ function PositionBR_21(a1) {
1493+ return function(a2) {
1494+ return["PositionBR", a1, a2]
1497+ function Element_37(id,e,w,h,o,c,l) {
1498+ return["Element", id, e, w, h, o, c, l ]
1500+ function EText_39(a1) {
1501+ return function(a2) {
1502+ return["EText", a1, a2]
1505+ function EImage_40(a1) {
1506+ return["EImage", JS.castStringToJSString(a1)]
1508+ function EVideo_41(a1) {
1509+ return["EVideo", JS.castStringToJSString(a1)]
1511+ function EFittedImage_42(a1) {
1512+ return["EFittedImage", JS.castStringToJSString(a1)]
1514+ function EFlow_43(a1) {
1515+ return function(a2) {
1516+ return["EFlow", a1, JS.castListToJSArray(a2)]
1519+ function ECollage_44(a1) {
1520+ return function(a2) {
1521+ return function(a3) {
1522+ return["ECollage", a1, a2, Value.groupForms(a3)]
1526+ var EEmpty_45 = ["EEmpty"];
1527+ function EContainer_46(a1) {
1528+ return function(a2) {
1529+ return["EContainer", a1, a2]
1532+ var Solid_68 = ["Solid"];
1533+ var Dotted_69 = ["Dotted"];
1534+ var Dashed_70 = ["Dashed"];
1535+ function Custom_71(a1) {
1536+ return["Custom", JS.castListToJSArray(a1)]
1538+ var Filled_72 = ["Filled"];
1539+ var Outlined_73 = ["Outlined"];
1540+ function CustomOutline_74(a1) {
1541+ return["CustomOutline", JS.castListToJSArray(a1)]
1543+ function Line_75(a1) {
1544+ return["Line", JS.castListToJSArray(a1)]
1546+ function Shape_78(a1) {
1547+ return function(a2) {
1548+ var points = JS.castListToJSArray(a1);
1549+ if (points.length > 0) { points.push(points[0]); }
1550+ return["Shape", points, a2];
1553+ function Form_84(a1) {
1554+ return function(a2) {
1555+ return function(a3) {
1556+ return function(a4) {
1557+ return["Form", a1, a2, a3, a4]
1562+ function FLine_85(a1) {
1563+ return function(a2) {
1564+ return function(a3) {
1565+ return["FLine", a1, a2, a3]
1569+ function FShape_86(a1) {
1570+ return function(a2) {
1571+ return function(a3) {
1572+ return["FShape", a1, a2, a3]
1576+ function FImage_87(a1) {
1577+ return function(a2) {
1578+ return function(a3) {
1579+ return["FImage", a1, a2, JS.castStringToJSString(a3)]
1583+ function FElement_88(a1) {
1584+ return["FElement", a1]
1586+ var left_6 = DLeft_0;
1587+ var right_7 = DRight_1;
1588+ var down_8 = DDown_3;
1590+ var inward_10 = DIn_4;
1591+ var outward_11 = DOut_5;
1592+ var topLeft_22 = Position_17(Near_14)(Near_14);
1593+ var topRight_23 = Position_17(Far_16)(Near_14);
1594+ var bottomLeft_24 = Position_17(Near_14)(Far_16);
1595+ var bottomRight_25 = Position_17(Far_16)(Far_16);
1596+ var midLeft_26 = Position_17(Near_14)(Mid_15);
1597+ var midRight_27 = Position_17(Far_16)(Mid_15);
1598+ var midTop_28 = Position_17(Mid_15)(Near_14);
1599+ var midBottom_29 = Position_17(Mid_15)(Far_16);
1600+ var middle_30 = Position_17(Mid_15)(Mid_15);
1601+ function middleAt(a1) {
1602+ return function(a2) {
1603+ return["PositionAt", a1, a2]
1606+ var topLeftAt_31 = PositionTL_18;
1607+ var topRightAt_32 = PositionTR_19;
1608+ var bottomLeftAt_33 = PositionBL_20;
1609+ var bottomRightAt_34 = PositionBR_21;
1610+ var absolute_35 = Absolute_12;
1611+ var relative_36 = Relative_13;
1612+ function newElement_38(e,w,h,o,c,l) { return Element_37(Guid.guid(),e,w,h,o,c,l); }
1613+ function basicNewElement(e,w,h) { return Element_37(Guid.guid(),e,w,h,1,["Nothing"],["Nothing"]); }
1614+ var line_76 = Line_75;
1615+ var polygon_79 = Shape_78;
1616+ function sprite_96(src) {
1617+ return function(w) {
1618+ return function(h) {
1619+ return function(pos) {
1620+ return Form_84(0)(1)(pos)(FImage_87(w)(h)(src))
1625+ function toForm_97(pos) {
1626+ return function(e) {
1627+ return Form_84(0)(1)(pos)(FElement_88(e))
1630+ function width_47(w__101) {
1631+ return function(e) {
1636+ return newElement_38(e[2],w__101,e[4] * w__101 / e[3], e[5], e[6], e[7]);
1638+ var p = Value.getTextSize(w__101,e[4],be[2]);
1639+ return newElement_38(e[2], w__101, p[1], e[5], e[6], e[7]);
1641+ return newElement_38(e[2], w__101, e[4], e[5], e[6], e[7]);
1644+ function height_48(h__108) {
1645+ return function(e) {
1650+ return newElement_38(e[2], e[3] * h__108 / e[4], h__108, e[5], e[6], e[7]);
1652+ return newElement_38(e[2], e[3], h__108, e[5], e[6], e[7]);
1655+ function size_49(w) {
1656+ return function(h) {
1657+ return function(e) {
1658+ return newElement_38(e[2], w, h, e[5], e[6], e[7]);
1662+ function opacity_50(o) {
1663+ return function(e) {
1664+ return newElement_38(e[2], e[3], e[4], o, e[6], e[7]);
1667+ function color_51(c) {
1668+ return function(e) {
1669+ return newElement_38(e[2], e[3], e[4], e[5], ["Just",c], e[7]);
1672+ function link(lnk) {
1673+ return function(e) {
1674+ return newElement_38(e[2], e[3], e[4], e[5], e[6], ["Just", JS.castStringToJSString(lnk)]);
1677+ function widthOf_52(e) { return ~~e[3]; }
1678+ function heightOf_53(e) { return ~~e[4]; }
1679+ function sizeOf_54(e) { return["Tuple2", ~~e[3], ~~e[4]] }
1680+ function text_56(txt) {
1681+ var p = Value.getTextSize(0,0,txt);
1682+ return basicNewElement(EText_39("left")(txt), p[0], p[1])
1684+ function plainText(str) {
1685+ var txt = Value.toText(str);
1686+ var p = Value.getTextSize(0,0,txt);
1687+ return basicNewElement(EText_39("left")(txt),p[0],p[1])
1689+ function asText(v) {
1690+ var txt = Elm.Text.monospace(Value.toText(Value.show(v)));
1691+ var p = Value.getTextSize(0,0,txt);
1692+ return basicNewElement(EText_39("left")(txt),p[0],p[1])
1694+ function centeredText(txt) {
1695+ var p = Value.getTextSize(0,0,txt);
1696+ return basicNewElement(EText_39("center")(txt),p[0],p[1])
1698+ function justifiedText(txt) {
1699+ var p = Value.getTextSize(0,0,txt);
1700+ return basicNewElement(EText_39("justify")(txt),p[0],p[1])
1702+ function rightedText(txt) {
1703+ var p = Value.getTextSize(0,0,txt);
1704+ return basicNewElement(EText_39("right")(txt),p[0],p[1])
1706+ function image_57(w) {
1707+ return function(h) {
1708+ return function(src) {
1709+ return basicNewElement(EImage_40(src),w,h)
1713+ function images(srcs) {
1714+ var pics = Elm.Signal.constant(spacer_66(0)(0));
1715+ var update = Elm.Signal.lift(function(src) {
1716+ src = JS.castStringToJSString(src);
1717+ var img = new Image();
1718+ img.onload = function() {
1719+ Dispatcher.notify(pics.id,
1720+ image_57(this.width)(this.height)(src));
1724+ function f(x) { return function(y) { return x; } }
1725+ var combine = Elm.Signal.lift2(f)(pics)(update);
1728+ function video_58(w) {
1729+ return function(h) {
1730+ return function(src) {
1731+ return basicNewElement(EVideo_41(src),w,h)
1735+ function fittedImage_59(w_147) {
1736+ return function(h_148) {
1737+ return function(s_149) {
1738+ return basicNewElement(EFittedImage_42(s_149),w_147,h_148)
1742+ function flow_60(dir_150) {
1743+ return function(es_151) {
1744+ return function() {
1745+ var w_152 = function() {
1746+ var ws_154 = map(widthOf_52)(es_151);
1747+ return function(case1) {
1751+ return sum(ws_154);
1755+ return maximum(ws_154)
1758+ var h_153 = function() {
1759+ var hs_155 = map(heightOf_53)(es_151);
1760+ return function(case3) {
1764+ return sum(hs_155);
1768+ return maximum(hs_155)
1771+ return basicNewElement(EFlow_43(dir_150)(es_151), w_152, h_153)
1775+ function above_61(e1_156) {
1776+ return function(e2_157) {
1777+ return basicNewElement(EFlow_43(DDown_3)(["Cons", e1_156, ["Cons", e2_157, ["Nil"]]]), Math.max(widthOf_52(e1_156),widthOf_52(e2_157)), heightOf_53(e1_156) + heightOf_53(e2_157));
1780+ function below_62(e1_158) {
1781+ return function(e2_159) {
1782+ return basicNewElement(EFlow_43(DDown_3)(["Cons", e2_159, ["Cons", e1_158, ["Nil"]]]), Math.max(widthOf_52(e1_158),widthOf_52(e2_159)), heightOf_53(e1_158) + heightOf_53(e2_159));
1785+ function beside_63(e1_160) {
1786+ return function(e2_161) {
1787+ return basicNewElement(EFlow_43(DRight_1)(["Cons", e1_160, ["Cons", e2_161, ["Nil"]]]), widthOf_52(e1_160) + widthOf_52(e2_161), Math.max(heightOf_53(e1_160),heightOf_53(e2_161)));
1790+ function layers_64(es_162) {
1791+ return basicNewElement(EFlow_43(DOut_5)(es_162), maximum(map(widthOf_52)(es_162)), maximum(map(heightOf_53)(es_162)))
1793+ function collage_65(w_163) {
1794+ return function(h_164) {
1795+ return function(forms_165) {
1796+ return basicNewElement(ECollage_44(w_163)(h_164)(forms_165),w_163,h_164)
1800+ function spacer_66(w_166) {
1801+ return function(h_167) {
1802+ return basicNewElement(EEmpty_45,w_166,h_167)
1805+ function container_67(w_169) {
1806+ return function(h_170) {
1807+ return function(pos_168) {
1808+ return function(e_171) {
1809+ return basicNewElement(EContainer_46(pos_168)(e_171),w_169,h_170)
1814+ function segment_77(p1_172) {
1815+ return function(p2_173) {
1816+ return Line_75(["Cons", p1_172, ["Cons", p2_173, ["Nil"]]])
1819+ function rect_80(w_174) {
1820+ return function(h_175) {
1821+ return function(pos_176) {
1822+ return Shape_78(["Cons", ["Tuple2", 0 - w_174 / 2, 0 - h_175 / 2],
1823+ ["Cons", ["Tuple2", 0 - w_174 / 2, h_175 / 2],
1824+ ["Cons", ["Tuple2", w_174 / 2, h_175 / 2],
1825+ ["Cons", ["Tuple2", w_174 / 2, 0 - h_175 / 2], ["Nil"]]]]])(pos_176)
1829+ function oval_81(w_177) {
1830+ return function(h_178) {
1831+ return function(pos_179) {
1832+ return function() {
1834+ return function() {
1835+ function f_181(i_182) {
1836+ return["Tuple2", w_177 / 2 * Math.cos(2 * (Math.PI / n_180) * i_182), h_178 / 2 * Math.sin(2 * (Math.PI / n_180) * i_182)];
1838+ return Shape_78(map(f_181)(function() {
1840+ var hi = n_180 - 1;
1844+ lst = ["Cons", hi, lst]
1854+ function circle_82(r_183) {
1855+ return oval_81(2 * r_183)(2 * r_183)
1857+ function ngon_83(n_184) {
1858+ return function(r_185) {
1859+ return function(pos_186) {
1860+ return function() {
1862+ return function() {
1863+ function f_188(i_189) {
1864+ return["Tuple2", r_185 * Math.cos(2 * (Math.PI / m_187) * i_189), r_185 * Math.sin(2 * (Math.PI / m_187) * i_189)];
1866+ return Shape_78(map(f_188)(function() {
1868+ var hi = n_184 - 1;
1872+ lst = ["Cons", hi, lst]
1882+ function solid_89(clr_190) {
1883+ return function(ln_191) {
1884+ return Form_84(0)(1)(["Tuple2", 0, 0])(FLine_85(Solid_68)(clr_190)(ln_191))
1887+ function dotted_90(clr_192) {
1888+ return function(ln_193) {
1889+ return Form_84(0)(1)(["Tuple2", 0, 0])(FLine_85(Dotted_69)(clr_192)(ln_193))
1892+ function dashed_91(clr_194) {
1893+ return function(ln_195) {
1894+ return Form_84(0)(1)(["Tuple2", 0, 0])(FLine_85(Dashed_70)(clr_194)(ln_195))
1897+ function customLine_92(pattern_196) {
1898+ return function(clr_197) {
1899+ return function(ln_198) {
1900+ return Form_84(0)(1)(["Tuple2", 0, 0])(FLine_85(Custom_71(pattern_196))(clr_197)(ln_198))
1904+ function filled_93(clr) {
1905+ return function(shape) {
1906+ return Form_84(0)(1)(shape[2])(FShape_86(Filled_72)(clr)(shape));
1909+ function outlined_94(clr) {
1910+ return function(shape) {
1911+ return Form_84(0)(1)(shape[2])(FShape_86(Outlined_73)(clr)(shape));
1914+ function customOutline_95(pattern) {
1915+ return function(clr) {
1916+ return function(shape) {
1917+ return Form_84(0)(1)(shape[2])(FShape_86(CustomOutline_74(pattern))(clr)(shape));
1921+ function textured(src) {
1922+ return function(shape) {
1923+ return Form_84(0)(1)(shape[2])(FShape_86(["Textured",src])(null)(shape));
1926+ function rotate_98(t_212) {
1927+ return function(Form$thetascaleposform_213) {
1928+ return function(case5) {
1932+ var case1 = case0[1], case2 = case0[2], case3 = case0[3], case4 = case0[4];
1933+ return Form_84(t_212 + case1)(case2)(case3)(case4)
1935+ throw"Non-exhaustive pattern match in case";
1936+ }(Form$thetascaleposform_213)
1939+ function scale_99(s) {
1940+ return function(form) {
1941+ return Form_84(form[1])(s * form[2])(form[3])(form[4])
1944+ function move_100(x_224) {
1945+ return function(y_225) {
1946+ return function(Form$thetascaleTuple2$pxpyform_226) {
1947+ return function(case7) {
1951+ var case1 = case0[1], case2 = case0[2], case3 = case0[3], case4 = case0[4];
1954+ var case5 = case3[1], case6 = case3[2];
1955+ return Form_84(case1)(case2)(["Tuple2", x_224 + case5, y_225 + case6])(case4)
1959+ throw"Non-exhaustive pattern match in case";
1960+ }(Form$thetascaleTuple2$pxpyform_226)
1964+ return{left:left_6, right:right_7, down:down_8, up:up_9, inward:inward_10, outward:outward_11, topLeft:topLeft_22, topRight:topRight_23, bottomLeft:bottomLeft_24, bottomRight:bottomRight_25, midLeft:midLeft_26, midRight:midRight_27, midTop:midTop_28, midBottom:midBottom_29, middle:middle_30, middleAt:middleAt, topLeftAt:topLeftAt_31, topRightAt:topRightAt_32, bottomLeftAt:bottomLeftAt_33, bottomRightAt:bottomRightAt_34, absolute:absolute_35, relative:relative_36, width:width_47, height:height_48, size:size_49, opacity:opacity_50,
1965+ color:color_51, link:link, widthOf:widthOf_52, heightOf:heightOf_53, sizeOf:sizeOf_54, text:text_56, asText:asText, plainText:plainText, centeredText:centeredText, justifiedText:justifiedText, rightedText:rightedText, image:image_57, images:images, video:video_58, fittedImage:fittedImage_59, flow:flow_60, above:above_61, below:below_62, beside:beside_63, layers:layers_64, collage:collage_65, spacer:spacer_66, container:container_67, line:line_76, segment:segment_77, polygon:polygon_79, rect:rect_80, oval:oval_81, circle:circle_82, ngon:ngon_83, solid:solid_89, dotted:dotted_90, dashed:dashed_91, customLine:customLine_92, filled:filled_93,
1966+ outlined:outlined_94, customOutline:customOutline_95, textured:textured, sprite:sprite_96, toForm:toForm_97, rotate:rotate_98, scale:scale_99, move:move_100,
1967+ isWithin: Collage.insideForm}
1969+Elm.Text = function() {
1970+ function fromString(s) { return Value.toText(s); }
1972+ var addTag = function(tag) { return function(text) {
1973+ return '<' + tag + ' style="padding:0;margin:0">' + text + '</' + tag + '>';
1976+ var addStyle = function(style, value) { return function(text) {
1977+ return "<span style='" + style + ":" + value + "'>" + text + "</span>";
1981+ var typeface = function(name) {
1982+ name = Elm.JavaScript.castStringToJSString(name);
1983+ return addStyle('font-family', name);
1985+ var size = function(px) {
1986+ return addStyle('font-size', px + 'px');
1988+ var header = addTag('h1');
1989+ var height = function(h) { return addStyle('font-size', h+'em'); }
1990+ var italic = addStyle('font-style', 'italic');
1991+ var bold = addTag('b');
1992+ var color = function(c) {
1993+ return addStyle('color', Elm.Color.extract(c));
1995+ var underline = addStyle('text-decoration', 'underline');
1996+ var overline = addStyle('text-decoration', 'overline');
1997+ var strikeThrough = addStyle('text-decoration', 'line-through');
1998+ var link = function(href) { return function(text) {
1999+ return "<a href='" + fromString(href) + "'>" + text + "</a>";
2003+ return {fromString : fromString,
2004+ toText: fromString,
2009+ underline : underline,
2010+ overline : overline,
2011+ strikeThrough : strikeThrough,
2012+ monospace : typeface('monospace'),
2013+ typeface : typeface,
2018+var Render = function(){
2020+function newElement(elementType) {
2021+ var e = document.createElement(elementType);
2022+ e.style.padding = "0";
2023+ e.style.margin = "0";
2027+function addTo(container, elem) {
2028+ container.appendChild(elem);
2031+function makeText(pos,txt) {
2032+ var e = newElement('div');
2034+ e.style.textAlign = pos;
2038+function image(src) {
2039+ var img = newElement('img');
2042+ img.style.display = "block";
2046+function fittedImage(w,h,src) {
2047+ var e = newElement('div');
2048+ e.style.width = w + 'px';
2049+ e.style.height = h + 'px';
2050+ e.style.position = "relative";
2051+ e.style.overflow = "hidden";
2053+ var img = newElement('img');
2054+ img.onload = function() {
2055+ img.style.position = 'absolute';
2056+ img.style.margin = 'auto';
2058+ var sw = w, sh = h;
2059+ if (w / h > this.width / this.height) {
2060+ sh = Math.round(this.height * w / this.width);
2062+ sw = Math.round(this.width * h / this.height);
2064+ img.style.width = sw + 'px';
2065+ img.style.height = sh + 'px';
2066+ img.style.left = ((w - sw) / 2) + 'px';
2067+ img.style.top = ((h - sh) / 2) + 'px';
2075+var video = function(src) {
2076+ var e = newElement('video');
2077+ e.controls = "controls";
2078+ var source = newElement('source');
2080+ var segs = src.split('.');
2081+ source.type = "video/" + segs[segs.length-1];
2083+ e.style.display = "block";
2087+function divify(e) {
2088+ var div = newElement('div');
2092+function goDown(e) {
2093+ return e //.tagName === "DIV" ? e : divify(e);
2095+function goRight(e) {
2096+ e.style.styleFloat = "left";
2097+ e.style.cssFloat = "left";
2101+ e.style.position = 'absolute';
2104+function flowWith(f, prep, elist) {
2105+ var container = newElement('div');
2106+ for (var i = elist.length; i--; ) {
2107+ addTo(container, f(prep(elist[i])));
2112+function flow(dir,elist) {
2114+ case "DDown": elist = elist.slice(0).reverse();
2115+ case "DUp": return flowWith(goDown,render,elist);
2116+ case "DRight": elist = elist.slice(0).reverse();
2117+ case "DLeft": return flowWith(goRight,render,elist);
2118+ case "DOut": elist = elist.slice(0).reverse();
2119+ case "DIn": return flowWith(goIn,render,elist);
2123+function toPos(pos) {
2125+ case "Absolute": return pos[1] + "px";
2126+ case "Relative": return (pos[1] * 100) + "%";
2130+function setPos(pos,e) {
2131+ e.style.position = 'absolute';
2132+ e.style.margin = 'auto';
2135+ if (pos[1][0] !== "Far") e.style.left = 0;
2136+ if (pos[1][0] !== "Near") e.style.right = 0;
2137+ if (pos[2][0] !== "Far") e.style.top = 0;
2138+ if (pos[2][0] !== "Near") e.style.bottom = 0;
2141+ e.style.top = toPos(pos[2]);
2142+ e.style.left = toPos(pos[1]);
2143+ var shift = "translate(" + ~~(-e.style.width.slice(0,-2) / 2) + "px," + ~~(-e.style.height.slice(0,-2) / 2) + "px)";
2144+ e.style.transform = shift;
2145+ e.style.msTransform = shift;
2146+ e.style.MozTransform = shift;
2147+ e.style.webkitTransform = shift;
2148+ e.style.OTransform = shift;
2151+ var p = pos[0].slice(-2);
2152+ e.style[p[0] === "T" ? 'top' : 'bottom'] = toPos(pos[2]);
2153+ e.style[p[1] === "L" ? 'left' : 'right'] = toPos(pos[1]);
2157+function container(pos,elem) {
2158+ var e = render(elem);
2160+ var div = newElement('div');
2161+ div.style.position = "relative";
2162+ div.style.overflow = "hidden";
2167+function render(elem) {
2169+ switch(elem[2][0]) {
2170+ case "EText": e = makeText(elem[2][1],elem[2][2]); break;
2171+ case "EImage": e = image(elem[2][1]); break;
2172+ case "EVideo": e = video(elem[2][1]); break;
2173+ case "EFittedImage": e = fittedImage(elem[3],elem[4],elem[2][1]); break;
2174+ case "EFlow": e = flow(elem[2][1][0],elem[2][2]); break;
2175+ case "ECollage": e = Collage.collage(elem[2][1],elem[2][2],elem[2][3]); break;
2176+ case "EEmpty": e = newElement('div'); break;
2177+ case "EContainer": e = container(elem[2][1],elem[2][2]); break;
2180+ if (e.type !== 'button') {
2181+ var p = Value.getExcess(e);
2186+ case "EExternalHtml":
2187+ e = newElement('div');
2188+ addTo(e, elem[2][1]);
2192+ e.style.width = (~~elem[3]) + 'px';
2193+ e.style.height = (~~elem[4]) + 'px';
2194+ if (elem[5] !== 1) { e.style.opacity = elem[5]; }
2195+ if (elem[6][0] === "Just") {
2196+ e.style.backgroundColor = Elm.Color.extract(elem[6][1]);
2198+ if (elem[7][0] === "Just") {
2199+ var a = newElement('a');
2200+ a.href = elem[7][1];
2207+function update(node,curr,next) {
2208+ if (node.tagName === 'A') { node = node.firstChild; }
2209+ if (curr[1] === next[1]) return;
2210+ if (curr[2][0] !== next[2][0]) {
2211+ return node.parentNode.replaceChild(render(next),node);
2213+ var nextE = next[2], currE = curr[2];
2216+ if (nextE[1] !== currE[1]) node.style.textAlign = nextE[1];
2217+ if (nextE[2] !== currE[2]) node.innerHTML = nextE[2];
2220+ if (nextE[1] !== currE[1]) node.src = nextE[1];
2223+ case "EFittedImage":
2224+ if (!Value.eq(nextE,currE) || next[3]!==curr[3] || next[4]!==curr[4]) {
2225+ return node.parentNode.replaceChild(render(next),node);
2229+ if (nextE[1] !== currE[1] || nextE[2] !== currE[2] || nextE[3].length !== currE[3].length) {
2230+ return node.parentNode.replaceChild(render(next),node);
2232+ Collage.updateCollage(node,currE[3],nextE[3]);
2235+ if (nextE[1] !== currE[1]) {
2236+ return node.parentNode.replaceChild(render(next),node);
2238+ var nexts = nextE[2];
2239+ var kids = node.childNodes;
2240+ if (nexts.length !== kids.length) {
2241+ return node.parentNode.replaceChild(render(next),node);
2243+ var currs = currE[2];
2244+ var goDir = function(x) { return x; };
2245+ switch(nextE[1][0]) {
2246+ case "DDown": case "DUp": goDir = goDown; break;
2247+ case "DRight": case "DLeft": goDir = goRight; break;
2248+ case "DOut": case "DIn": goDir = goIn; break;
2250+ for (var i = kids.length; i-- ;) {
2251+ update(kids[i],currs[i],nexts[i]);
2256+ update(node.childNodes[0],currE[2],nextE[2]);
2257+ setPos(nextE[1],node.childNodes[0]);
2262+ if (next[1] !== curr[1]) {
2263+ var e = render(next);
2264+ node.parentNode.replaceChild(e,node);
2267+ if (e.type !== 'button') {
2268+ var p = Value.getExcess(node);
2273+ case "EExternalHtml":
2274+ if (next[1] !== curr[1])
2275+ node.parentNode.replaceChild(render(next),node);
2278+ if (next[3] !== curr[3]) node.style.width = (~~next[3]) + 'px';
2279+ if (next[4] !== curr[4]) node.style.height = (~~next[4]) + 'px';
2280+ if (next[5] !== curr[5]) node.style.opacity = next[5];
2281+ if (next[6].length === 2) {
2282+ var clr = Elm.Color.extract(next[6][1]);
2283+ if (clr !== node.style.backgroundColor) node.style.backgroundColor = clr;
2285+ if (next[7].length === 2) {
2286+ if (curr[7].length === 1 || next[7][1] !== curr[7][1]) node.parentNode.href = next[7][1];
2291+return {render:render,update:update,addTo:addTo,newElement:newElement,flowWith:flowWith,goIn:goIn};
2294+Elm.Signal = function() {
2295+ var send = function(node, timestep, changed) {
2296+ var kids = node.kids;
2297+ for (var i = kids.length; i--; ) {
2298+ kids[i].recv(timestep, changed, node.id);
2304+ function input(base) {
2305+ this.id = Guid.guid();
2308+ this.defaultNumberOfKids = 0;
2309+ this.recv = function(timestep, eid, v) {
2310+ var changed = eid === this.id;
2311+ if (changed) { this.value = v; }
2312+ send(this, timestep, changed);
2315+ Dispatcher.inputs.push(this);
2320+ function lift(func,args) {
2321+ this.id = Guid.guid();
2325+ this.changed = false;
2328+ this.recalc = function() {
2330+ for (var i = args.length; i--; ) {
2331+ f = f(args[i].value);
2337+ this.recv = function(timestep, changed, parentID) {
2339+ if (changed) { this.changed = true; }
2340+ if (this.count == args.length) {
2341+ if (this.changed) { this.recalc() }
2342+ send(this, timestep, this.changed);
2343+ this.changed = false;
2347+ for (var i = args.length; i--; ) {
2348+ args[i].kids.push(this);
2354+ function fold(func,base,baseIsFunc,input) {
2355+ this.id = Guid.guid();
2356+ this.value = baseIsFunc ? base(input.value) : base;
2358+ this.recv = function(timestep, changed, parentID) {
2359+ if (changed) { this.value = func(input.value)(this.value); }
2360+ send(this, timestep, changed);
2362+ input.kids.push(this);
2368+ function dropIf(pred,base,input) {
2369+ this.id = Guid.guid();
2370+ this.value = pred(input.value) ? base : input.value;
2372+ this.recv = function(timestep, changed, parentID) {
2373+ var chng = changed && !pred(input.value);
2374+ if (chng) { this.value = input.value; }
2375+ send(this, timestep, chng);
2377+ input.kids.push(this);
2383+ function dropRepeats(input) {
2384+ this.id = Guid.guid();
2385+ this.value = input.value;
2387+ this.recv = function(timestep, changed, parentID) {
2388+ var chng = changed && !Value.eq(this.value,input.value);
2389+ if (chng) { this.value = input.value; }
2390+ send(this, timestep, chng);
2392+ input.kids.push(this);
2395+ var dropWhen = function(s1) { return function(b) { return function(s2) {
2396+ var pairs = new lift(function(x){return function(y){return [x,y];};},[s1,s2]);
2397+ var dropped = new dropIf(function(p){return p[0];},[true,b],pairs);
2398+ return new lift(function(p){return p[1];},[dropped]); }; };
2404+ function timeIndex(pair,s) {
2405+ this.id = Guid.guid();
2406+ var t = (new window.Date).getTime();
2407+ this.value = pair ? Value.Tuple(t,s.value) : t;
2409+ this.recv = function(timestep, changed, parentID) {
2410+ if (changed) this.value = pair ? Value.Tuple(timestep, s.value) : timestep;
2411+ send(this, timestep, changed);
2419+ function sampleOn(s1,s2) {
2420+ this.id = Guid.guid();
2421+ this.value = s2.value;
2424+ this.changed = false;
2426+ this.recv = function(timestep, changed, parentID) {
2427+ if (parentID === s1.id) this.changed = changed;
2429+ if (this.count == 2) {
2430+ if (this.changed) { this.value = s2.value; }
2431+ send(this, timestep, this.changed);
2433+ this.changed = false;
2436+ s1.kids.push(this);
2437+ s2.kids.push(this);
2440+ function delay(t) { return function(s) {
2441+ var delayed = new input(s.value);
2442+ var firstEvent = true;
2443+ function update(v) {
2444+ if (firstEvent) return;
2445+ setTimeout(function() { Dispatcher.notify(delayed.id,v); },t);
2447+ function first(a) { return function(b) { return a; }; }
2448+ var out = new sampleOn(delayed,new lift(first, [delayed, new lift(update,[s])]));
2449+ firstEvent = false;
2457+ function merge(s1,s2) {
2458+ this.id = Guid.guid();
2459+ this.value = s1.value;
2463+ this.changed = false;
2465+ this.recv = function(timestep, changed, parentID) {
2468+ this.changed = true;
2469+ if (parentID == s2.id && this.next === null) { this.next = s2.value; }
2470+ if (parentID == s1.id) { this.next = s1.value; }
2473+ if (this.count == 2) {
2474+ if (this.changed) {
2475+ this.value = this.next;
2478+ send(this, timestep, this.changed);
2479+ this.changed = false;
2483+ s1.kids.push(this);
2484+ s2.kids.push(this);
2487+ function merges(ss) {
2488+ function mrg(x) { return function(y) { return new merge(x,y); }; }
2489+ return Elm.List.foldl1(mrg)(ss);
2492+ function average(sampleSize) { return function(s) {
2493+ var sample = new Array(sampleSize);
2494+ var i = sampleSize;
2495+ while (i--) sample[i] = 0;
2500+ total += n - sample[i];
2502+ var avg = total / Math.max(1, full ? sampleSize : i);
2503+ if (++i == sampleSize) { full = true; i = 0; }
2506+ return new lift(f, [s]);
2511+ constant : function(v) { return new input(v); },
2512+ lift : function(f){return function(e){return new lift(f,[e]);};},
2513+ lift2 : function(f) {
2514+ return function(e1) { return function(e2) {
2515+ return new lift(f, [e1,e2]); };};},
2516+ lift3 : function(f) {
2517+ return function(e1) { return function(e2) {
2518+ return function(e3){return new lift(f,[e1,e2,e3]);};};};},
2519+ lift4 : function(f) {
2520+ return function(e1) { return function(e2) {
2521+ return function(e3) { return function(e4) {
2522+ return new lift(f, [e1,e2,e3,e4]);};};};};},
2523+ lift5 : function(f) {
2524+ return function(e1) { return function(e2) {
2525+ return function(e3) { return function(e4) {
2526+ return function(e5) {
2527+ return new lift(f, [e1,e2,e3,e4,e5]);};};};};};},
2528+ lift6 : function(f) { return function(e1) { return function(e2) {
2529+ return function(e3) { return function(e4) {
2530+ return function(e5) { return function(e6) {
2531+ return new lift(f, [e1,e2,e3,e4,e5,e6]); };};};};};};},
2532+ lift7 : function(f) { return function(e1) { return function(e2) {
2533+ return function(e3) { return function(e4) {
2534+ return function(e5) { return function(e6) {
2535+ return function(e7) {
2536+ return new lift(f, [e1,e2,e3,e4,e5,e6,e7]);};};};};};};};},
2537+ lift8 : function(f) { return function(e1) { return function(e2) {
2538+ return function(e3) { return function(e4) {
2539+ return function(e5) { return function(e6) {
2540+ return function(e7) { return function(e8) {
2541+ return new lift(f, [e1,e2,e3,e4,e5,e6,e7,e8]);};};};};};};};};},
2542+ foldp : function(f) { return function(b) { return function(e) {
2543+ return new fold(f,b,false,e); }; }; },
2544+ foldp_ : function(f) { return function(b) { return function(e) {
2545+ return new fold(f,b,true,e); }; }; },
2546+ foldp1 : function(f) { return function(e) {
2547+ return new fold(f,function(x){return x;},true,e); }; },
2549+ merge : function(s1) { return function(s2) { return new merge(s1,s2)}; },
2552+ count : function(sig) {
2553+ var incr = function(_){return function(c){return c+1;};};
2554+ return new fold(incr,0,false,sig) },
2555+ countIf : function(pred) { return function(sig) {
2556+ var incr = function(x){return function(c){return pred(x) ? c+1 : c;};};
2557+ return new fold(incr,0,false,sig) }; },
2558+ keepIf : function(pred) { return function(base) { return function(sig) {
2559+ return new dropIf(function(x) { return !pred(x)},base,sig); }; }; },
2560+ dropIf : function(pred) { return function(base) { return function(sig) {
2561+ return new dropIf(pred,base,sig); }; }; },
2562+ keepWhen : function(s) { return dropWhen(new lift(function(b){return !b;},[s])); },
2563+ dropWhen : dropWhen,
2564+ dropRepeats : function(s) { return new dropRepeats(s);},
2565+ sampleOn : function(s1){return function(s2){return new sampleOn(s1,s2);};},
2566+ timestamp : function(s) { return new timeIndex(true, s); },
2567+ timeOf : function(s) { return new timeIndex(false, s); }
2570+var Dispatcher = function() {
2571+ var program = null;
2573+ var currentElement = null;
2575+ var initialize = function() {
2576+ program = Elm.main();
2577+ if (!program.hasOwnProperty('recv')) {
2578+ program = Elm.Signal.constant(program);
2581+ currentElement = program.value;
2582+ filterDeadInputs();
2584+ var content = document.getElementById('content');
2585+ content.appendChild(Render.render(currentElement));
2586+ var w = document.getElementById('widthChecker').offsetWidth;
2587+ if (w !== window.innerWidth) {
2588+ Dispatcher.notify(Elm.Window.dimensions.id, Value.Tuple(w, window.innerHeight));
2590+ program = Elm.Signal.lift(function(value) {
2591+ var content = document.getElementById('content');
2592+ Render.update(content.firstChild,currentElement,value);
2593+ currentElement = value;
2597+ var notify = function(id, v) {
2598+ var timestep = (new window.Date).getTime();
2599+ var hasListener = false;
2600+ for (var i = inputs.length; i--; ) {
2601+ hasListener = inputs[i].recv(timestep, id, v) || hasListener;
2603+ return hasListener;
2606+ function isAlive(input) {
2607+ if (!input.hasOwnProperty('defaultNumberOfKids')) return true;
2608+ var len = input.kids.length;
2609+ if (len == 0) return false;
2610+ if (len > input.defaultNumberOfKids) return true;
2612+ for (var i = len; i--; ) {
2613+ alive = alive || isAlive(input.kids[i]);
2617+ function filterDeadInputs() {
2619+ for (var i = inputs.length; i--; ) {
2620+ if (isAlive(inputs[i])) temp.push(inputs[i]);
2625+ return {initialize:initialize, notify:notify, inputs:inputs};
2626+}();Elm.HTTP = function() {
2627+ var JS = Elm.JavaScript;
2628+ var toElmString = Elm.JavaScript.castJSStringToString;
2629+ function request(verb) { return function(url) { return function(data) {
2630+ return function(headers) {
2631+ return {0 : "Request",
2633+ verb : JS.castStringToJSString(verb),
2634+ url : JS.castStringToJSString(url),
2635+ data : data === null ? null : JS.castStringToJSString(data),
2636+ headers : headers }; }; }; };
2638+ function get(url) { return request("GET")(url)(null)(["Nil"]); }
2639+ function post(url) { return function(data) {
2640+ return request("POST")(url)(data)(["Nil"]); }; }
2642+ function registerReq(queue,responses) { return function(req) {
2643+ if (req.url !== "") { sendReq(queue,responses,req); }
2647+ function updateQueue(queue,responses) {
2648+ if (queue.length > 0) {
2649+ Dispatcher.notify(responses.id, queue[0].value);
2650+ if (queue[0].value[0] !== "Waiting") {
2652+ setTimeout(function() { updateQueue(queue,responses); }, 0);
2657+ function sendReq(queue,responses,req) {
2658+ var response = { value: ["Waiting"] };
2659+ queue.push(response);
2661+ var request = null;
2662+ if (window.ActiveXObject) { request = new ActiveXObject("Microsoft.XMLHTTP"); }
2663+ if (window.XMLHttpRequest) { request = new XMLHttpRequest(); }
2664+ request.onreadystatechange = function(e) {
2665+ if (request.readyState === 4) {
2666+ response.value = (request.status === 200
2667+ ? ["Success", toElmString(request.responseText)]
2668+ : ["Failure", request.status,
2669+ toElmString(request.statusText)]);
2670+ setTimeout(function() { updateQueue(queue,responses); }, 0);
2673+ request.open(req.verb, req.url, true);
2674+ Elm.List.map(function(pair) {
2675+ request.setRequestHeader(
2676+ JS.castStringToJSString(pair[1]),
2677+ JS.castStringToJSString(pair[2]));
2679+ request.send(req.data);
2683+ function send(requests) {
2684+ var responses = Elm.Signal.constant(["Waiting"]);
2685+ var sender = Elm.Signal.lift(registerReq([],responses))(requests);
2686+ function f(x) { return function(y) { return x; } }
2687+ var combine = Elm.Signal.lift2(f)(responses)(sender);
2695+ sendGet : function(urls){return send(Elm.Signal.lift(get)(urls));}
2699+Elm.Input = function() {
2700+ var JS = Elm.JavaScript;
2701+ var toElmString = Elm.JavaScript.castJSStringToString;
2702+ var newTextInput = function(elem, ghostText) {
2703+ elem.placeholder = JS.castStringToJSString(ghostText);
2704+ var str = Elm.Signal.constant(["Nil"]);
2705+ Value.addListener(elem, 'keyup', function(e) {
2706+ Dispatcher.notify(str.id, toElmString(elem.value));
2709+ elem.style.padding = "1px";
2710+ return Value.Tuple(Value.wrap(elem), str);
2712+ var newElement = function(name) {
2713+ var e = document.createElement(name);
2714+ e.style.padding = "0";
2715+ e.style.margin = "0";
2718+ var textArea = function(cols) { return function(rows) {
2719+ var textarea = newElement('textarea');
2720+ textarea.rows = rows;
2721+ textarea.cols = cols;
2722+ return newTextInput(textarea, "");
2725+ var textField = function(ghostText) {
2726+ var field = newElement('input');
2727+ field.type = 'text';
2728+ return newTextInput(field, ghostText);
2730+ var password = function(ghostText) {
2731+ var field = newElement('input');
2732+ field.type = 'password';
2733+ return newTextInput(field, ghostText);
2735+ var checkbox = function(checked) {
2736+ var box = newElement('input');
2737+ box.type = 'checkbox';
2738+ box.checked = checked;
2739+ var status = Elm.Signal.constant(checked);
2740+ Value.addListener(box, 'change', function(e) {
2741+ Dispatcher.notify(status.id, box.checked);
2743+ return Value.Tuple(Value.wrap(box), status);
2745+ var dropDown = function(options) {
2746+ var slct = newElement('select');
2748+ while (options[0] === "Cons") {
2749+ var opt = newElement('option');
2750+ var str = Value.toText(options[1][1]);
2752+ opt.innerHTML = str;
2753+ slct.appendChild(opt);
2754+ opts.push(options[1][2]);
2755+ options = options[2];
2757+ var status = Elm.Signal.constant(opts[0]);
2758+ Value.addListener(slct, 'change', function(e) {
2759+ Dispatcher.notify(status.id, opts[slct.selectedIndex]);
2761+ return Value.Tuple(Value.wrap(slct), status);
2763+ var stringDropDown = function(opts) {
2764+ return dropDown(Elm.List.map (function(x) {return Value.Tuple(x,x);}) (opts));
2766+ var button = function(name) {
2767+ var b = newElement('input');
2769+ b.value = JS.castStringToJSString(name);
2770+ var press = Elm.Signal.constant(false);
2771+ Value.addListener(b, 'click', function(e) {
2772+ Dispatcher.notify(press.id, true);
2773+ Dispatcher.notify(press.id, false);
2775+ return Value.Tuple(Value.wrap(b),press);
2777+ return {textArea:textArea, textField:textField,
2778+ password:password, checkbox:checkbox,
2779+ dropDown:dropDown, stringDropDown:stringDropDown,
2783+Elm.Keyboard = { Raw : function() {
2784+ var keysDown = Elm.Signal.constant(["Nil"]);
2785+ var charPressed = Elm.Signal.constant(["Nothing"]);
2786+ function remove(x,xs) {
2787+ if (xs[0] === "Nil") return xs;
2788+ if (xs[1] === x) return xs[2];
2789+ return ["Cons", xs[1], remove(x,xs[2])];
2791+ function has(x,xs) {
2792+ while (xs[0] !== "Nil") {
2793+ if (xs[1] === x) return true;
2798+ Value.addListener(document, 'keydown', function(e) {
2799+ if (has(e.keyCode, keysDown.value)) return;
2800+ var hasListener = Dispatcher.notify(keysDown.id, ["Cons", e.keyCode, keysDown.value]);
2802+ this.removeEventListener('keydown',arguments.callee,false);
2804+ Value.addListener(document, 'keyup', function(e) {
2805+ var codes = remove(e.keyCode, keysDown.value);
2806+ var hasListener = Dispatcher.notify(keysDown.id, codes);
2808+ this.removeEventListener('keyup',arguments.callee,false);
2810+ Value.addListener(window, 'blur', function(e) {
2811+ var hasListener = Dispatcher.notify(keysDown.id, ["Nil"]);
2813+ this.removeEventListener('blur',arguments.callee,false);
2815+ Value.addListener(document, 'keypress', function(e) {
2816+ var hasListener = Dispatcher.notify(charPressed.id, ["Just",e.charCode || e.keyCode]);
2817+ Dispatcher.notify(charPressed.id, ["Nothing"]);
2819+ this.removeEventListener('keypress',arguments.callee,false);
2821+ return {keysDown:keysDown,
2822+ charPressed:charPressed};
2825+Elm.Mouse = function() {
2826+ var position = Elm.Signal.constant(Value.Tuple(0,0));
2827+ position.defaultNumberOfKids = 2;
2829+ var x = Elm.Signal.lift(function(p){return p[1];})(position);
2830+ x.defaultNumberOfKids = 0;
2831+ var y = Elm.Signal.lift(function(p){return p[2];})(position);
2832+ y.defaultNumberOfKids = 0;
2834+ var isDown = Elm.Signal.constant(false);
2835+ var isClicked = Elm.Signal.constant(false);
2836+ var clicks = Elm.Signal.constant(Value.Tuple());
2838+ function getXY(e) {
2841+ if (!e) e = window.event;
2842+ if (e.pageX || e.pageY) {
2845+ } else if (e.clientX || e.clientY) {
2846+ posx = e.clientX + document.body.scrollLeft +
2847+ document.documentElement.scrollLeft;
2848+ posy = e.clientY + document.body.scrollTop +
2849+ document.documentElement.scrollTop;
2851+ return Value.Tuple(posx, posy);
2854+ Value.addListener(document, 'click', function(e) {
2855+ var hasListener1 = Dispatcher.notify(isClicked.id, true);
2856+ var hasListener2 = Dispatcher.notify(clicks.id, Value.Tuple());
2857+ Dispatcher.notify(isClicked.id, false);
2858+ if (!hasListener1 && !hasListener2)
2859+ this.removeEventListener('click',arguments.callee,false);
2861+ Value.addListener(document, 'mousedown', function(e) {
2862+ var hasListener = Dispatcher.notify(isDown.id, true);
2864+ this.removeEventListener('mousedown',arguments.callee,false);
2866+ Value.addListener(document, 'mouseup', function(e) {
2867+ var hasListener = Dispatcher.notify(isDown.id, false);
2869+ this.removeEventListener('mouseup',arguments.callee,false);
2871+ Value.addListener(document, 'mousemove', function(e) {
2872+ var hasListener = Dispatcher.notify(position.id, getXY(e));
2874+ this.removeEventListener('mousemove',arguments.callee,false);
2876+ var clickedOn = function(elem) {
2877+ var node = Render.render(elem);
2878+ var click = Elm.Signal.constant(false);
2879+ Value.addListener(node, 'click', function(e) {
2880+ Dispatcher.notify(click.id, true);
2881+ Dispatcher.notify(click.id, false);
2883+ return Value.Tuple(Value.wrap(node), click);
2885+ return {position: position,
2888+ isClicked: isClicked,
2891+ isClickedOn: clickedOn
2894+Elm.Random = function() {
2895+ var inRange = function(min) { return function(max) {
2896+ return Elm.Signal.constant(Math.floor(Math.random() * (max-min+1)) + min);
2899+ var randomize = function(min) { return function(max) { return function(signal) {
2900+ function f(x) { return Math.floor(Math.random() * (max-min+1)) + min; }
2901+ return Elm.Signal.lift(f)(signal);
2905+ return { inRange:inRange, randomize:randomize };
2906+}();Elm.Time = function() {
2907+ function timeNow() { return (new window.Date).getTime(); }
2908+ function everyWhen(isOn) { return function(t) {
2909+ var clock = Elm.Signal.constant(timeNow());
2910+ function tellTime() { Dispatcher.notify(clock.id, timeNow()); }
2911+ setInterval(tellTime, t);
2915+ function fpsWhen(desiredFPS) { return function (isOn) {
2916+ var msPerFrame = 1000 / desiredFPS;
2917+ var prev = timeNow(), curr = prev, diff = 0, wasOn = true;
2918+ var ticker = Elm.Signal.constant(diff);
2919+ function tick(zero) { return function() {
2921+ diff = zero ? 0 : curr - prev;
2923+ Dispatcher.notify(ticker.id, diff);
2927+ function f(isOn) { return function(t) {
2929+ timeoutID = setTimeout(tick(!wasOn && isOn), msPerFrame);
2930+ } else if (wasOn) {
2931+ clearTimeout(timeoutID);
2937+ return Elm.Signal.lift2(f)(isOn)(ticker);
2940+ function since(t) { return function(s) {
2941+ function cmp(a) { return function(b) { return !Value.eq(a,b); }; }
2942+ var dcount = Elm.Signal.count(Elm.Signal.delay(t)(s));
2943+ return Elm.Signal.lift2(cmp)(Elm.Signal.count(s))(dcount);
2946+ function after(t) {
2948+ var thread = Elm.Signal.constant(false);
2949+ setTimeout(function() { Dispatcher.notify(thread.id, true); }, t);
2952+ function before(t) {
2954+ var thread = Elm.Signal.constant(true);
2955+ setTimeout(function() { Dispatcher.notify(thread.id, false); }, t);
2959+ var t = window.Date.parse(s);
2960+ return isNaN(t) ? ["Nothing"] : ["Just",t];
2962+ return {fpsWhen : fpsWhen,
2963+ fps : function(t) { return fpsWhen(t)(Elm.Signal.constant(true)); },
2964+ every : everyWhen(Elm.Signal.constant(true)),
2965+ delay : Elm.Signal.delay,
2973+ inHours : function(t) { return t / 3600000; },
2974+ inMinutes : function(t) { return t / 60000; },
2975+ inSeconds : function(t) { return t / 1000; },
2976+ inMss : function(t) { return t; },
2977+ toDate : function(t) { return new window.Date(t); },
2981+}();Elm.Window = function() {
2982+ var dimensions = Elm.Signal.constant(Value.Tuple(window.innerWidth,
2983+ window.innerHeight));
2984+ dimensions.defaultNumberOfKids = 2;
2986+ var width = Elm.Signal.lift(function(p){return p[1];})(dimensions);
2987+ width.defaultNumberOfKids = 0;
2988+ var height = Elm.Signal.lift(function(p){return p[2];})(dimensions);
2989+ height.defaultNumberOfKids = 0;
2991+ Value.addListener(window, 'resize', function(e) {
2992+ var w = document.getElementById('widthChecker').offsetWidth;
2993+ var hasListener = Dispatcher.notify(dimensions.id,
2994+ Value.Tuple(w, window.innerHeight));
2996+ this.removeEventListener('resize',arguments.callee,false);
2998+ return {dimensions:dimensions,width:width,height:height};
3001+Elm.Date = function() {
3003+ function dateNow() { return new window.Date; }
3004+ function readDate(str) {
3005+ var d = new window.Date(Elm.JavaScript.castStringToJSString(str));
3006+ if (isNaN(d.getTime())) return ["Nothing"];
3010+ var dayTable = ["Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat"];
3011+ var monthTable = ["Jan", "Feb", "Mar", "Apr", "May", "Jun",
3012+ "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"];
3016+ year : function(d) { return d.getFullYear(); },
3017+ month : function(d) { return [monthTable[d.getMonth()]]; },
3018+ day : function(d) { return d.getDate(); },
3019+ hour : function(d) { return d.getHours(); },
3020+ minute : function(d) { return d.getMinutes(); },
3021+ second : function(d) { return d.getSeconds(); },
3022+ dayOfWeek : function(d) { return [dayTable[d.getDay()]]; },
3023+ toTime : function(d) { return d.getTime(); },
3024+ Mon : ["Mon"], Tue : ["Tue"], Wed : ["Wed"],
3025+ Thu : ["Thu"], Fri : ["Fri"], Sat : ["Sat"], Sun : ["Sun"],
3026+ Jan : ["Jan"], Feb : ["Feb"], Mar : ["Mar"], Apr : ["Apr"],
3027+ May : ["May"], Jun : ["Jun"], Jul : ["Jul"], Aug : ["Aug"],
3028+ Sep : ["Sep"], Oct : ["Oct"], Nov : ["Nov"], Dec : ["Dec"]
3033+Value.addListener(document, 'elm_log', function(e) { console.log(e.value); });
3034+Value.addListener(document, 'elm_title', function(e) {document.title = e.value;});
3035+Value.addListener(document, 'elm_redirect', function(e) {
3036+ if (e.value.length > 0) { window.location = e.value; }
3039+Elm.Prelude = function() {
3040+ var mod = function(x) { return function(y) {
3042+ var m = x==0 ? 0 : (y>0 ? (x>=0 ? r : r+y) : -mod(-x)(-y));
3043+ return m == y ? 0 : m;
3046+ var min = function(x) { return function(y) { return Math.min(x,y); }; };
3047+ var max = function(x) { return function(y) { return Math.max(x,y); }; };
3049+ var flip=function(f){return function(x){return function(y){return f(y)(x);};};};
3050+ var clamp = function(lo) { return function(hi) {
3051+ return function(x) { return Math.min(hi, Math.max(lo, x)); };
3054+ var curry = function(f) { return function(x) { return function(y) {
3055+ return f(["Tuple2",x,y]); }; };
3057+ var uncurry = function(f) { return function(p) {
3058+ if (p[0] !== "Tuple2") {
3059+ throw "Function was uncurry'd but was not given a pair.";
3061+ return f(p[1])(p[2]); };
3064+ var logBase=function(b){return function(x){return Math.log(x)/Math.log(b);};};
3066+ function readInt(str) {
3067+ var s = Elm.JavaScript.castStringToJSString(str);
3068+ var len = s.length;
3069+ if (len === 0) { return ["Nothing"]; }
3072+ if (len === 1) { return ["Nothing"]; }
3075+ for (var i = start; i < len; ++i) {
3076+ if (!Elm.Char.isDigit(s[i])) { return ["Nothing"]; }
3078+ return ["Just", parseInt(s)];
3081+ function readFloat(str) {
3082+ var s = Elm.JavaScript.castStringToJSString(str);
3083+ var len = s.length;
3084+ if (len === 0) { return ["Nothing"]; }
3087+ if (len === 1) { return ["Nothing"]; }
3091+ for (var i = start; i < len; ++i) {
3092+ if (Elm.Char.isDigit(s[i])) { continue; }
3093+ if (s[i] === '.') {
3095+ if (dotCount <= 1) { continue; }
3097+ return ["Nothing"];
3099+ return ["Just", parseFloat(s)];
3102+ function compare(x) { return function (y) {
3103+ if (x instanceof Array && y instanceof Array) {
3104+ var len = x.length;
3105+ if (len == y.length) {
3106+ for (var i = 1; i < len; ++i) {
3107+ var cmp = compare(x[i])(y[i]);
3108+ if (cmp[0] === 'EQ') continue;
3113+ return [ y.length == 1 ? 'GT' : 'LT' ];
3115+ return [ x === y ? 'EQ' : (x < y ? 'LT' : 'GT') ];
3118+ return {eq : Value.eq,
3119+ id : function(x) { return x; },
3120+ not : function(b) { return !b; },
3121+ fst : function(p) { return p[1]; },
3122+ snd : function(p) { return p[2]; },
3123+ rem : function(x) { return function(y) { return x % y; }; },
3124+ div : function(x) { return function(y) { return ~~(x / y); }; },
3127+ toFloat : function(x) { return x; },
3128+ round : function(n) { return Math.round(n); },
3129+ floor : function(n) { return Math.floor(n); },
3130+ ceiling : function(n) { return Math.ceil(n); },
3131+ truncate : function(n) { return ~~n; },
3133+ readFloat : readFloat,
3144+ atan2 : function(y) { return function(x) { return Math.atan2(y,x); }; },
3153+ Just : Elm.Maybe.Just,
3154+ Nothing : Elm.Maybe.Nothing,
3155+ maybe : Elm.Maybe.maybe,
3156+ map : Elm.List.map,
3157+ zip : Elm.List.zip,
3158+ zipWith : Elm.List.zipWith,
3159+ filter : Elm.List.filter,
3160+ head : Elm.List.head,
3161+ tail : Elm.List.tail,
3162+ last : Elm.List.last,
3163+ length : Elm.List.length,
3164+ reverse : Elm.List.reverse,
3165+ foldr : Elm.List.foldr,
3166+ foldr1 : Elm.List.foldr1,
3167+ foldl : Elm.List.foldl,
3168+ foldl1 : Elm.List.foldl1,
3169+ and : Elm.List.and,
3171+ all : Elm.List.all,
3172+ any : Elm.List.any,
3173+ sum : Elm.List.sum,
3174+ product : Elm.List.product,
3175+ concat : Elm.List.concat,
3176+ concatMap : Elm.List.concatMap,
3177+ maximum : Elm.List.maximum,
3178+ minimum : Elm.List.minimum,
3179+ scanl : Elm.List.scanl,
3180+ scanl1 : Elm.List.scanl1,
3181+ take : Elm.List.take,
3182+ drop : Elm.List.drop,
3183+ zip : Elm.List.zip,
3184+ unzip : Elm.List.unzip,
3185+ lift : Elm.Signal.lift,
3186+ lift2 : Elm.Signal.lift2,
3187+ lift3 : Elm.Signal.lift3,
3188+ lift4 : Elm.Signal.lift4,
3189+ lift5 : Elm.Signal.lift5,
3190+ lift6 : Elm.Signal.lift6,
3191+ lift7 : Elm.Signal.lift7,
3192+ lift8 : Elm.Signal.lift8,
3193+ foldp : Elm.Signal.foldp,
3194+ foldp1 : Elm.Signal.foldp1,
3195+ foldp_ : Elm.Signal.foldp_,
3196+ constant : Elm.Signal.constant,
3197+ merge : Elm.Signal.merge,
3198+ count : Elm.Signal.count,
3199+ countIf : Elm.Signal.countIf,
3200+ average : Elm.Signal.average,
3201+ keepIf : Elm.Signal.keepIf,
3202+ dropIf : Elm.Signal.dropIf,
3203+ keepWhen : Elm.Signal.keepWhen,
3204+ dropWhen : Elm.Signal.dropWhen,
3205+ dropRepeats : Elm.Signal.dropRepeats,
3206+ sampleOn : Elm.Signal.sampleOn,
3207+ timestamp : Elm.Signal.timestamp,
3208+ timeOf : Elm.Signal.timeOf
3214+ var include = function(library) {
3215+ for (var i in library) {
3216+ Elm.Prelude[i] = library[i];
3219+ include (Elm.Color);
3220+ include (Elm.Text);
3221+ include (Elm.Graphics);
3222+ include (Elm.Time);
3228+Elm.Dict=function(){
3229+ var compare = Elm.Prelude.compare;
3230+ var uncurry = Elm.Prelude.uncurry;
3231+ var Nothing = Elm.Prelude.Nothing;
3232+ var Just = Elm.Prelude.Just;
3233+ var not = Elm.Prelude.not;
3234+ var eq = Elm.Prelude.eq;
3235+ var isJust=Elm.Maybe.isJust;
3237+ var Black_1=['Black'];
3238+ function RBNode_2(a1){
3239+ return function(a2){
3240+ return function(a3){
3241+ return function(a4){
3242+ return function(a5){
3243+ return ['RBNode',a1,a2,a3,a4,a5];};};};};}
3244+ var RBEmpty_3=['RBEmpty'];
3245+ function min_6(t_42){
3249+ throw '(min RBEmpty) is not defined';
3251+ switch(t_42[4][0]){
3253+ return ['Tuple2',t_42[2],t_42[3]];
3255+ return min_6(t_42[4]);
3257+ throw "Non-exhaustive pattern match in case";}();}
3258+ function lookup_7(k_46){
3259+ return function(t_47){
3266+ var case12=compare(k_46)(t_47[2]);
3269+ return Just(t_47[3]);
3271+ return lookup_7(k_46)(t_47[5]);
3273+ return lookup_7(k_46)(t_47[4]);
3275+ throw "Non-exhaustive pattern match in case";}();
3277+ throw "Non-exhaustive pattern match in case";}();};}
3278+ function findWithDefault_8(base_52){
3279+ return function(k_53){
3280+ return function(t_54){
3287+ var case19=compare(k_53)(t_54[2]);
3292+ return findWithDefault_8(base_52)(k_53)(t_54[5]);
3294+ return findWithDefault_8(base_52)(k_53)(t_54[4]);
3296+ throw "Non-exhaustive pattern match in case";}();
3298+ throw "Non-exhaustive pattern match in case";}();};};}
3299+ function member_9(k_59){
3300+ return function(t_60){
3301+ return isJust(lookup_7(k_59)(t_60));};}
3302+ function rotateLeft_10(t_61){
3306+ switch(t_61[5][0]){
3308+ return RBNode_2(t_61[1])(t_61[5][2])(t_61[5][3])(RBNode_2(Red_0)(t_61[2])(t_61[3])(t_61[4])(t_61[5][4]))(t_61[5][5]);
3311+ throw 'rotateLeft of a node without enough children';}();}
3312+ function rotateRight_11(t_71){
3316+ switch(t_71[4][0]){
3318+ return RBNode_2(t_71[1])(t_71[4][2])(t_71[4][3])(t_71[4][4])(RBNode_2(Red_0)(t_71[2])(t_71[3])(t_71[4][5])(t_71[5]));
3321+ throw 'rotateRight of a node without enough children';}();}
3322+ function rotateLeftIfNeeded_12(t_81){
3326+ switch(t_81[5][0]){
3328+ switch(t_81[5][1][0]){
3330+ return rotateLeft_10(t_81);
3335+ function rotateRightIfNeeded_13(t_82){
3339+ switch(t_82[4][0]){
3341+ switch(t_82[4][1][0]){
3343+ switch(t_82[4][4][0]){
3345+ switch(t_82[4][4][1][0]){
3347+ return rotateRight_11(t_82);
3354+ function otherColor_14(c_83){
3362+ throw "Non-exhaustive pattern match in case";}();}
3363+ function color_flip_15(t_84){
3367+ switch(t_84[4][0]){
3369+ switch(t_84[5][0]){
3371+ return RBNode_2(otherColor_14(t_84[1]))(t_84[2])(t_84[3])(RBNode_2(otherColor_14(t_84[4][1]))(t_84[4][2])(t_84[4][3])(t_84[4][4])(t_84[4][5]))(RBNode_2(otherColor_14(t_84[5][1]))(t_84[5][2])(t_84[5][3])(t_84[5][4])(t_84[5][5]));
3375+ throw 'color_flip called on a RBEmpty or RBNode with a RBEmpty child';}();}
3376+ function color_flipIfNeeded_16(t_98){
3380+ switch(t_98[4][0]){
3382+ switch(t_98[4][1][0]){
3384+ switch(t_98[5][0]){
3386+ switch(t_98[5][1][0]){
3388+ return color_flip_15(t_98);
3395+ function fixUp_17(t_99){
3396+ return color_flipIfNeeded_16(rotateRightIfNeeded_13(rotateLeftIfNeeded_12(t_99)));}
3397+ function ensureBlackRoot_18(t_100){
3401+ switch(t_100[1][0]){
3403+ return RBNode_2(Black_1)(t_100[2])(t_100[3])(t_100[4])(t_100[5]);
3407+ function insert_19(k_105){
3408+ return function(v_106){
3409+ return function(t_107){
3411+ function ins_108(t_109){
3415+ return RBNode_2(Red_0)(k_105)(v_106)(RBEmpty_3)(RBEmpty_3);
3418+ var h_115=function(){
3419+ var case114=compare(k_105)(t_109[2]);
3420+ switch(case114[0]){
3422+ return RBNode_2(t_109[1])(t_109[2])(v_106)(t_109[4])(t_109[5]);
3424+ return RBNode_2(t_109[1])(t_109[2])(t_109[3])(t_109[4])(ins_108(t_109[5]));
3426+ return RBNode_2(t_109[1])(t_109[2])(t_109[3])(ins_108(t_109[4]))(t_109[5]);
3428+ throw "Non-exhaustive pattern match in case";}();
3429+ return fixUp_17(h_115);}();
3431+ throw "Non-exhaustive pattern match in case";}();}
3432+ return ensureBlackRoot_18(ins_108(t_107));}();};};}
3433+ function singleton_20(k_116){
3434+ return function(v_117){
3435+ return insert_19(k_116)(v_117)(RBEmpty_3);};}
3436+ function isRed_21(t_118){
3440+ switch(t_118[1][0]){
3446+ function isRedLeft_22(t_119){
3450+ switch(t_119[4][0]){
3452+ switch(t_119[4][1][0]){
3459+ function isRedLeftLeft_23(t_120){
3463+ switch(t_120[4][0]){
3465+ switch(t_120[4][4][0]){
3467+ switch(t_120[4][4][1][0]){
3475+ function isRedRight_24(t_121){
3479+ switch(t_121[5][0]){
3481+ switch(t_121[5][1][0]){
3488+ function isRedRightLeft_25(t_122){
3492+ switch(t_122[5][0]){
3494+ switch(t_122[5][4][0]){
3496+ switch(t_122[5][4][1][0]){
3504+ function moveRedLeft_26(t_123){
3506+ var t__124=color_flip_15(t_123);
3511+ switch(t__124[5][0]){
3513+ switch(t__124[5][4][0]){
3515+ switch(t__124[5][4][1][0]){
3517+ return color_flip_15(rotateLeft_10(RBNode_2(t__124[1])(t__124[2])(t__124[3])(t__124[4])(rotateRight_11(t__124[5]))));
3523+ return t__124;}();}();}
3524+ function moveRedRight_27(t_130){
3526+ var t__131=color_flip_15(t_130);
3527+ return (isRedLeftLeft_23(t__131)?color_flip_15(rotateRight_11(t__131)):t__131);}();}
3528+ function moveRedLeftIfNeeded_28(t_132){
3529+ return ((not(isRedLeft_22(t_132))&¬(isRedLeftLeft_23(t_132)))?moveRedLeft_26(t_132):t_132);}
3530+ function moveRedRightIfNeeded_29(t_133){
3531+ return ((not(isRedRight_24(t_133))&¬(isRedRightLeft_25(t_133)))?moveRedRight_27(t_133):t_133);}
3532+ function deleteMin_30(t_134){
3534+ function del_135(t_136){
3538+ switch(t_136[4][0]){
3544+ var case198=moveRedLeftIfNeeded_28(t_136);
3545+ switch(case198[0]){
3549+ return fixUp_17(RBNode_2(case198[1])(case198[2])(case198[3])(del_135(case198[4]))(case198[5]));
3551+ throw "Non-exhaustive pattern match in case";}();}();}
3552+ return ensureBlackRoot_18(del_135(t_134));}();}
3553+ function remove_31(k_142){
3554+ return function(t_143){
3556+ function eq_and_noRightNode_144(t_150){
3560+ switch(t_150[5][0]){
3562+ return eq(k_142,t_150[2]);
3566+ function eq_145(t_152){
3570+ return eq(k_142,t_152[2]);
3573+ function delLT_146(t_154){
3575+ var case216=moveRedLeftIfNeeded_28(t_154);
3576+ switch(case216[0]){
3578+ throw 'delLT on RBEmpty';
3580+ return fixUp_17(RBNode_2(case216[1])(case216[2])(case216[3])(del_149(case216[4]))(case216[5]));
3582+ throw "Non-exhaustive pattern match in case";}();}
3583+ function delEQ_147(t_160){
3587+ throw 'delEQ called on a RBEmpty';
3590+ var Tuple2$k_v__164=min_6(t_160[5]);
3591+ var k__165=function(){
3592+ switch(Tuple2$k_v__164[0]){
3594+ return Tuple2$k_v__164[1];
3596+ throw "Non-exhaustive pattern match in case";}();
3597+ var v__166=function(){
3598+ switch(Tuple2$k_v__164[0]){
3600+ return Tuple2$k_v__164[2];
3602+ throw "Non-exhaustive pattern match in case";}();
3603+ return fixUp_17(RBNode_2(t_160[1])(k__165)(v__166)(t_160[4])(deleteMin_30(t_160[5])));}();
3605+ throw "Non-exhaustive pattern match in case";}();}
3606+ function delGT_148(t_171){
3610+ throw 'delGT called on a RBEmpty';
3612+ return fixUp_17(RBNode_2(t_171[1])(t_171[2])(t_171[3])(t_171[4])(del_149(t_171[5])));
3614+ throw "Non-exhaustive pattern match in case";}();}
3615+ function del_149(t_177){
3621+ return ((compare(k_142)(t_177[2])[0] === 'LT')?delLT_146(t_177):function(){
3622+ var u_179=(isRedLeft_22(t_177)?rotateRight_11(t_177):t_177);
3623+ return (eq_and_noRightNode_144(u_179)?u_179[4]:function(){
3624+ var t__180=moveRedRightIfNeeded_29(t_177);
3625+ return (eq_145(t__180)?delEQ_147(t__180):delGT_148(t__180));}());}());
3627+ throw "Non-exhaustive pattern match in case";}();}
3628+ return (member_9(k_142)(t_143)?ensureBlackRoot_18(del_149(t_143)):t_143);}();};}
3629+ function map_32(f_181){
3630+ return function(t_182){
3636+ return RBNode_2(t_182[1])(t_182[2])(f_181(t_182[3]))(map_32(f_181)(t_182[4]))(map_32(f_181)(t_182[5]));
3638+ throw "Non-exhaustive pattern match in case";}();};}
3639+ function foldl_33(f_188){
3640+ return function(acc_189){
3641+ return function(t_190){
3647+ return foldl_33(f_188)(f_188(t_190[2])(t_190[3])(foldl_33(f_188)(acc_189)(t_190[4])))(t_190[5]);
3649+ throw "Non-exhaustive pattern match in case";}();};};}
3650+ function foldr_34(f_195){
3651+ return function(acc_196){
3652+ return function(t_197){
3658+ return foldr_34(f_195)(f_195(t_197[2])(t_197[3])(foldr_34(f_195)(acc_196)(t_197[5])))(t_197[4]);
3660+ throw "Non-exhaustive pattern match in case";}();};};}
3661+ function union_35(t1_202){
3662+ return function(t2_203){
3663+ return foldl_33(insert_19)(t2_203)(t1_202);};}
3664+ function intersect_36(t1_204){
3665+ return function(t2_205){
3666+ return foldl_33(function(k_206){
3667+ return function(v_207){
3668+ return function(t_208){
3669+ return (member_9(k_206)(t2_205)?insert_19(k_206)(v_207)(t_208):t_208);};};})(empty_4)(t1_204);};}
3670+ function diff_37(t1_209){
3671+ return function(t2_210){
3672+ return foldl_33(function(k_211){
3673+ return function(v_212){
3674+ return function(t_213){
3675+ return remove_31(k_211)(t_213);};};})(t1_209)(t2_210);};}
3676+ function keys_38(t_214){
3677+ return foldr_34(function(k_215){
3678+ return function(v_216){
3679+ return function(acc_217){
3680+ return ['Cons',k_215,acc_217];};};})(['Nil'])(t_214);}
3681+ function values_39(t_218){
3682+ return foldr_34(function(k_219){
3683+ return function(v_220){
3684+ return function(acc_221){
3685+ return ['Cons',v_220,acc_221];};};})(['Nil'])(t_218);}
3686+ function toList_40(t_222){
3687+ return foldr_34(function(k_223){
3688+ return function(v_224){
3689+ return function(acc_225){
3690+ return ['Cons',['Tuple2',k_223,v_224],acc_225];};};})(['Nil'])(t_222);}
3691+ function fromList_41(assocs_226){
3692+ return Elm.List.foldl(uncurry(insert_19))(empty_4)(assocs_226);}
3693+ var empty_4=RBEmpty_3;
3697+ findWithDefault:findWithDefault_8,
3700+ singleton:singleton_20,
3706+ intersect:intersect_36,
3711+ fromList:fromList_41};}();
3714+ var empty_0=Elm.Dict.empty;
3715+ var remove_3=Elm.Dict.remove;
3716+ var member_4=Elm.Dict.member;
3717+ var union_5=Elm.Dict.union;
3718+ var intersect_6=Elm.Dict.intersect;
3719+ var diff_7=Elm.Dict.diff;
3720+ var toList_8=Elm.Dict.keys;
3721+ var fromList_9=Elm.List.foldl(function(k_15){
3722+ return function(t_16){
3723+ return Elm.Dict.insert(k_15)(["Tuple0"])(t_16);};})(empty_0);
3724+ function singleton_1(k_13){
3725+ return Elm.Dict.singleton(k_13)(["Tuple0"]);};
3726+ function insert_2(k_14){
3727+ return Elm.Dict.insert(k_14)(["Tuple0"]);};
3728+ function foldl_10(f_17){
3729+ return Elm.Dict.foldl(function(k_18){
3730+ return function(v_19){
3731+ return function(b_20){
3732+ return f_17(k_18)(b_20);};};});};
3733+ function foldr_11(f_21){
3734+ return Elm.Dict.foldr(function(k_22){
3735+ return function(v_23){
3736+ return function(b_24){
3737+ return f_21(k_22)(b_24);};};});};
3738+ function map_12(f_25){
3739+ return function(t_26){
3740+ return function(x){
3741+ return fromList_9(Elm.List.map(f_25)(x));}(toList_8(t_26));};};
3742+ return {empty:empty_0,singleton:singleton_1,insert:insert_2,remove:remove_3,member:member_4,union:union_5,intersect:intersect_6,diff:diff_7,toList:toList_8,fromList:fromList_9,foldl:foldl_10,foldr:foldr_11,map:map_12};}();
3748+for(this['i'] in Elm){eval('var '+this['i']+'=Elm[this.i];');}
3749+if (Elm.Automaton) throw "Module name collision, 'Automaton' is already defined.";
3750+Elm.Automaton=function(){
3752+ if (!(Elm.Prelude instanceof Object)) throw 'module not found';
3754+ throw ("Module 'Prelude' is missing. Compile with --make flag or load missing module in a separate JavaScript file.");
3757+ for (this['i'] in Elm.Prelude) {
3758+ if (hiddenVars[this['i']]) continue;
3759+ eval('var ' + this['i'] + ' = Elm.Prelude[this.i];');}
3760+ function Automaton_0(a1){
3761+ return ["Automaton",a1];}
3762+ var Listen_8=["Listen"];
3763+ var Ignore_9=["Ignore"];
3764+ function DragFrom_10(a1){
3765+ return ["DragFrom",a1];}
3766+ $op['>>>'] = function(a1_24){
3767+ return function(a2_25){
3769+ var Automaton$m1_26=a1_24;
3770+ var m1_27=function(){
3771+ switch(Automaton$m1_26[0]){
3773+ return Automaton$m1_26[1];
3775+ throw "Non-exhaustive pattern match in case";}();
3776+ var Automaton$m2_28=a2_25;
3777+ var m2_29=function(){
3778+ switch(Automaton$m2_28[0]){
3780+ return Automaton$m2_28[1];
3782+ throw "Non-exhaustive pattern match in case";}();
3783+ return Automaton_0(function(a_32){
3785+ var Tuple2$bm1__33=m1_27(a_32);
3786+ var b_34=function(){
3787+ switch(Tuple2$bm1__33[0]){
3789+ return Tuple2$bm1__33[1];
3791+ throw "Non-exhaustive pattern match in case";}();
3792+ var m1__35=function(){
3793+ switch(Tuple2$bm1__33[0]){
3795+ return Tuple2$bm1__33[2];
3797+ throw "Non-exhaustive pattern match in case";}();
3799+ var Tuple2$cm2__40=m2_29(b_34);
3800+ var c_41=function(){
3801+ switch(Tuple2$cm2__40[0]){
3803+ return Tuple2$cm2__40[1];
3805+ throw "Non-exhaustive pattern match in case";}();
3806+ var m2__42=function(){
3807+ switch(Tuple2$cm2__40[0]){
3809+ return Tuple2$cm2__40[2];
3811+ throw "Non-exhaustive pattern match in case";}();
3812+ return ["Tuple2",c_41,$op['>>>'](m1__35)(m2__42)];}();}();});}();};};
3813+ $op['<<<'] = function(a2_47){
3814+ return function(a1_48){
3815+ return $op['>>>'](a1_48)(a2_47);};};
3816+ $op['^>>'] = function(f_49){
3817+ return function(a_50){
3818+ return $op['>>>'](pure_4(f_49))(a_50);};};
3819+ $op['>>^'] = function(a_51){
3820+ return function(f_52){
3821+ return $op['>>>'](a_51)(pure_4(f_52));};};
3822+ $op['^<<'] = function(f_53){
3823+ return function(a_54){
3824+ return $op['>>>'](a_54)(pure_4(f_53));};};
3825+ $op['<<^'] = function(a_55){
3826+ return function(f_56){
3827+ return $op['>>>'](pure_4(f_56))(a_55);};};
3828+ var count_7=init_5(0)(function(__84){
3829+ return function(c_85){
3830+ return (1+c_85);};});
3831+ function run_1(Automaton$m0_14){
3832+ return function(input_15){
3834+ switch(Automaton$m0_14[0]){
3836+ return lift(fst)(foldp_(function(a_17){
3837+ return function(Tuple2$bAutomaton$m_18){
3839+ switch(Tuple2$bAutomaton$m_18[0]){
3841+ switch(Tuple2$bAutomaton$m_18[2][0]){
3843+ return Tuple2$bAutomaton$m_18[2][1](a_17);
3846+ throw "Non-exhaustive pattern match in case";}();};})(Automaton$m0_14[1])(input_15));
3848+ throw "Non-exhaustive pattern match in case";}();};}
3849+ function step_2(Automaton$m_21){
3850+ return function(a_22){
3852+ switch(Automaton$m_21[0]){
3854+ return Automaton$m_21[1](a_22);
3856+ throw "Non-exhaustive pattern match in case";}();};}
3857+ function combine_3(autos_57){
3858+ return Automaton_0(function(a_58){
3860+ var Tuple2$bsautos__59=unzip(map(function(Automaton$m_62){
3862+ switch(Automaton$m_62[0]){
3864+ return Automaton$m_62[1](a_58);
3866+ throw "Non-exhaustive pattern match in case";}();})(autos_57));
3867+ var bs_60=function(){
3868+ switch(Tuple2$bsautos__59[0]){
3870+ return Tuple2$bsautos__59[1];
3872+ throw "Non-exhaustive pattern match in case";}();
3873+ var autos__61=function(){
3874+ switch(Tuple2$bsautos__59[0]){
3876+ return Tuple2$bsautos__59[2];
3878+ throw "Non-exhaustive pattern match in case";}();
3879+ return ["Tuple2",bs_60,combine_3(autos__61)];}();});}
3880+ function pure_4(f_68){
3881+ return Automaton_0(function(x_69){
3882+ return ["Tuple2",f_68(x_69),pure_4(f_68)];});}
3883+ function init_5(s_70){
3884+ return function(step_71){
3885+ return Automaton_0(function(a_72){
3887+ var s__73=step_71(a_72)(s_70);
3888+ return ["Tuple2",s__73,init_5(s__73)(step_71)];}();});};}
3889+ function init__6(s_74){
3890+ return function(step_75){
3891+ return Automaton_0(function(a_76){
3893+ var Tuple2$bs__77=step_75(a_76)(s_74);
3894+ var b_78=function(){
3895+ switch(Tuple2$bs__77[0]){
3897+ return Tuple2$bs__77[1];
3899+ throw "Non-exhaustive pattern match in case";}();
3900+ var s__79=function(){
3901+ switch(Tuple2$bs__77[0]){
3903+ return Tuple2$bs__77[2];
3905+ throw "Non-exhaustive pattern match in case";}();
3906+ return ["Tuple2",b_78,init__6(s__79)(step_75)];}();});};}
3907+ function vecSub_11(Tuple2$x1y1_86){
3908+ return function(Tuple2$x2y2_87){
3910+ switch(Tuple2$x1y1_86[0]){
3913+ switch(Tuple2$x2y2_87[0]){
3915+ return ["Tuple2",(Tuple2$x1y1_86[1]-Tuple2$x2y2_87[1]),(Tuple2$x1y1_86[2]-Tuple2$x2y2_87[2])];
3917+ throw "Non-exhaustive pattern match in case";}();
3919+ throw "Non-exhaustive pattern match in case";}();};}
3920+ function stepDrag_12(Tuple2$presspos_92){
3921+ return function(Tuple2$dsform_93){
3923+ switch(Tuple2$presspos_92[0]){
3926+ switch(Tuple2$dsform_93[0]){
3929+ function wrap_98(ds__99){
3930+ return ["Tuple2",Tuple2$dsform_93[2],["Tuple2",ds__99,Tuple2$dsform_93[2]]];}
3932+ switch(Tuple2$dsform_93[1][0]){
3934+ return (Tuple2$presspos_92[1]?["Tuple2",uncurry(move)(vecSub_11(Tuple2$presspos_92[2])(Tuple2$dsform_93[1][1]))(Tuple2$dsform_93[2]),["Tuple2",DragFrom_10(Tuple2$dsform_93[1][1]),Tuple2$dsform_93[2]]]:function(){
3935+ var form__101=uncurry(move)(vecSub_11(Tuple2$presspos_92[2])(Tuple2$dsform_93[1][1]))(Tuple2$dsform_93[2]);
3936+ return ["Tuple2",form__101,["Tuple2",Listen_8,form__101]];}());
3938+ return wrap_98((Tuple2$presspos_92[1]?Ignore_9:Listen_8));
3940+ return wrap_98((not(Tuple2$presspos_92[1])?Listen_8:(isWithin(Tuple2$presspos_92[2])(Tuple2$dsform_93[2])?DragFrom_10(Tuple2$presspos_92[2]):Ignore_9)));
3942+ throw "Non-exhaustive pattern match in case";}();}();
3944+ throw "Non-exhaustive pattern match in case";}();
3946+ throw "Non-exhaustive pattern match in case";}();};}
3947+ function draggable_13(form_102){
3948+ return init__6(["Tuple2",Listen_8,form_102])(stepDrag_12);}
3949+ return {$op : {'>>>' : $op['>>>'], '<<<' : $op['<<<'], '^>>' : $op['^>>'], '>>^' : $op['>>^'], '^<<' : $op['^<<'], '<<^' : $op['<<^']},
3957+ draggable:draggable_13};}();
3958+Elm.main=function(){
3959+ return Elm.Automaton.main;};
3961+Elm.main=function() {
3962+var msg = ('<br/><h2>Your browser may not be supported. Are you using a modern browser?</h2>' + '<br/><span style="color:grey">Runtime Error in Automaton module:<br/>' + e + '</span>');
3963+document.body.innerHTML = Elm.Text.monospace(msg);throw e;};}}());