git.iko.soy/elk
on 5fbc042 help sign in
elk/core-js/foreign/JavaScript.js
70 lines 2.1 kB history raw
2var Foreign = function() {
3 var JavaScript = function() {
4 function castJSBoolToBool(b) { return b; }
5 function castBoolToJSBool(b) { return b; }
7 function castJSNumberToFloat(n) { return n; }
8 function castFloatToJSNumber(n) { return n; }
10 function castJSNumberToInt(n) { return ~~n; }
11 function castIntToJSNumber(n) { return n; }
13 function castJSElementToElement(w) {
14 return function(h) {
15 return function(node) {
16 return ["Element",Guid.guid(),["EHtml",node],w,h,1,Nothing,Nothing];
17 }
18 }
19 }
20 function castElementToJSElement(elem) { return Render.render(elem); }
22 function castJSArrayToList(arr) {
23 var list = ["Nil"];
24 for (var i = arr.length; i--; ) {
25 list = [ "Cons", arr[i], list ];
26 }
27 return list;
28 }
29 function castListToJSArray(list) {
30 var a = [];
31 while (list[0] === "Cons") {
32 a.push(list[1]);
33 list = list[2];
34 }
35 return a;
36 }
38 var castJSStringToString = castJSArrayToList;
39 function castStringToJSString(str) {
40 if (typeof str === "string") return str;
41 return castListToJSArray(str).join('');
42 }
44 function fromTuple(t) { return t.slice(1); }
45 function toTuple(a) { return ["Tuple" + a.length].concat(a); }
47 return {castJSBoolToBool:castJSBoolToBool,
48 castBoolToJSBool:castBoolToJSBool,
49 castJSNumberToFloat:castJSNumberToFloat,
50 castFloatToJSNumber:castFloatToJSNumber,
51 castJSNumberToInt:castJSNumberToInt,
52 castIntToJSNumber:castIntToJSNumber,
53 Experimental : {castJSElementToElement:castJSElementToElement,
54 castElementToJSElement:castElementToJSElement},
55 castJSArrayToList:castJSArrayToList,
56 castListToJSArray:castListToJSArray,
57 castJSStringToString:castJSStringToString,
58 castStringToJSString:castStringToJSString,
59 castTupleToJSTuple2:fromTuple,
60 castTupleToJSTuple3:fromTuple,
61 castTupleToJSTuple4:fromTuple,
62 castTupleToJSTuple5:fromTuple,
63 castJSTupleToTuple2:toTuple,
64 castJSTupleToTuple3:toTuple,
65 castJSTupleToTuple4:toTuple,
66 castJSTupleToTuple5:toTuple
67 };
68 }();
69 return {JavaScript:JavaScript};
70}();