@@ -0,0 +1,36 @@
1+Elm.WebSocket = function() {
2+ var JS = Elm.JavaScript;
4+ /** send :: String -> Signal String -> Signal String
5+ Create a web-socket. The first argument is the URL of the desired
6+ web-socket server. The input signal holds the outgoing messages,
7+ and the resulting signal contains the incoming ones.
9+ function send(url) { return function(outgoing) {
10+ var incoming = Elm.Signal.constant(["Nil"]);
11+ var ws = new window.WebSocket(JS.castStringToJSString(url));
16+ ws.onopen = function(e) {
17+ var len = pending.length;
18+ for (var i = 0; i < len; ++i) { ws.send(pending[i]); }
21+ ws.onmessage = function(event) {
22+ Dispatcher.notify(incoming.id, JS.castJSStringToString(event.data));
25+ function sendMsg(msg) {
26+ var s = JS.castStringToJSString(msg);
27+ open ? ws.send(s) : pending.push(s);
30+ function take1(x) { return function(y) { return x; } }
31+ return Elm.Signal.lift2(take1)(incoming)(Elm.Signal.lift(sendMsg)(outgoing));