ballerina-core 1.0.225 → 1.0.227

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

@@ -1,167 +1,329 @@
 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