session-typed-worker
Version:
A deadlock-free communication API for web workers based on (a subset of) session types.
12 lines (11 loc) • 344 B
JavaScript
;
Object.defineProperty(exports, "__esModule", { value: true });
function send(port, value) {
port.postMessage(value);
return port;
}
exports.send = send;
function recv(port) {
return new Promise(function (resolve) { return (port.onmessage = function (e) { return resolve([e.data, port]); }); });
}
exports.recv = recv;