unifyer

0.0.1 • Public • Published

unifyer

Unifier for Javascript

Documentation

underconstruction

API
  • unify
  • unify_all
  • Var
  • replace
  • failed

unify(eq1: Object | Primitve, eq2: Object | Primitve, subst: Object = {}) -> Object | Symbol

This function takes 2 objects and tries to unify/recursively unify every common property of the objects.

const { unify, Var, failed, _ } = require("unifyer");

const sbs1 = unify(10, 10);
console.log(sbs1); // -> {} empty object if unification is successful

const sbs2 = unify(10, 20);
console.log(sbs2 === failed); // -> true 

const sbs3 = unify([10, Var("x")],[Var("y"), 20]);
console.log(sbs3); // -> { x: 20, y:10 } 

const sb4 = unify({ a: _ , b: 33 ), { a: 11 });
console.log(sbs4); // -> { a: 11 } 

Readme

Keywords

none

Package Sidebar

Install

npm i unifyer

Weekly Downloads

1

Version

0.0.1

License

MIT

Unpacked Size

6.81 kB

Total Files

7

Last publish

Collaborators

  • archanpatkar