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) { return Element.jsElement(w); }
14 function castElementToJSElement(elem) { return elem; }
16 function castJSArrayToList(arr) {
18 for (var i = arr.length; i--; ) {
19 list = [ "Cons", arr[i], list ];
23 function castListToJSArray(list) {
25 while (list[0] === "Cons") {
32 var castJSStringToString = castJSArrayToList;
33 function castStringToJSString(str) {
34 if (typeof str === "string") return str;
35 return castListToJSArray(str).join('');
38 function fromTuple(t) { return t.slice(1); }
39 function toTuple(a) { return ["Tuple" + a.length].concat(a); }
41 return {castJSBoolToBool:castJSBoolToBool,
42 castBoolToJSBool:castBoolToJSBool,
43 castJSNumberToFloat:castJSNumberToFloat,
44 castFloatToJSNumber:castFloatToJSNumber,
45 castJSNumberToInt:castJSNumberToInt,
46 castIntToJSNumber:castIntToJSNumber,
47 Experimental : {castJSElementToElement:castJSElementToElement,
48 castElementToJSElement:castElementToJSElement},
49 castJSArrayToList:castJSArrayToList,
50 castListToJSArray:castListToJSArray,
51 castJSStringToString:castJSStringToString,
52 castStringToJSString:castStringToJSString,
53 castTupleToJSTuple2:fromTuple,
54 castTupleToJSTuple3:fromTuple,
55 castTupleToJSTuple4:fromTuple,
56 castTupleToJSTuple5:fromTuple,
57 castJSTupleToTuple2:toTuple,
58 castJSTupleToTuple3:toTuple,
59 castJSTupleToTuple4:toTuple,
60 castJSTupleToTuple5:toTuple
63 return {JavaScript:JavaScript};
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list