@@ -48,6 +48,7 @@ var Maybe = function() {
51var String = function() {
52var String = function() {
53 function append(s1) { return function(s2) {
54 function append(s1) { return function(s2) {
@@ -119,16 +120,14 @@ var String = function() {
119 concatMap : concatMap,
120 concatMap : concatMap,
120 forall : forall,
121 forall : forall,
121 exists : exists,
122 exists : exists,
123− filter : filter,
123+ //filter : filter,
127 toText : Value.toText,
126 toText : Value.toText,
128 properEscape : Value.properEscape
127 properEscape : Value.properEscape
132return {String: {toText:Value.toText, properEscape:Value.properEscape},
131return {String: {toText:Value.toText, properEscape:Value.properEscape},
133 Char:Char,
132 Char:Char,
134 Maybe:Maybe,
133 Maybe:Maybe,