ballerina-core 1.0.198 → 1.0.199

package/bin/src/forms/domains/parser/domains/injectables/state.d.ts

@@ -0,0 +1,30 @@
+import { Map, Set } from "immutable";
+import { Unit } from "../../../../../../main";
+export type InjectablePrimitive<T, U = Unit> = {
+    defaultValue: T;
+    fieldView: any;
+    defaultState?: U;
+};
+export type InjectedPrimitive<T> = {
+    renderers: Set<keyof T>;
+    defaultValue: any;
+    abstractRenderer: any;
+    defaultState: any;
+};
+export type Injectables<T extends {
+    [key in keyof T]: {
+        type: any;
+        state: any;
+    };
+}> = Map<keyof T, InjectablePrimitive<T[keyof T]["type"], T[keyof T]["state"]>>;
+export type InjectedPrimitives<T> = {
+    injectedPrimitives: Map<keyof T, InjectedPrimitive<T>>;
+    renderers: {
+        [key in keyof T]: Set<string>;
+    };
+};
+export declare const injectablesFromFieldViews: <T extends { [key in keyof T]: {
+    type: any;
+    state: any;
+}; }>(fieldViews: any, injectables: Injectables<T>) => InjectedPrimitives<T>;
+//# sourceMappingURL=state.d.ts.map

package/bin/src/forms/domains/parser/domains/injectables/state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../../../../../src/forms/domains/parser/domains/injectables/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,IAAI,EAAE,MAAM,wBAAwB,CAAC;AAE9C,MAAM,MAAM,mBAAmB,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,IAAI;IAC7C,YAAY,EAAE,CAAC,CAAC;IAChB,SAAS,EAAE,GAAG,CAAC;IACf,YAAY,CAAC,EAAE,CAAC,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,iBAAiB,CAAC,CAAC,IAAI;IACjC,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IACxB,YAAY,EAAE,GAAG,CAAC;IAClB,gBAAgB,EAAE,GAAG,CAAC;IACtB,YAAY,EAAE,GAAG,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,WAAW,CACrB,CAAC,SAAS;KAAG,GAAG,IAAI,MAAM,CAAC,GAAG;QAAE,IAAI,EAAE,GAAG,CAAC;QAAC,KAAK,EAAE,GAAG,CAAA;KAAE;CAAE,IACvD,GAAG,CAAC,MAAM,CAAC,EAAE,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAE/E,MAAM,MAAM,kBAAkB,CAAC,CAAC,IAAI;IAClC,kBAAkB,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,SAAS,EAAE;SACR,GAAG,IAAI,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;KAC9B,CAAC;CACH,CAAC;AAEF,eAAO,MAAM,yBAAyB,GACpC,CAAC,SAAS,GAAG,GAAG,IAAI,MAAM,CAAC,GAAG;IAAE,IAAI,EAAE,GAAG,CAAC;IAAC,KAAK,EAAE,GAAG,CAAA;CAAE,GAAE,EAEzD,YAAY,GAAG,EACf,aAAa,WAAW,CAAC,CAAC,CAAC,KAC1B,kBAAkB,CAAC,CAAC,CA+BtB,CAAC"}

package/bin/src/forms/domains/parser/domains/injectables/state.js

@@ -0,0 +1,29 @@
+import { Map, Set } from "immutable";
+export const injectablesFromFieldViews = (fieldViews, injectables) => {
+    let result = {
+        injectedPrimitives: Map(),
+        renderers: {},
+    };
+    result.injectedPrimitives = injectables.map((injectable, key) => ({
+        renderers: Set([key]),
+        defaultValue: injectable.defaultValue,
+        abstractRenderer: injectable.fieldView,
+        defaultState: injectable.defaultState,
+    }));
+    result.renderers = Object.assign({}, injectables
+        .map((_, key) => ({ [key]: Set() }))
+        .valueSeq()
+        .toArray()
+        .reduce((acc, x) => (Object.assign(Object.assign({}, acc), x)), {}));
+    Object.keys(result.renderers).forEach((_categoryName) => {
+        const categoryName = _categoryName;
+        if (categoryName in fieldViews) {
+            Object.keys(fieldViews[categoryName]).forEach((viewName) => {
+                result.renderers[categoryName] =
+                    result.renderers[categoryName].add(viewName);
+            });
+        }
+    });
+    return result;
+};
+//# sourceMappingURL=state.js.map

package/bin/src/forms/domains/parser/domains/injectables/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../../../../src/forms/domains/parser/domains/injectables/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AA2BrC,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAGvC,UAAe,EACf,WAA2B,EACJ,EAAE;IACzB,IAAI,MAAM,GAAG;QACX,kBAAkB,EAAE,GAAG,EAAgC;QACvD,SAAS,EAAE,EAAE;KACW,CAAC;IAC3B,MAAM,CAAC,kBAAkB,GAAG,WAAW,CAAC,GAAG,CACzC,CAAC,UAAU,EAAE,GAAG,EAAE,EAAE,CAClB,CAAC;QACC,SAAS,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QACrB,YAAY,EAAE,UAAU,CAAC,YAAY;QACrC,gBAAgB,EAAE,UAAU,CAAC,SAAS;QACtC,YAAY,EAAE,UAAU,CAAC,YAAY;KACtC,CAAyB,CAC7B,CAAC;IACF,MAAM,CAAC,SAAS,GAAG,kBACd,WAAW;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAU,EAAE,CAAC,CAAC;SAC3C,QAAQ,EAAE;SACV,OAAO,EAAE;SACT,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,iCAAM,GAAG,GAAK,CAAC,EAAG,EAAE,EAAE,CAAC,CACR,CAAC;IACxC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,EAAE;QACtD,MAAM,YAAY,GAAG,aAAa,CAAC;QACnC,IAAI,YAAY,IAAI,UAAU,EAAE,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;gBACzD,MAAM,CAAC,SAAS,CAAC,YAAuB,CAAC;oBACvC,MAAM,CAAC,SAAS,CAAC,YAAuB,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC5D,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC"}

package/bin/src/forms/domains/parser/domains/layout/state.d.ts

@@ -0,0 +1,72 @@
+import { Map, OrderedMap } from "immutable";
+import { FieldName } from "../types/state";
+import { Bindings, Expr } from "../predicates/state";
+import { ValueOrErrors } from "../../../../../../main";
+export type PredicateFormLayout = OrderedMap<string, PredicateTabLayout>;
+export type PredicateTabLayout = {
+    columns: OrderedMap<string, PredicateColumnLayout>;
+};
+export declare const RawTabLayout: {
+    isTabLayout: (rawTabLayout: unknown) => rawTabLayout is object;
+};
+export type PredicateColumnLayout = {
+    groups: OrderedMap<string, PredicateGroupLayout>;
+};
+export declare const RawColumnLayout: {
+    isColumnLayout: (rawColumnLayout: unknown) => rawColumnLayout is object;
+};
+export type PredicateGroupLayout = {
+    kind: "Inlined";
+    fields: Array<FieldName>;
+} | {
+    kind: "Computed";
+    fields: Expr;
+};
+export declare const GroupLayout: {
+    Default: {
+        Inlined: (fields: Array<FieldName>) => PredicateGroupLayout;
+        Computed: (fields: Expr) => PredicateGroupLayout;
+    };
+};
+export type FormLayout = Map<string, CalculatedTabLayout>;
+export type CalculatedTabLayout = {
+    columns: OrderedMap<string, CalculatedColumnLayout>;
+};
+export type CalculatedColumnLayout = {
+    groups: OrderedMap<string, CalculatedGroupLayout>;
+};
+export type CalculatedGroupLayout = Array<FieldName>;
+export declare const RawGroupLayout: {
+    isInlined: (rawGroupLayout: unknown) => rawGroupLayout is Array<FieldName>;
+};
+export declare const FormLayout: {
+    Default: () => PredicateFormLayout;
+    Operations: {
+        ParseGroupLayout: (rawGroupLayout: unknown) => ValueOrErrors<PredicateGroupLayout, string>;
+        ParseLayout: (rawLayout: unknown) => ValueOrErrors<PredicateFormLayout, string>;
+        EvaluateGroup: (bindings: Bindings, group: PredicateGroupLayout) => ValueOrErrors<Array<FieldName>, string>;
+        ComputeLayout: (bindings: Bindings, formLayout: PredicateFormLayout) => ValueOrErrors<FormLayout, string>;
+        ComputeVisibleFieldsForRecord: (bindings: Bindings, formLayout: PredicateFormLayout) => ValueOrErrors<Array<FieldName>, string>;
+    };
+};
+export type PredicateVisibleColumns = {
+    kind: "Computed";
+    columns: Expr;
+} | {
+    kind: "Inlined";
+    columns: Array<string>;
+};
+export declare const RawVisibleColumns: {
+    isInlined: (rawVisibleColumns: unknown) => rawVisibleColumns is Array<string>;
+};
+export type CalculatedTableLayout = {
+    columns: Array<string>;
+};
+export declare const TableLayout: {
+    Default: () => CalculatedTableLayout;
+    Operations: {
+        ParseLayout: (rawVisibleColumns: unknown) => ValueOrErrors<PredicateVisibleColumns, string>;
+        ComputeLayout: (bindings: Bindings, visibleColumns: PredicateVisibleColumns) => ValueOrErrors<CalculatedTableLayout, string>;
+    };
+};
+//# sourceMappingURL=state.d.ts.map

package/bin/src/forms/domains/parser/domains/layout/state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../../../../../src/forms/domains/parser/domains/layout/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,GAAG,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAkB,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAa,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAElE,MAAM,MAAM,mBAAmB,GAAG,UAAU,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;AAEzE,MAAM,MAAM,kBAAkB,GAAG;IAC/B,OAAO,EAAE,UAAU,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;CACpD,CAAC;AAEF,eAAO,MAAM,YAAY;gCACK,OAAO,KAAG,YAAY,IAAI,MAAM;CAI7D,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;CAClD,CAAC;AAEF,eAAO,MAAM,eAAe;sCACQ,OAAO,KAAG,eAAe,IAAI,MAAM;CAItE,CAAC;AACF,MAAM,MAAM,oBAAoB,GAC5B;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,CAAA;CAAE,GAC7C;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,IAAI,CAAA;CAAE,CAAC;AAEvC,eAAO,MAAM,WAAW;;0BAEF,KAAK,CAAC,SAAS,CAAC,KAAG,oBAAoB;2BAItC,IAAI,KAAG,oBAAoB;;CAKjD,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC;AAC1D,MAAM,MAAM,mBAAmB,GAAG;IAChC,OAAO,EAAE,UAAU,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;CACrD,CAAC;AACF,MAAM,MAAM,sBAAsB,GAAG;IACnC,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;CACnD,CAAC;AACF,MAAM,MAAM,qBAAqB,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC;AAErD,eAAO,MAAM,cAAc;gCACG,OAAO,KAAG,cAAc,IAAI,KAAK,CAAC,SAAS,CAAC;CAGzE,CAAC;AAEF,eAAO,MAAM,UAAU;mBACR,mBAAmB;;2CAGZ,OAAO,KACtB,aAAa,CAAC,oBAAoB,EAAE,MAAM,CAAC;iCAejC,OAAO,KACjB,aAAa,CAAC,mBAAmB,EAAE,MAAM,CAAC;kCAmEjC,QAAQ,SACX,oBAAoB,KAC1B,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;kCAe9B,QAAQ,cACN,mBAAmB,KAC9B,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC;kDA+DxB,QAAQ,cACN,mBAAmB,KAC9B,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;;CAiB7C,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAC/B;IACE,IAAI,EAAE,UAAU,CAAC;IACjB,OAAO,EAAE,IAAI,CAAC;CACf,GACD;IACE,IAAI,EAAE,SAAS,CAAC;IAChB,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;CACxB,CAAC;AAEN,eAAO,MAAM,iBAAiB;mCACG,OAAO,KAAG,iBAAiB,IAAI,KAAK,CAAC,MAAM,CAAC;CAG5E,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;CACxB,CAAC;AAEF,eAAO,MAAM,WAAW;mBACT,qBAAqB;;yCAKX,OAAO,KACzB,aAAa,CAAC,uBAAuB,EAAE,MAAM,CAAC;kCAerC,QAAQ,kBACF,uBAAuB,KACtC,aAAa,CAAC,qBAAqB,EAAE,MAAM,CAAC;;CAoBlD,CAAC"}

package/bin/src/forms/domains/parser/domains/layout/state.js

@@ -0,0 +1,158 @@
+import { List, OrderedMap } from "immutable";
+import { Expr, PredicateValue } from "../predicates/state";
+import { ValueOrErrors } from "../../../../../../main";
+export const RawTabLayout = {
+    isTabLayout: (rawTabLayout) => typeof rawTabLayout == "object" &&
+        rawTabLayout != null &&
+        Object.keys(rawTabLayout).length > 0,
+};
+export const RawColumnLayout = {
+    isColumnLayout: (rawColumnLayout) => typeof rawColumnLayout == "object" &&
+        rawColumnLayout != null &&
+        Object.keys(rawColumnLayout).length > 0,
+};
+export const GroupLayout = {
+    Default: {
+        Inlined: (fields) => ({
+            kind: "Inlined",
+            fields,
+        }),
+        Computed: (fields) => ({
+            kind: "Computed",
+            fields,
+        }),
+    },
+};
+export const RawGroupLayout = {
+    isInlined: (rawGroupLayout) => Array.isArray(rawGroupLayout) &&
+        rawGroupLayout.every((field) => typeof field == "string"),
+};
+export const FormLayout = {
+    Default: () => OrderedMap(),
+    Operations: {
+        ParseGroupLayout: (rawGroupLayout) => {
+            if (RawGroupLayout.isInlined(rawGroupLayout)) {
+                return ValueOrErrors.Default.return({
+                    kind: "Inlined",
+                    fields: rawGroupLayout,
+                });
+            }
+            return Expr.Operations.parse(rawGroupLayout).Then((expr) => ValueOrErrors.Default.return({
+                kind: "Computed",
+                fields: expr,
+            }));
+        },
+        ParseLayout: (rawLayout) => {
+            if (!rawLayout || typeof rawLayout != "object") {
+                return ValueOrErrors.Default.throwOne(`Invalid layout, expected object, got ${JSON.stringify(rawLayout)}`);
+            }
+            if (!("tabs" in rawLayout) ||
+                typeof rawLayout.tabs != "object" ||
+                rawLayout.tabs == null) {
+                return ValueOrErrors.Default.throwOne(`Invalid layout, expected object with "tabs" property, got ${JSON.stringify(rawLayout)}`);
+            }
+            let tabs = OrderedMap();
+            Object.entries(rawLayout.tabs).forEach(([tabName, tab]) => {
+                let cols = { columns: OrderedMap() };
+                tabs = tabs.set(tabName, cols);
+                if (!("columns" in tab) ||
+                    typeof tab.columns != "object" ||
+                    tab.columns == null) {
+                    return ValueOrErrors.Default.throwOne(`Invalid layout, expected object with "columns" property, got ${JSON.stringify(tab)}`);
+                }
+                Object.entries(tab.columns).forEach(([colName, col]) => {
+                    let column = { groups: OrderedMap() };
+                    cols.columns = cols.columns.set(colName, column);
+                    if (!("groups" in col) ||
+                        typeof col.groups != "object" ||
+                        col.groups == null) {
+                        return ValueOrErrors.Default.throwOne(`Invalid layout, expected object with "groups" property, got ${JSON.stringify(col)}`);
+                    }
+                    Object.keys(col.groups).forEach((groupName) => {
+                        const groupConfig = col.groups[groupName];
+                        const parsedGroupLayout = FormLayout.Operations.ParseGroupLayout(groupConfig);
+                        if (parsedGroupLayout.kind == "errors") {
+                            return parsedGroupLayout;
+                        }
+                        column.groups = column.groups.set(groupName, parsedGroupLayout.value);
+                    });
+                });
+            });
+            return ValueOrErrors.Default.return(tabs);
+        },
+        EvaluateGroup: (bindings, group) => {
+            if (group.kind == "Inlined") {
+                return ValueOrErrors.Default.return(group.fields);
+            }
+            return Expr.Operations.Evaluate(bindings)(group.fields).Then((result) => {
+                if (!PredicateValue.Operations.IsRecord(result)) {
+                    return ValueOrErrors.Default.throwOne(`Invalid group layout: ${JSON.stringify(result)}`);
+                }
+                return ValueOrErrors.Default.return(Array.from(result.fields.keys()));
+            });
+        },
+        ComputeLayout: (bindings, formLayout) => ValueOrErrors.Operations.All(List(formLayout
+            .map((tab) => ValueOrErrors.Operations.All(List(tab.columns
+            .map((column) => ValueOrErrors.Operations.All(List(column.groups
+            .entrySeq()
+            .map(([groupName, group]) => FormLayout.Operations.EvaluateGroup(bindings, group).Then((fields) => ValueOrErrors.Default.return([
+            groupName,
+            fields,
+        ]))))).Then((calculatedGroups) => ValueOrErrors.Default.return({
+            groups: OrderedMap(calculatedGroups),
+        })))
+            .entrySeq()
+            .toArray()
+            .map(([columnName, column]) => column.Then((column) => ValueOrErrors.Default.return([columnName, column]))))).Then((calculatedColumns) => ValueOrErrors.Default.return({
+            columns: OrderedMap(calculatedColumns),
+        })))
+            .entrySeq()
+            .toArray()
+            .map(([tabName, tab]) => tab.Then((tab) => ValueOrErrors.Default.return([tabName, tab]))))).Then((calculatedTabs) => ValueOrErrors.Default.return(OrderedMap(calculatedTabs))),
+        ComputeVisibleFieldsForRecord: (bindings, formLayout) => FormLayout.Operations.ComputeLayout(bindings, formLayout).Then((recordLayout) => ValueOrErrors.Default.return(recordLayout
+            .valueSeq()
+            .flatMap((tab) => tab.columns
+            .valueSeq()
+            .flatMap((column) => column.groups.valueSeq().flatMap((group) => group)))
+            .toArray())),
+    },
+};
+export const RawVisibleColumns = {
+    isInlined: (rawVisibleColumns) => Array.isArray(rawVisibleColumns) &&
+        rawVisibleColumns.every((column) => typeof column == "string"),
+};
+export const TableLayout = {
+    Default: () => ({
+        columns: [],
+    }),
+    Operations: {
+        ParseLayout: (rawVisibleColumns) => {
+            if (RawVisibleColumns.isInlined(rawVisibleColumns)) {
+                return ValueOrErrors.Default.return({
+                    kind: "Inlined",
+                    columns: rawVisibleColumns,
+                });
+            }
+            return Expr.Operations.parse(rawVisibleColumns).Then((expr) => ValueOrErrors.Default.return({
+                kind: "Computed",
+                columns: expr,
+            }));
+        },
+        ComputeLayout: (bindings, visibleColumns) => {
+            if (visibleColumns.kind == "Inlined") {
+                return ValueOrErrors.Default.return({
+                    columns: visibleColumns.columns,
+                });
+            }
+            return Expr.Operations.Evaluate(bindings)(visibleColumns.columns).Then((result) => {
+                if (!PredicateValue.Operations.IsRecord(result)) {
+                    return ValueOrErrors.Default.throwOne(`Invalid visible columns: ${JSON.stringify(result)}`);
+                }
+                return ValueOrErrors.Default.return({
+                    columns: Array.from(result.fields.keys()),
+                });
+            });
+        },
+    },
+};
+//# sourceMappingURL=state.js.map

package/bin/src/forms/domains/parser/domains/layout/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../../../../src/forms/domains/parser/domains/layout/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAO,UAAU,EAAE,MAAM,WAAW,CAAC;AAElD,OAAO,EAAY,IAAI,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAa,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAQlE,MAAM,CAAC,MAAM,YAAY,GAAG;IAC1B,WAAW,EAAE,CAAC,YAAqB,EAA0B,EAAE,CAC7D,OAAO,YAAY,IAAI,QAAQ;QAC/B,YAAY,IAAI,IAAI;QACpB,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,MAAM,GAAG,CAAC;CACvC,CAAC;AAMF,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,cAAc,EAAE,CAAC,eAAwB,EAA6B,EAAE,CACtE,OAAO,eAAe,IAAI,QAAQ;QAClC,eAAe,IAAI,IAAI;QACvB,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,GAAG,CAAC;CAC1C,CAAC;AAKF,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,OAAO,EAAE;QACP,OAAO,EAAE,CAAC,MAAwB,EAAwB,EAAE,CAAC,CAAC;YAC5D,IAAI,EAAE,SAAS;YACf,MAAM;SACP,CAAC;QACF,QAAQ,EAAE,CAAC,MAAY,EAAwB,EAAE,CAAC,CAAC;YACjD,IAAI,EAAE,UAAU;YAChB,MAAM;SACP,CAAC;KACH;CACF,CAAC;AAWF,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,SAAS,EAAE,CAAC,cAAuB,EAAsC,EAAE,CACzE,KAAK,CAAC,OAAO,CAAC,cAAc,CAAC;QAC7B,cAAc,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,IAAI,QAAQ,CAAC;CAC5D,CAAC;AAEF,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,OAAO,EAAE,GAAwB,EAAE,CAAC,UAAU,EAAE;IAChD,UAAU,EAAE;QACV,gBAAgB,EAAE,CAChB,cAAuB,EACsB,EAAE;YAC/C,IAAI,cAAc,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;gBAC7C,OAAO,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC;oBAClC,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,cAAc;iBACvB,CAAC,CAAC;YACL,CAAC;YACD,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACzD,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC;gBAC3B,IAAI,EAAE,UAAU;gBAChB,MAAM,EAAE,IAAI;aACb,CAAC,CACH,CAAC;QACJ,CAAC;QACD,WAAW,EAAE,CACX,SAAkB,EAC0B,EAAE;YAC9C,IAAI,CAAC,SAAS,IAAI,OAAO,SAAS,IAAI,QAAQ,EAAE,CAAC;gBAC/C,OAAO,aAAa,CAAC,OAAO,CAAC,QAAQ,CACnC,wCAAwC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CACpE,CAAC;YACJ,CAAC;YACD,IACE,CAAC,CAAC,MAAM,IAAI,SAAS,CAAC;gBACtB,OAAO,SAAS,CAAC,IAAI,IAAI,QAAQ;gBACjC,SAAS,CAAC,IAAI,IAAI,IAAI,EACtB,CAAC;gBACD,OAAO,aAAa,CAAC,OAAO,CAAC,QAAQ,CACnC,6DAA6D,IAAI,CAAC,SAAS,CACzE,SAAS,CACV,EAAE,CACJ,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,GAAwB,UAAU,EAAE,CAAC;YAC7C,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,OAAO,CACpC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAiC,EAAE,EAAE;gBACjD,IAAI,IAAI,GAAuB,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,CAAC;gBACzD,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBAC/B,IACE,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC;oBACnB,OAAO,GAAG,CAAC,OAAO,IAAI,QAAQ;oBAC9B,GAAG,CAAC,OAAO,IAAI,IAAI,EACnB,CAAC;oBACD,OAAO,aAAa,CAAC,OAAO,CAAC,QAAQ,CACnC,gEAAgE,IAAI,CAAC,SAAS,CAC5E,GAAG,CACJ,EAAE,CACJ,CAAC;gBACJ,CAAC;gBACD,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,OAAO,CACjC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAiC,EAAE,EAAE;oBACjD,IAAI,MAAM,GAA0B,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC;oBAC7D,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;oBACjD,IACE,CAAC,CAAC,QAAQ,IAAI,GAAG,CAAC;wBAClB,OAAO,GAAG,CAAC,MAAM,IAAI,QAAQ;wBAC7B,GAAG,CAAC,MAAM,IAAI,IAAI,EAClB,CAAC;wBACD,OAAO,aAAa,CAAC,OAAO,CAAC,QAAQ,CACnC,+DAA+D,IAAI,CAAC,SAAS,CAC3E,GAAG,CACJ,EAAE,CACJ,CAAC;oBACJ,CAAC;oBACD,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;wBAC5C,MAAM,WAAW,GAAI,GAAG,CAAC,MAAc,CAAC,SAAS,CAAC,CAAC;wBACnD,MAAM,iBAAiB,GACrB,UAAU,CAAC,UAAU,CAAC,gBAAgB,CAAC,WAAW,CAAC,CAAC;wBACtD,IAAI,iBAAiB,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;4BACvC,OAAO,iBAAiB,CAAC;wBAC3B,CAAC;wBACD,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAC/B,SAAS,EACT,iBAAiB,CAAC,KAAK,CACxB,CAAC;oBACJ,CAAC,CAAC,CAAC;gBACL,CAAC,CACF,CAAC;YACJ,CAAC,CACF,CAAC;YACF,OAAO,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5C,CAAC;QACD,aAAa,EAAE,CACb,QAAkB,EAClB,KAA2B,EACc,EAAE;YAC3C,IAAI,KAAK,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;gBAC5B,OAAO,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACpD,CAAC;YAED,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE;gBACtE,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;oBAChD,OAAO,aAAa,CAAC,OAAO,CAAC,QAAQ,CACnC,yBAAyB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAClD,CAAC;gBACJ,CAAC;gBACD,OAAO,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACxE,CAAC,CAAC,CAAC;QACL,CAAC;QACD,aAAa,EAAE,CACb,QAAkB,EAClB,UAA+B,EACI,EAAE,CACrC,aAAa,CAAC,UAAU,CAAC,GAAG,CAC1B,IAAI,CACF,UAAU;aACP,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CACX,aAAa,CAAC,UAAU,CAAC,GAAG,CAC1B,IAAI,CACF,GAAG,CAAC,OAAO;aACR,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CACd,aAAa,CAAC,UAAU,CAAC,GAAG,CAC1B,IAAI,CACF,MAAM,CAAC,MAAM;aACV,QAAQ,EAAE;aACV,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,EAAE,CAC1B,UAAU,CAAC,UAAU,CAAC,aAAa,CACjC,QAAQ,EACR,KAAK,CACN,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAChB,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC;YAC3B,SAAS;YACT,MAAM;SACP,CAAC,CACH,CACF,CACJ,CACF,CAAC,IAAI,CAAC,CAAC,gBAAgB,EAAE,EAAE,CAC1B,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC;YAC3B,MAAM,EAAE,UAAU,CAAC,gBAAgB,CAAC;SACrC,CAAC,CACH,CACF;aACA,QAAQ,EAAE;aACV,OAAO,EAAE;aACT,GAAG,CAAC,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,EAAE,EAAE,CAC5B,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CACrB,aAAa,CAAC,OAAO,CAAC,MAAM,CAG1B,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CACxB,CACF,CACJ,CACF,CAAC,IAAI,CAAC,CAAC,iBAAiB,EAAE,EAAE,CAC3B,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC;YAC3B,OAAO,EAAE,UAAU,CAAC,iBAAiB,CAAC;SACvC,CAAC,CACH,CACF;aACA,QAAQ,EAAE;aACV,OAAO,EAAE;aACT,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,CACtB,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CACf,aAAa,CAAC,OAAO,CAAC,MAAM,CAG1B,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAClB,CACF,CACJ,CACF,CAAC,IAAI,CAAC,CAAC,cAAc,EAAE,EAAE,CACxB,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,CACzD;QACH,6BAA6B,EAAE,CAC7B,QAAkB,EAClB,UAA+B,EACU,EAAE,CAC3C,UAAU,CAAC,UAAU,CAAC,aAAa,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,IAAI,CAC5D,CAAC,YAAY,EAAE,EAAE,CACf,aAAa,CAAC,OAAO,CAAC,MAAM,CAC1B,YAAY;aACT,QAAQ,EAAE;aACV,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CACf,GAAG,CAAC,OAAO;aACR,QAAQ,EAAE;aACV,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAClB,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,CACnD,CACJ;aACA,OAAO,EAAE,CACb,CACJ;KACJ;CACF,CAAC;AAYF,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,SAAS,EAAE,CAAC,iBAA0B,EAAsC,EAAE,CAC5E,KAAK,CAAC,OAAO,CAAC,iBAAiB,CAAC;QAChC,iBAAiB,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,MAAM,IAAI,QAAQ,CAAC;CACjE,CAAC;AAMF,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,OAAO,EAAE,GAA0B,EAAE,CAAC,CAAC;QACrC,OAAO,EAAE,EAAE;KACZ,CAAC;IACF,UAAU,EAAE;QACV,WAAW,EAAE,CACX,iBAA0B,EACsB,EAAE;YAClD,IAAI,iBAAiB,CAAC,SAAS,CAAC,iBAAiB,CAAC,EAAE,CAAC;gBACnD,OAAO,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC;oBAClC,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,iBAAiB;iBAC3B,CAAC,CAAC;YACL,CAAC;YACD,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAC5D,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC;gBAC3B,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,IAAI;aACd,CAAC,CACH,CAAC;QACJ,CAAC;QACD,aAAa,EAAE,CACb,QAAkB,EAClB,cAAuC,EACO,EAAE;YAChD,IAAI,cAAc,CAAC,IAAI,IAAI,SAAS,EAAE,CAAC;gBACrC,OAAO,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC;oBAClC,OAAO,EAAE,cAAc,CAAC,OAAO;iBAChC,CAAC,CAAC;YACL,CAAC;YACD,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,IAAI,CACpE,CAAC,MAAM,EAAE,EAAE;gBACT,IAAI,CAAC,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;oBAChD,OAAO,aAAa,CAAC,OAAO,CAAC,QAAQ,CACnC,4BAA4B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CACrD,CAAC;gBACJ,CAAC;gBACD,OAAO,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC;oBAClC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;iBAC1C,CAAC,CAAC;YACL,CAAC,CACF,CAAC;QACJ,CAAC;KACF;CACF,CAAC"}

package/bin/src/forms/domains/parser/domains/predicates/domains/extractor/state.d.ts

@@ -0,0 +1,12 @@
+import { Map } from "immutable";
+import { ValueOrErrors, Errors, DispatchParsedType, BasicFun } from "../../../../../../../../main";
+import { PredicateValue } from "../../state";
+type ExtractedTypeInstances = ValueOrErrors<Array<PredicateValue>, Errors<string[]>>;
+type TypeInstancesExtractor = BasicFun<PredicateValue, ExtractedTypeInstances>;
+export declare const PredicateValueExtractor: {
+    Operations: {
+        ExtractPredicateValue: (lookupName: string, typesMap: Map<string, DispatchParsedType<any>>, t: DispatchParsedType<any>, debugPath: string[]) => TypeInstancesExtractor;
+    };
+};
+export {};
+//# sourceMappingURL=state.d.ts.map

package/bin/src/forms/domains/parser/domains/predicates/domains/extractor/state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../../../../../../../src/forms/domains/parser/domains/predicates/domains/extractor/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,GAAG,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EACL,aAAa,EACb,MAAM,EACN,kBAAkB,EAClB,QAAQ,EAET,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,KAAK,sBAAsB,GAAG,aAAa,CACzC,KAAK,CAAC,cAAc,CAAC,EACrB,MAAM,CAAC,MAAM,EAAE,CAAC,CACjB,CAAC;AACF,KAAK,sBAAsB,GAAG,QAAQ,CAAC,cAAc,EAAE,sBAAsB,CAAC,CAAC;AAE/E,eAAO,MAAM,uBAAuB;;4CAGlB,MAAM,YACR,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,KAC3C,kBAAkB,CAAC,GAAG,CAAC,aACf,MAAM,EAAE,KAClB,sBAAsB;;CAwU5B,CAAC"}

package/bin/src/forms/domains/parser/domains/predicates/domains/extractor/state.js

@@ -0,0 +1,167 @@
+import { List } from "immutable";
+import { ValueOrErrors, Errors, MapRepo, } from "../../../../../../../../main";
+import { PredicateValue } from "../../state";
+export const PredicateValueExtractor = {
+    Operations: {
+        ExtractPredicateValue: (lookupName, typesMap, t, debugPath) => {
+            const self = PredicateValueExtractor.Operations.ExtractPredicateValue;
+            switch (t.kind) {
+                case "lookup": {
+                    const lookupType = typesMap.get(t.name);
+                    if (!lookupType) {
+                        return (_) => ValueOrErrors.Default.throwOne(Errors.Default.singleton([
+                            t.name,
+                            "cannot find lookup type name",
+                        ]));
+                    }
+                    return t.name === lookupName
+                        ? (v) => ValueOrErrors.Default.return([v])
+                        : self(lookupName, typesMap, lookupType, debugPath);
+                }
+                case "primitive":
+                    return (_) => ValueOrErrors.Default.return([]);
+                // case "option": {
+                //   const traverseOptionValue = self(lookupName, typesMap, t.value);
+                //   return (v: PredicateValue) =>
+                //     !PredicateValue.Operations.IsOption(v)
+                //       ? ValueOrErrors.Default.throwOne(
+                //           Errors.Default.singleton(["not a ValueOption", v]),
+                //         )
+                //       : !v.isSome
+                //       ? ValueOrErrors.Default.return([])
+                //       : traverseOptionValue(v.value);
+                // }
+                case "record": {
+                    const traverseRecordFields = t.fields.map((f, k) => self(lookupName, typesMap, f, debugPath.concat(k)));
+                    return (v) => !PredicateValue.Operations.IsRecord(v)
+                        ? ValueOrErrors.Default.throwOne(Errors.Default.singleton([
+                            "not a ValueRecord: " + debugPath.join("."),
+                            JSON.stringify(v),
+                        ]))
+                        : ValueOrErrors.Operations.All(List(traverseRecordFields
+                            .entrySeq()
+                            .filter(([k, _]) => v.fields.has(k))
+                            .map(([k, traverseField]) => traverseField(v.fields.get(k))))).Map((listFailingChecks) => listFailingChecks.reduce((acc, curr) => [...acc, ...curr], []));
+                }
+                case "singleSelection": {
+                    const traverseSingleSelection = self(lookupName, typesMap, t.args[0], debugPath.concat("singleSelection"));
+                    return (v) => !PredicateValue.Operations.IsOption(v)
+                        ? ValueOrErrors.Default.throwOne(Errors.Default.singleton([
+                            "not a ValueOption (from SingleSelection)",
+                            JSON.stringify(v),
+                        ]))
+                        : !v.isSome
+                            ? ValueOrErrors.Default.return([])
+                            : traverseSingleSelection(v.value);
+                }
+                case "multiSelection": {
+                    // multi selection only has 1 arg type, which is the same for all the selected elements
+                    const traverseMultiSelectionField = self(lookupName, typesMap, t.args[0], debugPath.concat("multiSelection"));
+                    return (v) => !PredicateValue.Operations.IsRecord(v)
+                        ? ValueOrErrors.Default.throwOne(Errors.Default.singleton([
+                            "not a ValueRecord (from MultiSelection)",
+                            JSON.stringify(v),
+                        ]))
+                        : ValueOrErrors.Operations.All(List(v.fields
+                            .entrySeq()
+                            .map(([_, field]) => traverseMultiSelectionField(field)))).Map((listFailingChecks) => listFailingChecks.reduce((acc, curr) => [...acc, ...curr], []));
+                }
+                case "map": {
+                    const traverseKey = self(lookupName, typesMap, t.args[0], debugPath.concat("map-key"));
+                    const traverseValue = self(lookupName, typesMap, t.args[1], debugPath.concat("map-value"));
+                    return (v) => !PredicateValue.Operations.IsTuple(v)
+                        ? ValueOrErrors.Default.throwOne(Errors.Default.singleton([
+                            "not a ValueRecord (from Map)",
+                            JSON.stringify(v),
+                        ]))
+                        : ValueOrErrors.Operations.All(List(v.values.map((entry) => !PredicateValue.Operations.IsTuple(entry)
+                            ? ValueOrErrors.Default.throwOne(Errors.Default.singleton([
+                                "not a ValueRecord (from inner Map)",
+                                JSON.stringify(entry),
+                            ]))
+                            : ValueOrErrors.Operations.All(List([traverseKey, traverseValue].map((traverseField, kvIdx) => traverseField(entry.values.get(kvIdx))))).Map((listFailingChecks) => listFailingChecks.reduce((acc, curr) => [...acc, ...curr], []))))).Map((listFailingChecks) => listFailingChecks.reduce((acc, curr) => [...acc, ...curr], []));
+                }
+                case "sum": {
+                    const traverseLeftValue = self(lookupName, typesMap, t.args[0], debugPath.concat("sum-left"));
+                    const traverseRightValue = self(lookupName, typesMap, t.args[1], debugPath.concat("sum-right"));
+                    return (v) => !PredicateValue.Operations.IsSum(v)
+                        ? ValueOrErrors.Default.throwOne(Errors.Default.singleton([
+                            "not a ValueSum",
+                            JSON.stringify(v),
+                        ]))
+                        : (v.value.kind === "l" ? traverseLeftValue : traverseRightValue)(v.value.value);
+                    //  .Map((listFailingChecks) =>
+                    //   listFailingChecks.reduce(
+                    //     (acc, curr) => [...acc, ...curr],
+                    //     [] as Array<PredicateValue>,
+                    //   ),
+                    // );
+                }
+                case "tuple": {
+                    const traverseTupleFields = t.args.map((f, k) => self(lookupName, typesMap, f, debugPath.concat(`TupleItem-${k + 1}`)));
+                    return (v) => !PredicateValue.Operations.IsTuple(v)
+                        ? ValueOrErrors.Default.throwOne(Errors.Default.singleton([
+                            "not a ValueTuple",
+                            JSON.stringify(v),
+                        ]))
+                        : ValueOrErrors.Operations.All(List(traverseTupleFields.map((traverseField, idx) => traverseField(v.values.get(idx))))).Map((listFailingChecks) => listFailingChecks.reduce((acc, curr) => [...acc, ...curr], []));
+                }
+                case "union": {
+                    const traverseCases = t.args
+                        .map((f, caseName) => self(lookupName, typesMap, f, debugPath.concat(caseName)))
+                        .toMap();
+                    return (v) => PredicateValue.Operations.IsPrimitive(v)
+                        ? ValueOrErrors.Default.return([])
+                        : !PredicateValue.Operations.IsUnionCase(v)
+                            ? ValueOrErrors.Default.throwOne(Errors.Default.singleton([
+                                "not a ValueUnion (from union)" + debugPath.join("."),
+                                JSON.stringify(v),
+                            ]))
+                            : MapRepo.Operations.tryFindWithError(v.caseName, traverseCases, () => Errors.Default.singleton([
+                                `unexpected union case ${v.caseName}`,
+                                JSON.stringify(v),
+                            ])).Then((traverseCase) => traverseCase(v.fields));
+                }
+                case "one": {
+                    const traverseValue = self(lookupName, typesMap, t.arg, debugPath.concat("one"));
+                    return (v) => PredicateValue.Operations.IsOption(v)
+                        ? v.isSome
+                            ? traverseValue(v.value)
+                            : ValueOrErrors.Default.return([])
+                        : PredicateValue.Operations.IsSum(v)
+                            ? v.value.kind == "r"
+                                ? traverseValue(v.value.value)
+                                : ValueOrErrors.Default.return([])
+                            : ValueOrErrors.Default.throwOne(Errors.Default.singleton([
+                                "not a One/Option or One/Sum (from one)",
+                                JSON.stringify(v),
+                            ]));
+                }
+                case "list": {
+                    const traverseListField = self(lookupName, typesMap, t.args[0], debugPath.concat("list"));
+                    return (v) => !PredicateValue.Operations.IsTuple(v)
+                        ? ValueOrErrors.Default.throwOne(Errors.Default.singleton([
+                            "not a ValueTuple (from List)",
+                            JSON.stringify(v),
+                        ]))
+                        : ValueOrErrors.Operations.All(List(v.values.map((v) => traverseListField(v)))).Map((listFailingChecks) => listFailingChecks.reduce((acc, curr) => [...acc, ...curr], []));
+                }
+                case "readOnly": {
+                    const traverseReadOnlyField = self(lookupName, typesMap, t.arg, debugPath.concat("readOnly"));
+                    return (v) => !PredicateValue.Operations.IsReadOnly(v)
+                        ? ValueOrErrors.Default.throwOne(Errors.Default.singleton([
+                            "not a ValueReadOnly",
+                            JSON.stringify(v),
+                        ]))
+                        : traverseReadOnlyField(v.ReadOnly);
+                }
+                case "table": {
+                    return (_) => ValueOrErrors.Default.return([]);
+                }
+                default:
+                    return (_) => ValueOrErrors.Default.throwOne(Errors.Default.singleton(["unknown type", JSON.stringify(t)]));
+            }
+        },
+    },
+};
+//# sourceMappingURL=state.js.map

package/bin/src/forms/domains/parser/domains/predicates/domains/extractor/state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../../../../../../src/forms/domains/parser/domains/predicates/domains/extractor/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAO,MAAM,WAAW,CAAC;AACtC,OAAO,EACL,aAAa,EACb,MAAM,EAGN,OAAO,GACR,MAAM,8BAA8B,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAQ7C,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,UAAU,EAAE;QACV,qBAAqB,EAAE,CACrB,UAAkB,EAClB,QAA8C,EAC9C,CAA0B,EAC1B,SAAmB,EACK,EAAE;YAC1B,MAAM,IAAI,GAAG,uBAAuB,CAAC,UAAU,CAAC,qBAAqB,CAAC;YACtE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,QAAQ,CAAC,CAAC,CAAC;oBACd,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACxC,IAAI,CAAC,UAAU,EAAE,CAAC;wBAChB,OAAO,CAAC,CAAC,EAAE,EAAE,CACX,aAAa,CAAC,OAAO,CAAC,QAAQ,CAC5B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;4BACvB,CAAC,CAAC,IAAI;4BACN,8BAA8B;yBAC/B,CAAC,CACH,CAAC;oBACN,CAAC;oBAED,OAAO,CAAC,CAAC,IAAI,KAAK,UAAU;wBAC1B,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;wBAC1C,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;gBACxD,CAAC;gBACD,KAAK,WAAW;oBACd,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBACjD,mBAAmB;gBACnB,qEAAqE;gBACrE,kCAAkC;gBAClC,6CAA6C;gBAC7C,0CAA0C;gBAC1C,gEAAgE;gBAChE,YAAY;gBACZ,oBAAoB;gBACpB,2CAA2C;gBAC3C,wCAAwC;gBACxC,IAAI;gBACJ,KAAK,QAAQ,CAAC,CAAC,CAAC;oBACd,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACjD,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CACnD,CAAC;oBACF,OAAO,CAAC,CAAiB,EAA0B,EAAE,CACnD,CAAC,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;wBACpC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAC5B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;4BACvB,qBAAqB,GAAG,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC;4BAC3C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;yBAClB,CAAC,CACH;wBACH,CAAC,CAAC,aAAa,CAAC,UAAU,CAAC,GAAG,CAC1B,IAAI,CACF,oBAAoB;6BACjB,QAAQ,EAAE;6BACV,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;6BACnC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,EAAE,EAAE,CAC1B,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAChC,CACJ,CACF,CAAC,GAAG,CAAC,CAAC,iBAAiB,EAAE,EAAE,CAC1B,iBAAiB,CAAC,MAAM,CACtB,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,EAAE,GAAG,IAAI,CAAC,EAChC,EAA2B,CAC5B,CACF,CAAC;gBACV,CAAC;gBACD,KAAK,iBAAiB,CAAC,CAAC,CAAC;oBACvB,MAAM,uBAAuB,GAAG,IAAI,CAClC,UAAU,EACV,QAAQ,EACR,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EACT,SAAS,CAAC,MAAM,CAAC,iBAAiB,CAAC,CACpC,CAAC;oBACF,OAAO,CAAC,CAAC,EAAE,EAAE,CACX,CAAC,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;wBACpC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAC5B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;4BACvB,0CAA0C;4BAC1C,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;yBAClB,CAAC,CACH;wBACH,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM;4BACT,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;4BAClC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC3C,CAAC;gBACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;oBACtB,uFAAuF;oBACvF,MAAM,2BAA2B,GAAG,IAAI,CACtC,UAAU,EACV,QAAQ,EACR,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EACT,SAAS,CAAC,MAAM,CAAC,gBAAgB,CAAC,CACnC,CAAC;oBACF,OAAO,CAAC,CAAiB,EAAE,EAAE,CAC3B,CAAC,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;wBACpC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAC5B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;4BACvB,yCAAyC;4BACzC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;yBAClB,CAAC,CACH;wBACH,CAAC,CAAC,aAAa,CAAC,UAAU,CAAC,GAAG,CAC1B,IAAI,CACF,CAAC,CAAC,MAAM;6BACL,QAAQ,EAAE;6BACV,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,2BAA2B,CAAC,KAAK,CAAC,CAAC,CAC3D,CACF,CAAC,GAAG,CAAC,CAAC,iBAAiB,EAAE,EAAE,CAC1B,iBAAiB,CAAC,MAAM,CACtB,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,EAAE,GAAG,IAAI,CAAC,EAChC,EAA2B,CAC5B,CACF,CAAC;gBACV,CAAC;gBACD,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,MAAM,WAAW,GAAG,IAAI,CACtB,UAAU,EACV,QAAQ,EACR,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EACT,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,CAC5B,CAAC;oBACF,MAAM,aAAa,GAAG,IAAI,CACxB,UAAU,EACV,QAAQ,EACR,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EACT,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAC9B,CAAC;oBACF,OAAO,CAAC,CAAiB,EAAE,EAAE,CAC3B,CAAC,cAAc,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;wBACnC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAC5B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;4BACvB,8BAA8B;4BAC9B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;yBAClB,CAAC,CACH;wBACH,CAAC,CACG,aAAa,CAAC,UAAU,CAAC,GAAG,CAC1B,IAAI,CACF,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACrB,CAAC,cAAc,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC;4BACvC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAC5B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;gCACvB,oCAAoC;gCACpC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;6BACtB,CAAC,CACH;4BACH,CAAC,CAAC,aAAa,CAAC,UAAU,CAAC,GAAG,CAC1B,IAAI,CACF,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC,GAAG,CAC9B,CAAC,aAAa,EAAE,KAAK,EAAE,EAAE,CACvB,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,CAC1C,CACF,CACF,CAAC,GAAG,CAAC,CAAC,iBAAiB,EAAE,EAAE,CAC1B,iBAAiB,CAAC,MAAM,CACtB,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,EAAE,GAAG,IAAI,CAAC,EAChC,EAA2B,CAC5B,CACF,CACN,CACF,CAEJ,CAAC,GAAG,CAAC,CAAC,iBAAiB,EAAE,EAAE,CAC1B,iBAAiB,CAAC,MAAM,CACtB,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,EAAE,GAAG,IAAI,CAAC,EAChC,EAA2B,CAC5B,CACF,CAAC;gBACV,CAAC;gBACD,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,MAAM,iBAAiB,GAAG,IAAI,CAC5B,UAAU,EACV,QAAQ,EACR,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EACT,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAC7B,CAAC;oBACF,MAAM,kBAAkB,GAAG,IAAI,CAC7B,UAAU,EACV,QAAQ,EACR,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EACT,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAC9B,CAAC;oBACF,OAAO,CAAC,CAAC,EAAE,EAAE,CACX,CAAC,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;wBACjC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAC5B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;4BACvB,gBAAgB;4BAChB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;yBAClB,CAAC,CACH;wBACH,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAC7D,CAAC,CAAC,KAAK,CAAC,KAAK,CACd,CAAC;oBACR,+BAA+B;oBAC/B,8BAA8B;oBAC9B,wCAAwC;oBACxC,mCAAmC;oBACnC,OAAO;oBACP,KAAK;gBACP,CAAC;gBACD,KAAK,OAAO,CAAC,CAAC,CAAC;oBACb,MAAM,mBAAmB,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC9C,IAAI,CACF,UAAU,EACV,QAAQ,EACR,CAAC,EACD,SAAS,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CACvC,CACF,CAAC;oBACF,OAAO,CAAC,CAAC,EAAE,EAAE,CACX,CAAC,cAAc,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;wBACnC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAC5B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;4BACvB,kBAAkB;4BAClB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;yBAClB,CAAC,CACH;wBACH,CAAC,CAAC,aAAa,CAAC,UAAU,CAAC,GAAG,CAC1B,IAAI,CACF,mBAAmB,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,GAAG,EAAE,EAAE,CAC7C,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,CAClC,CACF,CACF,CAAC,GAAG,CAAC,CAAC,iBAAiB,EAAE,EAAE,CAC1B,iBAAiB,CAAC,MAAM,CACtB,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,EAAE,GAAG,IAAI,CAAC,EAChC,EAA2B,CAC5B,CACF,CAAC;gBACV,CAAC;gBACD,KAAK,OAAO,CAAC,CAAC,CAAC;oBACb,MAAM,aAAa,GAAwC,CAAC,CAAC,IAAI;yBAC9D,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CACnB,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAC1D;yBACA,KAAK,EAAE,CAAC;oBACX,OAAO,CAAC,CAAC,EAA0B,EAAE,CACnC,cAAc,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;wBACtC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;wBAClC,CAAC,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;4BACzC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAC5B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;gCACvB,+BAA+B,GAAG,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC;gCACrD,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;6BAClB,CAAC,CACH;4BACH,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,gBAAgB,CAIjC,CAAC,CAAC,QAAQ,EAAE,aAAa,EAAE,GAAG,EAAE,CAChC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;gCACvB,yBAAyB,CAAC,CAAC,QAAQ,EAAE;gCACrC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;6BAClB,CAAC,CACH,CAAC,IAAI,CAAC,CAAC,YAAoC,EAAE,EAAE,CAC9C,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CACvB,CAAC;gBACZ,CAAC;gBACD,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,MAAM,aAAa,GAA2B,IAAI,CAChD,UAAU,EACV,QAAQ,EACR,CAAC,CAAC,GAAG,EACL,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CACxB,CAAC;oBACF,OAAO,CAAC,CAAC,EAA0B,EAAE,CACnC,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;wBACnC,CAAC,CAAC,CAAC,CAAC,MAAM;4BACR,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC;4BACxB,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;wBACpC,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;4BAClC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG;gCACnB,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;gCAC9B,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;4BACpC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAC5B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;gCACvB,wCAAwC;gCACxC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;6BAClB,CAAC,CACH,CAAC;gBACZ,CAAC;gBACD,KAAK,MAAM,CAAC,CAAC,CAAC;oBACZ,MAAM,iBAAiB,GAAG,IAAI,CAC5B,UAAU,EACV,QAAQ,EACR,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EACT,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CACzB,CAAC;oBACF,OAAO,CAAC,CAAC,EAAE,EAAE,CACX,CAAC,cAAc,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;wBACnC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAC5B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;4BACvB,8BAA8B;4BAC9B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;yBAClB,CAAC,CACH;wBACH,CAAC,CAAC,aAAa,CAAC,UAAU,CAAC,GAAG,CAC1B,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAChD,CAAC,GAAG,CAAC,CAAC,iBAAiB,EAAE,EAAE,CAC1B,iBAAiB,CAAC,MAAM,CACtB,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,EAAE,GAAG,IAAI,CAAC,EAChC,EAA2B,CAC5B,CACF,CAAC;gBACV,CAAC;gBACD,KAAK,UAAU,CAAC,CAAC,CAAC;oBAChB,MAAM,qBAAqB,GAAG,IAAI,CAChC,UAAU,EACV,QAAQ,EACR,CAAC,CAAC,GAAG,EACL,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAC7B,CAAC;oBACF,OAAO,CAAC,CAAC,EAAE,EAAE,CACX,CAAC,cAAc,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;wBACtC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAC5B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC;4BACvB,qBAAqB;4BACrB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;yBAClB,CAAC,CACH;wBACH,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gBAC1C,CAAC;gBACD,KAAK,OAAO,CAAC,CAAC,CAAC;oBACb,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBACjD,CAAC;gBACD;oBACE,OAAO,CAAC,CAAC,EAAE,EAAE,CACX,aAAa,CAAC,OAAO,CAAC,QAAQ,CAC5B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,cAAc,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAC9D,CAAC;YACR,CAAC;QACH,CAAC;KACF;CACF,CAAC"}