| export class InternMap extends Map { |
| constructor(entries, key = keyof) { |
| super(); |
| Object.defineProperties(this, {_intern: {value: new Map()}, _key: {value: key}}); |
| if (entries != null) for (const [key, value] of entries) this.set(key, value); |
| } |
| get(key) { |
| return super.get(intern_get(this, key)); |
| } |
| has(key) { |
| return super.has(intern_get(this, key)); |
| } |
| set(key, value) { |
| return super.set(intern_set(this, key), value); |
| } |
| delete(key) { |
| return super.delete(intern_delete(this, key)); |
| } |
| } |
|
|
| export class InternSet extends Set { |
| constructor(values, key = keyof) { |
| super(); |
| Object.defineProperties(this, {_intern: {value: new Map()}, _key: {value: key}}); |
| if (values != null) for (const value of values) this.add(value); |
| } |
| has(value) { |
| return super.has(intern_get(this, value)); |
| } |
| add(value) { |
| return super.add(intern_set(this, value)); |
| } |
| delete(value) { |
| return super.delete(intern_delete(this, value)); |
| } |
| } |
|
|
| function intern_get({_intern, _key}, value) { |
| const key = _key(value); |
| return _intern.has(key) ? _intern.get(key) : value; |
| } |
|
|
| function intern_set({_intern, _key}, value) { |
| const key = _key(value); |
| if (_intern.has(key)) return _intern.get(key); |
| _intern.set(key, value); |
| return value; |
| } |
|
|
| function intern_delete({_intern, _key}, value) { |
| const key = _key(value); |
| if (_intern.has(key)) { |
| value = _intern.get(key); |
| _intern.delete(key); |
| } |
| return value; |
| } |
|
|
| function keyof(value) { |
| return value !== null && typeof value === "object" ? value.valueOf() : value; |
| } |
|
|