5Elm.fullscreen = function(module, ports) {
6 var style = document.createElement('style');
7 style.type = 'text/css';
8 style.innerHTML = "html,head,body { padding:0; margin:0; }" +
9 "body { font-family: calibri, helvetica, arial, sans-serif; }";
10 document.head.appendChild(style);
11 var container = document.createElement('div');
12 document.body.appendChild(container);
13 return init(ElmRuntime.Display.FULLSCREEN, container, module, ports);
16Elm.embed = function(module, container, ports) {
17 var tag = container.tagName;
19 throw new Error('Elm.node must be given a DIV, not a ' + tag + '.');
20 } else if (container.hasChildNodes()) {
21 throw new Error('Elm.node must be given an empty DIV. No children allowed!');
23 return init(ElmRuntime.Display.COMPONENT, container, module, ports);
26Elm.worker = function(module, ports) {
27 return init(ElmRuntime.Display.NONE, {}, module, ports);
30function init(display, container, module, moduleToReplace, ports) {
31 // defining state needed for an instance of the Elm RTS
34 var updateInProgress = false;
35 function notify(id, v) {
36 if (updateInProgress) {
38 'The notify function has been called synchronously!\n' +
39 'This can lead to frames being dropped.\n' +
40 'Definitely report this to <https://github.com/evancz/Elm/issues>\n');
42 updateInProgress = true;
43 var timestep = Date.now();
44 for (var i = inputs.length; i--; ) {
45 inputs[i].recv(timestep, id, v);
47 updateInProgress = false;
51 function addListener(relevantInputs, domNode, eventName, func) {
52 domNode.addEventListener(eventName, func);
54 relevantInputs: relevantInputs,
59 listeners.push(listener);
62 // create the actual RTS. Any impure modules will attach themselves to this
63 // object. This permits many Elm programs to be embedded per document.
69 addListener:addListener,
74 function swap(newModule) {
75 removeListeners(listeners);
76 var div = document.createElement('div');
77 var newElm = init(display, div, newModule, elm);
79 // elm.swap = newElm.swap;
84 var reportAnyErrors = function() {};
86 Module = module.make(elm);
88 var directions = "<br/> Open the developer console for more details."
89 Module.main = Elm.Text.make(elm).text('<code>' + e.message + directions + '</code>');
90 reportAnyErrors = function() { throw e; }
92 inputs = ElmRuntime.filterDeadInputs(inputs);
93 filterListeners(inputs, listeners);
94 addReceivers(elm.ports_out);
95 if (display !== ElmRuntime.Display.NONE) {
96 var graphicsNode = initGraphics(elm, Module);
98 if (typeof moduleToReplace !== 'undefined') {
99 ElmRuntime.swap(moduleToReplace, elm);
101 // rerender scene if graphics are enabled.
102 if (typeof graphicsNode !== 'undefined') {
103 graphicsNode.recv(0, true, 0);
108 return { swap:swap, ports:elm.ports_out };
111function filterListeners(inputs, listeners) {
113 for (var i = listeners.length; i--; ) {
114 var listener = listeners[i];
115 for (var j = inputs.length; j--; ) {
116 if (listener.relevantInputs.indexOf(inputs[j].id) >= 0) {
120 listener.domNode.removeEventListener(listener.eventName, listener.func);
124function removeListeners(listeners) {
125 for (var i = listeners.length; i--; ) {
126 var listener = listeners[i];
127 listener.domNode.removeEventListener(listener.eventName, listener.func);
131// add receivers for built-in ports if they are defined
132function addReceivers(ports) {
133 if ('log' in ports) {
134 ports.log.subscribe(function(v) { console.log(v) });
136 if ('stdout' in ports) {
137 var handler = process ? function(v) { process.stdout.write(v); }
138 : function(v) { console.log(v); };
139 ports.stdout.subscribe(handler);
141 if ('stderr' in ports) {
142 var handler = process ? function(v) { process.stderr.write(v); }
143 : function(v) { console.log('Error:' + v); };
144 ports.stderr.subscribe(handler);
146 if ('title' in ports) {
147 ports.title.subscribe(function(v) { document.title = v; });
149 if ('redirect' in ports) {
150 ports.redirect.subscribe(function(v) {
151 if (v.length > 0) window.location = v;
156function initGraphics(elm, Module) {
157 if (!('main' in Module))
158 throw new Error("'main' is missing! What do I display?!");
160 var signalGraph = Module.main;
162 // make sure the signal graph is actually a signal & extract the visual model
163 var Signal = Elm.Signal.make(elm);
164 if (!('recv' in signalGraph)) {
165 signalGraph = Signal.constant(signalGraph);
167 var currentScene = signalGraph.value;
169 // Add the currentScene to the DOM
170 var Render = ElmRuntime.use(ElmRuntime.Render.Element);
171 elm.node.appendChild(Render.render(currentScene));
173 // set up updates so that the DOM is adjusted as necessary.
174 function domUpdate(newScene, currentScene) {
175 ElmRuntime.draw(function(_) {
176 Render.update(elm.node.firstChild, currentScene, newScene);
177 if (elm.Native.Window) elm.Native.Window.values.resizeIfNeeded();
181 var renderer = A3(Signal.foldp, F2(domUpdate), currentScene, signalGraph);
183 // must check for resize after 'renderer' is created so
184 // that changes show up.
185 if (elm.Native.Window) elm.Native.Window.values.resizeIfNeeded();
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