jinaga-server 1.0.0

package/dist/postgres/sql.js

@@ -0,0 +1,396 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.sqlFromSteps = void 0;
+const jinaga_1 = require("jinaga");
+const maps_1 = require("./maps");
+function sqlFromSteps(start, steps, factTypes, roleMap) {
+    const builder = new QueryBuilder(factTypes, roleMap);
+    return builder.buildQuery(start, steps);
+}
+exports.sqlFromSteps = sqlFromSteps;
+;
+class QueryBuilder {
+    constructor(factTypes, roleMap) {
+        this.factTypes = factTypes;
+        this.roleMap = roleMap;
+        this.nextEdge = 1;
+        this.nextFact = 2;
+        this.shouldEmitFacts = true;
+        this.queryParts = {
+            joins: [],
+            existentialClauses: []
+        };
+        this.roleIds = [];
+        this.factTypeNames = [];
+    }
+    buildQuery(start, steps) {
+        if (steps.length === 0) {
+            return null;
+        }
+        const startTypeId = (0, maps_1.getFactTypeId)(this.factTypes, start.type);
+        const startState = {
+            state: 'start',
+            typeId: startTypeId,
+            typeName: start.type
+        };
+        const finalState = steps.reduce((state, step) => {
+            return this.matchStep(state, step);
+        }, startState);
+        this.end(finalState);
+        if (finalState.state === 'empty') {
+            return {
+                empty: true,
+                sql: '',
+                parameters: [],
+                pathLength: 0,
+                factTypeNames: []
+            };
+        }
+        const factAliases = this.queryParts.joins
+            .filter(j => j.table === 'fact')
+            .map(j => j.factAlias);
+        const hashes = factAliases.map(a => `f${a}.hash as hash${a}`).join(', ');
+        const joins = this.buildJoins(this.queryParts.joins, 'f1.fact_id');
+        const whereClause = this.buildWhereClause(this.queryParts.existentialClauses);
+        const sql = `SELECT ${hashes} FROM public.fact f1${joins} WHERE f1.fact_type_id = $1 AND f1.hash = $2${whereClause}`;
+        return {
+            empty: false,
+            sql,
+            parameters: [startTypeId, start.hash, ...this.roleIds],
+            pathLength: factAliases.length,
+            factTypeNames: this.factTypeNames
+        };
+    }
+    buildJoins(joins, priorFactId) {
+        const clauses = joins.reduce((joins, join) => {
+            if (join.table === 'edge') {
+                if (join.direction === 'successor') {
+                    const clause = ` JOIN public.edge e${join.edgeAlias} ` +
+                        `ON e${join.edgeAlias}.predecessor_fact_id = ${joins.priorFactId} ` +
+                        `AND e${join.edgeAlias}.role_id = $${join.roleParameter}`;
+                    return {
+                        priorFactId: `e${join.edgeAlias}.successor_fact_id`,
+                        clauses: [...joins.clauses, clause]
+                    };
+                }
+                else {
+                    const clause = ` JOIN public.edge e${join.edgeAlias} ` +
+                        `ON e${join.edgeAlias}.successor_fact_id = ${joins.priorFactId} ` +
+                        `AND e${join.edgeAlias}.role_id = $${join.roleParameter}`;
+                    return {
+                        priorFactId: `e${join.edgeAlias}.predecessor_fact_id`,
+                        clauses: [...joins.clauses, clause]
+                    };
+                }
+            }
+            else {
+                const clause = ` JOIN public.fact f${join.factAlias} ON f${join.factAlias}.fact_id = ${joins.priorFactId}`;
+                return {
+                    priorFactId: joins.priorFactId,
+                    clauses: [...joins.clauses, clause]
+                };
+            }
+        }, {
+            priorFactId,
+            clauses: []
+        }).clauses;
+        return clauses.join('');
+    }
+    buildWhereClause(existentialClauses) {
+        if (existentialClauses.length === 0) {
+            return '';
+        }
+        const clauses = existentialClauses.map(clause => {
+            const quantifierSql = clause.quantifier === jinaga_1.Quantifier.Exists ? 'EXISTS' : 'NOT EXISTS';
+            const [first, ...rest] = clause.query.joins;
+            const firstHeadFactId = first.direction === 'predecessor'
+                ? `e${first.edgeAlias}.predecessor_fact_id`
+                : `e${first.edgeAlias}.successor_fact_id`;
+            const firstTailFactId = first.direction === 'predecessor'
+                ? `e${first.edgeAlias}.successor_fact_id`
+                : `e${first.edgeAlias}.predecessor_fact_id`;
+            const joins = this.buildJoins(rest, firstHeadFactId);
+            const priorFactId = clause.priorEdgeJoin.direction === 'predecessor'
+                ? `e${clause.priorEdgeJoin.edgeAlias}.predecessor_fact_id`
+                : `e${clause.priorEdgeJoin.edgeAlias}.successor_fact_id`;
+            const whereClause = this.buildWhereClause(clause.query.existentialClauses);
+            return ` AND ${quantifierSql} (SELECT 1 FROM public.edge e${first.edgeAlias}${joins} ` +
+                `WHERE ${firstTailFactId} = ${priorFactId} ` +
+                `AND e${first.edgeAlias}.role_id = $${first.roleParameter}${whereClause})`;
+        });
+        return clauses.join('');
+    }
+    buildNestedSql(typeId, typeName, steps) {
+        // Push a new query to the stack.
+        const parentQuery = this.queryParts;
+        const parentShouldEmitFact = this.shouldEmitFacts;
+        this.shouldEmitFacts = false;
+        this.queryParts = {
+            joins: [],
+            existentialClauses: []
+        };
+        const startState = {
+            state: 'predecessor-type',
+            typeId: typeId,
+            typeName: typeName
+        };
+        const finalState = steps.reduce((state, step) => {
+            return this.matchStep(state, step);
+        }, startState);
+        this.end(finalState);
+        // Pop the stack and return the nested query.
+        const nestedQuery = this.queryParts;
+        this.shouldEmitFacts = parentShouldEmitFact;
+        this.queryParts = parentQuery;
+        // If the nested query cannot match any results, return null.
+        if (finalState.state === 'empty') {
+            return null;
+        }
+        return nestedQuery;
+    }
+    matchStep(state, step) {
+        switch (state.state) {
+            case 'start':
+                return this.matchStepStart(state, step);
+            case 'predecessor-type':
+                return this.matchStepPredecessorType(state, step);
+            case 'predecessor-join':
+                return this.matchStepPredecessorJoin(state, step);
+            case 'successor-join':
+                return this.matchStepSuccessorJoin(state, step);
+            case 'successor-type':
+                return this.matchStepSuccessorType(state, step);
+            case 'empty':
+                return state;
+            default:
+                throw new Error(`Unknown state: ${state.state}`);
+        }
+    }
+    matchStepStart(state, step) {
+        if (step instanceof jinaga_1.PropertyCondition) {
+            if (step.name !== 'type') {
+                throw new Error(`Property condition on non-type property ${step.name}`);
+            }
+            const typeId = (0, maps_1.getFactTypeId)(this.factTypes, step.value);
+            if (typeId !== state.typeId) {
+                throw new Error(`Two property conditions in a row on different types, ending in ${step.value}`);
+            }
+            return state;
+        }
+        else if (step instanceof jinaga_1.Join) {
+            if (step.direction === jinaga_1.Direction.Predecessor) {
+                const roleId = (0, maps_1.getRoleId)(this.roleMap, state.typeId, step.role);
+                if (!roleId) {
+                    return {
+                        state: 'empty'
+                    };
+                }
+                this.emitEdge('predecessor', roleId);
+                return {
+                    state: 'predecessor-join',
+                    position: `${state.typeName}.${step.role}`
+                };
+            }
+            if (step.direction === jinaga_1.Direction.Successor) {
+                return {
+                    state: 'successor-join',
+                    role: step.role
+                };
+            }
+        }
+        else if (step instanceof jinaga_1.ExistentialCondition) {
+            return this.pushExistentialCondition(state.typeId, state.typeName, state, step);
+        }
+        else {
+            throw new Error(`Unknown step ${step.constructor.name}`);
+        }
+    }
+    matchStepPredecessorType(state, step) {
+        if (step instanceof jinaga_1.PropertyCondition) {
+            if (step.name !== 'type') {
+                throw new Error(`Property condition on non-type property ${step.name}`);
+            }
+            const typeId = (0, maps_1.getFactTypeId)(this.factTypes, step.value);
+            if (typeId !== state.typeId) {
+                throw new Error(`Two property conditions in a row on different types, ending in ${step.value}`);
+            }
+            return state;
+        }
+        else if (step instanceof jinaga_1.Join) {
+            if (step.direction === jinaga_1.Direction.Predecessor) {
+                const roleId = (0, maps_1.getRoleId)(this.roleMap, state.typeId, step.role);
+                if (!roleId) {
+                    return {
+                        state: 'empty'
+                    };
+                }
+                this.emitFact(state.typeName);
+                this.emitEdge('predecessor', roleId);
+                return {
+                    state: 'predecessor-join',
+                    position: `${state.typeName}.${step.role}`
+                };
+            }
+            if (step.direction === jinaga_1.Direction.Successor) {
+                this.emitFact(state.typeName);
+                return {
+                    state: 'successor-join',
+                    role: step.role
+                };
+            }
+        }
+        else if (step instanceof jinaga_1.ExistentialCondition) {
+            return this.pushExistentialCondition(state.typeId, state.typeName, state, step);
+        }
+        else {
+            throw new Error(`Unknown step ${step.constructor.name}`);
+        }
+    }
+    matchStepPredecessorJoin(state, step) {
+        if (step instanceof jinaga_1.PropertyCondition) {
+            if (step.name !== 'type') {
+                throw new Error(`Property condition on non-type property ${step.name}`);
+            }
+            const typeId = (0, maps_1.getFactTypeId)(this.factTypes, step.value);
+            if (!typeId) {
+                return {
+                    state: 'empty'
+                };
+            }
+            return {
+                state: 'predecessor-type',
+                typeId,
+                typeName: step.value
+            };
+        }
+        else {
+            throw new Error(`Missing type of "${state.position}"`);
+        }
+    }
+    matchStepSuccessorJoin(state, step) {
+        if (step instanceof jinaga_1.PropertyCondition) {
+            if (step.name !== 'type') {
+                throw new Error(`Property condition on non-type property ${step.name}`);
+            }
+            const typeId = (0, maps_1.getFactTypeId)(this.factTypes, step.value);
+            if (!typeId) {
+                return {
+                    state: 'empty'
+                };
+            }
+            const roleId = (0, maps_1.getRoleId)(this.roleMap, typeId, state.role);
+            if (!roleId) {
+                return {
+                    state: 'empty'
+                };
+            }
+            this.emitEdge('successor', roleId);
+            return {
+                state: 'successor-type',
+                typeId: typeId,
+                typeName: step.value
+            };
+        }
+        else {
+            throw new Error(`Missing type for role ${state.role}`);
+        }
+    }
+    matchStepSuccessorType(state, step) {
+        if (step instanceof jinaga_1.PropertyCondition) {
+            if (step.name !== 'type') {
+                throw new Error(`Property condition on non-type property ${step.name}`);
+            }
+            const typeId = (0, maps_1.getFactTypeId)(this.factTypes, step.value);
+            if (typeId !== state.typeId) {
+                throw new Error(`Two property conditions in a row on different types, ending in ${step.value}`);
+            }
+            return state;
+        }
+        else if (step instanceof jinaga_1.Join) {
+            if (step.direction === jinaga_1.Direction.Predecessor) {
+                const roleId = (0, maps_1.getRoleId)(this.roleMap, state.typeId, step.role);
+                if (!roleId) {
+                    return {
+                        state: 'empty'
+                    };
+                }
+                this.emitFact(state.typeName);
+                this.emitEdge('predecessor', roleId);
+                return {
+                    state: 'predecessor-join',
+                    position: `${state.typeName}.${step.role}`
+                };
+            }
+            else {
+                this.emitFact(state.typeName);
+                return {
+                    state: 'successor-join',
+                    role: step.role
+                };
+            }
+        }
+        else if (step instanceof jinaga_1.ExistentialCondition) {
+            return this.pushExistentialCondition(state.typeId, state.typeName, state, step);
+        }
+        else {
+            throw new Error(`Unknown step ${step.constructor.name}`);
+        }
+    }
+    end(finalState) {
+        if (finalState.state === 'successor-join') {
+            throw new Error(`Missing type for role ${finalState.role}`);
+        }
+        else if (finalState.state === 'predecessor-join') {
+            throw new Error(`Missing type of "${finalState.position}"`);
+        }
+        else if (finalState.state === 'predecessor-type' || finalState.state === 'successor-type') {
+            this.emitFact(finalState.typeName);
+        }
+    }
+    emitEdge(direction, roleId) {
+        const edgeAlias = this.nextEdge++;
+        this.roleIds.push(roleId);
+        this.queryParts.joins.push({
+            table: 'edge',
+            direction: direction,
+            edgeAlias: edgeAlias,
+            roleParameter: edgeAlias + 2
+        });
+    }
+    emitFact(factTypeName) {
+        if (this.shouldEmitFacts) {
+            const factAlias = this.nextFact++;
+            this.queryParts.joins.push({
+                table: 'fact',
+                factAlias: factAlias
+            });
+            this.factTypeNames.push(factTypeName);
+        }
+    }
+    pushExistentialCondition(typeId, typeName, state, step) {
+        const nested = this.buildNestedSql(typeId, typeName, step.steps);
+        if (!nested) {
+            if (step.quantifier === jinaga_1.Quantifier.Exists) {
+                // An empty positive existential condition cannot match any facts.
+                return {
+                    state: 'empty'
+                };
+            }
+            else {
+                // An empty negative existential condition cannot exclude any facts.
+                return state;
+            }
+        }
+        const lastJoin = this.queryParts.joins[this.queryParts.joins.length - 1];
+        if (lastJoin.table !== 'edge') {
+            throw new Error(`Existential condition on non-edge table ${lastJoin.table}`);
+        }
+        this.queryParts.existentialClauses.push({
+            quantifier: step.quantifier,
+            priorEdgeJoin: lastJoin,
+            query: nested
+        });
+        return state;
+    }
+}
+//# sourceMappingURL=sql.js.map

package/dist/postgres/sql.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sql.js","sourceRoot":"","sources":["../../src/postgres/sql.ts"],"names":[],"mappings":";;;AAAA,mCAAmH;AAEnH,iCAAwE;AAUxE,SAAgB,YAAY,CAAC,KAAoB,EAAE,KAAa,EAAE,SAAsB,EAAE,OAAgB;IACtG,MAAM,OAAO,GAAG,IAAI,YAAY,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IAErD,OAAO,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAC5C,CAAC;AAJD,oCAIC;AAmBA,CAAC;AA2CF,MAAM,YAAY;IAWd,YAAoB,SAAsB,EAAU,OAAgB;QAAhD,cAAS,GAAT,SAAS,CAAa;QAAU,YAAO,GAAP,OAAO,CAAS;QAV5D,aAAQ,GAAW,CAAC,CAAC;QACrB,aAAQ,GAAW,CAAC,CAAC;QACrB,oBAAe,GAAY,IAAI,CAAC;QAChC,eAAU,GAAe;YAC7B,KAAK,EAAE,EAAE;YACT,kBAAkB,EAAE,EAAE;SACzB,CAAC;QACM,YAAO,GAAa,EAAE,CAAC;QACvB,kBAAa,GAAa,EAAE,CAAC;IAGrC,CAAC;IAED,UAAU,CAAC,KAAoB,EAAE,KAAa;QAC1C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE;YACpB,OAAO,IAAI,CAAC;SACf;QAED,MAAM,WAAW,GAAG,IAAA,oBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,UAAU,GAAsB;YAClC,KAAK,EAAE,OAAO;YACd,MAAM,EAAE,WAAW;YACnB,QAAQ,EAAE,KAAK,CAAC,IAAI;SACvB,CAAC;QACF,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;YAC5C,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,EAAE,UAAU,CAAC,CAAC;QACf,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAErB,IAAI,UAAU,CAAC,KAAK,KAAK,OAAO,EAAE;YAC9B,OAAO;gBACH,KAAK,EAAE,IAAI;gBACX,GAAG,EAAE,EAAE;gBACP,UAAU,EAAE,EAAE;gBACd,UAAU,EAAE,CAAC;gBACb,aAAa,EAAE,EAAE;aACpB,CAAC;SACL;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK;aACpC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC;aAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,CAAmB,CAAC,SAAS,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;QACnE,MAAM,WAAW,GAAG,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC;QAC9E,MAAM,GAAG,GAAG,UAAU,MAAM,uBAAuB,KAAK,+CAA+C,WAAW,EAAE,CAAC;QAErH,OAAO;YACH,KAAK,EAAE,KAAK;YACZ,GAAG;YACH,UAAU,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC;YACtD,UAAU,EAAE,WAAW,CAAC,MAAM;YAC9B,aAAa,EAAE,IAAI,CAAC,aAAa;SACpC,CAAC;IACN,CAAC;IAEO,UAAU,CAAC,KAAkB,EAAE,WAAmB;QACtD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;YACzC,IAAI,IAAI,CAAC,KAAK,KAAK,MAAM,EAAE;gBACvB,IAAI,IAAI,CAAC,SAAS,KAAK,WAAW,EAAE;oBAChC,MAAM,MAAM,GAAG,sBAAsB,IAAI,CAAC,SAAS,GAAG;wBAClD,OAAO,IAAI,CAAC,SAAS,0BAA0B,KAAK,CAAC,WAAW,GAAG;wBACnE,QAAQ,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAAC;oBAC9D,OAAO;wBACH,WAAW,EAAE,IAAI,IAAI,CAAC,SAAS,oBAAoB;wBACnD,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC;qBACtC,CAAC;iBACL;qBACI;oBACD,MAAM,MAAM,GAAG,sBAAsB,IAAI,CAAC,SAAS,GAAG;wBAClD,OAAO,IAAI,CAAC,SAAS,wBAAwB,KAAK,CAAC,WAAW,GAAG;wBACjE,QAAQ,IAAI,CAAC,SAAS,eAAe,IAAI,CAAC,aAAa,EAAE,CAAC;oBAC9D,OAAO;wBACH,WAAW,EAAE,IAAI,IAAI,CAAC,SAAS,sBAAsB;wBACrD,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC;qBACtC,CAAC;iBACL;aACJ;iBAAM;gBACH,MAAM,MAAM,GAAG,sBAAsB,IAAI,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS,cAAc,KAAK,CAAC,WAAW,EAAE,CAAC;gBAC3G,OAAO;oBACH,WAAW,EAAE,KAAK,CAAC,WAAW;oBAC9B,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC;iBACtC,CAAC;aACL;QACL,CAAC,EAAE;YACC,WAAW;YACX,OAAO,EAAE,EAAE;SACd,CAAC,CAAC,OAAO,CAAC;QACX,OAAO,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED,gBAAgB,CAAC,kBAAuC;QACpD,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE;YACjC,OAAO,EAAE,CAAC;SACb;QAED,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE;YAC5C,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,KAAK,mBAAU,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC;YACxF,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAqB,MAAM,CAAC,KAAK,CAAC,KAAwB,CAAC;YACjF,MAAM,eAAe,GAAG,KAAK,CAAC,SAAS,KAAK,aAAa;gBACrD,CAAC,CAAC,IAAI,KAAK,CAAC,SAAS,sBAAsB;gBAC3C,CAAC,CAAC,IAAI,KAAK,CAAC,SAAS,oBAAoB,CAAC;YAC9C,MAAM,eAAe,GAAG,KAAK,CAAC,SAAS,KAAK,aAAa;gBACrD,CAAC,CAAC,IAAI,KAAK,CAAC,SAAS,oBAAoB;gBACzC,CAAC,CAAC,IAAI,KAAK,CAAC,SAAS,sBAAsB,CAAC;YAChD,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;YACrD,MAAM,WAAW,GAAG,MAAM,CAAC,aAAa,CAAC,SAAS,KAAK,aAAa;gBAChE,CAAC,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,SAAS,sBAAsB;gBAC1D,CAAC,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,SAAS,oBAAoB,CAAC;YAC7D,MAAM,WAAW,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YAC3E,OAAO,QAAQ,aAAa,gCAAgC,KAAK,CAAC,SAAS,GAAG,KAAK,GAAG;gBAClF,SAAS,eAAe,MAAM,WAAW,GAAG;gBAC5C,QAAQ,KAAK,CAAC,SAAS,eAAe,KAAK,CAAC,aAAa,GAAG,WAAW,GAAG,CAAC;QACnF,CAAC,CAAC,CAAC;QACH,OAAO,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED,cAAc,CAAC,MAAc,EAAE,QAAgB,EAAE,KAAa;QAC1D,iCAAiC;QACjC,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC;QACpC,MAAM,oBAAoB,GAAG,IAAI,CAAC,eAAe,CAAC;QAClD,IAAI,CAAC,eAAe,GAAG,KAAK,CAAC;QAC7B,IAAI,CAAC,UAAU,GAAG;YACd,KAAK,EAAE,EAAE;YACT,kBAAkB,EAAE,EAAE;SACzB,CAAC;QAEF,MAAM,UAAU,GAAsB;YAClC,KAAK,EAAE,kBAAkB;YACzB,MAAM,EAAE,MAAM;YACd,QAAQ,EAAE,QAAQ;SACrB,CAAC;QACF,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;YAC5C,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,EAAE,UAAU,CAAC,CAAC;QACf,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAErB,6CAA6C;QAC7C,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC;QACpC,IAAI,CAAC,eAAe,GAAG,oBAAoB,CAAC;QAC5C,IAAI,CAAC,UAAU,GAAG,WAAW,CAAC;QAE9B,6DAA6D;QAC7D,IAAI,UAAU,CAAC,KAAK,KAAK,OAAO,EAAE;YAC9B,OAAO,IAAI,CAAC;SACf;QACD,OAAO,WAAW,CAAC;IACvB,CAAC;IAEO,SAAS,CAAC,KAAwB,EAAE,IAAU;QAClD,QAAQ,KAAK,CAAC,KAAK,EAAE;YACjB,KAAK,OAAO;gBACR,OAAO,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC5C,KAAK,kBAAkB;gBACnB,OAAO,IAAI,CAAC,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACtD,KAAK,kBAAkB;gBACnB,OAAO,IAAI,CAAC,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACtD,KAAK,gBAAgB;gBACjB,OAAO,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACpD,KAAK,gBAAgB;gBACjB,OAAO,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACpD,KAAK,OAAO;gBACR,OAAO,KAAK,CAAC;YACjB;gBACI,MAAM,IAAI,KAAK,CAAC,kBAAmB,KAAa,CAAC,KAAK,EAAE,CAAC,CAAC;SACjE;IACL,CAAC;IAEO,cAAc,CAAC,KAA6B,EAAE,IAAU;QAC5D,IAAI,IAAI,YAAY,0BAAiB,EAAE;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE;gBACtB,MAAM,IAAI,KAAK,CAAC,2CAA2C,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;aAC3E;YACD,MAAM,MAAM,GAAG,IAAA,oBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACzD,IAAI,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE;gBACzB,MAAM,IAAI,KAAK,CAAC,kEAAkE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;aACnG;YACD,OAAO,KAAK,CAAC;SAChB;aACI,IAAI,IAAI,YAAY,aAAI,EAAE;YAC3B,IAAI,IAAI,CAAC,SAAS,KAAK,kBAAS,CAAC,WAAW,EAAE;gBAC1C,MAAM,MAAM,GAAG,IAAA,gBAAS,EAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChE,IAAI,CAAC,MAAM,EAAE;oBACT,OAAO;wBACH,KAAK,EAAE,OAAO;qBACjB,CAAC;iBACL;gBACD,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;gBACrC,OAAO;oBACH,KAAK,EAAE,kBAAkB;oBACzB,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE;iBAC7C,CAAA;aACJ;YACD,IAAI,IAAI,CAAC,SAAS,KAAK,kBAAS,CAAC,SAAS,EAAE;gBACxC,OAAO;oBACH,KAAK,EAAE,gBAAgB;oBACvB,IAAI,EAAE,IAAI,CAAC,IAAI;iBAClB,CAAA;aACJ;SACJ;aACI,IAAI,IAAI,YAAY,6BAAoB,EAAE;YAC3C,OAAO,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;SACnF;aACI;YACD,MAAM,IAAI,KAAK,CAAC,gBAAgB,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;SAC5D;IACL,CAAC;IAEO,wBAAwB,CAAC,KAAuC,EAAE,IAAU;QAChF,IAAI,IAAI,YAAY,0BAAiB,EAAE;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE;gBACtB,MAAM,IAAI,KAAK,CAAC,2CAA2C,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;aAC3E;YACD,MAAM,MAAM,GAAG,IAAA,oBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACzD,IAAI,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE;gBACzB,MAAM,IAAI,KAAK,CAAC,kEAAkE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;aACnG;YACD,OAAO,KAAK,CAAC;SAChB;aACI,IAAI,IAAI,YAAY,aAAI,EAAE;YAC3B,IAAI,IAAI,CAAC,SAAS,KAAK,kBAAS,CAAC,WAAW,EAAE;gBAC1C,MAAM,MAAM,GAAG,IAAA,gBAAS,EAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChE,IAAI,CAAC,MAAM,EAAE;oBACT,OAAO;wBACH,KAAK,EAAE,OAAO;qBACjB,CAAC;iBACL;gBACD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC9B,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;gBACrC,OAAO;oBACH,KAAK,EAAE,kBAAkB;oBACzB,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE;iBAC7C,CAAA;aACJ;YACD,IAAI,IAAI,CAAC,SAAS,KAAK,kBAAS,CAAC,SAAS,EAAE;gBACxC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC9B,OAAO;oBACH,KAAK,EAAE,gBAAgB;oBACvB,IAAI,EAAE,IAAI,CAAC,IAAI;iBAClB,CAAA;aACJ;SACJ;aACI,IAAI,IAAI,YAAY,6BAAoB,EAAE;YAC3C,OAAO,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;SACnF;aACI;YACD,MAAM,IAAI,KAAK,CAAC,gBAAgB,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;SAC5D;IACL,CAAC;IAEO,wBAAwB,CAAC,KAAuC,EAAE,IAAU;QAChF,IAAI,IAAI,YAAY,0BAAiB,EAAE;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE;gBACtB,MAAM,IAAI,KAAK,CAAC,2CAA2C,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;aAC3E;YACD,MAAM,MAAM,GAAG,IAAA,oBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACzD,IAAI,CAAC,MAAM,EAAE;gBACT,OAAO;oBACH,KAAK,EAAE,OAAO;iBACjB,CAAC;aACL;YACD,OAAO;gBACH,KAAK,EAAE,kBAAkB;gBACzB,MAAM;gBACN,QAAQ,EAAE,IAAI,CAAC,KAAK;aACvB,CAAC;SACL;aACI;YACD,MAAM,IAAI,KAAK,CAAC,oBAAoB,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC;SAC1D;IACL,CAAC;IAEO,sBAAsB,CAAC,KAAqC,EAAE,IAAU;QAC5E,IAAI,IAAI,YAAY,0BAAiB,EAAE;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE;gBACtB,MAAM,IAAI,KAAK,CAAC,2CAA2C,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;aAC3E;YACD,MAAM,MAAM,GAAG,IAAA,oBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACzD,IAAI,CAAC,MAAM,EAAE;gBACT,OAAO;oBACH,KAAK,EAAE,OAAO;iBACjB,CAAC;aACL;YACD,MAAM,MAAM,GAAG,IAAA,gBAAS,EAAC,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAC3D,IAAI,CAAC,MAAM,EAAE;gBACT,OAAO;oBACH,KAAK,EAAE,OAAO;iBACjB,CAAC;aACL;YACD,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;YACnC,OAAO;gBACH,KAAK,EAAE,gBAAgB;gBACvB,MAAM,EAAE,MAAM;gBACd,QAAQ,EAAE,IAAI,CAAC,KAAK;aACvB,CAAC;SACL;aACI;YACD,MAAM,IAAI,KAAK,CAAC,yBAAyB,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;SAC1D;IACL,CAAC;IAEO,sBAAsB,CAAC,KAAqC,EAAE,IAAU;QAC5E,IAAI,IAAI,YAAY,0BAAiB,EAAE;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE;gBACtB,MAAM,IAAI,KAAK,CAAC,2CAA2C,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;aAC3E;YACD,MAAM,MAAM,GAAG,IAAA,oBAAa,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YACzD,IAAI,MAAM,KAAK,KAAK,CAAC,MAAM,EAAE;gBACzB,MAAM,IAAI,KAAK,CAAC,kEAAkE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;aACnG;YACD,OAAO,KAAK,CAAC;SAChB;aACI,IAAI,IAAI,YAAY,aAAI,EAAE;YAC3B,IAAI,IAAI,CAAC,SAAS,KAAK,kBAAS,CAAC,WAAW,EAAE;gBAC1C,MAAM,MAAM,GAAG,IAAA,gBAAS,EAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAChE,IAAI,CAAC,MAAM,EAAE;oBACT,OAAO;wBACH,KAAK,EAAE,OAAO;qBACjB,CAAC;iBACL;gBACD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC9B,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;gBACrC,OAAO;oBACH,KAAK,EAAE,kBAAkB;oBACzB,QAAQ,EAAE,GAAG,KAAK,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,EAAE;iBAC7C,CAAC;aACL;iBACI;gBACD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC9B,OAAO;oBACH,KAAK,EAAE,gBAAgB;oBACvB,IAAI,EAAE,IAAI,CAAC,IAAI;iBAClB,CAAC;aACL;SACJ;aACI,IAAI,IAAI,YAAY,6BAAoB,EAAE;YAC3C,OAAO,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;SACnF;aACI;YACD,MAAM,IAAI,KAAK,CAAC,gBAAgB,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC;SAC5D;IACL,CAAC;IAEO,GAAG,CAAC,UAA6B;QACrC,IAAI,UAAU,CAAC,KAAK,KAAK,gBAAgB,EAAE;YACvC,MAAM,IAAI,KAAK,CAAC,yBAAyB,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;SAC/D;aACI,IAAI,UAAU,CAAC,KAAK,KAAK,kBAAkB,EAAE;YAC9C,MAAM,IAAI,KAAK,CAAC,oBAAoB,UAAU,CAAC,QAAQ,GAAG,CAAC,CAAC;SAC/D;aACI,IAAI,UAAU,CAAC,KAAK,KAAK,kBAAkB,IAAI,UAAU,CAAC,KAAK,KAAK,gBAAgB,EAAE;YACvF,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;SACtC;IACL,CAAC;IAEO,QAAQ,CAAC,SAAsC,EAAE,MAAc;QACnE,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;YACvB,KAAK,EAAE,MAAM;YACb,SAAS,EAAE,SAAS;YACpB,SAAS,EAAE,SAAS;YACpB,aAAa,EAAE,SAAS,GAAG,CAAC;SAC/B,CAAC,CAAC;IACP,CAAC;IAEO,QAAQ,CAAC,YAAoB;QACjC,IAAI,IAAI,CAAC,eAAe,EAAE;YACtB,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;gBACvB,KAAK,EAAE,MAAM;gBACb,SAAS,EAAE,SAAS;aACvB,CAAC,CAAC;YACH,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;SACzC;IACL,CAAC;IAEO,wBAAwB,CAAC,MAAc,EAAE,QAAgB,EAAE,KAAwB,EAAE,IAA0B;QACnH,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;QACjE,IAAI,CAAC,MAAM,EAAE;YACT,IAAI,IAAI,CAAC,UAAU,KAAK,mBAAU,CAAC,MAAM,EAAE;gBACvC,kEAAkE;gBAClE,OAAO;oBACH,KAAK,EAAE,OAAO;iBACjB,CAAC;aACL;iBACI;gBACD,oEAAoE;gBACpE,OAAO,KAAK,CAAC;aAChB;SACJ;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACzE,IAAI,QAAQ,CAAC,KAAK,KAAK,MAAM,EAAE;YAC3B,MAAM,IAAI,KAAK,CAAC,2CAA2C,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;SAChF;QACD,IAAI,CAAC,UAAU,CAAC,kBAAkB,CAAC,IAAI,CAAC;YACpC,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,aAAa,EAAE,QAAQ;YACvB,KAAK,EAAE,MAAM;SAChB,CAAC,CAAC;QACH,OAAO,KAAK,CAAC;IACjB,CAAC;CACJ"}

package/dist/util/fn.d.ts

@@ -0,0 +1,6 @@
+export declare function flattenAsync<T, U>(collection: T[], selector: (element: T) => Promise<U[]>): Promise<U[]>;
+export declare function flatten<T, U>(collection: T[], selector: (element: T) => U[]): U[];
+export declare function mapAsync<T, U>(collection: T[], action: (element: T) => Promise<U>): Promise<Awaited<U>[]>;
+export declare function filterAsync<T>(collection: T[], predicate: (element: T) => Promise<boolean>): Promise<T[]>;
+export declare function findIndex<T>(array: T[], predicate: ((element: T) => boolean)): number;
+export declare function distinct<T>(value: T, index: number, self: T[]): boolean;

package/dist/util/fn.js

@@ -0,0 +1,81 @@
+"use strict";
+var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, generator) {
+    function adopt(value) { return value instanceof P ? value : new P(function (resolve) { resolve(value); }); }
+    return new (P || (P = Promise))(function (resolve, reject) {
+        function fulfilled(value) { try { step(generator.next(value)); } catch (e) { reject(e); } }
+        function rejected(value) { try { step(generator["throw"](value)); } catch (e) { reject(e); } }
+        function step(result) { result.done ? resolve(result.value) : adopt(result.value).then(fulfilled, rejected); }
+        step((generator = generator.apply(thisArg, _arguments || [])).next());
+    });
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.distinct = exports.findIndex = exports.filterAsync = exports.mapAsync = exports.flatten = exports.flattenAsync = void 0;
+function safeFlatten(results) {
+    const flat = results.reduce((a, b) => (!a || a.length === 0) ? b :
+        (!b || b.length === 0) ? a :
+            a.concat(b));
+    return flat ? flat : [];
+}
+function flattenAsync(collection, selector) {
+    return __awaiter(this, void 0, void 0, function* () {
+        if (collection.length === 0) {
+            return [];
+        }
+        else {
+            const results = yield Promise.all(collection.map(selector));
+            return safeFlatten(results);
+        }
+    });
+}
+exports.flattenAsync = flattenAsync;
+function flatten(collection, selector) {
+    if (collection.length === 0) {
+        return [];
+    }
+    else {
+        return safeFlatten(collection.map(selector));
+    }
+}
+exports.flatten = flatten;
+function mapAsync(collection, action) {
+    return __awaiter(this, void 0, void 0, function* () {
+        if (collection.length === 0) {
+            return [];
+        }
+        else {
+            return yield Promise.all(collection.map(action));
+        }
+    });
+}
+exports.mapAsync = mapAsync;
+function filterAsync(collection, predicate) {
+    return __awaiter(this, void 0, void 0, function* () {
+        if (collection.length === 0) {
+            return [];
+        }
+        else {
+            const filters = yield Promise.all(collection.map((element) => __awaiter(this, void 0, void 0, function* () {
+                return ({
+                    include: yield predicate(element),
+                    element
+                });
+            })));
+            return filters.filter(f => f.include).map(f => f.element);
+        }
+    });
+}
+exports.filterAsync = filterAsync;
+function findIndex(array, predicate) {
+    for (let index = 0; index < array.length; index++) {
+        if (predicate(array[index])) {
+            return index;
+        }
+    }
+    return -1;
+}
+exports.findIndex = findIndex;
+function distinct(value, index, self) {
+    return self.indexOf(value) === index;
+}
+exports.distinct = distinct;
+//# sourceMappingURL=fn.js.map

package/dist/util/fn.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fn.js","sourceRoot":"","sources":["../../src/util/fn.ts"],"names":[],"mappings":";;;;;;;;;;;;AAAA,SAAS,WAAW,CAAI,OAAc;IACpC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACnC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1B,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACjB,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;AAC1B,CAAC;AAED,SAAsB,YAAY,CAAO,UAAe,EAAE,QAAsC;;QAC5F,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE;YACzB,OAAO,EAAE,CAAC;SACb;aACI;YACD,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC5D,OAAO,WAAW,CAAC,OAAO,CAAC,CAAC;SAC/B;IACL,CAAC;CAAA;AARD,oCAQC;AAED,SAAgB,OAAO,CAAO,UAAe,EAAE,QAA6B;IACxE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE;QACzB,OAAO,EAAE,CAAC;KACb;SACI;QACD,OAAO,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;KAChD;AACL,CAAC;AAPD,0BAOC;AAED,SAAsB,QAAQ,CAAO,UAAe,EAAE,MAAkC;;QACpF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE;YACzB,OAAO,EAAE,CAAC;SACb;aACI;YACD,OAAO,MAAM,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;SACpD;IACL,CAAC;CAAA;AAPD,4BAOC;AAED,SAAsB,WAAW,CAAI,UAAe,EAAE,SAA2C;;QAC7F,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE;YACzB,OAAO,EAAE,CAAC;SACb;aACI;YACD,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAM,OAAO,EAAC,EAAE;gBAAC,OAAA,CAAC;oBAC/D,OAAO,EAAE,MAAM,SAAS,CAAC,OAAO,CAAC;oBACjC,OAAO;iBACV,CAAC,CAAA;cAAA,CAAC,CAAC,CAAC;YAEL,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;SAC7D;IACL,CAAC;CAAA;AAZD,kCAYC;AAED,SAAgB,SAAS,CAAI,KAAU,EAAE,SAAoC;IACzE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE;QAC/C,IAAI,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE;YACzB,OAAO,KAAK,CAAC;SAChB;KACJ;IAED,OAAO,CAAC,CAAC,CAAC;AACd,CAAC;AARD,8BAQC;AAED,SAAgB,QAAQ,CAAI,KAAQ,EAAE,KAAa,EAAE,IAAS;IAC1D,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC;AACzC,CAAC;AAFD,4BAEC"}

package/dist/util/promise.d.ts

@@ -0,0 +1 @@
+export declare function delay(ms: number): Promise<void>;

package/dist/util/promise.js

@@ -0,0 +1,10 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.delay = void 0;
+function delay(ms) {
+    return new Promise((resolve, reject) => {
+        setTimeout(() => resolve(), ms);
+    });
+}
+exports.delay = delay;
+//# sourceMappingURL=promise.js.map

package/dist/util/promise.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"promise.js","sourceRoot":"","sources":["../../src/util/promise.ts"],"names":[],"mappings":";;;AAAA,SAAgB,KAAK,CAAC,EAAU;IAC9B,OAAO,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QAC3C,UAAU,CAAC,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC;AAJD,sBAIC"}

package/docs/registrations.sql

@@ -0,0 +1,22 @@
+SELECT F3.HASH AS HASH3,
+	F4.HASH AS HASH4,
+	F6.HASH AS HASH6,
+	sort(array[F3.FACT_ID, F4.FACT_ID, F6.FACT_ID], 'desc') as bookmark
+FROM PUBLIC.FACT F1
+JOIN PUBLIC.EDGE E1 ON E1.PREDECESSOR_FACT_ID = F1.FACT_ID
+AND E1.ROLE_ID = 44
+JOIN PUBLIC.FACT F3 ON F3.FACT_ID = E1.SUCCESSOR_FACT_ID
+JOIN PUBLIC.EDGE E2 ON E2.PREDECESSOR_FACT_ID = F3.FACT_ID
+AND e2.ROLE_ID = 46
+JOIN PUBLIC.FACT F4 ON F4.FACT_ID = E2.SUCCESSOR_FACT_ID
+JOIN PUBLIC.EDGE E4 ON E4.PREDECESSOR_FACT_ID = F4.FACT_ID
+AND E4.ROLE_ID = 18
+JOIN PUBLIC.FACT F6 ON F6.FACT_ID = E4.SUCCESSOR_FACT_ID
+JOIN PUBLIC.EDGE E5 ON E5.SUCCESSOR_FACT_ID = F6.FACT_ID
+AND E5.ROLE_ID = 23
+JOIN PUBLIC.FACT F2 ON F2.FACT_ID = E5.PREDECESSOR_FACT_ID
+WHERE F1.FACT_TYPE_ID = 35
+	AND F1.HASH = '5kIRDvVO/wP4v7G9vhDAPMVi2q0cXsZtp9YuyAjan7yyDUhFFPiwwNnzTor6jFdkC11CYnDmoZueMAqxF9MPTQ=='
+	AND F2.FACT_TYPE_ID = 24
+	AND F2.HASH = '0WWlFbZH+gMoP3QGXO7/mf6hIQC/2iN7wd0peEQKFVvnJMp3gTVvi4eXfVd3DSa81MSzAVp7zVxXIiRnJTF0Kw=='
+ORDER BY bookmark ASC

package/docs/specification.txt

@@ -0,0 +1,41 @@
+let user: Jinaga.User = me
+let semester: ImprovingU.Semester = #Ws6RWV8bWmP7ibBlzwL2UoKKwg6E1iItQPFpX/mvU5u6FLwHJAbRd0SbH+P1hoMn4QndhArLqJqVReRqJdoyBg==
+
+(semester: ImprovingU.Semester, user: Jinaga.User) {
+    catalog: ImprovingU.Catalog [
+        catalog->_in:ImprovingU.Semester = semester
+    ]
+} => {
+    office = catalog.office
+    courses = {
+        course: ImprovingU.Course [
+            course->_in:ImprovingU.Catalog = catalog
+            !E {
+                delete: ImprovingU.Course.Delete [
+                    delete->course:ImprovingU.Course = course
+                ]
+            }
+        ]
+    } => {
+        titles = {
+            title: ImprovingU.Course.Title [
+                title->course: ImprovingU.Course = course
+                !E {
+                    next: ImprovingU.Course.Title [
+                        next->prior: ImprovingU.Course.Title = title
+                    ]
+                }
+            ]
+        } => title.value
+        instructors = {
+            instructor: ImprovingU.Course.Instructor [
+                instructor->course: ImprovingU.Course = course
+                !E {
+                    next: ImprovingU.Course.Instructor [
+                        next->prior: ImprovingU.Course.Instructor = instructor
+                    ]
+                }
+            ]
+        } => instructor.value
+    }
+}

package/docs/sql-generator.gv

@@ -0,0 +1,25 @@
+digraph {
+    subgraph cluster_states {
+        color=transparent
+        PredecessorType -> PredecessorJoin [label="Predecessor\nemit edge"]
+        PredecessorJoin -> PredecessorType [label="Type"]
+        PredecessorType -> SuccessorJoin [label="Successor" constraint=false]
+
+        SuccessorType -> SuccessorJoin [label="Successor"]
+        SuccessorJoin -> SuccessorType [label="Type\nemit edge"]
+        SuccessorType -> PredecessorJoin [label="Predecessor\nemit fact\nemit edge" constraint=false]
+    }
+
+    subgraph cluster_terminal {
+        color=transparent
+        success
+        error
+    }
+
+    SuccessorJoin -> error [label="end"]
+    SuccessorType -> success [label="end\nemit fact"]
+    PredecessorType -> success [label="end\nemit fact"]
+    PredecessorJoin -> success [label="end\nemit fact"]
+
+    // {rank=same; SuccessorType; success }
+}

package/integration-test/docker-compose.yaml

@@ -0,0 +1,13 @@
+version: "3.9"
+services:
+  jinaga-test:
+    image: jinaga-test
+  db:
+    image: jinaga-postgres-fact-keystore
+    environment:
+    - POSTGRES_PASSWORD=superuser
+    - APP_USERNAME=dev
+    - APP_PASSWORD=devpw
+    - APP_DATABASE=integrationtest
+    ports:
+    - "5432:5432"

package/integration-test/jinaga-test/Dockerfile

@@ -0,0 +1,12 @@
+FROM node:alpine3.12
+
+WORKDIR /root
+
+COPY package.json .
+COPY package-lock.json .
+RUN npm install
+
+COPY jinaga/ jinaga/
+COPY jinaga.test.js .
+
+ENTRYPOINT [ "npm", "test" ]