veffect
Version:
powerful TypeScript validation library built on the robust foundation of Effect combining exceptional type safety, high performance, and developer experience. Taking inspiration from Effect's functional principles, VEffect delivers a balanced approach tha
139 lines (138 loc) • 4.21 kB
JavaScript
"use strict";
Object.defineProperty(exports, "__esModule", {
value: true
});
exports.patch = exports.empty = exports.diff = exports.combine = exports.OP_UPDATE = exports.OP_REMOVE = exports.OP_EMPTY = exports.OP_AND_THEN = exports.OP_ADD = void 0;
var _Equal = /*#__PURE__*/require("../../Equal.js");
var _Function = /*#__PURE__*/require("../../Function.js");
var Arr = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("../../ReadonlyArray.js"));
var _fiberRefs = /*#__PURE__*/_interopRequireWildcard( /*#__PURE__*/require("../fiberRefs.js"));
function _getRequireWildcardCache(e) {
if ("function" != typeof WeakMap) return null;
var r = new WeakMap(),
t = new WeakMap();
return (_getRequireWildcardCache = function (e) {
return e ? t : r;
})(e);
}
function _interopRequireWildcard(e, r) {
if (!r && e && e.__esModule) return e;
if (null === e || "object" != typeof e && "function" != typeof e) return {
default: e
};
var t = _getRequireWildcardCache(r);
if (t && t.has(e)) return t.get(e);
var n = {
__proto__: null
},
a = Object.defineProperty && Object.getOwnPropertyDescriptor;
for (var u in e) if ("default" !== u && {}.hasOwnProperty.call(e, u)) {
var i = a ? Object.getOwnPropertyDescriptor(e, u) : null;
i && (i.get || i.set) ? Object.defineProperty(n, u, i) : n[u] = e[u];
}
return n.default = e, t && t.set(e, n), n;
}
/** @internal */
const OP_EMPTY = exports.OP_EMPTY = "Empty";
/** @internal */
const OP_ADD = exports.OP_ADD = "Add";
/** @internal */
const OP_REMOVE = exports.OP_REMOVE = "Remove";
/** @internal */
const OP_UPDATE = exports.OP_UPDATE = "Update";
/** @internal */
const OP_AND_THEN = exports.OP_AND_THEN = "AndThen";
/** @internal */
const empty = exports.empty = {
_tag: OP_EMPTY
};
/** @internal */
const diff = (oldValue, newValue) => {
const missingLocals = new Map(oldValue.locals);
let patch = empty;
for (const [fiberRef, pairs] of newValue.locals.entries()) {
const newValue = Arr.headNonEmpty(pairs)[1];
const old = missingLocals.get(fiberRef);
if (old !== undefined) {
const oldValue = Arr.headNonEmpty(old)[1];
if (!(0, _Equal.equals)(oldValue, newValue)) {
patch = combine({
_tag: OP_UPDATE,
fiberRef,
patch: fiberRef.diff(oldValue, newValue)
})(patch);
}
} else {
patch = combine({
_tag: OP_ADD,
fiberRef,
value: newValue
})(patch);
}
missingLocals.delete(fiberRef);
}
for (const [fiberRef] of missingLocals.entries()) {
patch = combine({
_tag: OP_REMOVE,
fiberRef
})(patch);
}
return patch;
};
/** @internal */
exports.diff = diff;
const combine = exports.combine = /*#__PURE__*/(0, _Function.dual)(2, (self, that) => ({
_tag: OP_AND_THEN,
first: self,
second: that
}));
/** @internal */
const patch = exports.patch = /*#__PURE__*/(0, _Function.dual)(3, (self, fiberId, oldValue) => {
let fiberRefs = oldValue;
let patches = Arr.of(self);
while (Arr.isNonEmptyReadonlyArray(patches)) {
const head = Arr.headNonEmpty(patches);
const tail = Arr.tailNonEmpty(patches);
switch (head._tag) {
case OP_EMPTY:
{
patches = tail;
break;
}
case OP_ADD:
{
fiberRefs = _fiberRefs.updateAs(fiberRefs, {
fiberId,
fiberRef: head.fiberRef,
value: head.value
});
patches = tail;
break;
}
case OP_REMOVE:
{
fiberRefs = _fiberRefs.delete_(fiberRefs, head.fiberRef);
patches = tail;
break;
}
case OP_UPDATE:
{
const value = _fiberRefs.getOrDefault(fiberRefs, head.fiberRef);
fiberRefs = _fiberRefs.updateAs(fiberRefs, {
fiberId,
fiberRef: head.fiberRef,
value: head.fiberRef.patch(head.patch)(value)
});
patches = tail;
break;
}
case OP_AND_THEN:
{
patches = Arr.prepend(head.first)(Arr.prepend(head.second)(tail));
break;
}
}
}
return fiberRefs;
});
//# sourceMappingURL=patch.js.map