@fraczak/k 1.3.3 → 2.0.0

package/run.coffee

@@ -1,117 +0,0 @@
-valid = (x) ->
-  return undefined if isNaN x
-  return x if x?
-
-builtin =
-  "_log!": (arg) ->
-    console.error "_log!: #{JSON.stringify arg}"
-    arg
-  "GT": (args) ->
-    [ok,_] = do ([last,args...] = args) ->
-      args.reduce ([ok,last], x) ->
-        [ok and (last > x), x ]
-      , [true,last]
-    return args if ok
-  "EQ": (args) ->
-    [ok,_] = do ([last,args...] = args) ->
-      args.reduce ([ok,last], x) ->
-        [ok and (last is x), x ]
-      , [true,last]
-    return args if ok
-  "PLUS": (args) -> valid args.reduce ((res, x) -> res + x), 0
-  "TIMES": (args) -> valid args.reduce ((res, x) -> res * x), 1
-  "DIV": ([x,y]) -> 
-    div = x // y
-    rem = x %% y
-    return {div,rem} if x is div * y + rem
-  "FDIV": ([x,y]) -> x / y
-  "CONCAT": (strs) -> strs.join('')
-  "true": -> true
-  "false": -> false
-  "null": -> null
-  "toJSON": (x) -> JSON.stringify x
-  "fromJSON": (x) -> JSON.parse x
-  "CONS": ([x,y]) -> [x,y...]
-  "SNOC": (x) ->
-    return [x[0],x.slice 1] if x.length > 1
-  "toDateMsec": (x) -> new Date(x).getTime() 
-  "toDateStr": (x) -> new Date(x).toISOString() 
-
-codes =
-  "int": (x) -> 
-    Number.isInteger x
-  "string": (x) ->
-    (x instanceof String) or ('string' is typeof x) 
-  "bool": (x) ->
-    x is true or x is false
-
-verify = (code, value) ->
-  # representatives = run.defs.representatives
-  # defCodes = JSON.stringify run.defs.codes
-  # console.log {code,value, representatives, defCodes}
-  return false unless code?
-  switch code.code
-    when "vector"
-      return false unless Array.isArray value
-      value.every (x) ->
-        verify code.vector, x
-    when "product"
-      return false unless "object" is typeof value
-      do (fields = Object.keys(value)) ->
-        return false unless fields.length is Object.keys(code.product).length
-        fields.every (label) ->
-          verify code.product[label], value[label]
-    when "union"
-      return false unless "object" is typeof value
-      do (fields = Object.keys(value)) ->
-        return false unless fields.length is 1
-        verify code.union[fields[0]], value[fields[0]]
-    else 
-      do (c = run.defs.codes[run.defs.representatives[code]]) ->
-        return verify c, value if c?  
-        codes[code] value
-
-run = (exp, value) ->
-  "use strict"
-  # console.log {exp,value}
-  return undefined if value is undefined
-  switch exp.op
-    when "code"
-      return value if verify exp.code, value
-    when "identity"
-      return value
-    when "str", "int"
-      return exp[exp.op]
-    when "ref"
-      defn = run.defs.rels[exp.ref]
-      return run defn[defn.length - 1], value if defn?
-      return builtin[exp.ref] value 
-    when "dot"
-      return value[exp.dot]
-    when "comp"
-      return exp.comp.reduce (value, exp) ->
-        run exp, value unless value is undefined
-      , value
-    when "union"
-      for e in exp.union
-        result = run e, value
-        return result unless result is undefined
-      return undefined
-    when "vector"
-      result = []
-      for e in exp.vector
-        r = run e, value
-        return if r is undefined
-        result.push r
-      return result
-    when "product"
-      result = {}
-      for {label,exp} in exp.product
-        r = run exp, value
-        return if r is undefined
-        result[label] = r
-      return result
-    else  
-      console.error exp.op
-
-module.exports = run

package/run.js

@@ -1,229 +0,0 @@
-// Generated by CoffeeScript 2.7.0
-(function() {
-  var builtin, codes, run, valid, verify,
-    modulo = function(a, b) { return (+a % (b = +b) + b) % b; };
-
-  valid = function(x) {
-    if (isNaN(x)) {
-      return void 0;
-    }
-    if (x != null) {
-      return x;
-    }
-  };
-
-  builtin = {
-    "_log!": function(arg) {
-      console.error(`_log!: ${JSON.stringify(arg)}`);
-      return arg;
-    },
-    "GT": function(args) {
-      var _, ok;
-      [ok, _] = (function([last, ...args]) {
-        return args.reduce(function([ok, last], x) {
-          return [ok && (last > x), x];
-        }, [true, last]);
-      })(args);
-      if (ok) {
-        return args;
-      }
-    },
-    "EQ": function(args) {
-      var _, ok;
-      [ok, _] = (function([last, ...args]) {
-        return args.reduce(function([ok, last], x) {
-          return [ok && (last === x), x];
-        }, [true, last]);
-      })(args);
-      if (ok) {
-        return args;
-      }
-    },
-    "PLUS": function(args) {
-      return valid(args.reduce((function(res, x) {
-        return res + x;
-      }), 0));
-    },
-    "TIMES": function(args) {
-      return valid(args.reduce((function(res, x) {
-        return res * x;
-      }), 1));
-    },
-    "DIV": function([x, y]) {
-      var div, rem;
-      div = Math.floor(x / y);
-      rem = modulo(x, y);
-      if (x === div * y + rem) {
-        return {div, rem};
-      }
-    },
-    "FDIV": function([x, y]) {
-      return x / y;
-    },
-    "CONCAT": function(strs) {
-      return strs.join('');
-    },
-    "true": function() {
-      return true;
-    },
-    "false": function() {
-      return false;
-    },
-    "null": function() {
-      return null;
-    },
-    "toJSON": function(x) {
-      return JSON.stringify(x);
-    },
-    "fromJSON": function(x) {
-      return JSON.parse(x);
-    },
-    "CONS": function([x, y]) {
-      return [x, ...y];
-    },
-    "SNOC": function(x) {
-      if (x.length > 1) {
-        return [x[0], x.slice(1)];
-      }
-    },
-    "toDateMsec": function(x) {
-      return new Date(x).getTime();
-    },
-    "toDateStr": function(x) {
-      return new Date(x).toISOString();
-    }
-  };
-
-  codes = {
-    "int": function(x) {
-      return Number.isInteger(x);
-    },
-    "string": function(x) {
-      return (x instanceof String) || ('string' === typeof x);
-    },
-    "bool": function(x) {
-      return x === true || x === false;
-    }
-  };
-
-  verify = function(code, value) {
-    if (code == null) {
-      // representatives = run.defs.representatives
-      // defCodes = JSON.stringify run.defs.codes
-      // console.log {code,value, representatives, defCodes}
-      return false;
-    }
-    switch (code.code) {
-      case "vector":
-        if (!Array.isArray(value)) {
-          return false;
-        }
-        return value.every(function(x) {
-          return verify(code.vector, x);
-        });
-      case "product":
-        if ("object" !== typeof value) {
-          return false;
-        }
-        return (function(fields) {
-          if (fields.length !== Object.keys(code.product).length) {
-            return false;
-          }
-          return fields.every(function(label) {
-            return verify(code.product[label], value[label]);
-          });
-        })(Object.keys(value));
-      case "union":
-        if ("object" !== typeof value) {
-          return false;
-        }
-        return (function(fields) {
-          if (fields.length !== 1) {
-            return false;
-          }
-          return verify(code.union[fields[0]], value[fields[0]]);
-        })(Object.keys(value));
-      default:
-        return (function(c) {
-          if (c != null) {
-            return verify(c, value);
-          }
-          return codes[code](value);
-        })(run.defs.codes[run.defs.representatives[code]]);
-    }
-  };
-
-  run = function(exp, value) {
-    "use strict";
-    var defn, e, i, j, k, label, len, len1, len2, r, ref, ref1, ref2, result;
-    if (value === void 0) {
-      // console.log {exp,value}
-      return void 0;
-    }
-    switch (exp.op) {
-      case "code":
-        if (verify(exp.code, value)) {
-          return value;
-        }
-        break;
-      case "identity":
-        return value;
-      case "str":
-      case "int":
-        return exp[exp.op];
-      case "ref":
-        defn = run.defs.rels[exp.ref];
-        if (defn != null) {
-          return run(defn[defn.length - 1], value);
-        }
-        return builtin[exp.ref](value);
-      case "dot":
-        return value[exp.dot];
-      case "comp":
-        return exp.comp.reduce(function(value, exp) {
-          if (value !== void 0) {
-            return run(exp, value);
-          }
-        }, value);
-      case "union":
-        ref = exp.union;
-        for (i = 0, len = ref.length; i < len; i++) {
-          e = ref[i];
-          result = run(e, value);
-          if (result !== void 0) {
-            return result;
-          }
-        }
-        return void 0;
-      case "vector":
-        result = [];
-        ref1 = exp.vector;
-        for (j = 0, len1 = ref1.length; j < len1; j++) {
-          e = ref1[j];
-          r = run(e, value);
-          if (r === void 0) {
-            return;
-          }
-          result.push(r);
-        }
-        return result;
-      case "product":
-        result = {};
-        ref2 = exp.product;
-        for (k = 0, len2 = ref2.length; k < len2; k++) {
-          ({label, exp} = ref2[k]);
-          r = run(exp, value);
-          if (r === void 0) {
-            return;
-          }
-          result[label] = r;
-        }
-        return result;
-      default:
-        return console.error(exp.op);
-    }
-  };
-
-  module.exports = run;
-
-}).call(this);

package/symbol-table.coffee

@@ -1,90 +0,0 @@
-rels = Object.create null
-codes = Object.create null
-codes["{}"] = {code: "product", product: {}}
-
-identity = op: "identity"
-
-is_identity_rel = (rel) ->
-  rel.op is "identity"
-
-is_constant_rel = (rel) ->
-  switch rel?.op
-    when "int", "str"
-      true
-    when "vector"
-      Object.values(rel[rel.op]).every is_constant_rel
-    when "product"
-      Object.values(rel[rel.op]).every ({exp}) -> 
-        is_constant_rel exp
-    else 
-      false
-
-is_empty_rel = (rel) ->
-  rel.op is "union" and rel.union.length is 0
-  
-is_full_rel = (rel) ->
-  return true if is_constant_rel rel
-  switch rel.op
-    when "int", "str", "identity"
-      true
-    when "comp"
-      rel.comp.every is_full_rel
-    when "vector"
-      Object.values(rel[rel.op]).every is_full_rel
-    when "product"
-      Object.values(rel[rel.op]).every ({exp}) -> 
-        is_full_rel exp
-    else  
-      false
-
-comp_first = (e1, e2) ->
-    return e2 if is_identity_rel e1
-    return e1 if is_identity_rel e2
-    return e1 if is_empty_rel e1
-    return e2 if is_empty_rel e2
-    if e1.op is "comp" and e2.op is "comp"
-      return {op: "comp", comp: [].concat(e1.comp,e2.comp)}
-    if e1.op is "comp"
-      return {op: "comp", comp: [].concat(e1.comp,[e2])}
-    if e2.op is "comp"
-      return {op: "comp", comp: [].concat([e1],e2.comp)}
-    {op: "comp", comp: [e1,e2]}
-
-comp = (e1, e2) ->
-  result = comp_first e1, e2
-  return result unless result.op is "comp"
-  result.comp = result.comp.reduceRight (c, e) ->
-    if is_constant_rel(c[0]) and is_full_rel e
-      return c
-    return [e, c...]
-  , []
-  result
-
-union = (rels) ->
-  list = []
-  do ->
-    for rel in rels
-      new_rels = if rel.op is "union"
-        rel.union
-      else 
-        [rel]
-      for rel in new_rels
-        list.push rel
-        return if is_full_rel rel 
-  return list[0] if list.length is 1
-  {op: "union", union: list}
-    
-as_ref = (codeExp) ->
-  return codeExp.ref if codeExp.code is "ref"
-  newName = ":#{Object.keys(codes).length}"
-  codes[newName] = codeExp
-  return newName
-
-add_rel = (name, rel) ->
-  rels[name] ?= [] 
-  rels[name].push rel
-
-add_code = (name, code) ->
-  codes[name] = code
-
-module.exports = {identity, comp, union, rels, codes, add_rel, add_code, as_ref};

package/symbol-table.js

@@ -1,165 +0,0 @@
-// Generated by CoffeeScript 2.7.0
-(function() {
-  var add_code, add_rel, as_ref, codes, comp, comp_first, identity, is_constant_rel, is_empty_rel, is_full_rel, is_identity_rel, rels, union;
-
-  rels = Object.create(null);
-
-  codes = Object.create(null);
-
-  codes["{}"] = {
-    code: "product",
-    product: {}
-  };
-
-  identity = {
-    op: "identity"
-  };
-
-  is_identity_rel = function(rel) {
-    return rel.op === "identity";
-  };
-
-  is_constant_rel = function(rel) {
-    switch (rel != null ? rel.op : void 0) {
-      case "int":
-      case "str":
-        return true;
-      case "vector":
-        return Object.values(rel[rel.op]).every(is_constant_rel);
-      case "product":
-        return Object.values(rel[rel.op]).every(function({exp}) {
-          return is_constant_rel(exp);
-        });
-      default:
-        return false;
-    }
-  };
-
-  is_empty_rel = function(rel) {
-    return rel.op === "union" && rel.union.length === 0;
-  };
-
-  is_full_rel = function(rel) {
-    if (is_constant_rel(rel)) {
-      return true;
-    }
-    switch (rel.op) {
-      case "int":
-      case "str":
-      case "identity":
-        return true;
-      case "comp":
-        return rel.comp.every(is_full_rel);
-      case "vector":
-        return Object.values(rel[rel.op]).every(is_full_rel);
-      case "product":
-        return Object.values(rel[rel.op]).every(function({exp}) {
-          return is_full_rel(exp);
-        });
-      default:
-        return false;
-    }
-  };
-
-  comp_first = function(e1, e2) {
-    if (is_identity_rel(e1)) {
-      return e2;
-    }
-    if (is_identity_rel(e2)) {
-      return e1;
-    }
-    if (is_empty_rel(e1)) {
-      return e1;
-    }
-    if (is_empty_rel(e2)) {
-      return e2;
-    }
-    if (e1.op === "comp" && e2.op === "comp") {
-      return {
-        op: "comp",
-        comp: [].concat(e1.comp, e2.comp)
-      };
-    }
-    if (e1.op === "comp") {
-      return {
-        op: "comp",
-        comp: [].concat(e1.comp, [e2])
-      };
-    }
-    if (e2.op === "comp") {
-      return {
-        op: "comp",
-        comp: [].concat([e1], e2.comp)
-      };
-    }
-    return {
-      op: "comp",
-      comp: [e1, e2]
-    };
-  };
-
-  comp = function(e1, e2) {
-    var result;
-    result = comp_first(e1, e2);
-    if (result.op !== "comp") {
-      return result;
-    }
-    result.comp = result.comp.reduceRight(function(c, e) {
-      if (is_constant_rel(c[0]) && is_full_rel(e)) {
-        return c;
-      }
-      return [e, ...c];
-    }, []);
-    return result;
-  };
-
-  union = function(rels) {
-    var list;
-    list = [];
-    (function() {
-      var i, j, len, len1, new_rels, rel;
-      for (i = 0, len = rels.length; i < len; i++) {
-        rel = rels[i];
-        new_rels = rel.op === "union" ? rel.union : [rel];
-        for (j = 0, len1 = new_rels.length; j < len1; j++) {
-          rel = new_rels[j];
-          list.push(rel);
-          if (is_full_rel(rel)) {
-            return;
-          }
-        }
-      }
-    })();
-    if (list.length === 1) {
-      return list[0];
-    }
-    return {
-      op: "union",
-      union: list
-    };
-  };
-
-  as_ref = function(codeExp) {
-    var newName;
-    if (codeExp.code === "ref") {
-      return codeExp.ref;
-    }
-    newName = `:${Object.keys(codes).length}`;
-    codes[newName] = codeExp;
-    return newName;
-  };
-
-  add_rel = function(name, rel) {
-    if (rels[name] == null) {
-      rels[name] = [];
-    }
-    return rels[name].push(rel);
-  };
-
-  add_code = function(name, code) {
-    return codes[name] = code;
-  };
-
-  module.exports = {identity, comp, union, rels, codes, add_rel, add_code, as_ref};
-
-}).call(this);

package/test.coffee

@@ -1,68 +0,0 @@
-
-k = require "./index.coffee"
-
-console.log 'var k = require("k");'
-console.log ""
-[  
-  ["ANYTHING...", '()']
-  ["ANYTHING...", '{"ala" name, 23 age}']
-  [{year: 2002, age: 19}, '[.year, .age]' ]
-  ["duplicate me", '[(), ()]']
-  ["nesting", '[[[()]]]']
-  ["nesting and accessing", '[[()]] {() nested, .0.0 val}']
-  [{test: "parse integer"}, '0000']
-  [{x: 3, y: 4}, '[.y,.x] PLUS']
-].map ([data,script]) -> 
-  console.log "k_expression = '#{script}';"
-  console.log "k.run(k_expression,#{JSON.stringify(data)});"
-  console.log "// RETURNS: #{JSON.stringify k.run script, data}"
-  console.log ""
-
-k_expression = '{.name nom, <[.age, 18] GT .0, [.age, 12] GT "ado", "enfant"> age}'
-k_fn  = k.compile k_expression
-
-console.log "var k_fn = k.compile('#{k_expression}');"
-console.log ""
-
-[ 
-  {age: 23, name: "Emily"}
-  {age: 16, name: "Katrina"}
-  {age: 2, name: "Mark"}
-].map (data) -> 
-  console.log "k_fn(#{JSON.stringify(data)});"
-  console.log "// RETURNS: #{JSON.stringify k_fn data}"
-  console.log ""
-
-k_expression = "$t = < i: int, t: [ t ] > ; <$t, $int>"
-k_fn  = k.compile k_expression
-
-console.log "var k_fn = k.compile('#{k_expression}');"
-console.log ""
-
-[ 
-  1
-  {i:1}
-  [{i:2},{i:3},{t:[]}]
-  {"t":[{"i":2},{"i":3},{"t":[]}]}
-].map (data) -> 
-  console.log "k_fn(#{JSON.stringify(data)});"
-  console.log "// RETURNS: #{JSON.stringify k_fn data}"
-  console.log ""
-
-k_expression = "$ < < [ int ] ints, [ bool ] bools > list, string None>"
-k_fn  = k.compile k_expression
-console.log "var k_fn = k.compile('#{k_expression}');"
-console.log ""
-
-[ 
-  {None: "None"}
-  {list: {ints: []}}
-  {list: {ints: [1,2,3]}}
-  {list: {bools: [true, false]}}
-  {list: {bools: [true, 0]}}
-].map (data) -> 
-  console.log "k_fn(#{JSON.stringify(data)});"
-  console.log "// RETURNS: #{JSON.stringify k_fn data}"
-  console.log ""
-
-