0.0.1 • Published 2 years ago
unifyer v0.0.1
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 }
0.0.1
2 years ago