ballerina-core 1.0.204 → 1.0.205

package/bin/src/forms/domains/dispatched-forms/runner/domains/traversal/state.js

@@ -1,799 +0,0 @@
-import {
-  Option,
-  ValueOrErrors,
-  PredicateValue,
-  Expr,
-  Updater,
-  FormLayout,
-  unit,
-  TableLayout,
-} from "ballerina-core";
-import { List, Map } from "immutable";
-import { LookupRenderer } from "../../../deserializer/domains/specification/domains/forms/domains/renderer/domains/lookup/state";
-export const RendererTraversal = {
-  Operations: {
-    Run: (renderer, traversalContext) => {
-      const rec = RendererTraversal.Operations.Run;
-      const mapEvalContext = (f) =>
-        Updater(Option.Updaters.some((v) => (ctx) => v(f(ctx))));
-      const traverseNode = traversalContext.traverseSingleType(renderer.type);
-      if (
-        renderer.type.kind == "primitive" ||
-        renderer.type.kind == "singleSelection" ||
-        renderer.type.kind == "multiSelection"
-      ) {
-        return ValueOrErrors.Default.return(traverseNode);
-      }
-      if (
-        renderer.kind == "lookupType-lookupRenderer" ||
-        renderer.kind == "lookupType-inlinedRenderer" ||
-        renderer.kind == "inlinedType-lookupRenderer"
-      ) {
-        if (
-          renderer.kind == "lookupType-lookupRenderer" ||
-          renderer.kind == "lookupType-inlinedRenderer"
-        ) {
-          return LookupRenderer.Operations.ResolveRenderer(
-            renderer,
-            traversalContext.forms,
-          ).Then((resolvedRenderer) =>
-            rec(resolvedRenderer, traversalContext).Then((valueTraversal) =>
-              ValueOrErrors.Default.return(
-                // reassign local if it's a lookup renderer
-                renderer.kind == "lookupType-lookupRenderer"
-                  ? mapEvalContext((ctx) =>
-                      Object.assign(Object.assign({}, ctx), {
-                        local: ctx.traversalIterator,
-                      }),
-                    )(valueTraversal)
-                  : valueTraversal,
-              ).Then((resolvedTraversal) => {
-                if (traverseNode.kind == "l" && resolvedTraversal.kind == "l") {
-                  return ValueOrErrors.Default.return(Option.Default.none());
-                }
-                if (traverseNode.kind == "l") {
-                  return ValueOrErrors.Default.return(resolvedTraversal);
-                }
-                if (resolvedTraversal.kind == "l") {
-                  return ValueOrErrors.Default.return(
-                    Option.Default.some((evalContext) =>
-                      traverseNode
-                        .value(evalContext)
-                        .Then((nodeResult) =>
-                          ValueOrErrors.Default.return(nodeResult),
-                        ),
-                    ),
-                  );
-                }
-                return ValueOrErrors.Default.return(
-                  Option.Default.some((evalContext) => {
-                    return resolvedTraversal
-                      .value(evalContext)
-                      .Then((resolvedTraversal) =>
-                        traverseNode
-                          .value(evalContext)
-                          .Then((nodeResult) =>
-                            ValueOrErrors.Default.return(
-                              traversalContext.joinRes([
-                                nodeResult,
-                                resolvedTraversal,
-                              ]),
-                            ),
-                          ),
-                      );
-                  }),
-                );
-              }),
-            ),
-          );
-        }
-        return LookupRenderer.Operations.ResolveRenderer(
-          renderer,
-          traversalContext.forms,
-        ).Then((resolvedRenderer) =>
-          rec(resolvedRenderer, traversalContext).Then((valueTraversal) =>
-            ValueOrErrors.Default.return(valueTraversal),
-          ),
-        );
-      }
-      if (
-        renderer.type.kind == "readOnly" &&
-        renderer.kind == "readOnlyRenderer"
-      ) {
-        return rec(renderer.childRenderer.renderer, traversalContext).Then(
-          (valueTraversal) => {
-            if (valueTraversal.kind == "l" && traverseNode.kind == "l") {
-              return ValueOrErrors.Default.return(Option.Default.none());
-            }
-            return ValueOrErrors.Default.return(
-              Option.Default.some((evalContext) => {
-                const iterator = evalContext.traversalIterator;
-                if (!PredicateValue.Operations.IsReadOnly(iterator)) {
-                  return ValueOrErrors.Default.throwOne(
-                    `Error: traversal iterator is not read only, got ${JSON.stringify(iterator, undefined, 2)}`,
-                  );
-                }
-                return (
-                  valueTraversal.kind == "r"
-                    ? valueTraversal.value(
-                        Object.assign(Object.assign({}, evalContext), {
-                          traversalIterator: iterator.ReadOnly,
-                        }),
-                      )
-                    : ValueOrErrors.Default.return(
-                        traversalContext.zeroRes(unit),
-                      )
-                ).Then((valueResult) =>
-                  traverseNode.kind == "r"
-                    ? traverseNode
-                        .value(evalContext)
-                        .Then((nodeResult) =>
-                          ValueOrErrors.Default.return(
-                            traversalContext.joinRes([valueResult, nodeResult]),
-                          ),
-                        )
-                    : ValueOrErrors.Default.return(valueResult),
-                );
-              }),
-            );
-          },
-        );
-      }
-      if (renderer.type.kind == "record" && renderer.kind == "recordRenderer") {
-        return ValueOrErrors.Operations.All(
-          List(
-            renderer.fields
-              .map((fieldRenderer, fieldName) =>
-                rec(fieldRenderer.renderer, traversalContext).Then(
-                  (fieldTraversal) => {
-                    return ValueOrErrors.Default.return({
-                      fieldName: fieldName,
-                      visibility: fieldRenderer.visible,
-                      fieldTraversal: fieldTraversal,
-                    });
-                  },
-                ),
-              )
-              .valueSeq(),
-          ),
-        ).Then((fieldTraversals) => {
-          if (
-            fieldTraversals.every((f) => f.fieldTraversal.kind == "l") &&
-            traverseNode.kind == "l"
-          ) {
-            return ValueOrErrors.Default.return(Option.Default.none());
-          }
-          return ValueOrErrors.Default.return(
-            Option.Default.some((evalContext) => {
-              if (
-                !PredicateValue.Operations.IsRecord(
-                  evalContext.traversalIterator,
-                )
-              )
-                return ValueOrErrors.Default.throwOne(
-                  `Error: traversal iterator is not a record, got ${JSON.stringify(evalContext.traversalIterator, undefined, 2)}`,
-                );
-              const visibleFieldsRes =
-                FormLayout.Operations.ComputeVisibleFieldsForRecord(
-                  Map([
-                    ["global", evalContext.global],
-                    ["local", evalContext.local],
-                    ["root", evalContext.root],
-                  ]),
-                  renderer.tabs,
-                );
-              // TODO later, make this monadic
-              if (visibleFieldsRes.kind == "errors") {
-                return visibleFieldsRes;
-              }
-              const visibleFields = visibleFieldsRes.value;
-              const traversalIteratorFields =
-                evalContext.traversalIterator.fields;
-              return ValueOrErrors.Operations.All(
-                fieldTraversals.flatMap((f) => {
-                  // should be a map and instead of flatmap and [] a VoE.default.return([]) then an All on this and then a flatmap, everything is returned in a VoE
-                  if (
-                    f.fieldTraversal.kind == "l" ||
-                    !visibleFields.includes(f.fieldName)
-                  )
-                    return [];
-                  if (f.visibility != undefined) {
-                    const visible = Expr.Operations.Evaluate(
-                      Map([
-                        ["global", evalContext.global],
-                        ["local", evalContext.local],
-                        ["root", evalContext.root],
-                      ]),
-                    )(f.visibility);
-                    if (visible.kind == "value" && !visible.value) {
-                      return [];
-                    }
-                  }
-                  return [
-                    f.fieldTraversal.value(
-                      Object.assign(Object.assign({}, evalContext), {
-                        traversalIterator: traversalIteratorFields.get(
-                          f.fieldName,
-                        ),
-                      }),
-                    ),
-                  ];
-                }),
-              ).Then((fieldResults) => {
-                return traverseNode.kind == "r"
-                  ? traverseNode
-                      .value(evalContext)
-                      .Then((nodeResult) =>
-                        ValueOrErrors.Default.return(
-                          fieldResults.reduce(
-                            (acc, res) => traversalContext.joinRes([acc, res]),
-                            nodeResult,
-                          ),
-                        ),
-                      )
-                  : ValueOrErrors.Default.return(
-                      fieldResults.reduce(
-                        (acc, res) => traversalContext.joinRes([acc, res]),
-                        traversalContext.zeroRes(unit),
-                      ),
-                    );
-              });
-            }),
-          );
-        });
-      }
-      if (
-        renderer.type.kind == "sum" &&
-        (renderer.kind == "sumRenderer" ||
-          renderer.kind == "sumUnitDateRenderer")
-      ) {
-        // this will be removed when sums become proper partials
-        if (renderer.kind == "sumUnitDateRenderer") {
-          if (traverseNode.kind == "l") {
-            return ValueOrErrors.Default.return(Option.Default.none());
-          }
-          return ValueOrErrors.Default.return(
-            Option.Default.some((evalContext) =>
-              traverseNode.value(evalContext),
-            ),
-          );
-        }
-        if (renderer.kind == "sumRenderer") {
-          return rec(renderer.leftRenderer.renderer, traversalContext).Then(
-            (leftTraversal) =>
-              rec(renderer.rightRenderer.renderer, traversalContext).Then(
-                (rightTraversal) => {
-                  if (
-                    leftTraversal.kind == "l" &&
-                    rightTraversal.kind == "l" &&
-                    traverseNode.kind == "l"
-                  ) {
-                    return ValueOrErrors.Default.return(Option.Default.none());
-                  }
-                  return ValueOrErrors.Default.return(
-                    Option.Default.some((evalContext) => {
-                      const iterator = evalContext.traversalIterator;
-                      if (!PredicateValue.Operations.IsSum(iterator)) {
-                        return ValueOrErrors.Default.throwOne(
-                          `Error: traversal iterator is not a sum, got ${evalContext.traversalIterator}`,
-                        );
-                      }
-                      const isRight = iterator.value.kind == "r";
-                      if (isRight && rightTraversal.kind == "r") {
-                        if (traverseNode.kind == "r") {
-                          return traverseNode
-                            .value(evalContext)
-                            .Then((nodeResult) => {
-                              return rightTraversal
-                                .value(
-                                  Object.assign(
-                                    Object.assign({}, evalContext),
-                                    { traversalIterator: iterator.value.value },
-                                  ),
-                                )
-                                .Then((rightRes) => {
-                                  return ValueOrErrors.Default.return(
-                                    traversalContext.joinRes([
-                                      nodeResult,
-                                      rightRes,
-                                    ]),
-                                  );
-                                });
-                            });
-                        }
-                        return rightTraversal
-                          .value(
-                            Object.assign(Object.assign({}, evalContext), {
-                              traversalIterator: iterator.value.value,
-                            }),
-                          )
-                          .Then((rightRes) => {
-                            return ValueOrErrors.Default.return(rightRes);
-                          });
-                      }
-                      if (!isRight && leftTraversal.kind == "r") {
-                        if (traverseNode.kind == "r") {
-                          return traverseNode
-                            .value(evalContext)
-                            .Then((nodeResult) => {
-                              return leftTraversal
-                                .value(
-                                  Object.assign(
-                                    Object.assign({}, evalContext),
-                                    { traversalIterator: iterator.value.value },
-                                  ),
-                                )
-                                .Then((leftRes) => {
-                                  return ValueOrErrors.Default.return(
-                                    traversalContext.joinRes([
-                                      nodeResult,
-                                      leftRes,
-                                    ]),
-                                  );
-                                });
-                            });
-                        }
-                        return leftTraversal
-                          .value(
-                            Object.assign(Object.assign({}, evalContext), {
-                              traversalIterator: iterator.value.value,
-                            }),
-                          )
-                          .Then((leftRes) => {
-                            return ValueOrErrors.Default.return(leftRes);
-                          });
-                      }
-                      return ValueOrErrors.Default.return(
-                        traversalContext.zeroRes(unit),
-                      );
-                    }),
-                  );
-                },
-              ),
-          );
-        }
-      }
-      if (renderer.type.kind == "tuple" && renderer.kind == "tupleRenderer") {
-        return ValueOrErrors.Operations.All(
-          List(
-            renderer.itemRenderers.map((itemRenderer, index) => {
-              return rec(itemRenderer.renderer, traversalContext).Then(
-                (itemTraversal) => {
-                  return ValueOrErrors.Default.return({
-                    index: index,
-                    itemTraversal: itemTraversal,
-                  });
-                },
-              );
-            }),
-          ),
-        ).Then((itemTraversals) => {
-          if (
-            itemTraversals.every((i) => i.itemTraversal.kind == "l") &&
-            traverseNode.kind == "l"
-          ) {
-            return ValueOrErrors.Default.return(Option.Default.none());
-          }
-          return ValueOrErrors.Default.return(
-            Option.Default.some((evalContext) => {
-              const iterator = evalContext.traversalIterator;
-              if (!PredicateValue.Operations.IsTuple(iterator)) {
-                return ValueOrErrors.Default.throwOne(
-                  `Error: traversal iterator is not a tuple, got ${evalContext.traversalIterator}`,
-                );
-              }
-              return ValueOrErrors.Operations.All(
-                itemTraversals.flatMap((i) =>
-                  i.itemTraversal.kind == "r"
-                    ? [
-                        i.itemTraversal.value(
-                          Object.assign(Object.assign({}, evalContext), {
-                            traversalIterator: iterator.values.get(i.index),
-                          }),
-                        ),
-                      ]
-                    : [],
-                ),
-              ).Then((itemResults) => {
-                return traverseNode.kind == "r"
-                  ? traverseNode
-                      .value(evalContext)
-                      .Then((nodeResult) =>
-                        ValueOrErrors.Default.return(
-                          itemResults.reduce(
-                            (acc, res) => traversalContext.joinRes([acc, res]),
-                            nodeResult,
-                          ),
-                        ),
-                      )
-                  : ValueOrErrors.Default.return(
-                      itemResults.reduce(
-                        (acc, res) => traversalContext.joinRes([acc, res]),
-                        traversalContext.zeroRes(unit),
-                      ),
-                    );
-              });
-            }),
-          );
-        });
-      }
-      if (renderer.type.kind == "union" && renderer.kind == "unionRenderer") {
-        return ValueOrErrors.Operations.All(
-          List(
-            renderer.cases
-              .map((caseRenderer, caseName) =>
-                rec(caseRenderer, traversalContext).Then((caseTraversal) =>
-                  ValueOrErrors.Default.return({
-                    caseName: caseName,
-                    caseTraversal: caseTraversal,
-                  }),
-                ),
-              )
-              .valueSeq(),
-          ),
-        ).Then((caseTraversals) => {
-          if (
-            caseTraversals.every((c) => c.caseTraversal.kind == "l") &&
-            traverseNode.kind == "l"
-          ) {
-            return ValueOrErrors.Default.return(Option.Default.none());
-          }
-          return ValueOrErrors.Default.return(
-            Option.Default.some((evalContext) => {
-              var _a;
-              const iterator = evalContext.traversalIterator;
-              if (!PredicateValue.Operations.IsUnionCase(iterator)) {
-                return ValueOrErrors.Default.throwOne(
-                  `Error: traversal iterator is not a union case, got ${evalContext.traversalIterator}`,
-                );
-              }
-              const caseName = iterator.caseName;
-              const caseTraversal =
-                (_a = caseTraversals.find((c) => c.caseName == caseName)) ===
-                  null || _a === void 0
-                  ? void 0
-                  : _a.caseTraversal;
-              if (!caseTraversal) {
-                return ValueOrErrors.Default.throwOne(
-                  `Error: cannot find case traversal for case ${caseName}`,
-                );
-              }
-              return caseTraversal.kind == "r"
-                ? caseTraversal
-                    .value(
-                      Object.assign(Object.assign({}, evalContext), {
-                        traversalIterator: iterator.fields,
-                      }),
-                    )
-                    .Then((caseRes) => {
-                      return traverseNode.kind == "r"
-                        ? traverseNode.value(evalContext).Then((nodeResult) => {
-                            return ValueOrErrors.Default.return(
-                              traversalContext.joinRes([nodeResult, caseRes]),
-                            );
-                          })
-                        : ValueOrErrors.Default.return(caseRes);
-                    })
-                : traverseNode.kind == "r"
-                  ? traverseNode.value(evalContext).Then((nodeResult) => {
-                      return ValueOrErrors.Default.return(nodeResult);
-                    })
-                  : ValueOrErrors.Default.return(
-                      traversalContext.zeroRes(unit),
-                    );
-            }),
-          );
-        });
-      }
-      // TODO -- add recursion for the detailsRenderer, but requires state
-      if (renderer.type.kind == "table" && renderer.kind == "tableRenderer") {
-        return ValueOrErrors.Operations.All(
-          List(
-            renderer.columns
-              .map((column, columnName) => {
-                return rec(column.renderer, traversalContext).Then(
-                  (columnTraversal) => {
-                    return ValueOrErrors.Default.return({
-                      columnName: columnName,
-                      columnTraversal: columnTraversal,
-                    });
-                  },
-                );
-              })
-              .valueSeq(),
-          ),
-        ).Then((columnTraversals) => {
-          if (
-            columnTraversals.every((c) => c.columnTraversal.kind == "l") &&
-            traverseNode.kind == "l"
-          ) {
-            return ValueOrErrors.Default.return(Option.Default.none());
-          }
-          return ValueOrErrors.Default.return(
-            Option.Default.some((evalContext) => {
-              const iterator = evalContext.traversalIterator;
-              if (!PredicateValue.Operations.IsTable(iterator)) {
-                return ValueOrErrors.Default.throwOne(
-                  `Error: traversal iterator is not a table, got ${evalContext.traversalIterator}`,
-                );
-              }
-              return TableLayout.Operations.ComputeLayout(
-                Map([
-                  ["global", evalContext.global],
-                  ["local", evalContext.local],
-                  ["root", evalContext.root],
-                ]),
-                renderer.visibleColumns,
-              ).Then((visibleColumns) => {
-                // Note: we do not allow visiblity predicates on individual column cells
-                return ValueOrErrors.Operations.All(
-                  columnTraversals.flatMap((c) => {
-                    const colTraversal = c.columnTraversal;
-                    if (
-                      colTraversal.kind == "l" ||
-                      !visibleColumns.columns.includes(c.columnName)
-                    ) {
-                      return [];
-                    }
-                    return iterator.data.valueSeq().flatMap((row) => {
-                      // TODO make this monadic
-                      const columnValue = row.fields.get(c.columnName);
-                      if (!columnValue) {
-                        return [
-                          ValueOrErrors.Default.throwOne(
-                            `Error: cannot find column ${c.columnName} in row ${JSON.stringify(row)}`,
-                          ),
-                        ];
-                      }
-                      return [
-                        colTraversal.value(
-                          Object.assign(Object.assign({}, evalContext), {
-                            traversalIterator: columnValue,
-                          }),
-                        ),
-                      ];
-                    });
-                  }),
-                ).Then((columnResults) => {
-                  return traverseNode.kind == "r"
-                    ? traverseNode
-                        .value(evalContext)
-                        .Then((nodeResult) =>
-                          ValueOrErrors.Default.return(
-                            columnResults.reduce(
-                              (acc, res) =>
-                                traversalContext.joinRes([acc, res]),
-                              nodeResult,
-                            ),
-                          ),
-                        )
-                    : ValueOrErrors.Default.return(
-                        columnResults.reduce(
-                          (acc, res) => traversalContext.joinRes([acc, res]),
-                          traversalContext.zeroRes(unit),
-                        ),
-                      );
-                });
-              });
-            }),
-          );
-        });
-      }
-      // TODO -- should we also look at the previewRenderer? Woud also requite state
-      if (renderer.type.kind == "one" && renderer.kind == "oneRenderer") {
-        return rec(renderer.detailsRenderer.renderer, traversalContext).Then(
-          (itemTraversal) => {
-            if (itemTraversal.kind == "l" && traverseNode.kind == "l") {
-              return ValueOrErrors.Default.return(Option.Default.none());
-            }
-            return ValueOrErrors.Default.return(
-              Option.Default.some((evalContext) => {
-                const iterator = evalContext.traversalIterator;
-                // Handle partial ones
-                if (PredicateValue.Operations.IsUnit(iterator)) {
-                  return traverseNode.kind == "r"
-                    ? traverseNode.value(evalContext)
-                    : ValueOrErrors.Default.return(
-                        traversalContext.zeroRes(unit),
-                      );
-                }
-                if (!PredicateValue.Operations.IsOption(iterator)) {
-                  return ValueOrErrors.Default.throwOne(
-                    `Error: traversal iterator for one is not an option, got ${iterator}`,
-                  );
-                }
-                const isSome =
-                  PredicateValue.Operations.IsOption(iterator) &&
-                  iterator.isSome;
-                if (!isSome) {
-                  return traverseNode.kind == "r"
-                    ? traverseNode.value(evalContext)
-                    : ValueOrErrors.Default.return(
-                        traversalContext.zeroRes(unit),
-                      );
-                }
-                return traverseNode.kind == "r"
-                  ? traverseNode.value(evalContext).Then((nodeResult) => {
-                      return itemTraversal.kind == "r"
-                        ? itemTraversal
-                            .value(
-                              Object.assign(Object.assign({}, evalContext), {
-                                traversalIterator: iterator.value,
-                              }),
-                            )
-                            .Then((itemResult) => {
-                              return ValueOrErrors.Default.return(
-                                traversalContext.joinRes([
-                                  nodeResult,
-                                  itemResult,
-                                ]),
-                              );
-                            })
-                        : ValueOrErrors.Default.return(nodeResult);
-                    })
-                  : itemTraversal.kind == "r"
-                    ? itemTraversal.value(
-                        Object.assign(Object.assign({}, evalContext), {
-                          traversalIterator: iterator.value,
-                        }),
-                      )
-                    : ValueOrErrors.Default.return(
-                        traversalContext.zeroRes(unit),
-                      );
-              }),
-            );
-          },
-        );
-      }
-      if (renderer.type.kind == "list" && renderer.kind == "listRenderer") {
-        return rec(renderer.elementRenderer.renderer, traversalContext).Then(
-          (elementTraversal) => {
-            if (elementTraversal.kind == "l" && traverseNode.kind == "l") {
-              return ValueOrErrors.Default.return(Option.Default.none());
-            }
-            return ValueOrErrors.Default.return(
-              Option.Default.some((evalContext) => {
-                const iterator = evalContext.traversalIterator;
-                if (!PredicateValue.Operations.IsTuple(iterator)) {
-                  return ValueOrErrors.Default.throwOne(
-                    `Error: traversal iterator for list is not a tuple, got ${JSON.stringify(iterator, null, 2)}`,
-                  );
-                }
-                return ValueOrErrors.Operations.All(
-                  iterator.values.map((value) =>
-                    elementTraversal.kind == "r"
-                      ? elementTraversal.value(
-                          Object.assign(Object.assign({}, evalContext), {
-                            traversalIterator: value,
-                          }),
-                        )
-                      : ValueOrErrors.Default.return(
-                          traversalContext.zeroRes(unit),
-                        ),
-                  ),
-                ).Then((elementResults) =>
-                  traverseNode.kind == "r"
-                    ? traverseNode
-                        .value(evalContext)
-                        .Then((nodeResult) =>
-                          ValueOrErrors.Default.return(
-                            elementResults.reduce(
-                              (acc, res) =>
-                                traversalContext.joinRes([acc, res]),
-                              nodeResult,
-                            ),
-                          ),
-                        )
-                    : ValueOrErrors.Default.return(
-                        elementResults.reduce(
-                          (acc, res) => traversalContext.joinRes([acc, res]),
-                          traversalContext.zeroRes(unit),
-                        ),
-                      ),
-                );
-              }),
-            );
-          },
-        );
-      }
-      if (renderer.type.kind == "map" && renderer.kind == "mapRenderer") {
-        return rec(renderer.keyRenderer.renderer, traversalContext).Then(
-          (keyTraversal) => {
-            return rec(renderer.valueRenderer.renderer, traversalContext).Then(
-              (valueTraversal) => {
-                if (
-                  keyTraversal.kind == "l" &&
-                  valueTraversal.kind == "l" &&
-                  traverseNode.kind == "l"
-                ) {
-                  return ValueOrErrors.Default.return(Option.Default.none());
-                }
-                return ValueOrErrors.Default.return(
-                  Option.Default.some((evalContext) => {
-                    if (
-                      keyTraversal.kind == "l" &&
-                      valueTraversal.kind == "l"
-                    ) {
-                      return traverseNode.kind == "r"
-                        ? traverseNode.value(evalContext)
-                        : ValueOrErrors.Default.return(
-                            traversalContext.zeroRes(unit),
-                          );
-                    }
-                    const iterator = evalContext.traversalIterator;
-                    if (!PredicateValue.Operations.IsTuple(iterator)) {
-                      return ValueOrErrors.Default.throwOne(
-                        `Error: traversal iterator for map is not a tuple, got ${JSON.stringify(iterator, null, 2)}`,
-                      );
-                    }
-                    return ValueOrErrors.Operations.All(
-                      iterator.values.map((value) => {
-                        if (!PredicateValue.Operations.IsTuple(value)) {
-                          return ValueOrErrors.Default.throwOne(
-                            `Error: traversal iterator for map keyValue is not a tuple, got ${JSON.stringify(value, null, 2)}`,
-                          );
-                        }
-                        const keyRes =
-                          keyTraversal.kind == "r"
-                            ? keyTraversal.value(
-                                Object.assign(Object.assign({}, evalContext), {
-                                  traversalIterator: value.values.get(0),
-                                }),
-                              )
-                            : ValueOrErrors.Default.return(
-                                traversalContext.zeroRes(unit),
-                              );
-                        const valueRes =
-                          valueTraversal.kind == "r"
-                            ? valueTraversal.value(
-                                Object.assign(Object.assign({}, evalContext), {
-                                  traversalIterator: value.values.get(1),
-                                }),
-                              )
-                            : ValueOrErrors.Default.return(
-                                traversalContext.zeroRes(unit),
-                              );
-                        if (keyRes.kind == "errors") {
-                          return keyRes;
-                        }
-                        if (valueRes.kind == "errors") {
-                          return valueRes;
-                        }
-                        return ValueOrErrors.Default.return(
-                          traversalContext.joinRes([
-                            keyRes.value,
-                            valueRes.value,
-                          ]),
-                        );
-                      }),
-                    ).Then((keyValueResults) => {
-                      return traverseNode.kind == "r"
-                        ? traverseNode.value(evalContext).Then((nodeResult) => {
-                            return ValueOrErrors.Default.return(
-                              keyValueResults.reduce(
-                                (acc, res) =>
-                                  traversalContext.joinRes([acc, res]),
-                                nodeResult,
-                              ),
-                            );
-                          })
-                        : ValueOrErrors.Default.return(
-                            keyValueResults.reduce(
-                              (acc, res) =>
-                                traversalContext.joinRes([acc, res]),
-                              traversalContext.zeroRes(unit),
-                            ),
-                          );
-                    });
-                  }),
-                );
-              },
-            );
-          },
-        );
-      }
-      return ValueOrErrors.Default.return(Option.Default.none());
-    },
-  },
-};
-//# sourceMappingURL=state.js.map