@informalsystems/quint/dist/src/jsonHelper.js

Core tool for the Quint specification language

"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.replacer = void 0;
// Preprocess troublesome types so they are represented in JSON.
//
// We need it particularly because, by default, serialization of Map and Set
// objects just produces an empty object
// (see https://stackoverflow.com/questions/46634449/json-stringify-of-object-of-map-return-empty)
//
// The approach here follows https://stackoverflow.com/a/56150320/1187277
function replacer(_key, value) {
    if (value instanceof Map) {
        // Represent Maps as JSON objects
        return Object.fromEntries(value);
    }
    else if (value instanceof Set) {
        // Represent Sets as JSON arrays
        return Array.from(value);
    }
    else {
        return value;
    }
}
exports.replacer = replacer;
//# sourceMappingURL=jsonHelper.js.map