@@ -6,9 +6,6 @@ Elm.Signal = function() {
6 kids[i].recv(timestep, changed, node.id);
6 kids[i].recv(timestep, changed, node.id);
12 function input(base) {
9 function input(base) {
13 this.id = Guid.guid();
10 this.id = Guid.guid();
14 this.value = base;
11 this.value = base;
@@ -22,9 +19,6 @@ Elm.Signal = function() {
23 Dispatcher.inputs.push(this);
20 Dispatcher.inputs.push(this);
28 function lift(func,args) {
22 function lift(func,args) {
29 this.id = Guid.guid();
23 this.id = Guid.guid();
30 this.value = null;
24 this.value = null;
@@ -56,9 +50,6 @@ Elm.Signal = function() {
56 args[i].kids.push(this);
50 args[i].kids.push(this);
62 function fold(func,base,baseIsFunc,input) {
53 function fold(func,base,baseIsFunc,input) {
63 this.id = Guid.guid();
54 this.id = Guid.guid();
64 this.value = baseIsFunc ? base(input.value) : base;
55 this.value = baseIsFunc ? base(input.value) : base;
@@ -70,9 +61,6 @@ Elm.Signal = function() {
70 input.kids.push(this);
61 input.kids.push(this);
76 function dropIf(pred,base,input) {
64 function dropIf(pred,base,input) {
77 this.id = Guid.guid();
65 this.id = Guid.guid();
78 this.value = pred(input.value) ? base : input.value;
66 this.value = pred(input.value) ? base : input.value;
@@ -85,9 +73,6 @@ Elm.Signal = function() {
85 input.kids.push(this);
73 input.kids.push(this);
91 function dropRepeats(input) {
76 function dropRepeats(input) {
92 this.id = Guid.guid();
77 this.id = Guid.guid();
93 this.value = input.value;
78 this.value = input.value;
@@ -106,9 +91,6 @@ Elm.Signal = function() {
106 return new lift(function(p){return p[1];},[dropped]); }; };
91 return new lift(function(p){return p[1];},[dropped]); }; };
112 function timeIndex(pair,s) {
94 function timeIndex(pair,s) {
113 this.id = Guid.guid();
95 this.id = Guid.guid();
114 var t = (new window.Date).getTime();
96 var t = (new window.Date).getTime();
@@ -121,9 +103,6 @@ Elm.Signal = function() {
121 s.kids.push(this);
103 s.kids.push(this);
127 function sampleOn(s1,s2) {
106 function sampleOn(s1,s2) {
128 this.id = Guid.guid();
107 this.id = Guid.guid();
129 this.value = s2.value;
108 this.value = s2.value;
@@ -159,9 +138,6 @@ Elm.Signal = function() {
165 function merge(s1,s2) {
141 function merge(s1,s2) {
166 this.id = Guid.guid();
142 this.id = Guid.guid();
167 this.value = s1.value;
143 this.value = s1.value;