ballerina-core 1.0.255 → 1.0.256

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

@@ -1,329 +1,167 @@
 import { List } from "immutable";
-import { ValueOrErrors, Errors, MapRepo } from "../../../../../../../../main";
+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)]),
-            );
-      }
+    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
+//# sourceMappingURL=state.js.map