mapcomplete/Logic/UIEventSource.ts

338 lines
11 KiB
TypeScript
Raw Normal View History

2021-01-27 03:08:46 +01:00
import {Utils} from "../Utils";
2021-10-03 01:38:57 +02:00
import * as Events from "events";
2021-01-27 03:08:46 +01:00
2021-01-25 03:12:09 +01:00
export class UIEventSource<T> {
private static allSources: UIEventSource<any>[] = UIEventSource.PrepPerf();
public data: T;
public trace: boolean;
2021-01-25 03:12:09 +01:00
private readonly tag: string;
private _callbacks: ((t: T) => (boolean | void | any)) [] = [];
constructor(data: T, tag: string = "") {
this.tag = tag;
this.data = data;
UIEventSource.allSources.push(this);
}
static PrepPerf(): UIEventSource<any>[] {
if (Utils.runningFromConsole) {
2021-01-27 03:08:46 +01:00
return [];
}
2021-01-25 03:12:09 +01:00
// @ts-ignore
2021-02-05 16:32:37 +01:00
window.mapcomplete_performance = () => {
2021-01-25 03:12:09 +01:00
console.log(UIEventSource.allSources.length, "uieventsources created");
const copy = [...UIEventSource.allSources];
copy.sort((a, b) => b._callbacks.length - a._callbacks.length);
2021-01-25 03:12:09 +01:00
console.log("Topten is:")
for (let i = 0; i < 10; i++) {
console.log(copy[i].tag, copy[i]);
}
return UIEventSource.allSources;
2021-01-25 03:12:09 +01:00
}
return [];
}
2020-06-24 00:35:19 +02:00
2021-10-03 01:38:57 +02:00
public static flatten<X>(source: UIEventSource<UIEventSource<X>>, possibleSources?: UIEventSource<any>[]): UIEventSource<X> {
2021-01-25 03:12:09 +01:00
const sink = new UIEventSource<X>(source.data?.data);
source.addCallback((latestData) => {
sink.setData(latestData?.data);
});
2021-10-03 01:38:57 +02:00
for (const possibleSource of possibleSources ?? []) {
2021-01-25 03:12:09 +01:00
possibleSource?.addCallback(() => {
sink.setData(source.data?.data);
})
}
return sink;
}
public static Chronic(millis: number, asLong: () => boolean = undefined): UIEventSource<Date> {
const source = new UIEventSource<Date>(undefined);
function run() {
source.setData(new Date());
if (asLong === undefined || asLong()) {
window.setTimeout(run, millis);
}
}
run();
return source;
}
2021-10-02 17:57:54 +02:00
/**
* Converts a promise into a UIVentsource, sets the UIEVentSource when the result is calculated.
* If the promise fails, the value will stay undefined
* @param promise
* @constructor
*/
public static FromPromise<T>(promise: Promise<T>): UIEventSource<T> {
const src = new UIEventSource<T>(undefined)
promise?.then(d => src.setData(d))
2021-10-02 17:57:54 +02:00
promise?.catch(err => console.warn("Promise failed:", err))
return src
}
2021-10-08 04:33:39 +02:00
public AsPromise(): Promise<T>{
const self = this;
return new Promise((resolve, reject) => {
if(self.data !== undefined){
resolve(self.data)
}else{
self.addCallbackD(data => {
resolve(data)
return true; // return true to unregister as we only need to be called once
})
}
})
}
public WaitForPromise(promise: Promise<T>, onFail: ((any) => void)): UIEventSource<T> {
const self = this;
promise?.then(d => self.setData(d))
promise?.catch(err =>onFail(err))
return this
}
2021-10-02 17:57:54 +02:00
/**
* Converts a promise into a UIVentsource, sets the UIEVentSource when the result is calculated.
* If the promise fails, the value will stay undefined
* @param promise
* @constructor
*/
public static FromPromiseWithErr<T>(promise: Promise<T>): UIEventSource<{ success: T } | { error: any }> {
const src = new UIEventSource<{ success: T } | { error: any }>(undefined)
promise?.then(d => src.setData({success: d}))
2021-10-02 17:57:54 +02:00
promise?.catch(err => src.setData({error: err}))
return src
2020-06-24 00:35:19 +02:00
}
/**
* Given a UIEVentSource with a list, returns a new UIEventSource which is only updated if the _contents_ of the list are different.
* E.g.
* const src = new UIEventSource([1,2,3])
* const stable = UIEventSource.ListStabilized(src)
* src.addCallback(_ => console.log("src pinged"))
* stable.addCallback(_ => console.log("stable pinged))
* src.setDate([...src.data])
*
* This will only trigger 'src pinged'
*
* @param src
* @constructor
*/
public static ListStabilized<T>(src: UIEventSource<T[]>): UIEventSource<T[]> {
const stable = new UIEventSource<T[]>(src.data)
src.addCallback(list => {
if (list === undefined) {
stable.setData(undefined)
return;
}
const oldList = stable.data
if (oldList === list) {
return;
}
if (oldList.length !== list.length) {
stable.setData(list);
return;
}
for (let i = 0; i < list.length; i++) {
if (oldList[i] !== list[i]) {
stable.setData(list);
return;
}
}
// No actual changes, so we don't do anything
return;
})
return stable
}
/**
* Adds a callback
*
* If the result of the callback is 'true', the callback is considered finished and will be removed again
* @param callback
*/
public addCallback(callback: ((latestData: T) => (boolean | void | any))): UIEventSource<T> {
2021-01-25 03:12:09 +01:00
if (callback === console.log) {
2020-10-06 01:37:02 +02:00
// This ^^^ actually works!
throw "Don't add console.log directly as a callback - you'll won't be able to find it afterwards. Wrap it in a lambda instead."
}
if (this.trace) {
console.trace("Added a callback")
}
2020-06-24 00:35:19 +02:00
this._callbacks.push(callback);
return this;
}
public addCallbackAndRun(callback: ((latestData: T) => (boolean | void | any))): UIEventSource<T> {
const doDeleteCallback = callback(this.data);
if (doDeleteCallback !== true) {
this.addCallback(callback);
}
return this;
}
public setData(t: T): UIEventSource<T> {
2021-02-14 19:45:02 +01:00
if (this.data == t) { // MUST COMPARE BY REFERENCE!
2020-06-24 00:35:19 +02:00
return;
}
this.data = t;
this.ping();
return this;
2020-06-24 00:35:19 +02:00
}
public ping(): void {
let toDelete = undefined
for (const callback of this._callbacks) {
if (callback(this.data) === true) {
// This callback wants to be deleted
if (toDelete === undefined) {
toDelete = [callback]
} else {
toDelete.push(callback)
}
}
}
if (toDelete !== undefined) {
for (const toDeleteElement of toDelete) {
this._callbacks.splice(this._callbacks.indexOf(toDeleteElement), 1)
}
2020-06-24 00:35:19 +02:00
}
}
2021-10-03 01:38:57 +02:00
/**
* Monadic bind function
*/
public bind<X>(f: ((t: T) => UIEventSource<X>)): UIEventSource<X> {
const mapped = this.map(f)
const sink = new UIEventSource<X>(undefined)
2021-10-03 01:38:57 +02:00
const seenEventSources = new Set<UIEventSource<X>>();
mapped.addCallbackAndRun(newEventSource => {
2021-10-08 04:33:39 +02:00
if (newEventSource === null) {
sink.setData(null)
} else if (newEventSource === undefined) {
2021-10-03 01:38:57 +02:00
sink.setData(undefined)
2021-10-08 04:33:39 +02:00
}else if (!seenEventSources.has(newEventSource)) {
seenEventSources.add(newEventSource)
newEventSource.addCallbackAndRun(resultData => {
if (mapped.data === newEventSource) {
sink.setData(resultData);
}
})
2021-10-08 04:33:39 +02:00
}else{
// Already seen, so we don't have to add a callback, just update the value
sink.setData(newEventSource.data)
2021-10-03 01:38:57 +02:00
}
})
2021-10-03 01:38:57 +02:00
return sink;
}
2021-10-03 01:38:57 +02:00
2021-06-19 19:16:20 +02:00
/**
* Monoidal map:
* Given a function 'f', will construct a new UIEventSource where the contents will always be "f(this.data)'
* @param f: The transforming function
* @param extraSources: also trigger the update if one of these sources change
* @param g: a 'backfunction to let the sync run in two directions. (data of the new UIEVEntSource, currentData) => newData
*/
public map<J>(f: ((t: T) => J),
extraSources: UIEventSource<any>[] = [],
g: ((j: J, t: T) => T) = undefined): UIEventSource<J> {
2020-06-24 00:35:19 +02:00
const self = this;
const newSource = new UIEventSource<J>(
2021-04-23 20:09:27 +02:00
f(this.data),
"map(" + this.tag + ")"
);
2020-07-08 11:23:36 +02:00
const update = function () {
2020-06-24 00:35:19 +02:00
newSource.setData(f(self.data));
2020-07-08 11:23:36 +02:00
}
2020-07-20 13:28:45 +02:00
this.addCallbackAndRun(update);
2020-07-08 11:23:36 +02:00
for (const extraSource of extraSources) {
2020-08-31 13:25:13 +02:00
extraSource?.addCallback(update);
2020-07-08 11:23:36 +02:00
}
2021-01-25 03:12:09 +01:00
if (g !== undefined) {
newSource.addCallback((latest) => {
2021-06-19 19:16:20 +02:00
self.setData(g(latest, self.data));
})
}
2020-06-24 00:35:19 +02:00
return newSource;
}
2020-09-18 12:00:38 +02:00
public syncWith(otherSource: UIEventSource<T>, reverseOverride = false): UIEventSource<T> {
2020-07-21 00:07:04 +02:00
this.addCallback((latest) => otherSource.setData(latest));
const self = this;
otherSource.addCallback((latest) => self.setData(latest));
2020-09-18 12:00:38 +02:00
if (reverseOverride && otherSource.data !== undefined) {
this.setData(otherSource.data);
} else if (this.data === undefined) {
this.setData(otherSource.data);
} else {
2020-07-21 00:07:04 +02:00
otherSource.setData(this.data);
}
return this;
2020-07-21 00:07:04 +02:00
}
2021-01-25 03:12:09 +01:00
public stabilized(millisToStabilize): UIEventSource<T> {
2020-09-02 11:37:34 +02:00
const newSource = new UIEventSource<T>(this.data);
2020-09-02 11:37:34 +02:00
let currentCallback = 0;
this.addCallback(latestData => {
currentCallback++;
const thisCallback = currentCallback;
window.setTimeout(() => {
2021-01-25 03:12:09 +01:00
if (thisCallback === currentCallback) {
2020-09-02 11:37:34 +02:00
newSource.setData(latestData);
}
}, millisToStabilize)
});
2020-09-02 11:37:34 +02:00
return newSource;
}
addCallbackAndRunD(callback: (data: T) => void) {
this.addCallbackAndRun(data => {
if (data !== undefined && data !== null) {
return callback(data)
}
})
}
addCallbackD(callback: (data: T) => void) {
this.addCallback(data => {
if (data !== undefined && data !== null) {
return callback(data)
}
})
}
}
export class UIEventSourceTools {
private static readonly _download_cache = new Map<string, UIEventSource<any>>()
public static downloadJsonCached(url: string): UIEventSource<any> {
const cached = UIEventSourceTools._download_cache.get(url)
if (cached !== undefined) {
return cached;
}
const src = new UIEventSource<any>(undefined)
UIEventSourceTools._download_cache.set(url, src)
Utils.downloadJson(url).then(r => src.setData(r))
return src;
}
2020-06-24 00:35:19 +02:00
}