@fraczak/k 1.3.4 → 2.0.0

package/k.js

@@ -1,93 +0,0 @@
-// Generated by CoffeeScript 2.7.0
-(function() {
-  //!/usr/bin/env coffee
-  var fs, jsonStream, k, kScript, oneJson, prog,
-    splice = [].splice;
-
-  fs = require("fs");
-
-  k = require("./");
-
-  prog = process.argv[1];
-
-  ({kScript, jsonStream, oneJson} = (function(oneJson, args) {
-    var e;
-    try {
-      kScript = (function(arg) {
-        if (arg == null) {
-          throw new Error();
-        }
-        if (arg === "-k") {
-          return fs.readFileSync(args.shift()).toString("utf8");
-        } else {
-          return arg;
-        }
-      })(args.shift());
-      kScript = k.compile(kScript);
-      jsonStream = (function(arg) {
-        if (arg === "-1") {
-          oneJson = true;
-          arg = args.shift();
-        }
-        if (arg == null) {
-          return process.stdin;
-        }
-        return fs.createReadStream(arg);
-      })(args.shift());
-      return {kScript, jsonStream, oneJson};
-    } catch (error) {
-      e = error;
-      console.error(e);
-      console.error(`Usage: ${prog} ( k-expr | -k k-file ) [ -1 ] [ json-file ]`);
-      console.error(`       E.g.,  echo '{\"a\": 12}' | ${prog} '[(),()]'`);
-      return process.exit(-1);
-    }
-  })(false, process.argv.slice(2)));
-
-  if (oneJson) {
-    (function(buffer) {
-      jsonStream.on('data', function(data) {
-        return buffer.push(data);
-      });
-      return jsonStream.on('end', function() {
-        var e;
-        try {
-          return console.log(JSON.stringify(kScript(JSON.parse(buffer.join('')))));
-        } catch (error) {
-          e = error;
-          return console.error(e);
-        }
-      });
-    })([]);
-  } else {
-    (function(buffer, line) {
-      return jsonStream.on('data', function(data) {
-        var e, first, i, json, last, len, ref, rest, results, todo;
-        [first, ...rest] = data.toString("utf8").split("\n");
-        buffer.push(first);
-        if (rest.length > 0) {
-          todo = buffer.join("");
-          ref = rest, [...rest] = ref, [last] = splice.call(rest, -1);
-          buffer = [last];
-          todo = [todo, ...rest];
-          results = [];
-          for (i = 0, len = todo.length; i < len; i++) {
-            json = todo[i];
-            if (!json.match(/^[ \n\t]*(?:#.*)?$/)) {
-              try {
-                console.log(JSON.stringify(kScript(JSON.parse(json))));
-              } catch (error) {
-                e = error;
-                console.error(`Problem [line ${line}]: '${json}'`);
-                console.error(e);
-              }
-            }
-            results.push(line = line + 1);
-          }
-          return results;
-        }
-      });
-    })([], 0);
-  }
-
-}).call(this);

package/k.sh

@@ -1,94 +0,0 @@
-#!/usr/bin/env node
-// Generated by CoffeeScript 2.7.0
-(function() {
-  //!/usr/bin/env coffee
-  var fs, jsonStream, k, kScript, oneJson, prog,
-    splice = [].splice;
-
-  fs = require("fs");
-
-  k = require("./");
-
-  prog = process.argv[1];
-
-  ({kScript, jsonStream, oneJson} = (function(oneJson, args) {
-    var e;
-    try {
-      kScript = (function(arg) {
-        if (arg == null) {
-          throw new Error();
-        }
-        if (arg === "-k") {
-          return fs.readFileSync(args.shift()).toString("utf8");
-        } else {
-          return arg;
-        }
-      })(args.shift());
-      kScript = k.compile(kScript);
-      jsonStream = (function(arg) {
-        if (arg === "-1") {
-          oneJson = true;
-          arg = args.shift();
-        }
-        if (arg == null) {
-          return process.stdin;
-        }
-        return fs.createReadStream(arg);
-      })(args.shift());
-      return {kScript, jsonStream, oneJson};
-    } catch (error) {
-      e = error;
-      console.error(e);
-      console.error(`Usage: ${prog} ( k-expr | -k k-file ) [ -1 ] [ json-file ]`);
-      console.error(`       E.g.,  echo '{\"a\": 12}' | ${prog} '[(),()]'`);
-      return process.exit(-1);
-    }
-  })(false, process.argv.slice(2)));
-
-  if (oneJson) {
-    (function(buffer) {
-      jsonStream.on('data', function(data) {
-        return buffer.push(data);
-      });
-      return jsonStream.on('end', function() {
-        var e;
-        try {
-          return console.log(JSON.stringify(kScript(JSON.parse(buffer.join('')))));
-        } catch (error) {
-          e = error;
-          return console.error(e);
-        }
-      });
-    })([]);
-  } else {
-    (function(buffer, line) {
-      return jsonStream.on('data', function(data) {
-        var e, first, i, json, last, len, ref, rest, results, todo;
-        [first, ...rest] = data.toString("utf8").split("\n");
-        buffer.push(first);
-        if (rest.length > 0) {
-          todo = buffer.join("");
-          ref = rest, [...rest] = ref, [last] = splice.call(rest, -1);
-          buffer = [last];
-          todo = [todo, ...rest];
-          results = [];
-          for (i = 0, len = todo.length; i < len; i++) {
-            json = todo[i];
-            if (!json.match(/^[ \n\t]*(?:#.*)?$/)) {
-              try {
-                console.log(JSON.stringify(kScript(JSON.parse(json))));
-              } catch (error) {
-                e = error;
-                console.error(`Problem [line ${line}]: '${json}'`);
-                console.error(e);
-              }
-            }
-            results.push(line = line + 1);
-          }
-          return results;
-        }
-      });
-    })([], 0);
-  }
-
-}).call(this);

package/pretty.coffee

@@ -1,74 +0,0 @@
-
-compareAs = (fn) ->
-  (a,b) -> 
-    [a,b] = [a,b].map fn
-    return -1 if a < b
-    return 1 if a > b
-    0 
-
-nameRE = /^[a-zA-Z0-9_][a-zA-Z0-9_?!]*$/
-prettyCode_labels = ( codes, representatives, label_ref_map) ->
-  labels = Object.keys(label_ref_map)
-  .sort compareAs (x) -> x
-  .map (label) ->
-    plabel = if nameRE.test label
-      label
-    else    
-      "'#{label}'" 
-    "#{prettyCode codes, representatives, {code:"ref",ref:label_ref_map[label]}} #{plabel}"
-  .join ", "
-
-prettyCode = (codes, representatives, codeExp) ->
-  switch codeExp.code 
-    when "ref"
-      name = representatives[codeExp.ref] ? codeExp.ref
-      if name.startsWith ":"
-        prettyCode codes, representatives, codes[name]
-      else
-        name
-    when "product"
-      "{#{prettyCode_labels codes, representatives, codeExp.product}}"
-    when "union"
-      "<#{prettyCode_labels codes, representatives, codeExp.union}>"
-    when "vector"
-      "[#{representatives[codeExp.vector] ? codeExp.vector}]"
-    else    
-      ":error"
-
-prettyRel = (prettyCode, exp) ->
-  "use strict"
-  pretty = (exp) ->
-    switch exp.op 
-      when 'vector' 
-        "[#{exp.vector.map(pretty).join(", ")}]"
-      when 'union'
-        "<#{exp.union.map(pretty).join(", ")}>"
-      when 'ref'
-        exp.ref
-      when 'identity'
-        "()"
-      when 'comp'
-        exp.comp.map(pretty).join(" ")
-      when 'str'
-        "'#{exp.str}'"
-      when 'int'
-        exp.int
-      when 'dot'
-        if 'number' is typeof exp.dot
-          ".#{exp.dot}"
-        else if nameRE.test exp.dot
-          ".#{exp.dot}"
-        else    
-          "'#{exp.dot}'"
-      when 'code'
-        "$#{prettyCode {code:"ref",ref:exp.code}}"
-      when 'product'
-        do (labelled = exp.product.map ({label,exp}) ->
-              if nameRE.test label
-                  "#{pretty exp} #{label}"
-              else    
-                  "#{pretty exp} '#{label}'") ->
-          "{#{labelled.join(", ")}}"
-  pretty exp
-        
-module.exports = { prettyCode, prettyRel }

package/pretty.js

@@ -1,106 +0,0 @@
-// Generated by CoffeeScript 2.7.0
-(function() {
-  var compareAs, nameRE, prettyCode, prettyCode_labels, prettyRel;
-
-  compareAs = function(fn) {
-    return function(a, b) {
-      [a, b] = [a, b].map(fn);
-      if (a < b) {
-        return -1;
-      }
-      if (a > b) {
-        return 1;
-      }
-      return 0;
-    };
-  };
-
-  nameRE = /^[a-zA-Z0-9_][a-zA-Z0-9_?!]*$/;
-
-  prettyCode_labels = function(codes, representatives, label_ref_map) {
-    var labels;
-    return labels = Object.keys(label_ref_map).sort(compareAs(function(x) {
-      return x;
-    })).map(function(label) {
-      var plabel;
-      plabel = nameRE.test(label) ? label : `'${label}'`;
-      return `${prettyCode(codes, representatives, {
-        code: "ref",
-        ref: label_ref_map[label]
-      })} ${plabel}`;
-    }).join(", ");
-  };
-
-  prettyCode = function(codes, representatives, codeExp) {
-    var name, ref, ref1;
-    switch (codeExp.code) {
-      case "ref":
-        name = (ref = representatives[codeExp.ref]) != null ? ref : codeExp.ref;
-        if (name.startsWith(":")) {
-          return prettyCode(codes, representatives, codes[name]);
-        } else {
-          return name;
-        }
-        break;
-      case "product":
-        return `{${prettyCode_labels(codes, representatives, codeExp.product)}}`;
-      case "union":
-        return `<${prettyCode_labels(codes, representatives, codeExp.union)}>`;
-      case "vector":
-        return `[${(ref1 = representatives[codeExp.vector]) != null ? ref1 : codeExp.vector}]`;
-      default:
-        return ":error";
-    }
-  };
-
-  prettyRel = function(prettyCode, exp) {
-    "use strict";
-    var pretty;
-    pretty = function(exp) {
-      switch (exp.op) {
-        case 'vector':
-          return `[${exp.vector.map(pretty).join(", ")}]`;
-        case 'union':
-          return `<${exp.union.map(pretty).join(", ")}>`;
-        case 'ref':
-          return exp.ref;
-        case 'identity':
-          return "()";
-        case 'comp':
-          return exp.comp.map(pretty).join(" ");
-        case 'str':
-          return `'${exp.str}'`;
-        case 'int':
-          return exp.int;
-        case 'dot':
-          if ('number' === typeof exp.dot) {
-            return `.${exp.dot}`;
-          } else if (nameRE.test(exp.dot)) {
-            return `.${exp.dot}`;
-          } else {
-            return `'${exp.dot}'`;
-          }
-          break;
-        case 'code':
-          return `$${prettyCode({
-            code: "ref",
-            ref: exp.code
-          })}`;
-        case 'product':
-          return (function(labelled) {
-            return `{${labelled.join(", ")}}`;
-          })(exp.product.map(function({label, exp}) {
-            if (nameRE.test(label)) {
-              return `${pretty(exp)} ${label}`;
-            } else {
-              return `${pretty(exp)} '${label}'`;
-            }
-          }));
-      }
-    };
-    return pretty(exp);
-  };
-
-  module.exports = {prettyCode, prettyRel};
-
-}).call(this);

package/repl.coffee

@@ -1,62 +0,0 @@
-#!/usr/bin/env coffee
-k = require "./"
-run = require "./run"
-{prettyCode, prettyRel} = require "./pretty"
-fs = require "fs"
-
-console.log "Very! experimental repl shell for 'k-language'..."
-
-help = ->
-  console.log " --h          print help"
-  console.log " --a          print codes and relations"
-  console.log " --c          print codes"
-  console.log " --r          print rels"
-  console.log " --l file.k   load 'file.k'"
-
-help()
-
-re = /^[ \n\t]*(?:--l[ ]+)(.+[^ ])[ ]*?$/
-
-do (val = {}, buffer = []) ->
-  process.stdin.on 'data', (data) ->
-    [first, rest...] = data.toString("utf8").split "\n"
-    buffer.push first
-    if rest.length > 0
-      todo = buffer.join ""
-      [rest..., last] = rest
-      buffer = [last]
-      todo = [todo, rest...]
-      for line in todo
-        if val is undefined
-          val = {}
-        if line.match /^[ \n\t]*(?:--h)?$/
-          help()
-        else if line.match re
-          file = line.match(re)[1]
-          console.log "-- loading file: #{file} ..."
-          kScript = fs.readFileSync(file).toString();
-          val = k.compile(kScript) val
-          console.log "=> #{JSON.stringify val}"
-        else if line.match /^[ \n\t]*(?:--a)?$/
-          console.log JSON.stringify run.defs, " ", 2
-        else if line.match /^[ \n\t]*(?:--r)?$/
-          console.log do (defs = run.defs, result = {}) ->
-            return result unless defs?
-            do (prettyRel = prettyRel.bind null, prettyCode.bind null, defs.codes, defs.representatives) ->
-              for relName, relExps of defs.rels
-                result[relName] = relExps.map prettyRel
-              result
-        else if line.match /^[ \n\t]*(?:--c)?$/
-          console.log do (defs = run.defs, result = {}) ->
-            return result unless defs?
-            for codeName, codeExp of defs.codes
-              result[codeName] = prettyCode defs.codes, defs.representatives, codeExp
-            result 
-        else if not line.match /^[ \n\t]*(?:#.*)?$/
-          try
-            val = k.run "#{line} ()", val 
-            console.log "=> #{JSON.stringify val}"
-          catch e 
-            console.error "ERROR:"
-            console.error e
-        

package/repl.js

@@ -1,101 +0,0 @@
-// Generated by CoffeeScript 2.7.0
-(function() {
-  //!/usr/bin/env coffee
-  var fs, help, k, prettyCode, prettyRel, re, run,
-    splice = [].splice;
-
-  k = require("./");
-
-  run = require("./run");
-
-  ({prettyCode, prettyRel} = require("./pretty"));
-
-  fs = require("fs");
-
-  console.log("Very! experimental repl shell for 'k-language'...");
-
-  help = function() {
-    console.log(" --h          print help");
-    console.log(" --a          print codes and relations");
-    console.log(" --c          print codes");
-    console.log(" --r          print rels");
-    return console.log(" --l file.k   load 'file.k'");
-  };
-
-  help();
-
-  re = /^[ \n\t]*(?:--l[ ]+)(.+[^ ])[ ]*?$/;
-
-  (function(val, buffer) {
-    return process.stdin.on('data', function(data) {
-      var e, file, first, i, kScript, last, len, line, ref, rest, results, todo;
-      [first, ...rest] = data.toString("utf8").split("\n");
-      buffer.push(first);
-      if (rest.length > 0) {
-        todo = buffer.join("");
-        ref = rest, [...rest] = ref, [last] = splice.call(rest, -1);
-        buffer = [last];
-        todo = [todo, ...rest];
-        results = [];
-        for (i = 0, len = todo.length; i < len; i++) {
-          line = todo[i];
-          if (val === void 0) {
-            val = {};
-          }
-          if (line.match(/^[ \n\t]*(?:--h)?$/)) {
-            results.push(help());
-          } else if (line.match(re)) {
-            file = line.match(re)[1];
-            console.log(`-- loading file: ${file} ...`);
-            kScript = fs.readFileSync(file).toString();
-            val = k.compile(kScript)(val);
-            results.push(console.log(`=> ${JSON.stringify(val)}`));
-          } else if (line.match(/^[ \n\t]*(?:--a)?$/)) {
-            results.push(console.log(JSON.stringify(run.defs, " ", 2)));
-          } else if (line.match(/^[ \n\t]*(?:--r)?$/)) {
-            results.push(console.log((function(defs, result) {
-              if (defs == null) {
-                return result;
-              }
-              return (function(prettyRel) {
-                var ref1, relExps, relName;
-                ref1 = defs.rels;
-                for (relName in ref1) {
-                  relExps = ref1[relName];
-                  result[relName] = relExps.map(prettyRel);
-                }
-                return result;
-              })(prettyRel.bind(null, prettyCode.bind(null, defs.codes, defs.representatives)));
-            })(run.defs, {})));
-          } else if (line.match(/^[ \n\t]*(?:--c)?$/)) {
-            results.push(console.log((function(defs, result) {
-              var codeExp, codeName, ref1;
-              if (defs == null) {
-                return result;
-              }
-              ref1 = defs.codes;
-              for (codeName in ref1) {
-                codeExp = ref1[codeName];
-                result[codeName] = prettyCode(defs.codes, defs.representatives, codeExp);
-              }
-              return result;
-            })(run.defs, {})));
-          } else if (!line.match(/^[ \n\t]*(?:#.*)?$/)) {
-            try {
-              val = k.run(`${line} ()`, val);
-              results.push(console.log(`=> ${JSON.stringify(val)}`));
-            } catch (error) {
-              e = error;
-              console.error("ERROR:");
-              results.push(console.error(e));
-            }
-          } else {
-            results.push(void 0);
-          }
-        }
-        return results;
-      }
-    });
-  })({}, []);
-
-}).call(this);

package/repl.sh

@@ -1,102 +0,0 @@
-#!/usr/bin/env node
-// Generated by CoffeeScript 2.7.0
-(function() {
-  //!/usr/bin/env coffee
-  var fs, help, k, prettyCode, prettyRel, re, run,
-    splice = [].splice;
-
-  k = require("./");
-
-  run = require("./run");
-
-  ({prettyCode, prettyRel} = require("./pretty"));
-
-  fs = require("fs");
-
-  console.log("Very! experimental repl shell for 'k-language'...");
-
-  help = function() {
-    console.log(" --h          print help");
-    console.log(" --a          print codes and relations");
-    console.log(" --c          print codes");
-    console.log(" --r          print rels");
-    return console.log(" --l file.k   load 'file.k'");
-  };
-
-  help();
-
-  re = /^[ \n\t]*(?:--l[ ]+)(.+[^ ])[ ]*?$/;
-
-  (function(val, buffer) {
-    return process.stdin.on('data', function(data) {
-      var e, file, first, i, kScript, last, len, line, ref, rest, results, todo;
-      [first, ...rest] = data.toString("utf8").split("\n");
-      buffer.push(first);
-      if (rest.length > 0) {
-        todo = buffer.join("");
-        ref = rest, [...rest] = ref, [last] = splice.call(rest, -1);
-        buffer = [last];
-        todo = [todo, ...rest];
-        results = [];
-        for (i = 0, len = todo.length; i < len; i++) {
-          line = todo[i];
-          if (val === void 0) {
-            val = {};
-          }
-          if (line.match(/^[ \n\t]*(?:--h)?$/)) {
-            results.push(help());
-          } else if (line.match(re)) {
-            file = line.match(re)[1];
-            console.log(`-- loading file: ${file} ...`);
-            kScript = fs.readFileSync(file).toString();
-            val = k.compile(kScript)(val);
-            results.push(console.log(`=> ${JSON.stringify(val)}`));
-          } else if (line.match(/^[ \n\t]*(?:--a)?$/)) {
-            results.push(console.log(JSON.stringify(run.defs, " ", 2)));
-          } else if (line.match(/^[ \n\t]*(?:--r)?$/)) {
-            results.push(console.log((function(defs, result) {
-              if (defs == null) {
-                return result;
-              }
-              return (function(prettyRel) {
-                var ref1, relExps, relName;
-                ref1 = defs.rels;
-                for (relName in ref1) {
-                  relExps = ref1[relName];
-                  result[relName] = relExps.map(prettyRel);
-                }
-                return result;
-              })(prettyRel.bind(null, prettyCode.bind(null, defs.codes, defs.representatives)));
-            })(run.defs, {})));
-          } else if (line.match(/^[ \n\t]*(?:--c)?$/)) {
-            results.push(console.log((function(defs, result) {
-              var codeExp, codeName, ref1;
-              if (defs == null) {
-                return result;
-              }
-              ref1 = defs.codes;
-              for (codeName in ref1) {
-                codeExp = ref1[codeName];
-                result[codeName] = prettyCode(defs.codes, defs.representatives, codeExp);
-              }
-              return result;
-            })(run.defs, {})));
-          } else if (!line.match(/^[ \n\t]*(?:#.*)?$/)) {
-            try {
-              val = k.run(`${line} ()`, val);
-              results.push(console.log(`=> ${JSON.stringify(val)}`));
-            } catch (error) {
-              e = error;
-              console.error("ERROR:");
-              results.push(console.error(e));
-            }
-          } else {
-            results.push(void 0);
-          }
-        }
-        return results;
-      }
-    });
-  })({}, []);
-
-}).call(this);